According to orthodoxy the study of the Soritical and semantical paradoxes belongs to the domain of the philosophy of language. To solve these paradoxes we need to investigate the nature of words like `heap' and `true.' In this thesis I criticise linguistic explanations of the state of ignorance we find ourselves in when confronted with indeterminate cases and develop a classical non-linguistic theory of indeterminacy in its stead. The view places the study of vagueness and indeterminacy squarely in epistemological terms, situating it within a theory of rational propositional attitudes. The resulting view is applied to a number of problems in the philosophy of vagueness and the semantic paradoxes.

The Ertsberg-Grasberg Mining District of Papua, Indonesia (Western New Guinea) hosts the Ertsberg Cu-Au Skarn, the giant Grasberg Porphyry Cu-Au deposit, and several other orebodies. Two 1700-meter-long cores beneath the Kucing Liar ore skarn (KL98-10-22) and the Grasberg Igneous Complex (KL98-10-21) contain high concentrations of vein and disseminated molybdenite. KL98-10-22, the focus of this study, intersects two previously unencountered intrusions, the “Tertiary intrusion Kucing Liar” (Tikl) and “Tertiary Pliocene intrusion” (Tpi). An intense dilatational quartz vein stockwork cuts Tikl and Ekmai Sandstone (Kkes) units, predating Tpi intrusion. Prior to these ultradeep cores, which extend almost 3 km below pre-mining surface, molybdenite was rarely observed in the district. Geochemistry and isotopic data indicate that Tikl and Tpi intrusions originated from the same large magmatic system that emplaced other ore-forming Ertsberg-Grasberg district intrusions. Magma in a lower crustal chamber was recharged at least twice, according to Sr-Nd data. Laser-ablation inductively-coupled plasma mass spectrometry of magmatic zircons yields 238U-206Pb ages between 3.40 ± 0.12 Ma (Dalam Andesite) and 2.77 ± 0.15 Ma (Ertsberg intrusion), revealing a shorter period of igneous activity than previously measured by K-Ar and Ar-Ar dating. Analyses include composite ages of 3.28 ± 0.08 Ma for Tikl and 3.18 ± 0.11 Ma for Tpi. Inherited zircon cores indicate Precambrian (mostly Proterozoic) basement. Molybdenite veining beneath the Kucing Liar Skarn and Grasberg Igneous Complex postdates stockwork veining and occurred before the 2.99 ± 0.11 Ma Kali dikes. Only one molybdenite vein was observed cutting Tpi. Molybdenites yielded ~3 Ma Re-Os ages and anomalous >4 Ma and <0.5 Ma ages; anomalous ages were not reproducible in follow-up analyses (this study). Smearing deformation of molybdenite (through fault activity) causes crystal strain, likely leading to annealing recrystallization. Recrystallization possibly redistributes daughter-product Os, resulting in anomalous ages from annealed material. Fluids with high Mo/Cu ratios (which were likely supercritical) precipitated late-stage molybdenite deep in the system. These fluids developed through magma chamber crystallization, which concentrated molybdenum in the melt as an incompatible element, and stripping of Cu from the magma chamber during hydrothermal activity. / text

