The considerations presented in this work are an attempt at giving an answer to the arising doubts: it is obvious to philosophers and logicians that such considerations must be grounded on a relevant conception of the truth and the lie, on bringing up one of the most difficult and disturbing philosophical problems, that is the problemate of the truth, on investigating what the lie is. The confusion about the notions related to the ambiguous terms of “the truth” and “the lie” (...) introduces, in turn, a confusion connected with attempts at answering the questions posed. Thus, in the first part of this paper, we will deal with the very notion itself, or – more precisely – with the notions of the truth; in the second one – with the notions of the lie, and in the third part – we will juxtapose the notions of the truth and the lie in such a way that in each case it should be possible to provide an answer to the question asked in the title of the work. Part four, being the final one, contains certain summary of it, as well as final considerations as a peculiar challenge. (shrink)

We extend the ordinary logic of knowledge based on the operator K and the system of axioms S₅ by adding a new operator Uφ, standing for "the agent utters φ", and certain axioms and a rule for U, forming thus a new system KU. The main advantage of KU is that we can express in it intentions of the speaker concerning the truth or falsehood of the claims he utters and analyze them logically. Specifically we can express in the (...) new language various notions of lying, as well as of telling the truth. Consequently, as long as lying or telling the truth about a fact is an intentional mode of the speaker, we can resolve the Liar paradox, or at least some of its variants, turning it into an ordinary (false or true) sentence. Also, using Kripke structures analogous to those employed by S. Kraus and D. Lehmann in [3] for modelling the logic of knowledge and belief, we offer a sound and complete semantics for KU. (shrink)

ABSTRACT At the centre of Plato’s Euthydemus lie a series of arguments in which Socrates’ interlocutors, the sophists Euthydemus and Dionysodorus propose a radical account of truth (‘chopped logos’) according to which there is no such thing as falsehood, and no such thing as disagreement (here ‘counter-saying’). This account of truth is not directly refutable; but in response Socrates offers a revised account of ‘saying’ focussed on the different aspects of the verb (perfect and imperfect) to give a rich account (...) of saying, of truth and of knowledge. I argue that Socrates’ response has much to offer, notably in its amplification of the process of saying and cognition, and the development of virtue. (shrink)

This book is about the norms of the speech act of assertion. This is a topic of lively contemporary debate primarily carried out in epistemology and philosophy of language. Suppose that you ask me what time an upcoming meeting starts, and I say, “4 p.m.” I’ve just asserted that the meeting starts at 4 p.m. Whenever we make claims like this, we’re asserting. The central question here is whether we need to know what we say, and, relatedly, whether what we (...) assert must be true. If the meeting is really at 3:30 p.m., you’ll be late, and probably rather upset that I told you the wrong time. In some sense, it seems like I’m on the hook for having said something false. This sense that I’ve done something wrong suggests that there are certain standards of evaluating assertions: a way of distinguishing between good and bad, appropriate and inappropriate. We call these standards norms. And so the debate about what, if any, norms govern the linguistic practice of assertion is known as the norms of assertion debate. When one’s assertion satisfies the norm, we say that the assertion is warranted. -/- Various philosophers have typically focused their views of the norms of assertion on articulating the level of epistemic support required for properly asserting. Some argue, for example, that one must know what one asserts. Others argue that one merely needs to justifiably believe what one asserts–an epistemic standing weaker than knowledge. The purpose of this book is to defend what I propose as the central norm governing our practice of assertion, which I call the Supportive Reasons Norm. Here’s what it looks like: -/- One may assert that p only if: One has supportive reasons for p, The relevant conventional and pragmatic elements of the context are present, and One asserts that p at least in part because the assertion that p satisfies and. -/- In rough outline, the standards for warrantedly asserting shift with changes in context, although knowledge is never required for warrantedly asserting. In fact, in some special contexts, speakers may warrantedly lie. This latter feature particularly sets apart my view from others in the debate. This also means that truth, knowledge, and even belief aren’t necessary conditions for warrantedly asserting. (shrink)

The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification of (...) theorems of every science, (b) principles of correct formulating of thoughts and using language, and (c) general deductive method of reasoning, i.e in the study of language syntax and semantics. The authors present two theories of language syntax and semantics as exemplifications based on the Tarski’s famous results in metalogic: (1) a formalization of universal syntax system by Andrzej Grzegorczyk based on a new primitive notion of quotation-marks operator, and (2) an enlarged system of axiomatic theory of syntax of any categorial language of Urszula Wybraniec-Skardowska’s in which the main role plays the relation of concatenation understood as a set-theoretical function. The study concludes in arguing that the importance of the result (2) lies not only in solving some philosophical problems but also in different fields of knowledge and spheres of human life as ex. in discussion and education as well. (shrink)

"The Greatest is Love." God wants us to love our neighbors. If this is the premise of being Christian, then why do thousands of denominations claim to be the "right and true" one, implying that all others are false? The author searches for truth and explores real world issues concerning Christians throughout history and today, and the future of Christianity in this ever-changing world. Join the author as he challenges you to think outside of your comfort zone and questions what (...) you might have been told not to question about the Word of God. This book contains many facts and true stories, some you might recognize and some from the author's own life, as he logically discusses controversial subjects such as a Perfect Bible, sex, lying, killing, ethics, Christian leadership, Bible-thumping judgment, and women's rights. It is well documented and written in easy-to-understand language to arm you with the knowledge you need to discuss Scripture in an educated and meaningful way, and to develop a real-world perspective of Christianity; a must-read for all who profess to be Christian! (shrink)

This collection, with essays by Graham H. Bird, Jaakko Hintikka, Ilkka Niiniluoto, Jan Wolenski, will interest graduate students of the philosophy of language and logic, as well as professional philosophers, historians of analytic philosophy, and philosophically inclined logicians. Language, Truth and Knowledge brings together 11 new essays that offer a wealth of insights on a number of Carnap's concerns and ideas. The volume arose out of a symposium on Carnap's work at an international conference held in Vienna in 2001. (...) The essays are written from a variety of perspectives: -some essays aim at rebutting influential criticisms directed at Carnap's views; -others examine and assess his thought in the light of recent developments in the neurosciences; -still others are historical and describe the development of Carnap's thought; -they all shed light on the relation of this thought and different philosophical traditions. These essays form a collection that will prove a valuable resource for our understanding of the historic Carnap and the living philosophical issues with which he grappled. (shrink)

We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those who (...) state propositions they believe to be false. Not all lies are statements of false propositions—some lies are true; some have no truth-value. People who only occasionally lie are not liars: roughly, liars repeatedly and habitually lie. Some half-truths are statements intended to mislead even though the speakers “interpret” the sentences used as expressing true propositions. Others are statements of propositions believed by the speakers to be questionable but without revealing their supposed problematic nature. The two “formulations” of “the antinomy of the liar” in [1], pp.157–8 and 161–2, have nothing to do with lying or liars. The first focuses on an “expression” Tarski calls ‘c’, namely the following. -/- c is not a true sentence -/- The second focuses on another “expression”, also called ‘c’, namely the following. -/- for all p, if c is identical with the sentence ‘p’, then not p -/- Without argumentation or even discussion, Tarski implies that these strange “expressions” are English sentences. [1] Alfred Tarski, The concept of truth in formalized languages, pp. 152–278, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Hackett, Indianapolis 1983. -/- https://www.academia.edu/12525833/Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_th e_Written_English_Used_in_Logic. (shrink)

A dissertation in the tradition of logical positivism includes a discussion of the functions and methods of philosophy and a critique of ethics and theology.

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Thomas Reid on Logic, Rhetoric and the Fine Arts: Papers on the Culture of the MindRyan NicholsAlexander Broadie, editor. Thomas Reid on Logic, Rhetoric and the Fine Arts: Papers on the Culture of the Mind. The Edinburgh Edition of Thomas Reid, Vol. 5. University Park, PA: Pennsylvania State University Press, 2005. Pp. xlix + 350. Cloth, $85.00.Following an enlightening introduction by Alexander Broadie, this volume collects (...) Reid's manuscripts into three parts of about 100 pages each: the first about the culture of the mind, the second about Aristotle's logic, and the third about eloquence and the fine arts.The first part reproduces Reid's manuscripts on the cultivation or improvement of the mind—originally lecture notes delivered to one of his classes at the University of Glasgow. Reid describes how one is to improve one's faculties of the mind, including reason, memory, perception, and imagination. His motivation lies in his conviction that the faculties are like "the Earth itself" which was "left by the Almighty in a Rude and uncultivated state but capable of a high degree of Cultivation by human Labour Industry [and] Art" (13).This material will be most useful to those interested in Reid's philosophy of education, or the philosophy of education in eighteenth-century Scotland. Nonetheless, Reid makes several interesting points in these lectures that students of his metaphysics, ethics, and epistemology will find interesting. For example, he considers the nature of acquired perception here because our ability to form acquired perceptions depends on the cultivation of our senses. He recognizes that "the far greater part of the perceptions we have by [the senses] are acquired and therefore must be learned by practice and Habit" (18). This would confirm the interpretation of acquired perceptions according to which they are not as non-inferential and non-cognitive as Reid's "original perceptions."Perhaps Reid's most intriguing observations concern the social nature of our faculties. In his analysis of testimony, scholars have seen in Reid a concern with social aspects of knowledge unparalleled in the history of philosophy. But Reid goes a step further by arguing that the faculties themselves are social in origin. Comparing a cultured man with a feral man, he argues that culture is necessary for the development of our intellectual and active powers, including reasoning, language-use, the conception of abstract ideas, and moral perception (40–42). This prompts Reid to attack Rousseau's thesis that man is most happy as a solitary individual in a state of nature, lacking these powers. Reid's case against Rousseau includes some unjustifiable ad hominem attacks, but is on the whole persuasive.Reid also applies philosophical reasoning to his religious beliefs in these lectures, warning readers that some facts are beyond the human mind: "the first origin both of the human Soul and of the human Body is unknown to us" (25). This discussion should influence the question of whether Reid believes the substance of the mind is fundamentally beyond human comprehension. Second, in a conceptual argument that eludes me, he contends that it is "probable" that God "must" have created human beings as fully-formed adults (49).The second part is entitled 'A Brief Account of Aristotle's Logic. With Remarks.' Amidst his excoriation of Aristotle and syllogistic reasoning, Reid's emphasis on the use of induction is impressive and important. Readers of this part will get glimpses of Reid's views on first principles and the nature of truth. Reid sees his philosophical reasoning—about the [End Page 165] mind and now about logic—as having immediate practical benefit to those wishing to learn about the world. Though he praises Aristotle on several occasions for establishing the foundations of logic, he sees little of value in Aristotle's own logic. Of Aristotle's Topics, Reid asks, "Why should I throw away so much time and painful attention upon a thing of so little real use?" (115).The final part of the volume is about the fine arts, principally eloquence, which is noblest because it combines the virtues of all the others (197). Reid mentions several conditions for a flourishing art of eloquence, including a number... (shrink)

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed (...) in terms of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. The book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. Anyone interested in ancient philosophy, or in logic and its history, will find much to learn and enjoy here.