The Ertsberg-Grasberg Mining District of Papua, Indonesia (Western New Guinea) hosts the Ertsberg Cu-Au Skarn, the giant Grasberg Porphyry Cu-Au deposit, and several other orebodies. Two 1700-meter-long cores beneath the Kucing Liar ore skarn (KL98-10-22) and the Grasberg Igneous Complex (KL98-10-21) contain high concentrations of vein and disseminated molybdenite. KL98-10-22, the focus of this study, intersects two previously unencountered intrusions, the “Tertiary intrusion Kucing Liar” (Tikl) and “Tertiary Pliocene intrusion” (Tpi). An intense dilatational quartz vein stockwork cuts Tikl and Ekmai Sandstone (Kkes) units, predating Tpi intrusion. Prior to these ultradeep cores, which extend almost 3 km below pre-mining surface, molybdenite was rarely observed in the district. Geochemistry and isotopic data indicate that Tikl and Tpi intrusions originated from the same large magmatic system that emplaced other ore-forming Ertsberg-Grasberg district intrusions. Magma in a lower crustal chamber was recharged at least twice, according to Sr-Nd data. Laser-ablation inductively-coupled plasma mass spectrometry of magmatic zircons yields 238U-206Pb ages between 3.40 ± 0.12 Ma (Dalam Andesite) and 2.77 ± 0.15 Ma (Ertsberg intrusion), revealing a shorter period of igneous activity than previously measured by K-Ar and Ar-Ar dating. Analyses include composite ages of 3.28 ± 0.08 Ma for Tikl and 3.18 ± 0.11 Ma for Tpi. Inherited zircon cores indicate Precambrian (mostly Proterozoic) basement. Molybdenite veining beneath the Kucing Liar Skarn and Grasberg Igneous Complex postdates stockwork veining and occurred before the 2.99 ± 0.11 Ma Kali dikes. Only one molybdenite vein was observed cutting Tpi. Molybdenites yielded ~3 Ma Re-Os ages and anomalous >4 Ma and <0.5 Ma ages; anomalous ages were not reproducible in follow-up analyses (this study). Smearing deformation of molybdenite (through fault activity) causes crystal strain, likely leading to annealing recrystallization. Recrystallization possibly redistributes daughter-product Os, resulting in anomalous ages from annealed material. Fluids with high Mo/Cu ratios (which were likely supercritical) precipitated late-stage molybdenite deep in the system. These fluids developed through magma chamber crystallization, which concentrated molybdenum in the melt as an incompatible element, and stripping of Cu from the magma chamber during hydrothermal activity. / text

The Ertsberg-Grasberg Mining District of Papua, Indonesia (Western New Guinea) hosts the Ertsberg Cu-Au Skarn, the giant Grasberg Porphyry Cu-Au deposit, and several other orebodies. Two 1700-meter-long cores beneath the Kucing Liar ore skarn (KL98-10-22) and the Grasberg Igneous Complex (KL98-10-21) contain high concentrations of vein and disseminated molybdenite. KL98-10-22, the focus of this study, intersects two previously unencountered intrusions, the “Tertiary intrusion Kucing Liar” (Tikl) and “Tertiary Pliocene intrusion” (Tpi). An intense dilatational quartz vein stockwork cuts Tikl and Ekmai Sandstone (Kkes) units, predating Tpi intrusion. Prior to these ultradeep cores, which extend almost 3 km below pre-mining surface, molybdenite was rarely observed in the district. Geochemistry and isotopic data indicate that Tikl and Tpi intrusions originated from the same large magmatic system that emplaced other ore-forming Ertsberg-Grasberg district intrusions. Magma in a lower crustal chamber was recharged at least twice, according to Sr-Nd data. Laser-ablation inductively-coupled plasma mass spectrometry of magmatic zircons yields 238U-206Pb ages between 3.40 ± 0.12 Ma (Dalam Andesite) and 2.77 ± 0.15 Ma (Ertsberg intrusion), revealing a shorter period of igneous activity than previously measured by K-Ar and Ar-Ar dating. Analyses include composite ages of 3.28 ± 0.08 Ma for Tikl and 3.18 ± 0.11 Ma for Tpi. Inherited zircon cores indicate Precambrian (mostly Proterozoic) basement. Molybdenite veining beneath the Kucing Liar Skarn and Grasberg Igneous Complex postdates stockwork veining and occurred before the 2.99 ± 0.11 Ma Kali dikes. Only one molybdenite vein was observed cutting Tpi. Molybdenites yielded ~3 Ma Re-Os ages and anomalous >4 Ma and <0.5 Ma ages; anomalous ages were not reproducible in follow-up analyses (this study). Smearing deformation of molybdenite (through fault activity) causes crystal strain, likely leading to annealing recrystallization. Recrystallization possibly redistributes daughter-product Os, resulting in anomalous ages from annealed material. Fluids with high Mo/Cu ratios (which were likely supercritical) precipitated late-stage molybdenite deep in the system. These fluids developed through magma chamber crystallization, which concentrated molybdenum in the melt as an incompatible element, and stripping of Cu from the magma chamber during hydrothermal activity. / text

ABSTRACT WHERE WE CANNOT SPEAK The poetry collection Where We Cannot Speak and the accompanying critical essay “Borges and the Golem Paradox: a Rhetoric of Silence?” explore the theme of language and silence. The poetry collection is written in the voice of the imaginary (but published) poet, Gershon Holtz, who reflects my Jewish heritage and upbringing. The poems articulate the silences of those oppressed by war and persecution, and also the silences of meditation and the ineffable, which can reside in the presence, absence, and margins of the poet’s voice. The collection is comprised of two sections: (i) “The Mantelpiece”, which delves into culture, conflict, and memory; and (ii) “The Beautiful Salon”, which reflects upon themes of place, time, loss, and responses to silences represented in visual art and poetry. The critical essay is concerned with the cabalistic figure of the golem—a human being made in an artificial way by magic art, through the use of holy names. Argentinean writer Jorge Luis Borges (famous for creating fictitious authors and books) wished that, of all his work, the first stanza of his poem “The Golem”, might be remembered. The essay provides a reading that demonstrates how the poem embodies Borges’ views on the nature of signification, language, and knowledge. The paradoxical outcome is that, just as the golem did not have the power of speech, language conceived of as an instrument for textual golem-making is silent in its capacity to represent the world. The essay concludes with some thoughts on my own poetic practice and links the essay with the poetry collection via the figure of the textual golem, Gershon Holtz. This fictional poet becomes a symbol for the problem of language and representation—interpreted both as what we cannot speak about, and the silences inherent in language itself.

<p>The purpose of this dissertation is to provide a proper treatment for two groups of logical paradoxes: semantic paradoxes and set-theoretic paradoxes. My main thesis is that the two different groups of paradoxes need different kinds of solution. Based on the analysis of the diagonal method and truth-gap theory, I propose a functional-deflationary interpretation for semantic notions such as ‘heterological’, ‘true’, ‘denote’, and ‘define’, and argue that the contradictions in semantic paradoxes are due to a misunderstanding of the non-representational nature of these semantic notions. Thus, they all can be solved by clarifying the relevant confusion: the liar sentence and the heterological sentence do not have truth values, and phrases generating paradoxes of definability (such as that in Berry’s paradox) do not denote an object. I also argue against three other leading approaches to the semantic paradoxes: the Tarskian hierarchy, contextualism, and the paraconsistent approach. I show that they fail to meet one or more criteria for a satisfactory solution to the semantic paradoxes. For the set-theoretic paradoxes, I argue that the criterion for a successful solution in the realm of set theory is mathematical usefulness. Since the standard solution, i.e. the axiomatic solution, meets this requirement, it should be accepted as a successful solution to the set-theoretic paradoxes.</p> / Doctor of Philosophy (PhD)

The work deals with the analysis of truth and lie in the J. Becker´s piece of work. The theoretical part, which confronts the factual events with the authenticity of the piece of work, anticipates this analysis. The literary part stands for another inevitable condition for studying the truth and lie. The ``practical part{\crq}q or the reading is thoroughly dedicated to the study of the piece {--}both from the point of view of persons living in the ghetto in Warshaw and from the point of view of the main character, Jakob Heym, which leads to the analysis of truth and lie and to meeting the requirements for my graduation thesis. All my work is concluded by a dialogue with a priest who comes from the Silesian-Polish borderline. Because of the fact that he is also engaged into this problematic I am interested in his opinion about truth and lie in ghetto {--} not only as a Pole, but as a priest as well.