Preface -- Part I: Philosophical logic and philosophy of language -- Rules versus theorems : a new approach for mediation -- Between intuitionistic and two-valued logic -- On the relation between the partition of a whole into parts and the attribution of properties to an object -- Basic objectives of dialogic logic in historical perspective -- Pragmatic and semiotic prerequisites for predication : a dialogue model -- Pragmatics and semiotics : the peircean version of ontology and epistemology (...) -- Intentionality and its language-dependency -- Meaning postulates and rules of argumentation : remarks concerning the pragmatic tie between meaning (of terms) and truth (of propositions) -- What do language games measure? -- Features of Indian logic -- Part II: Methods in philosophy, in art, and in science -- The concept of science : some remarks on the methodological issue construction versus description in the philosophy of science -- Is and ought revisited -- Competition and cooperation : are they antagonistic or complementary? -- Another version of methodological dualism -- The pre-established harmony between the two Adams -- On the way to conceptual and perceptual knowledge -- Self and other : remarks on human nature and human culture -- On the concept of symmetry -- Procedural principles of the Eerlangen School : on the interrelation between the principles of method, of dialogue, and of reason. (shrink)

In the process that followed the evolution of ancient Greek thought from mythology to a systematic philosophy, Parmenides, the founder of the Elea school, built up his thoughts with theses that were the exact opposite of his time and perhaps common sense in general. His famous poem On Nature, in the light of the logical principles, inferences, and analyses it contains, has profoundly influenced both epistemologies in terms of structure and possibility, and ontologies within the framework of time, space, and (...) movement. In the mentioned period, the logical internal consistency of Parmenides and his followers, and the rational level in their arguments shaped the ancient period. The role he played especially in natural philosophy and metaphysics is undeniable. However, the ambiguities in the context of the theses and their interpretations of his poem, the only work that has been quoted, have not been resolved until today. The dimensions of this mystery are not only related to classical thought. Ontologies related to physics approaches, theoretical and institutional beliefs about them, and various cosmogony and language understandings can be related to Parmenides in some way. It is also possible to find in Parmenides's early forms some of the contents that form the basis of the philosophy of logic and has metaphysical roots constructed by Aristotle in the ancient period and for which he gained a well-deserved reputation. In addition to the deductive approach, especially the law of contradiction, the principle of identity, the law of excluded third, and the principles of sufficient reason are the most important concepts among those mentioned. These principles, which are not directly formulated, have been used in the context of Parmenides’ arguments about knowledge, existence, and related concepts. In our study, by touching on the significant points of the poem written by Parmenides, we will try to examine the conceptual uses and logical structures of the principles we have expressed and follow the traces of the process in question, and examine its effects. The main reason for this effort is that the content presented by Parmenides continues to be discussed today, maintained its influence in many areas mentioned above, and is an important cornerstone in the development of philosophy. (shrink)

Philosophers have been thinking about lying for several thousand years, yet this topic has only recently become a central area of academic interest for philosophers of language, epistemologists, ethicists, and political philosophers. Lying: Language, Knowledge, Ethics, Politics provides the first dedicated collection of philosophical essays on the emerging topic of lying. Adopting an inter-subdisciplinary approach, this volume breaks new methodological ground in exploring the ways that a better understanding of language can inform the study of knowledge, ethics, or politics - (...) and vice-versa. How can we lie when it is unclear what exactly we believe, or when we have contradictory beliefs? Can corporations lie, and if so how? Is lying always wrong, or always at least prima facie wrong? What can one learn from a liar? Can we lie to mindless machines? These engaging questions and many more are explored at length in this accessible reference text. (shrink)

Minimalism concerning truth is the view that that all there is to be said concerning truth is exhausted by a set of basic platitudes. In the first part of this thesis, I apply this methodology to the concept of knowledge. In so doing, I develop a model of inexact knowledge grounded in what I call minimal margin for error principles. From these basic principles, I derive the controversial result that epistemological internalism and internalism with respect to self-knowledge are untenable doctrines. (...) In the second part of this thesis, I develop a minimal theory of vagueness in which a rigorous but neutral definition of vagueness is shown to be possible. Three dimensions of vagueness are distinguished and a proof is given showing how two of these dimensions are equivalent facets of the same phenomenon. From the axioms of this minimal theory one can also show that there must be higher-order vagueness, contrary to what some have argued. In the final part of this thesis, I return to issues concerning the credentials of truth-minimalism. Is truth-minimalism compatible with the possibility of truth-value gaps? Is it right to say that truth-minimalism is crippled by the liar paradox? With respect to the former question, I develop a novel three-valued logical system which is both proof-theoretically and truth-theoretic ally well-motivated and compatible with at least one form of minimalism. With respect to the second question, a new solution to the liar paradox is developed based on the claim that while the liar sentence is meaningful, it is improper to even suppose that this sentence has a truth-status. On that basis, one can block the paradox by restricting the Rule of Assumptions in Gentzen-style presentations of the sentential sequent calculus. The first lesson of the liar paradox is that not all assumptions are for free. The second lesson of the liar is that, contrary to what has been alleged by many, minimalism concerning truth is far better placed than its rival theories to solve the paradox. (shrink)

'This sentence is false' - is that true? The 'Liar paradox' embodied in those words exerted a particular fascination on the logicians of the Western later Middle Ages, and, along with similar 'insoluble' problems, forms the subject of the first group of articles in this volume. In the following parts Professor Spade turns to medieval semantic theory, views on the relationship between language and thought, and to a study of one particular genre of disputation, that known as 'obligationes'. The focus (...) is on the Oxford scholastics of the first half of the 14th century, and it is the name of William of Ockham which dominates these pages - a thinker with whom Professor Spade finds himself in considerable philosophical sympathy, and whose work on logic and semantic theory has a depth and richness that have not always been sufficiently appreciated. (shrink)

In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (1992), Beall (...) and Restall (2006), Field (2009), Lynch (2009), and Sher (2016a).1 Whenever possible, I focus on positive rather than negative views on the issues involved, although in some cases this is not possible. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...) of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. Its six chapters discuss, first, certain ancient ideas about truth; secondly, the Aristotelian conception of predication; thirdly, various ideas about connectors which were developed by the ancient logicians and grammarians; fourthly, the notion of logical form, insofar as it may be discovered in the ancient texts; fifthly, the question of the 'justification of deduction'; and sixthly, (...) the attitude which has been called logical utilitarianism and which restricts the scope of logic to those forms of inference which are or might be useful for scientific proofs. In principle, the book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. There is no scholarly apparatus of footnotes, and no bibliography. It can be read in an armchair. Anyone interested in ancient philosophy, or in logic and its history, will find it interesting. (shrink)

Umberto Eco's Baudolino (2000) never achieved the success of his first novel, The Name of the Rose (1980), although both are historical fictions that provide literary clothing for philosophical ideas. In Baudolino, Eco again dramatizes the disagreement between rationalists and empiricists regarding the sources of our concepts and knowledge, ideas that came to the fore during the medieval period and which continue to be pertinent questions in epistemology. Propositions of either sense experience or logic and reasoning being the basis (...) for knowledge, offer Eco an opportunity for playing what he calls "a game of ambiguity about truth and lies."1 Historical uncertainties, the holes in the fabric of our knowledge about .. (shrink)

Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. The book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. Anyone interested in ancient philosophy, or in logic and its history, will find much to learn and enjoy here.

This paper explores the issue of knowledge management in modern Democracies, along with the demands posed by the truth problem. While a singular concept of truth can neither be epistemically safe, thus becoming flexible for partial or subjective demonstrations of its authentic or ideal value, nor applicable for every society, it can still take the form of a critical consensus, based on two new principles that are introduced here. The continuity of such a consensus that lies beyond the manipulation of (...) an un-ethical rhetoric or demagogy can safeguard the existence of the Polis, without having to cease espousing typical logic syllogisms as well as the moral qualities that are essential for a meaningful way of social and political life. If not conducive to the collective good, the search for truth remains futile in the practical level of making people’s lives better and of enhancing their common bonds. (shrink)

The paper discusses properties of 4QL, a DATALOG⌉⌉-like query language, originally outlined by Maluszyński and Szalas (Maluszyński & Szalas, 2011). 4QL allows one to use rules with negation in heads and bodies of rules. It is based on a simple and intuitive semantics and provides uniform tools for “lightweight” versions of known forms of nonmonotonic reasoning. Negated literals in heads of rules may naturally lead to inconsistencies. On the other hand, rules do not have to attach meaning to some literals. (...) Therefore 4QL is founded on a four-valued semantics, employing the logic introduced in (Maluszyński et al., 2008; Vitória et al., 2009) with truth values: ‘true’, ‘false’, ‘inconsistent’ and ‘unknown’. In addition, 4QL is tractable w.r.t. data complexity and captures PTIME queries. Even though DATALOG⌉⌉ is known as a concept for the last 30 years, to our best knowledge no existing approach enjoys these properties.In the current paper we:investigate properties of well-supported models of 4QLprove the correctness of the algorithm for computing well-supported modelsshow that 4QL has PTIME data complexity and captures PTIME. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