My thesis aims at contributing to classifying the Liar-like paradoxes (and related Truth-teller-like expressions) by clarifying distinctions and relationships between these expressions and arguments. Such a classification is worthwhile, firstly, because it makes some progress towards reducing a potential infinity of versions into a finite classification; secondly, because it identifies a number of new paradoxes, and thirdly and most significantly, because it corrects the historically misplaced distinction between semantic and set-theoretic paradoxes. I emphasize the third result because the distinction made by Peano [1906] and supported by Ramsey [1925] has been used to warrant different responses to the semantic and set-theoretic paradoxes. I find two types among the paradoxes of truth, satisfaction and membership, but the division is shifted from where it has historically been drawn. This new distinction is, I believe, more fundamental than the Peano-Ramsey distinction between semantic and set-theoretic paradoxes. The distinction I investigate is ultimately exemplified in a difference between the logical principles necessary to prove the Liar and those necessary to prove Grelling’s and Russell’s paradoxes. The difference relates to proofs of the inconsistency of naive truth and satisfaction; in the end, we will have two associated ways of proving each result. ¶ Another principled division is intuitively anticipated. I coin the term 'hypodox' (adj.: 'hypodoxical') for a generalization of Truth-tellers across paradoxes of truth, satisfaction, membership, reference, and where else it may find applicability. I make and investigate a conjecture about paradox and hypodox duality: that each paradox (at least those in the scope of the classification) has a dual hypodox.¶ In my investigation, I focus on paradoxes that might intuitively be thought to be relatives of the Liar paradox, including Grelling’s (which I present as a paradox of satisfaction) and, by analogy with Grelling’s paradox, Russell’s paradox. I extend these into truth-functional and some non-truth-functional variations, beginning with the Epimenides, Curry’s paradox, and similar variations. There are circular and infinite variations, which I relate via lists. In short, I focus on paradoxes of truth, satisfaction and some paradoxes of membership. ¶ Among the new paradoxes, three are notable in advance. The first is a non-truth functional variation on the Epimenides. This helps put the Epimenides on a par with Curry’s as a paradox in its own right and not just a lesser version of the Liar. I find the second paradox by working through truth-functional variants of the paradoxes. This new paradox, call it ‘the ESP’, can be either true or false, but can still be used to prove some other arbitrary statement. The third new paradox is another paradox of satisfaction, distinctly different from Grelling’s paradox. On this basis, I make and investigate the new distinction between two different types of paradox of satisfaction, and map one type back by direct analogy to the Liar, and the other by direct analogy to Russell's paradox.

En la presente tesis se muestra una nueva metodología de extracción "inteligente" de modelos circuitales lineales y no lineales para dispositivos MESFET y HEMT, además de efectuar numerosas aportaciones en el campo de las medidas radioeléctricas de dichos dispositivos mediante diseño del hardware y del software necesario para la automatización de las mismas. Por otro lado se presenta un novedoso modelo de Gran Señal para dispositivos HEMT de potencia que da cuenta del fenómeno de la compresión de la transconductancia y es fácilmente implementable en simuladores no lineales comerciales del tipo de MDS, LIBRA, HARMONICA, etc. Además se ha aumentado el rango de validez frecuencial de los modelos de pequeña señal mediante la obtención de las expresiones "exactas" de los modelos usuales de pequeña señal Vendelin-Dambrine, Vickes, Berroth & Bosch, etc. Otra novedad aportada por este trabajo de tesis ha sido aplicar estos modelos lineales a los transistores HEMT, evitando la obtención valores carentes de significado físico como ocurría hasta ahora. Como validación del modelo no lineal de HEMT se han llevado a cabo numerosas simulaciones del mismo en MDS que han sido comparadas con las medidas experimentales realizadas en nuestro laboratorio (Scattering, DC, Pulsadas y Pin/Pout) poniendo de manifiesto la exactitud del modelo. Para validar los modelos de pequeña señal se han efectuado simulaciones con el simulador lineal MMICAD utilizando transistores de diferentes tamaños procedentes de distintas foundries con objeto de visualizar el comportamiento del dispositivo independientemente del origen del mismo. / In this thesis a new methodology for the "intelligent" parameter extraction of linear and non-linear model for GaAs MESFET and HEMT devices is shown, besides numerous contributions in the field of Scattering and DC measurements of this kind of devices by means of hardware design and necessary software for the automation of the same have been done. On the other hand a novel Great Signal model for HEMT devices is presented. This model is capable to model the transconductance compression phenomenon and it is easily to built in commercial non-linear simulators like MDS, LIBRA, Microwave HARMONICA, etc. This work has also increased the frequency range for the usual small-signal models by means of calculate "exact" expressions of them. Another novelty contribution of this thesis is to apply for first time these linear models to HEMT transistors, avoiding the lacking of physical meaning values like it occurred up to now. To make possible the validation of non-linear HEMT model, simulations with MDS software and comparisons with experimental measurements made in our laboratory (Scattering, DC, Pulsed and Pin/ Pout) have been carried out and there was very good agreement between measured and simulated data. To validate small-signal models referred before, simulations with MMICAD software and comparisons between simulated and experimental scattering measurements using transistors of different sizes from several foundries and technological processes have been made.