This book answers three questions: (i) What is it for a statement to be analytically true? (ii) What is a priori knowledge? (How does it differ from inherited empirical knowledge? And how does it differ from acquired conceptual (non-empirical) knowledge, such as one's knowledge that not all continuous functions are differentiable?). (iii) Do we have a priori knowledge? It is shown that content-externalism is an 'epistemologicization' of the (logically, not psychologically) innocuous fact that, if a sentence S of natural language (...) expresses a multiply quantified generalization, S also expresses each quantified generalization obtained by permuting the quantifiers in it. It is also shown that, through judicious usage of Kaplan's dthat-operator, the shred of truth in content externalism can be reconciled with the datum that, in virtue of having a given representational content R, a mental state M has causal powers that it would not otherwise have. And it is thereby shown how to reconcile content-externalism, so far as the latter is true, with the legitimacy of individualist approaches to psychology. Finally, it is shown that content-externalism embodies a crude and false conception of the nature of the relationship between the literal meanings of linguistic expressions, on the one hand, and, on the other hand, the contents of the thoughts underlying our usage of such expressions. More precisely, content-externalism presupposes that literal meaning and cognitive content are in lockstep with each other; which, it is shown, is not the case and---what is also shown---only appears to be the case because of a failure on the part of semanticists to know where to draw the line between semantics and pragmatics. (shrink)

A principal aim of Chateaubriand’s Logical Forms II: Logic, Language, and Knowledge is to clarify and defend what Chateaubriand describes as the ontological conception of logic against the standard model-theoretic or “linguistic” view. Both sides to the debate accept that if logic is a science then there must be logically necessary facts that this science discovers, Chateaubriand arguing that because logic is a science, there must be logically necessary facts, and his opponent that because there are (...) no logically necessary facts, logic cannot be a science. I argue that we can go between the horns of this dilemma by showing that, although logic is a science, it does not follow, as Chateaubriand assumes, that there are logically necessary facts. There are truths of logic; there are no “logical truths”.Um dos objetivos principais de Logical Forms II: Logic, Language and Knowledge de Chateaubriand é clarificar e defender o que ele descreve como a concepção ontológica da lógica, contra a visão predominante, modelo-teórica ou “lingüística”. Os dois lados do debate aceitam que, se a lógica é uma ciência, então deve haver fatos logicamente necessários que esta ciência descobre; Chateaubriand argumenta que, porque a lógica é ciência, deve haver fatos necessários que ela descobre, enquanto seus oponentes argumentam que, porque não há fatos logicamente necessários, a lógica não pode ser uma ciência. Eu argumento que podemos tomar uma via intermediária entre estes dois lados do dilema mostrando que, ainda que a lógica seja uma ciência, não se segue, como Chateaubriand assume, que existem fatos logicamente necessários. Existem verdades da lógica; não existem “verdades lógicas”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 9.2 (2002) 131-136 [Access article in PDF] Language, Logic, and Recovery:A Commentary on van Staden Paul Falzer and Larry Davidson Keywords: analytic philosophy, experience, Frege, ordinary language, psychosis, psychotherapy. VAN STADEN'S PAPER, "Linguistic Markers of Recovery," takes on a formidable task. As he explains it, findings from a previously conducted empirical study suggest that recovery from a psychiatric condition can be predicted by certain (...) patterns of first person pronoun usage. His current paper explains how these patterns follow the mathematical logic of Gottlob Frege. van Staden's attempt to systematize the link between language and treatment outcome shows promise. We want to support his effort by raising a few caveats about the application of foundational systems in psychiatry and psychology, particularly the advisability of employing a logical system to explain recovery from mental illness. Along the way, we will be identifying related issues that the author may elect to take up in his future work.van Staden's proposal is inspired by Frege's logical system, but the paper is, at the very least, an innovative adaptation. There are various points where we are left to wonder just how much of this proposal is really Frege's. Nevertheless, the genesis of van Staden's ideas is so dependent that one would expect a fuller account of Frege's pivotal role in the development of modern logic, how his work precipitated what is known commonly as the linguistic turn, and why a logical system that was so well received when first articulated was eclipsed so quickly by Russell's Principia (1963) and Wittgenstein's Tractatus. (1981) These issues can be addressed separately and perhaps they should, because lacking an account of how Frege's philosophy developed and evolved makes the presentation appear somewhat sketchy and incomplete.Frege is portrayed in philosophical lore as the founder of modern logic and a pioneer of the movement that later became known as analytic philosophy. Dummett (1991) regards Frege's Foundations of Arithmetic (1968) as analytical philosophy's first work (p. 111). According to Quine (1955), "All modern logic owes an incalculable debt to Frege. If anyone can be singled out as the founder of mathematical logic, it is by all odds he" (p. 158). Rorty (1967) notes that analytic philosophy's tack of construing philosophical questions as turning on language use and construction challenges the entire tradition, from Parmenides forward. However, the challenge reaches fruition not in Frege, but in works of Moore, Wittgenstein, and Austin. Rather than [End Page 131] sharing the limelight with the great analytic philosophers, Frege has become somewhat of a peripheral figure, whose contribution is usually portrayed as transitional. In some respects, analytic philosophy was moving against Frege's, and later, Russell's logical systems as it was concomitantly countering the various strands of idealism expounded principally by Bradley and McTaggart (see Hacker 1996, 5-12). Almost from the outset, Fregean logic was caught in a cross fire, and the author is obligated to tell us why we should be attending to the pristine version and not the more fully developed approaches that came soon after.Such a justification undoubtedly would begin with the dictum most central to Frege's philosophical thought, that propositions are primary. For Kemp (1998), this declaration carries two interrelated implications: Logical propositions are the real bearers of truth and falsity, and reasoning is a movement from one judgment to another (see p. 218). Frege posits that propositions are independent of mind, grammar, and language use. Knowledge and cognition are embodied in, but do not predicate, judgment. Frege adamantly rejects the notion that philosophical concepts are grounded in psychological phenomena, such as perception, sense impression, and some traditional accounts of meaning. This is the doctrine known as psychologism, and Frege abjures the suggestion that psychology can contain the sciences or adjudicate their findings (Frege 1956; for a discussion of this doctrine, see Notturno 1989; Davidson 1988; Davidson and Cosgrove 1991). The dictum that propositions are primary dispels the commonly held idea that reasoning begins with perception and proceeds... (shrink)

The paper seeks a perfectly general argument regarding the non-contingent limits to any (human or non-human) knowledge. After expressing disappointment with the history of philosophy on this score, an argument is grounded in Fitch’s proof, which demonstrates the unknowability of some truths. The necessity of this unknowability is then defended by arguing for the necessity of Fitch’s premise—viz., there this is in fact some ignorance.

I am very grateful to Kluwer Academic Publishers for the opportunity to republish these articles about knowledge and language. The Introduction to the volume has been written by James Logue, and I need to pay a very sincerely intended tribute to the care and professionalism which he has devoted to every feature of its production. My thanks are also due to Matthew MeG rattan for his technical as sistance in scanning the articles onto disk and formatting them. 1. Jonathan Cohen (...) vii Publisher's Note Thanks are due to the following publishers for permission to reproduce the articles in this volume. On the project of a universal character. Oxford University Press. Paper 1 On a concept of a degree of grammaticalness. Logique et Analyse. Paper 2 Paper 3 The semantics of metaphor. Cambridge University Press. Paper 4 Can the logic of indirect discourse be formalised? The Association for Symbolic Logic. Paper 5 Some remarks on Grice's views about the logical particles of natural language. Kluwer Academic Publishers. Paper 6 Can the conversationalist hypothesis be defended? Kluwer Academic Publishers. Paper 7 How is conceptual innovation possible? Kluwer Academic Publishers. Should natural language definitions be insulated from, or interactive Paper 8 with, one another in sentence composition? Kluwer Academic Publish ers. Paper 9 A problem about truth-functional semantics. Basil Blackwell Publisher Ltd. Paper 10 The individuation of proper names. Oxford University Press. Paper 11 Some comments on third world epistemology. Oxford University Press. Paper 12 Guessing. The Aristotelian Society. (shrink)

Why believe in the findings of science? John Ziman argues that scientific knowledge is not uniformly reliable, but rather like a map representing a country we cannot visit. He shows how science has many elements, including alongside its experiments and formulae the language and logic, patterns and preconceptions, facts and fantasies used to illustrate and express its findings. These elements are variously combined by scientists in their explanations of the material world as it lies outside our everyday experience. John (...) Ziman’s book offers at once a valuably clear account and a radically challenging investigation of the credibility of scientific knowledge, searching widely across a range of disciplines for evidence about the perceptions, paradigms and analogies on which all our understanding depends. (shrink)

We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating to each possible distribution a plausibility ranking. Beliefs are defined as in Belief Revision Theory, in terms of truth in the most plausible worlds. We consider two forms of conditioning or belief update, corresponding to the acquisition of two types of information: learning observable evidence obtained by (...) repeated sampling from the unknown distribution; and learning higher-order information about the distribution. The first changes only the plausibility map, but leaves the given set of possible distributions essentially unchanged; the second rules out some distributions, thus shrinking the set of possibilities, without changing their plausibility ordering.. We look at stability of beliefs under either of these types of learning, defining two related notions, as well as a measure of the verisimilitude of a given plausibility model. We prove a number of convergence results, showing how our agent’s beliefs track the true probability after repeated sampling, and how she eventually gains in a sense knowledge of that true probability. Finally, we sketch the contours of a dynamic doxastic logic for statistical learning. (shrink)

O objetivo desse artigo é apresentar com base no pensamento do filósofo alemão Gottlob Frege, a concepção de conhecimento, partindo especialmente dos artigos “Sobre o sentido e a referência” e “As fontes de conhecimento em Matemática e em Ciências Naturais Matemáticas”. Para Frege só poderíamos afirmar que conhecemos alguma coisa, se o pensamento expressado por esta coisa for reconhecido como verdadeiro. Desta forma, antes de apresentarmos a concepção do autor relacionada à forma de reconhecer a verdade expressada por um pensamento, (...) temos que compreender o que Frege entende por verdade. Abordaremos primeiramente aquilo que Frege chama de “fontes do conhecimento”, que seriam as possibilidades de verificação de verdade de um enunciado, e em sequência, a concepção da linguagem, visando apontar de que modo “verdade” e “linguagem” se relacionam. Em seguida, buscaremos orientar nosso trabalho em torno das fontes de conhecimento como formas de reconhecer a verdade, apresentando suas contribuições e suas dificuldades.: The following article aims to present based in the thought of the german philosophy Gottlob Frege, the conception of knowledge, especially starting from the articles “On Sense and Reference” and “The sources of knowledge in Mathematics and Mathematical Natural Sciences”. For Frege we could only affirm we know something, if the expressed thought by this thing is recognized as truth. Thus, before we present the author’s conception related to how to recognize the truth expressed by a thought, we have to understand what Frege understand by truth. First we will discuss what Frege calls "sources of knowledge", which would be the possibilities of truth’s verification of a statement, and in sequence, the language’s conception aiming to identify how "truth" and "language" are related. Then we seek to guide our work around the sources of knowledge as ways to recognize the truth, presenting their contributions and their difficulties. Keywords: Experience. Logic. Geometry. Truth. Knowledge. (shrink)

This article undertakes to examine the reception of Platonic theories of falsification in the contemporary philosophy of Leo Strauss and his adherents. The aim of the article is to consider the Straussian response to, and interaction with, Platonic ideas concerning deception and persuasion with an emphasis on the arguments found in the Laws. The theme of central interest in this analysis is Plato’s development of paramyth in the Laws. Paramyth entails the use of rhetorical language in order to persuade the (...) many that it is to their advantage to obey certain laws. It does so without explaining in detail why a given law is ethically correct and its use assumes that the audience, on the whole, is not capable of understanding the finer philosophical underpinnings of the law. The so-called ‘noble lie’ of the Republic is also considered in this context. The crucial issue, for Plato if not for Strauss, is whether or not an instance of falsification, however minor, for the purposes of persuasion contains ‘truth-value’, that is, whether it is morally justifiable in terms of ends and means. In terms of Strauss’s reception of Plato, such issues as ancient Hebrew mysticism, Medieval Jewish and Islamic scholarship and Heideggerian Phenomenology figure in the argument. Ultimately, the article finds that Strauss and his followers have constructed a particular view of Platonic ideas that, while unique, is not compatible with their original signification. (shrink)

Is the point of belief and assertion invariably to think or say something true? Is the truth of a belief or assertion absolute, or is it only relative to human interests? Most philosophers think it incoherent to profess to believe something but not think it true, or to say that some of the things we believe are only relatively true. Common sense disagrees. It sees many opinions, such as those about matters of taste, as neither true nor false; it takes (...) it as obvious that some of the truth is relative. Mark Richard's accessible book argues that when it comes to truth, common sense is right, philosophical orthodoxy wrong. The first half of the book examines connections between the performative aspects of talk, our emotions and evaluations, and the conditions under which talk and thought qualifies as true or false. It argues that the performative and expressive sometimes trump the semantic, making truth and falsity the wrong dimension of evaluation for belief or assertion. Among the topics taken up are: racial slurs and other epithets; relations between logic and truth; the status of moral and ethical talk; vagueness and the liar paradox. The book's second half defends the idea that much of everyday thought and talk is only relatively true or false. Truth is inevitably relative, given that we cannot work out in advance how our concepts will apply to the world. Richard explains what it is for truth to be relative, rebuts standard objections to relativism, and argues that relativism is consistent with the idea that one view can be objectively better than another. The book concludes with an account of matters of taste and of how it is possible for divergent views of such matters to be equally valid, even if not true or false. When Truth Gives Out will be of interest not only to philosophers who work on language, ethics, knowledge, or logic, but to any thoughtful person who has wondered what it is, or isn't, for something to be true. (shrink)

I try to show that there is much sap (synthetic a priori) knowledge although one may not find many, or even any, sap true statements in most natural languages. Reasons are given for the difficulty of expressing sap truths in natural languages, but it is argued that these are not necessary features of language as such. There are, then, sap true statements in some possible languages.Admission of the sap gives one a way of distinguishing logical from metaphysical possiblity. Something is (...) metaphysically impossible just in case it is a sap truth that it is impossible. I argue that the realm of logically possible entities is vastly larger than the realm of metaphysically possible entities.My.defence of the sap begins with a partial defence of the analytic/synthetic distinction. In particular, I attack the intentionality circle argument,Quine's indeterminacy thesis and some applications of the Kripke/Putnam theory of meaning for natural kind terms. Without being a conclusive defence of the analytic/synthetic distinction, this section makes the defence of the sap more secure. Arguments are then mounted in direct defence of the sap by showing that the purported reduction of sap truths to analytic truths is mistaken. Examples are adduced to show that, even where expressions of natural language fail, one can stipulate usage in ways that allow expression of sap truths. I then consider and reply to various objections, giving an example of the sort of meaning theory which illegitimately legislates the analyticity of any purported sap true statement. (shrink)

Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which render certain norms, (...) but not others, legally valid. Hence it also follows that there can be two types of disagreement over the truth or falsehood of propositions about the law. People can disagree over the question ‘What are the conditions of legal validity?’, in which case their disagreement is a theoretical one. Or they can agree on the conditions of validity, and disagree as to whether or not those conditions actually obtain in a given case or not.” Argues that the best way to interpret Dworkin’s ‘semantic-sting argument’ is as a general argument against conventionalism in legal positivism. Summarizes the outcome of Dworkin’s argument as follows: “[I]f Dworkin is right about the legal reasoning of lawyers and judges, conventionalism would be self-defeating: if lawyers and judges recognize as legally binding not only those norms which are uncontroversially identifiable under the Rule of Recognition, that is, if what they recognize as binding is not only source-based law, then conventionalism turns out to be false on its own terms. In other words, either law is not what lawyers and judges think that it is, in which case law is not a matter of conventions, or – if it is what lawyers and judges think – conventionalism is false, as they do not see the law as purely a matter of conventions.” Dworkin’s theory, then, is a new conception of jurisprudence aiming to present itself as a rival to conventionalism. The book will be concerned with re-examining positivism in light of the interpretative challenge. Chapter 2: Meaning and Interpretation “[R]oughly, interpretation can be defined as an understanding or explanation of the meaning of an object.” Interpretation in this narrow sense is distinct from a less formal and broader use of interpretation that makes it equivalent to explanation. “Hence also, only those objects which are capable of bearing some meaning qualify as objects of interpretation.” [Why shouldn’t we think of interpretation as object-identification? This seems to be closer to what Dworkin has in mind.] Thus, a consideration of the philosophical work on meaning is appropriate. First, a consideration of Davidson on interpretation. The thesis is that Davidson’s “radical interpretation” can only account for sentence meaning and not for linguistic interpretation in general. Davidson cannot account for the non-rule-governed aspects of communication. “Semantics, as opposed to interpretation, concerns those aspects of communication which are rule or convention governed…but such rules are normally unavailable as reasons or justifications for an interpretation. On the contrary, interpretation is usually required because the issue is not determined by rules or conventions.” Interpretation, rather, is parasitic with understanding the meaning of an expression and not equivalent with it. As Dummett notes, any reflection on the meanings of words assumes prior knowledge of ordinary meanings. “This leads to the conclusion that understanding or explaining the meaning of an expression and interpreting it, are two conceptually separate things. It also indicates that seman ics can only be employed, if at all, to elucidate the concept of interpretation by way of contrast: interpretation concerns those aspects of communication which are under-determined by semantic rules or conventions.” Pragmatics, the study of problems posed by discrepancies between utterer’s meaning and sentence meaning, would seem to be closer to inquiry into interpretation. Both are concerned with understanding how meaning is possible where conventional rules leave off. Contemporary pragmatics, moreover, recognizes the logically indeterminate character of communicative inferences beyond conventional meaning and that the contextual conditions that account for the possibility cannot be realized in the semantic structure of the sentence. However, different criteria of success may be at work in pragmatics than interpretation. Pragmatics is concerned with how communication is achieved and thus the criteria of success would be grasping a speaker’s intentions. Many think, however, that communication is unimportant in certain spheres of communication, e.g. artistic interpretation, and that in these cases the aim of interpretation is not to uncover the actual artist’s intentions. What kind of meaning is interpretation aimed at then? It cannot be the meaning the object has for the interpreter. “Interpretation purports to be a statement about the object interpreted, not about the subject who offers the interpretation…it is crucial to remember that not everything we say about a work of art, or any other text, amounts to an interpretation of it. Only those aspects of a text which can shed light on its meaning form part of the text’s interpretation. What the text means for someone rarely entails anything about what the text means.” [This is puzzling to some extent for it remains somewhat ambiguous what it means to talk of subject-independent meaning.] Interpretive meaning attribution is, rather, counterfactual. “In general, I will suggest that the answer to this question consists in the fact that meaning is assigned by a counterfactual statement. Given that x is the meaning attributed to, for instance a text T, and x is not the literal meaning of T, nor is it the meaning of T intended by its author, then the attribution of meaning x to T can only be understood as the contention that on the basis of certain assumptions a certain fictitious or stipulated speaker would have meant x by expressing T.” Thus, on this account, interpretation, when it does not concern an actual speaker, turns out to be a kind of counterfactual intention attribution. Twofold point: “First, that interpretation is essentially a matter of attributing intentions, that is, in the pragmatics sense of ‘meaning’, namely, meaning that such-and-such by an act or expression. At the same time, interpretations need not be based on the intentions of actual authors; the meaning of an act or expression is understandable in terms of counterfactual intentions.” [Are we really restricted to understanding the coherence and integrity of meaning in such a way? Presumably the author is a kind of device for organizing meaning, much like Dworkin’s integrity, but need it take that format?] The logic of interpretation is typically reducible to intention attribution. [What role does the counterfactual author play in structuring meaning?] The criteria of interpretive success will depend upon the object, whether it is the real author or the counterfactual author. If the former, success will depend upon the retrieval of the author’s actual intentions. “Likewise, if the author is characterized in terms of some ideal representative of a certain genre, for instance, the presumptions which are taken to determine this c aracterization would provide the criteria of success for the particular interpretation offered.” [The criteria of success would seem, then, to be the principles, ideals, etc. that we attribute to the counterfactual author. These attributed qualities would be doing all the work – is the attribution of intention to the hypothetical author, then, really necessary at all?] [Does this account presuppose a weird dichotomy between what an object is and what it means? This dichotomy is different, if present at all, in Dworkin.] Chapter 3: Dworkin’s Theory of Interpretation and the Nature of Jurisprudence Three main insights of Dworkin’s theory of interpretation: “First, that interpretation strives to present its object in its best possible light. Second, that interpretation is essentially genre-dependent. And third, that there are certain constraints that determine the limits of possible interpretations of a given object.” Why the best light? Dworkin doesn’t really address this question in depth but claims that otherwise we are left with no way of justifying and choosing an interpretation or we are left with the author’s intention model, which we should reject. [Marmor doesn’t seem clear on what precisely it means to present something in its best light – seems to conflate it with most appealing light which, I take it, is different than what Dworkin has in mind.] “Dworkin is quite right to maintain that without having some views about the values inherent in the genre to which the text is taken to belong, no interpretation can take off the ground. The values we associate with the genre partly, but crucially, determine what would make sense to say about the text, what are the kinds of meaning we could ascribe to it.” There is no necessity for an interpretation to present an object in its best light with regards to the genre it is taken to be part of. Interpretations “could simply strive to present it in a certain light, perhaps better than some, worse than others, but in a way which highlights an aspect of the meaning of the text which may be worth paying attention to for some reason or another.” [What kind of reasons would count in choosing to present it in one light rather than another?] There is simply zero grounds for Dworkin’s assertion that we have no reason to pay attention to an interpretation that does not present it in its best light. Take a psychoanalytic interpretation of Hamlet, for example – not the best light, but a legitimate one. [This seems related to the next criticism – clearly Dworkin would have to loosen his insistence on the best, though not to detriment.] Moreover, especially with regards to art, it doesn’t appear possible to make an all things considered judgment about the best interpretation given the incommensurability of different values that are taken to inhere in a given genre. [Dworkin can respond here that we may have different available interpretations that could be justified with respect to the relevant value. Moreover, a lack of common denominator does not prevent any comparison whatsoever.] Constructive interpretation concerns social practices constituted by norms – it imposes a purpose or value rendering intelligible the normative character of the practice. There is a separate aspect of constructive interpretation that maintains that elements of the practice are sensitive to the point of the practice. It is important to note that different social practices will institutionalize themselves in different ways – thus, different practices will establish varying conditions on how the practice can be altered. The position of the positivists is that evaluative judgments concerning what the law should be are insufficient for determining what the law is given the nature of law’s institutionalization.&nb p; [This would seem to reside on a certain conception of law, i.e. an interpretation about where the value of law lies.] “[T]his being one of the main points of dispute between Dworkin and his positivist opponents, Dworkin cannot at this initial state presume law to be sensitive to its value in the manner that other, non-institutional practices might be, without incurring the charge of having assumed the very point at issue.” The upshot for Dworkin is that any explanation of a social practice such as law requires the same kind of reasoning as participation in that practice. This will be called the hermeneutic thesis. We can try to reconstruct a justification for this view based on the necessity of shared background assumptions – but this will not do since Dworkin’s claim is stronger: it contends that participants’ and theorists’ must “adopt one and the same normative point of view.” [The sense of normative here is unclear. It is true, though, that shared background assumptions do not imply viewing the law as valuable in any particular way, or at least it does not imply this in any strong sense.] Dworkin makes two distinct points with the hermeneutic thesis: “First, that the explanation of a social practice, like law or the arts, is essentially interpretative, and as such, necessarily value laden. Second, that the interpretation of such social practices, which Dworkin calls ‘argumentative’, is unique in the sense that the practice itself is an evaluative enterprise, and that therefore the interpreter of such a practice must form an evaluative judgment of her own about those values which are inherent in the practice that she purports to interpret.” [As stated, the first thesis is terribly ambiguous – for Dworkin, it clear implies a commitment to constructive interpretation. For Marmor, who accepts it, it is totally unclear what commitment he intends to make. He seems to mean simply that we have criteria for success concerning what counts as a successful explanation.] Mamor denies the second thesis. “What Dworkin seems to ignore here is that there is a crucial difference between forming a view about the values which are manifest in a social practice, like law, and actually having evaluative judgments about them.” [The problem, however, it that it is a contentious matter what values are part of the law – a theorist’s account of what values are constitutive of a particular legal system must rely on the kind of arguments which participants rely on. Of course, a theorist might simply note a debate about values and attempt to remain agnostic, but this will fail to be a full theoretical account of what law is!] Dworkin’s thesis seems to depend exclusively on his account of constructive interpretation. [This seems exactly right.] Chapter 4: Coherence, Holism, and Interpretation: The Epistemic Foundation of Dworkin’s Legal Theory Begins with discussion of Rawls’ reflective equilibrium. Sums up dual criticism as follows: “[T]he assumption that intuitions are independently true and the converse one, that their truth depends on fitting a coherent scheme, both seem to yield paradoxical results.” Dworkin, in his article “The Original Position”, claims that Rawls cannot commit himself to ethical realism. “[T]he natural model presupposes some form of ethical realism, while the constructive model does not. One important difficulty arising from an attempt to apply the natural model to Rawls is, that under the natural model, any theory which dopes not account for an intuition, at least for one which is held firmly, cannot be wholly satisfactory, just as scientific theory which does not account for certain observational data it is supposed to cover, would not be satisfactory in a familiar way.” Rawls, rather, is committed to a constructivist view of morality. Moreover, the reason we value coherence epistemically in moral theory is that it itself is a value of political morality – fairness requires consistency and publicity in the application of moral standards. Marmor notes the following problem with such a view: “[I]f coherence is justified, as it is here, with reference to certain moral values, that is, a specific conception of fairness, then we face the following problem: the presupposed values of fairness must themselves be based upon intuitive convictions, in which case the question of their truth cannot be ignored. If they are taken to be true…we are driven back to the perplexities of the natural model.” Discusses, helpfully, the Fish/Dworkin debate. The upshot is that Dworkin’s interpretive model is best off if it commits itself to a Quineian holism. However, this undermines his distinction between internal and external skepticism since holism must deny that moral judgments constitute a closed system. [This analysis seems exactly right.] Endorses Simmonds view that Dworkin’s theory does not meet the requirements of complexity he identifies as necessary to avoid vicious circularity in interpretive judgments of fit and identity. Coherence is doing the work through and through and therefore the interpretive theory of law is circular. [Will require further investigation, though it is unclear how coherence is doing any work in the pre-interpretive stage. At this stage, the judgments, if interpretive, seem to be derived from different sources. In any case, using coherence as a value seems to be highly suspect.] Why doesn’t Dworkin just reject Fish’s assumptions: because of his jurisprudence. “If legal texts can have a meaning that is not entirely dependent on a process of interpretation, then it is at least sometimes the case that the law can simply be understood, and applied, without the mediation of interpretation. And if that is the case, then the argument from interpretation against legal positivism collapses. It is no longer the case that every conclusion about what the law is, depends on evaluative considerations about what it ought to be.” Chapter 5: Semantics, Realism, and Natural Law Assessment of Michael Moore’s legal realism and its implications. [The final criticisms of Moore are not decisive.] Chapter 6: Constructive Identification and Razian Authority A consideration of Dworkin’s denial that the communication model of interpretation is appropriate for legal interpretation. Marmor argues that intentions do play a crucial role in the identification of legal norms in a way that is incompatible with Dworkin’s “coherence thesis”. Marmor takes Dworkin to be committed to the constructive identification thesis: that the identification of something as part of the legal, artistic, etc. genre can be done sufficiently by evaluative considerations. “Here, one must maintain that evaluative considerations are sufficient to determine whether something is a legal norm or a work of art”. [Fit, however, constrains possible evaluative considerations – thus evaluative considerations are not sufficient in themselves.] “Now the crucial point here is this: if you maintain the possibility of constructive identification in art, you must assume that works of art can be identified as such on the basis of certain features they happen to possess, features which contain no reference to any particular intention to create a work of art…unless we take intentions into account, how can we discriminate between the concept of an aesthetic artifact and the con ept of a work of art?” [It is unclear, and I think false, that constructive interpretation of anything requires identifying something irrespective of an artificers intentions. Those intentions may be relevant, dependent upon the genre under which we are trying to classify the object. Nothing, seemingly, about constructive interpretation in general excludes this possibility.] Marmor’s point is that it turns out to be impossible to identify art as art without reference to an artist’s intentions – especially given the state of contemporary art. [It is notable that Marmor’s response to counterexample implicitly depends upon a fully developed theory of aesthetics. His cursory comments on the matter of identifying art seem insufficient to say the least.] The rest of the chapter considers the incompatibility of Raz’s account of authority with constructive interpretation. The incompatibilities mentioned do not move beyond what Raz identifies in his article “Authority, Law and Morality”, but a defense of this notion of authority is defended in several [inconclusive] respects. [Raz and Marmor want to separate identification from content. This is not clearly a defensible separation.] Chapter 7: No Easy Cases? Chapter defends notion that there is a distinction between easy and hard cases in the positivist sense. Takes a Hartian approach and ultimately defends the distinction by associating it Wittgenstein’s conception of rule following. The point is that one need to look the purpose of rule in order to understand what the rule requires. Chapter 8: Legislative Intent and the Authority of Law Examines the following doctrine concerning the role of legislative intent in adjudication: “[F]irst, it would hold that laws, at least in certain cases, are enacted with relatively specific intentions, and that this is a matter of fact which is discernible through an ordinary fact-finding procedure. Second, that in certain cases the presence of such a fact, namely, that the law was enacted with a certain intention, provides judges with a reason to decide the legal dispute in accordance with the relevant legislative intent.” [It is important that for Marmor, interpretive strategies are only appropriate in hard cases. However, we should wonder what grounds positivism can offer for deciding a hard case in any manner which is not the morally best manner according to the judgment of the judge. There are no legal grounds, by definition, in hard cases and so what justificatory strategy would endorse any judicial decision except for the morally best one?] We can ascribe intentions to a legislative body, when this is possible at all, by taking the shared intentions of the majority, rather than some group intention, to be the significant intentions. Moreover, we should expect a good deal of consensus about intentions for otherwise it is hard to explain how legislative bodies are able to produce so much legislation. Discussion of kinds of intentions concludes as follows: “I have distinguished between three main types of intention that are potentially relevant from the legal point of view. Apart from the intentions that are manifest in the language of the law itself, legislators typically have further intentions in enacting a given law, and sometimes they would have certain intentions bearing on its proper application. I have also suggested that some of these further intentions may be essentially non-avowable, in which case they are rendered initially irrelevant. Finally, I have pointed out that considerations of consistency require that the legislator’s application intentions be taken into account only if, and to the extent that, they are in accord with his further intentions.” The manner in which intentionalism is to be justif ed relies on the distinction, Marmor maintains, between expert and mere collective action authority. “The point I wanted to make is strictly conditional: if, and only if, a certain law is justified on the basis of the expertise branch of the normal justification thesis, would it make sense to defer to the legislature’s intentions in the interpretation of the law, that is, to the extent that there is, in fact,; such an intention and it can clarify something that needs clarification.” Insofar as a legislature can be considered an expert on the matter requiring adjudication and interpretation should the body’s intention be taken into account. Chapter 9: Constitutional Interpretation Begins by laying out general necessary features of a constitution. Then Marmor moves on to consider general questions of constitutional legitimacy. First, he considers what grounds might be offered for the legitimacy of a constitution at all. He notes that the central question is what permits a single generation to bind future generations. He then examines four arguments to avoid this problem. The first is based on the moral legitimacy of the constitution; Marmor rejects this solution for the [truly dubious] reason that the constitution would make no practical difference because it would not supply reasons in addition to those provided by morality [but, presumably, the point is that these legally valid rules would be institutionally enshrined]. The second is based on the moral authority of the framers and Marmor rightly rejects this on the basis of the idealization of the framers it requires and less rightly on the basis that there cannot be moral authorities. Third is the “argument from interpretation” which claims that “as long as the particular content of the constitution is determined by its interpretation, and the authoritative interpretation at any time correctly instantiates the values which ought to be upheld in the community, the constitution would be morally legitimate”. The fourth is Raz’s which argues that a constitution is valid so long as its constraints are morally permissible because conventions of this type might aid the continuity of the legal system, i.e. it is important to have a convention of this type and the constitution is a kind of this type. Marmor appears to endorse these two approaches and concludes: “The conditions for the legitimacy of a constitution must comprise the following conditions. First, the values and principles enshrined in it must be morally permissible…Second, when certain choices are made in particular cases, they would be legitimate if they are either morally underdetermined, or else, morally correct…It follows from this that both arguments must assume that at least in those areas in which the constitution would make a moral difference, it can be interpreted to make the difference that it should, that is, according to the true moral principles that should apply to the particular case...the moral legitimacy of constitutions very much dependent on the practices of their interpretation. In other words, a great deal of the burden of moral legitimacy is shifted by these arguments to the application of the constitution, thus assuming that the constitution is legitimate only if the courts are likely to apply the constitution in a morally desirable way.” [This implies that the only significant value constitutions have is in providing a conventional practice where some such practice is required.] Moves on to argue that courts typically rely, and rightly so, on moral considerations when deciding constitutional issues because typically, in cases of the kind that reach the supreme or constitutional court, there is no law on the case. Much of this relies on his earlier discussion about the nature of interpretation in the law – that legal interpretation is always a matter of cha ging the law. (shrink)

The linguistic theory of Chomsky has changed the long, traditional way of studying language. The nature of knowledge, which is closely tied to human knowledge in general, makes it a logical step for Chomsky to generalize his theory to the study of the relation between language and the world-in particular, the study of truth and reference. But his theory has been controversial and his proposal of "innate ideas" has been resisted by some empiricists who characterize him as rationalist. In our (...) view, these empiricists make a mistake. In the present paper we attend to his position regarding linguistics as a science of mind/brain, which we believe is an important aspect of his theory that has not been paid enough attention or understood by his opponents. In turn, this will help to clarify some of the confusions around his theory. Finally we will discuss some of the debatable issues based on the outlines we draw. (shrink)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this paper. (...) The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (shrink)

In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to the whole set of logic operations, allowing the derivation of both the classical and modal logics from the same formal base. The new formalism allows the author to enlarge (...) the alphabet of the truth-values with negative logic antivalues and to link matrix logic descriptions with the Dirac formulation of quantum theory - a result having fundamental implications and repercussions for science as a whole. As a unified language which permits a logical examination of the underlying phenomena of quantum field theory and vice versa, matrix logic opens new avenues for the study of fundamental interactions and gives rise to a revolutionary conclusion that physics as such can be viewed and studied as a logic in the fundamental sense. Finally, modelling itself on exact sciences, matrix logic does not refute the classical logic but instead incorporates it as a special deterministic limit. The book requires multidisciplinary knowledge and will be of interest to physicists, mathematicians, computer scientists and engineers. (shrink)

The Metaphysics of Knowledge presents the thesis that knowledge is an absolutely fundamental relation, with an indispensable role to play in metaphysics, philosophical logic, and philosophy of mind and language. Knowledge has been generally assumed to be a propositional attitude like belief. But Keith Hossack argues that knowledge is not a relation to a content; rather, it a relation to a fact. This point of view allows us to explain many of the concepts of philosophical logic in terms (...) of knowledge. Hossack provides a theory of facts as structured combinations of particulars and universals, and presents a theory of content as the property of a mental act that determines its value for getting knowledge. He also defends a theory of representation in which the conceptual structure of a content is taken to picture the fact it represents. This permits definitions to be given of reference, truth, and necessity in terms of knowledge. Turning to the metaphysics of mind and language, Hossack argues that a conscious state is one that is identical with knowledge of its own occurrence. This allows us to characterize subjectivity, and, by illuminating the "I"-concept, allows us to gain a better understanding of the concept of a person. Language is then explained in terms of knowledge, as a device used by a community of persons for exchanging knowledge by testimony. The Metaphysics of Knowledge concludes that knowledge is too fundamental to be constituted by something else, such as one's functional or physical state; other things may cause knowledge, but do not constitute it. (shrink)

This article undertakes to examine the reception of Platonic theories of falsification in the contemporary philosophy of Leo Strauss and his adherents. The aim of the article is to consider the Straussian response to, and interaction with, Platonic ideas concerning deception and persuasion with an emphasis on the arguments found in the Laws. The theme of central interest in this analysis is Plato's development of paramyth in the Laws. Paramyth entails the use of rhetorical language in order to persuade the (...) many that it is to their advantage to obey certain laws. It does so without explaining in detail why a given law is ethically correct and its use assumes that the audience, on the whole, is not capable of understanding the finer philosophical underpinnings of the law. The so-called 'noble lie' of the Republic is also considered in this context. The crucial issue, for Plato if not for Strauss, is whether or not an instance of falsification, however minor, for the purposes of persuasion contains 'truth-value', that is, whether it is morally justifiable in terms of ends and means. In terms of Strauss's reception of Plato, such issues as ancient Hebrew mysticism, Medieval Jewish and Islamic scholarship and Heideggerian Phenomenology figure in the argument. Ultimately, the article finds that Strauss and his followers have constructed a particular view of Platonic ideas that, while unique, is not compatible with their original signification. (shrink)

There are many philosophical questions surrounding the notion of lying. Is it ever morally acceptable to lie? Can we acquire knowledge from people who might be lying to us? More fundamental, however, is the question of what, exactly, constitutes the concept of lying. According to one traditional definition, lying requires intending to deceive (Augustine. (1952). Lying (M. Muldowney, Trans.). In R. Deferrari (Ed.), Treatises on various subjects (pp. 53?120). New York, NY: Catholic University of America). More recently, Thomas Carson (2006. (...) The definition of lying. Nous, 40, 284?306) has suggested that lying requires warranting the truth of what you do not believe. This paper examines these two prominent definitions and some cases that seem to pose problems for them. Importantly, theorists working on this topic fundamentally disagree about whether these problem cases are genuine instances of lying and, thus, serve as counterexamples to the definitions on offer. To settle these disputes, we elicited judgments about the proposed counterexamples from ordinary language users unfettered by theoretical bias. The data suggest that everyday speakers of English count bald-faced lies and proviso lies as lies. Thus, we claim that a new definition is needed to capture common usage. Finally, we offer some suggestions for further research on this topic and about the moral implications of our investigation into the concept of lying. (shrink)

Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the (...) major classical topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types. (shrink)

Michael Luntley continues Dummett’s attack on realism and the validity of classical logic. For Luntley, realism is not equated with the claim that one must have a conception of the world which is characterized as being beyond the subject’s experience, but with whether the contents we grasp correspond to a determinate reality fixed beyond our investigation of it, i.e., with whether the contents have a recognition-transcendent truth value. The ojectivity-of-content issue has to do only with the kind of contents (...) grasped and, hence, misses the realist point. The realist thesis, as Luntley sees it, is Thesis R: “The contents we grasp have a determinate truth value independent of our knowledge of that value.”. (shrink)

continent. 1.3 (2011): 149-155. The world is teeming. Anything can happen. John Cage, “Silence” 1 Autonomy means that although something is part of something else, or related to it in some way, it has its own “law” or “tendency” (Greek, nomos ). In their book on life sciences, Medawar and Medawar state, “Organs and tissues…are composed of cells which…have a high measure of autonomy.”2 Autonomy also has ethical and political valences. De Grazia writes, “In Kant's enormously influential moral philosophy, autonomy (...) , or freedom from the causal determinism of nature, became prominent in justifying the human use of animals.”3 One of the oldest uses of autonomy in English is a description of the French civil war from the late sixteenth century: “Others of the…rebellion entred in counsell, whether they ought to admit the King vpon reasonable conditions, specially hauing their autonomy.”4 Life, and in particular human life, and in particular human politics, is well served by the usages of autonomy . What about the rest of reality, however? Should it be thought of, if it's even considered real and mind-independent, as pure stuff for the manipulation or decorative tastes of truly autonomous beings? We tend to think of things such as paperweights and iPhones as mere tools of human design and human use. To use them is to cause them to exist as fully and properly as they can. But according to Martin Heidegger, when a tool such as a paperweight is used, it disappears, or withdraws ( Entzug ). We are preoccupied with copying the page that the paperweight is holding down. We are concerned with an essay deadline, and the paperweight simply disappears into this general project. If the paperweight slips, or if the iPhone freezes, we might notice it. All of a sudden it becomes vorhanden (present-at-hand) rather than zuhanden (ready-to-hand).5 Yet Heidegger is unable to draw a meaningful distinction between what happens to a paperweight when it slips from the book I'm copying from and what happens to the paperweight when it presses on the still resilient pages of the thick paperback itself. Further still and related to this point, even when I am using the paperweight as part of some general task, I am not using the entirety of the paperweight as such. My project itself selects a thin slice of paperweight-being for the purposes of holding down a book. Even when it is zuhanden the paperweight is withdrawn. Graham Harman is the architect of this way of thinking.6 Harman discovered a gigantic coral reef of withdrawn entities beneath the Heideggerian submarine of Da-sein, which itself is operating at an ontological depth way below the choppy surface of philosophy, beset by the winds of epistemology, and infested with the sharks of materialism, idealism, empiricism and most of the other isms that have defined what is and what isn't for the last several hundred years. At a moment when the term ontology was left alone like a piece of well chewed old chewing gum that no one wants to have anything to do with, object-oriented ontology (OOO) has put it back on the table. The coral reef isn't going anywhere and once you have discovered it, you can't un-discover it. And it seems to be teeming with strange facts. The first fact is that the entities in the reef—we call them “objects” somewhat provocatively—constitute all there is: from doughnuts to dogfish to the Dog Star to Dobermans to Snoop Dogg. People, plastic clothes pegs, piranhas and particles are all objects. And they are all pretty much the same, at this depth. There is not much of a distinction between life and non-life (as there isn't in contemporary life science). And there is not much of a distinction between intelligence and non-intelligence (as there is in contemporary artificial intelligence theory). A lot of these distinctions are made by humans, for humans (anthropocentrism). And the concept autonomy has come into play in policing such distinctions. In this essay I shall to try to liberate autonomy for the sake of nonhumans. I shall do so by parsing carefully the title, which is taken from Hakim Bey's work The Temporary Autonomous Zone .8 First we shall explore the term autonomous . Then we shall explore what the full meaning of zone is. Finally, we shall investigate what temporary means. Each of these terms is of great value. An object withdraws from access. This means that its very own parts can't access it. Since an object's parts can't fully express the object, the object is not reducible to its parts. OOO is anti-reductionist. But OOO is also anti-holist. An object can't be reduced to its “whole” either, “reduced upwards” as it were. The whole is not greater than the sum of its parts. So we have a strange irreductionist situation in which an object is reducible neither to its parts nor to its whole. A coral reef is made of coral, fish, seaweed, plankton and so on. But one of these things on its own doesn't embody part of a reef. Yet the reef just is an assemblage of these particular parts. You can't find a coral reef in a parking lot. In this way, the vibrant realness of a reef is kept safe both from its parts and from its whole. Moreover, the reef is safe from being mistaken for a parking lot. Objects can't be reduced to tiny Lego bricks such as atoms that can be reused in other things. Nor can be reduced upwards into instantiations of a global process. A coral reef is an expression of the biosphere or of evolution, yes; but so is this sentence, and we ought to be able to distinguish between coral reefs and sentences in English. The preceding facts go under the heading of undermining . Any attempt to undermine an object—in thought, or with a gun, or with heat, or with the ravages of time or global warming—will not get at the withdrawn essence of the object. By essence is meant something very different from essentialism . This is because essentialism depends upon some aspect of an object that OOO holds to be a mere appearance of that object, an appearance-for some object. This reduction to appearance holds even if that object for which the appearance occurs is the object itself! Even a coral reef can't grasp its essential coral reefness. In essentialism, a superficial appearance is taken for the essence of a thing, or of things in general. In thinking essentialism we may be able to discern another way of avoiding OOO. This is what Harman has christened overmining .? The overminer decides that some things are more real than others: say for example human perception. Then the overminer decides that other things are only granted realness status by somehow coming into the purview of the more real entity. When I measure a photon, when I see a coral reef, it becomes what it is. But when I measure a photon, I never measure the actual photon. Indeed, since at the quantum scale to measure means “to hit with a photon or an electron beam” (or whatever), measurement, perception ( aisthesis ), and doing become the same. What I “see” are deflections, tracks in a diffusion cloud chamber or interference patterns. Far from underwriting a world of pure illusion where the mind is king, quantum theory is one of the very first truly rigorous realisms, thinking its objects as irreducibly resistant to full comprehension, by anything.9 So far we have made objects safe from being swallowed up by larger objects and broken down into smaller objects—undermining. And so far we have made objects safe from being mere projections or reflections of some supervenient entity—overmining. That's quite a degree of autonomy. Everything in the coral reef, from the fish to a single coral lifeform to a tiny plankton, is autonomous. But so is the coral reef itself. So are the heads of the coral, a community of tiny polyps. So is each individual head. Each object is like one of Leibniz's monads, in that each one contains a potentially infinite regress of other objects; and around each object, there is a potentially infinite progress of objects, as numerous multiverse theories are now also arguing. But the infinity, the uncountability, is more radical than Leibniz, since there is nothing stopping a group of objects from being an object, just as a coral reef is something like a society of corals. Each object is “a little world made cunningly” (John Donne).10 We are indeed approaching something like the political valance of autonomy . The existence of an object is irreducibly a matter of coexistence. Objects contain other objects, and are contained “in” other objects. Let us, however, explore further the ramifications of the autonomy of objects. We will see that this mereological approach (based on the study of parts) only gets at part of the astonishing autonomy of things. Yet there are some more things to be said about mereology before we move on. Consider the fact that since objects can't be undermined or overmined, it means that there is strictly no bottom object . There is no object to which all other objects can be reduced, so that we can say everything we want to say about them, hypothetically at least, based on the behavior of the bottom object. The idea that we could is roughly E.O Wilson's theory of consilience .11 Likewise, there is no object from which all things can be produced, no top object . Objects are not emanations from some primordial One or from a prime mover. There might be a god, or gods. Suppose there were. In an OOO universe even a god would not know the essential ins and outs of a piece of coral. Unlike even some forms of atheism, the existence of god (or nonexistence) doesn't matter very much for OOO. If you really want to be an atheist, you might consider giving OOO a spin. If there is no top object and no bottom object, neither is there a middle object . That is, there is no such thing as a space, or time, “in” which objects float. There is no environment distinct from objects. There is no Nature (I capitalize the word to reinforce a sense of its deceptive artificiality). There is no world, if by world we mean a kind of “rope” that connects things together.12 All such connections must be emergent properties of objects themselves. And this of course is well in line with post-Einsteinian physics, in which spacetime just is the product of objects, and which may even be an emergent property of a certain scale of object larger than 10?¹?cm).13 Objects don't sit in a box of space or time. It's the other way around: space and time emanate from objects. How does this happen? OOO tries to produce an explanation from objects themselves. Indeed, the ideal situation would be to rely on just one single object. Otherwise we are stuck with a reality in which objects require other entities to function, which would result in some kind of undermining or overmining. We shall see that we have all the fuel we need “inside” one object to have time and space, and even causality. We shall discover that rather than being some kind of machinery or operating system that underlies objects, causality itself is a phenomenon that floats ontologically “in front of” them. In so doing, we will move from the notion of autonomy and begin approaching a full exploration of the notion of zone , which was promised at the outset of this essay. Since an object is withdrawn, even “from itself,” it is a self-contradictory being. It is itself and not-itself, or in a slightly more expanded version, there is a rift between essence and appearance within an object (as well as “between” them). This rift can't be the same as the clichéd split between substance and accidents , which is the default ontology. On this view, things are like somewhat boring cupcakes with somewhat less boring sugar sprinkles on them of different colors and shapes. But on the OOO view, what is called substance is just another limited slice of an object, a way of apprehending something that is ontologically fathoms deeper. What is called substance and what is called accidence are just on the side of what this essay calls appearance. The rift (Greek, chorismos ) between essence and appearance means that an object presents us with something like what in logic is known as the Liar: some version of the sentence “This sentence is false.” The sentence is true, which means that it is a lie, which means that it is false. Or the sentence is false, which means that it is telling the truth, which means that it is true. Now logic since Aristotle has tried desperately to quarantine such beasts in small backwaters and side streets so that they don't act too provocatively.14 But if OOO holds, then at least one very significant thing in the universe is both itself and not-itself: the object. An object is p ? ¬p. To cope with this fact, we shall need some kind of paraconsistent or even fully dialetheic logic, one that is not allergic to dialetheias (double-truthed things). Yet if we accept that objects are dialetheic, p ? ¬p, we can derive all kinds of things easily from objects. Consider the fact of motion. If objects only occupy one location “in” space at any “one” time, then Zeno's paradoxes will apply to trying to think how an object moves. Yet motion seems like a basic, simple fact of our world. Either everything is just an illusion and nothing really moves at all (Parmenides). Or objects are here and not-here “at the same time.”15 This latter possibility provides the basic setup for all the motion we could wish for. Objects are not “in” time and space. Rather, they “time” (a verb) and “space.” They produce time and space. It would be better to think these verbs as intransitive rather than transitive, in the manner of dance or revolt . They emanate from objects, yet they are not the object. “How can we know the dancer from the dance?” (Yeats).16 The point being, that for there to be a question, there must be a distinction—or there must not be (p ? ¬p).17 It becomes impossible to tell: “What constitutes pretense is that, in the end, you don't know whether it's pretense or not.”18 In this notion of the emergence of time and space from an object we can begin to understand the term zone . Zone can mean belt , something that winds around something else. We talk of temperate zones and war zones. A zone is a place where a certain action is taking place: the zone winds around, it radiates heat, bullets fly, armies are defeated. To speak of an autonomous zone is to speak of a place that a certain political act has carved out of some other entity. Cynically, Tibet is called TAR, the Tibetan Autonomous Region, for this very reason. In this phrase, Region tries to emulate zone : it sounds as if the place has its own rules, but of course, it is very much under the control of China. What action is taking place? “[N]ot something that just is what it is, here and now, without mystery, but something like a quest…a tone on its way calling forth echoes and responses…water seeking its liquidity in the sunlight rippling across the cypresses in the back of the garden.”19 If as suggested earlier there is no functional difference between substance and accidence; if there is no difference between perceiving and doing; if there is no real difference between sentience and non-sentience—then causality itself is a strange, ultimately nonlocal aesthetic phenomenon. A phenomenon, moreover, that emanates from objects themselves, wavering in front of them like the astonishingly beautiful real illusion conjured in this quotation of Alphonso Lingis. Lingis's sentence does what it says, casting a compelling, mysterious spell, the spell of causality, like a demonic force field. A real illusion: if we knew it was an illusion, if it were just an illusion, it would cease to waver. It would not be an illusion at all. We would be in the real of noncontradiction. Since it is like an illusion, we can never be sure: “What constitutes pretense…” A zone is what Lingis calls a level . A zone is not entirely a matter of “free will”: this concept has already beaten down most objects into abject submission. Objects are far more threateningly autonomous, and sensually autonomous, than the Kantian version of autonomy cited in the first paragraph of this essay. A zone is not studiously decided upon by an earnest committee before it goes into action. One of its predominant features is that it is already happening . We find ourselves in it, all of a sudden, in the late afternoon as the shadows lengthen around a city square, giving rise to an uncanny sensation of having been here before. Objects emit zones. Wherever I find myself a zone is already happening, an autonomous zone. It is the nonautonomous zones that are impositions on what is already the case. Or rather, these zones are autonomous zones that exclude and police. They are brittle. Every object is autonomous, but some objects try to maintain themselves through rigidity and brittleness, like (and such as) a police state. Paradoxically, the more rigidly one tries to exclude contradiction, the more virulent become the dialetheias that are possible. I can get around “This sentence is false” by imagining that there are metalanguages that explain what counts as a sentence. Then I can decide that this isn't a real sentence. This is basically Alfred Tarski's strategy, since he invented the notion of metalanguage specifically to cope with dialetheias.20 For example we might claim that sentences such as “This sentence is false” are neither true nor false. But then you can imagine a strengthened version of the Liar such as: “This sentence is not true”; or “This sentence is neither true nor false.” And we can go on adding to the strengthened Liar if the counter-attack tries to build immunity by specifying some fourth thing that a sentence can be besides true, false, and neither true nor false: “This sentence is false, or neither true nor false, or the fourth thing.” And so on.21 It seems as if language becomes more brittle the more it tries to police the Liars of this world. Why? I believe that this increasing brittleness is a symptom of a deep fact about reality. What is this deep fact? Simply that there are objects, that these objects are withdrawn, and that they are walking contradictions. This means indeed that (as Lacan put it) “there is no metalanguage,” since a metalanguage would function as a “middle object” that gave coherency and evenness to the others.22 Since there is no metalanguage, there is no rising above the disturbing illusory play of causality. This may even have political implications: no global critique is therefore possible, and attempts to smooth out or totalize are doomed to fail. To think the zone is to think the notion of temporary , which we shall now begin to discuss in greater detail. The zone is not in time: rather it “times.” But because a zone is an emanation of an object, it is based on a wavering fragility, since objects are p ? ¬p. When an object is born, that means that it has broken free of some other object. An object can be born because it and other objects are fragile. If not, no movement would be possible. Objects contain the seeds of their own destruction, a dialetheic sentence that says something like “This sentence cannot be proved.” Kurt Gödel argues that every true system of propositions contains at least one sentence that the system cannot prove. In order to be true, the system must have a minimum incoherence. To be real, it has to be fragile. Imagine a record player. Now imagine a record called I Cannot Be Played on This Record Player . When you play it on this record player, it produces sympathetic vibrations that cause the record player to shudder apart. No matter how many defense mechanisms you build in, there will always be the possibility of at least one record that destroys the record player.23 That is what being physical is. An object is inherently fragile because it is both itself and not-itself. When the rift between appearance and essence collapses, that is called destruction, ending, death. When an object breaks, several new objects are born. An opera singer sings a loud note in tune with the resonant frequency of a wine glass. (See the movie included below.) The singing is a zone, an autonomous level of intensity, opening a rift between appearance and essence. The glass ripples—for a moment it is nakedly a glass and a not-glass—almost as if it were having an orgasm, a little death. It is caught in the rift of the singing. Then its structure can't handle the coherence of the sound waves, and it breaks. It is incoherence and inconsistency that is the mark of existence, not consistency and noncontradiction. When things break or die, they become coherent. Essence disappears into appearance. I become the memories of friends. A glass becomes a dancing wave. Instantly, there are glass fragments, new temporary autonomous zones. The fragments have broken free from the glass. They are no longer its parts, but emanate their own time and space, becoming perhaps accidental weapons as they bury themselves in my flesh. Thus Hakim Bey's instructions on creating temporary autonomous zones oscillate disturbingly between performance art and politics, circus clowning and revolution. To play with the aesthetic is to play with causality, to rip from the sensual ether emanating from things new regions, new zones. Anarchist politics is the creation of fresh objects in a reality without a top or a bottom object, or for that matter a middle object: Everything in nature is perfectly real including consciousness, there's absolutely nothing to worry about. Not only have the chains of the Law been broken, they never existed; demons never guarded the stars, the Empire never got started, Eros never grew a beard. … There is no becoming, no revolution, no struggle, no path; already you're the monarch of your own skin—your inviolable freedom waits to be completed only by the love of other monarchs: a politics of dream, urgent as the blueness of sky.24 Bey imagines that this is because chaos is a primordial “undifferentiated oneness-of-being.” A Parmenides or a Spinoza or a Laruelle would read this a certain way. Individual objects, or decisions to talk about this rather than that, are just maggot-like things crawling around on the surface of the giant cheese of oneness.25 Yet he also describes chaos as “Primordial uncarved block, sole worshipful monster, inert & spontaneous, more ultraviolet than any mythology.” This image is of an inconsistent object, not of an undifferentiated field. An object, indeed, that can be distinguished from other things. If not, then the first part of The Temporary Autonomous Zone , subtitled “The Broadsheets of Ontological Anarchism,” is a kind of onto-theology. Onto-theology proclaims that some things are more real than others. Bey, however, is writing poetically, and thus ambiguously. We are at liberty to read “undifferentiated oneness-of-being” as something like the irreducibility of a thing to its parts and so forth (undermining and overmining). This certainly seems closer to the language in the following paragraph: “There is no becoming … already you're the monarch of your own skin.”26 On this view, there is no difference between art and politics: “When ugliness, poor design & stupid waste are forced upon you, turn Luddite, throw your shoe in the works, retaliate.” Since Romanticism this has been the war cry of the vanguard artist.27 To say to is to fall prey to the tired axioms of the avant-garde, and we think we know how the game goes. But OOO is not simply a way to advocate “new and improved” versions of this shock-the-bourgeoisie boredom. Bey's text is certainly full enough of that. Rather, since causality as such is aesthetic, and since nonhumans are not that different from humans, the new approach would be to form aesthetic–causal alliances with nonhumans. These alliances would have to resist becoming brittle, whether that brittleness is right wing (authoritarianism) or left wing (the endless maze of critique). No “ism,” especially not the ultimate forms, nihilism and cynicism, is in any sense effective at this point. All forms of brittleness are based on the mistaken assumption that there is a metalanguage and that therefore “Anything you can do, I can do meta.” I will not be listing any approaches here, as Bey does. Such lists and manifestos belong to the vanguardism that no longer works. Why? Not because of some marvelous revolution in human consciousness, but because nonhumans have so successfully impinged upon human social, psychic and aesthetic space. It is the time after the end of the world. That happened in 1945, when a thin layer of radioactive materials was deposited in Earth's crust. Geology now calls it this era the Anthropocene . Ironically, this period, named after humans, is the moment at which even the most thick headed of us make decisive contact with nonhumans, from mercury in our blood to manta rays to magnesium. Richard Dawkins, Pat Robertson and Lady Gaga all have to deal with global warming and mass extinction, somehow. We now live in an Age of Asymmetry marked by a skewed, spiraling relationship between vast knowledge and vast nonhuman things—both become vaster and vaster because of one another and for the same reasons.28 This means that coming up with the perfect attitude or the perfect aesthetic prescription just won't work any more. Even the most hardened anthropocentrist now has to pay through the nose for basic food supplies, and has to use more sunscreen. Whether he knows it or acknowledges it, he is already acting with regard towards nonhumans. There is nothing special to think, no special critique that will get rid of the stains of coexistence. The problem won't fit into the well-established modern boxes, which is why the “mystical,” “spiritual” quality of Bey's prose is welcome. Of course, when I put it this way, you may immediately close off and decide that I am talking about perfect attitudes after all, or something outside of politics, or other ways that the radical left marshals to police its thinking of the nonhuman. Because that is what is really at stake in all this: the nonhuman in its coexistence with the human—bosons, gods, clouds, spirits, lifeforms, experiences, the sunlight rippling across the cypresses. Bey begins to get at this in a Latour litany in the second part of The Temporary Autonomous Zone , “The Assassins”: Pomegranate, mulberry, persimmon, the erotic melancholy of cypresses, membrane-pink shirazi roses, braziers of meccan aloes & benzoin, stiff shafts of ottoman tulips, carpets spread like make-believe gardens on actual lawns—a pavilion set with a mosaic of calligrammes—a willow, a stream with watercress—a fountain crystalled underneath with geometry— the metaphysical scandal of bathing odalisques, of wet brown cupbearers hide-&-seeking in the foliage—“water, greenery, beautiful faces.”29 This will be conveniently dismissed as orientalism. If we're never allowed to escape the crumbling prison of modernity for fear of imperialism there is truly no hope. In a similar way, the fear of anthropocentrism and anthropomorphism is very often staged from a place that just is anthropocentrism .30 Critique turns into ressentiment . An object radiates a zone that is aesthetic and therefore causal. Because objects “time” they are temporary. Not because they exist “in” time that eventually gets the better of them. Their very existence implies the possibility of their non-existence. Since objects are not consistent, they can cease to exist. But nothing, no one, will ever be able to insert a blade between appearance and existence, even thought there is a rift there. Now that's what I call autonomy. NOTES 1. John Cage, Silence: Lectures and Writings (Middletown, CT: Wesleyan University Press, 1973), 96. 2. P. B. Medawar and J. S. Medawar, The Life Science: Current Ideas in Biology (London: Wildwood House, 1977), 8. 3. David DeGrazia, Animal Rights: A Very Short Introduction (Oxford: Oxford University Press, 2002), 5. 4. Antony Colynet, A True History of the Civil Warres in France (London, 1591), 480. 5. Martin Heidegger, Being and Time , tr. Joan Stambaugh (Albany, N.Y: State University of New York Press, 1996) 62–71. 6. Graham Harman, Tool-Being: Heidegger and the Metaphysics of Objects (Peru, IL: Open Court, 2002). 7. Hakim Bey, The Temporary Autonomous Zone (Brooklyn: Autonomedia, 1991). 8. Graham Harman, The Quadruple Object (Ripley: Zero Books, 2011), 7–18. 9. This is not the place to get into an argument about quantum theory, but I have argued that quanta also do not endorse a world that I can't speak about because it is only real when measured. This world is that of the reigning Standard Model proposed by Niels Bohr and challenged by De Broglie and Bohm (and now the cosmologist Valentini, among others). See Timothy Morton, “Here Comes Everything: The Promise of Object-Oriented Ontology,” Qui Parle 19.2 (Spring–Summer, 2011), 163–190. 10. John Donne, Holy Sonnets 15, in The Major Works: Including Songs and Sonnets and Sermons , ed. John Carey (Oxford: Oxford University Press, 2009). 11. Edward O. Wilson, Consilience: The Unity of Knowledge (New York: Knopf, 1998). 12. Martin Heidegger, What Is a Thing? (Washington: Regnery, 1968), 243. 13. Albert Einstein, Relativity: The Special and the General Theory (London: Penguin, 2006); Petr Horava, “Quantum Gravity at a Lifshitz Point,” arXiv:0901.3775v2 [hep-th]. 14. Graham Priest, In Contradiction (Oxford University Press, 2006), passim: the most notable recent quarantine officers have been Tarski, Russell, and Frege. 15. Priest, In Contradiction , 172–181. 16. William Butler Yeats, “Among School Children,” Collected Poems , ed. Richard J. Finneran (New York: Scribner, 1996). 17. Paul de Man, “Semiology and Rhetoric,” Diacritics 3.3 (Autumn, 1973), 27–33 (30). 18. Jacques Lacan, Le seminaire, Livre III: Les psychoses (Paris: Editions de Seuil, 1981), 48. See Slavoj Zizek, The Parallax View (Cambridge, Mass.: MIT Press, 2006), 206. 19. Alphonso Lingis, The Imperative (Bloomington: Indiana University Press, 1998), 29. 20. Priest, In Contradiction , 9–27. 21. See Graham Priest and Francesco Berto, “ Dialetheism ,” The Stanford Encyclopedia of Philosophy (Summer 2010 Edition), ed. Edward N. Zalta. 22. Jacques Lacan, Écrits: A Selection , tr. Alan Sheridan (London: Tavistock, 1977), 311. 23. The analogy can be found at length in Douglas Hofstadter, “Contracrostipunctus,” Gödel, Escher, Bach: An Eternal Golden Braid (New York: Basic Books, 1999), 75–81. 24. Bey, “ Chaos: The Broadsheets of Ontological Anarchism ,” Temporary Autonomous Zone . 25. This is closest to the language of François Laruelle in Philosophies of Difference: A Critical Introduction to Non-Philosophy (New York: Continuum, 2011) 179. 26. Bey, “ Chaos: The Broadsheets of Ontological Anarchism ,” Temporary Autonomous Zone . 27. Peter Bürger, Theory of the Avant Garde (Minneapolis: University of Minnesota Press, 1984). 28. For further discussion see Timothy Morton, “From Modernity to the Anthropocene: Ecology and Art in the Age of Asymmetry,” The International Social Science Journal 209 (forthcoming). 29. Bey, “ The Assassins ,” Temporary Autonomous Zone . 30. Timothy Morton, The Ecological Thought (Cambridge, Mass.: Harvard University Press, 2010), 75–76. (shrink)