This chapter contains sections titled: Introduction The Stoic Logical System Conclusion Bibliography.

We define the notion of a combinatorics of a first order structure, and a relation of covering between first order structures and propositional proof systems. Namely, a first order structure M combinatorially satisfies an L-sentence Φ iff Φ holds in all L-structures definable in M. The combinatorics Comb(M) of M is the set of all sentences combinatorially satisfied in M. Structure M covers a propositional proof system P iff M combinatorially satisfies all Φ for which the (...) associated sequence of propositional formulas 〈Φ〉 n , encoding that Φ holds in L-structures of size n, have polynomial size P-proofs. That is, Comb(M) contains all Φ feasibly verifiable in P. Finding M that covers P but does not combinatorially satisfy Φ thus gives a super polynomial lower bound for the size of P-proofs of 〈Φ〉 n . We show that any proof system admits a class of structures covering it; these structures are expansions of models of bounded arithmetic. We also give, using structures covering proof systems R * (log) and PC, new lower bounds for these systems that are not apparently amenable to other known methods. We define new type of propositional proof systems based on a combinatorics of (a class of) structures. (shrink)

Philosophers of science don't very often discuss the place of mathematics between other sciences or the meaning of mathematics for other sciences. They consider mathematics as a formal language with mainly analytical statements about the use of symbols (Carnap, Russell, Ayer ). Originally Wittgenstein defended this formalistic interpretation of mathematics in his TLP. Gradually, however, he develops himself towards an intuitionistic and ontological position, in which mathematics is conceived as the central and therefore normative part of our thought (of (...) course : on what there is and how it is). Mathematical science plays the role of logic in relation to other sciences. Its universal applicability and efficiency are consequences of its creating beings on a necessary level, in virtue of the number of its relations (always still by substitution). This highly important philosophy of mathematics (misinterpreted by Crispin Wright) starts with his lectures in Cambridge (in the thirties ) and reaches its culmination in the Remarks on the Foundations of Mathematics and in On Certainty. In a second part this philosophical determination of mathematical reasoning is traced backwards through history. David Hume's contribution is reinterpreted from a new point of view. Inside the total field of our beliefs he distinguishes between different sciences with the critérium of the intricacy of relations between items of our knowledge field. The more and stronger these relations, the more forceful and necessary their influence on the remaining parts of the system of our belief. So mathematics is in the centre, the loose reveries of our fancy on the periphery. Quine's representation of ‘the tribunal of sense experience’, by which the total field should be judged and corrected, must be disqualified. Hume's dictum ‘Whatever we conceive, we conceive it to be existent’ reveals sharply that this evaluative and corrective role is performed by the necessary thoughts (or, if one likes it so, ‘realities’) of mathematical science. That reason and especially mathematical reason is the highest judge on the population and structure of our world and a very precious heritage of Pythagorism and Platonism. From the sources of Sextus Empiricus and Aristotle the author tries to reconstruct exactly the original assertion of Pythagoristic mathematical philosophy, which has nothing to do with a naive hypostazation of numbers or a kabbalistic number mysticism. Philolaos' saying, that some propositions are stronger than we, is demonstrated to refer to mathematical laws. The pythagorical position is fully integrated in Plato's dialectical philosophy. Mathematics is the great mediator towards the intuition of true being, the ‘metaxu’ between sensible phenomena and ideas. This tradition of philosophical taxation of mathematics as the ‘logic of science’ is broken by Aristotle, who didn't use mathematics in his qualitative natural science and considered mathematics as an abstract science (about the quantitative aspect of being). Moreover, he disowned its logical role and created a special science for this task. Human reason is mathematical in so far it is sure of its language and thought, which is excellently expressed by the Greek μαθηματιxα (= what can be understood, learned and taught) and by the Dutch word ‘wiskunde’ (= science of what is certain). The remarks and reflections of Wittgenstein have produced a new perspective on the placevalue (‘Stellenwert’) of mathematics among all possible sciences and beliefs and have proven that its onto-logical purport is an unavoidable implication. (shrink)

This is a review of those aspects of the theory of varieties of Boolean algebras with operators that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems.It begins with a survey of the duality that exists between BAO's and relational structures, focusing on the notions of bounded morphisms, inner substructures, disjoint and bounded unions, and canonical extensions of structures that originate in the study of validity-preserving operations on Kripke frames. This (...) duality is then applied to polymodal propositional logics having finitary intensional connectives that generalise the Box and Diamond connectives of unary modal logic. Issues discussed include validity in canonical structures, completeness under the relational semantics, and characterisations of logics by elementary classes of structures and by finite structures.It turns out that a logic is strongly complete for the relational semantics if the variety of algebras it defines is complex, which means that every algebra in the variety is embeddable into a full powerset algebras that is also in the variety. A hitherto unpublished formulation and proof of this is given that applies to quasi-varieties. This is followed by an algebraic demonstration that the temporal logic of Dedekind complete linear orderings defines a complex variety, adapting Gabbay's model-theoretic proof that this logic is strongly complete. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. (...) We consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

APA PsycNET abstract: This is the first volume of a two-volume work on Probability and Induction. Because the writer holds that probability logic is identical with inductive logic, this work is devoted to philosophical problems concerning the nature of probability and inductive reasoning. The author rejects a statistical frequency basis for probability in favor of a logical relation between two statements or propositions. Probability "is the degree of confirmation of a hypothesis (or conclusion) on the basis of some (...) given evidence (or premises)." Furthermore, all principles and theorems of inductive logic are analytic, and the entire system is to be constructed by means of symbolic logic and semantic methods. This means that the author confines himself to the formalistic procedures of word and symbol systems. The resulting sentence or language structures are presumed to separate off logic from all subjectivist or psychological elements. Despite the abstractionism, the claim is made that if an inductive probability system of logic can be constructed it will have its practical application in mathematical statistics, and in various sciences. 16-page bibliography. (PsycINFO Database Record (c) 2016 APA, all rights reserved). (shrink)

ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and modal theorems, and to (...) make clear the exact relations between them; moreover, to elucidate the philosophical reasons that may have led Chrysippus to modify his predessors’ modal concept in the way he did. It becomes apparent that Chrysippus skillfully combined Philo’s and Diodorus’ modal notions, with making only a minimal change to Diodorus’ concept of possibility; and that he thus obtained a modal system of modalities (logical and physical) which fit perfectly fit into Stoic philosophy. (shrink)

This research aims to show grammatical relations between the elements of the sentence based around the syntactic connection. The phenomenon of syntactic connection is one of the basic concepts for al-Jurjānī’s theory of nazm (construction). This view, which makes more understanding the structure of Arabic sentence, is studied in the light of the ideas of classic and modernists linguists. This attempt to facilitate Arabic grammar has continued routinely from relationships between grammar and meaning. The integration of (...) grammar, which consists of words, is an important property for native speakers and others. This field is open to new developments considering the successive developments in the field of linguistics. It is important to develop the principles that will help in understanding the grammatical structure of a language in which communication pathways are growing. Reinterpretation of prominent approaches appeared in classical sources and updating the concepts that explain the basic structures of language are needed to increase the effectiveness of Arabic.Summary: The linguists, who accept the language structures as a system of expressing thoughts, search out the relationship between meaning and grammar. The rules of grammar, which maintain its importance from the past to the present is one of the basic language areas. In the looking at the researches in the field of Arabic language, it is seen that the grammatical structures of this language is much emphasized. In this context, the grammatical markers theory, which is trying to explain the connection between the sentence elements in the light of different scientific disciplines, such as philosophy and logic is a theory, which the linguists put to explain the Arabic grammar. The grammatical discussions around the grammatical markers have continued for a long time. ‘Abd al-Qāhir al-Jurjānī (d. 471/1078) is one of the most prominent Arabic grammarians whose opinions are widely mentioned in this field. Al-Jurjānī, who found that the discipline of grammar area was limited, established a new method in language studying. In this context, the linguistic researches continue around the views of al-Jurjānī’s theory of construction. The term of construction, which describes the relationship between meaning and grammar, means composition and arrangement. The current linguistic studies have ensured the magnificence and accuracy of this theory. According to this theory, grammar meaning is arising from the choice of word and grammatical elements. The relation between words in the sentence is explained as a construction. According to al-Jurjānī, grammar is the result of various language skills beyond the distinction of truth and error. This comprehensive language understanding, which evaluates the grammar from a different point of view, has started as of Sībawayhi (d. 180/796). The Arabic linguistic studies from the early period are characterized by taking care of both form and meaning, in addition to semantic.Term of the syntactic connection is one of the basic concepts, which al-Jurjānī focuses on while explaining views on grammar. He gives much importance to the method of linking words and to the way they join each other to form sentences. The syntactic connection is an interaction between words and grammatical meanings. In this process, the mechanism of affixation and association occur between the elements of sentence. The term affixation refers to direct connection relations of the elements of sentence, while the term association refers to indirect relations. This term used to describe the grammar structures, is also closely related with the meanings of the words. The basic sentence in classical Arabic consists of the musnad and the musnad ilayhi. In the Arabic language, besides the basic elements of the sentence, other units are important as well. These units work together to express a central idea that may be further developed or refined by other elements. The factor, which determines the function of a word in the sentence, is the place of word. In this context, the linguistic studies carried out within the syntactic connection will make an important contribution to language teaching.The other thing in the context of the syntactic connection is the terms of “deep and surface structure”, which are the basic concepts of the transformational grammar theory developed by Chomsky. While the deep structure consists of simple sentence structures, the surface structure is composed of sentences. According to the transformational grammar theory, the deep structure is an important factor for determining the meaning. They draw attention to the mental side of the language. It is because the language is a phenomenon, which produces unlimited sentences with limited elements. In this form, the language cannot be explained by a mechanical interpretation. The language should be examined in the light of human dynamics. The competence and performance are the cause of the emergence of deep and surface structure terms. The purpose of the word is effective in determining the structure of speech. The target language is to express unlimited meanings with limited words. Classical Arabic grammarians have introduced the idea of transformation to Arabic grammar – though they may not know this term. The Arabic grammarians have talked about preposing, postposing, deletion, increase and interpretation, which used and developed by Chomsky. Transformational grammar theory has produced a new paradigm in grammar. This theory is widely discussed among modern linguists. The term grammatical coherence is a new terminology used by the modern linguists for definition of sentence structure. This term, which shows evidence and relation between both things, is divided into two namely: verbal and semantic coherence. When the definitions of grammatical terms in the classical grammar sources, it is possible to see the emphasis of the grammatical coherences. This language understanding, which tries to substitute the inflection theory, aims to bring innovations in sentence analysis. The linguists point to the importance of this theory, which bring a new perspective in understanding the Arabic grammar. Tammām Ḥassān (1918-2011) attempts to link the grammatical coherences with ‘Abd al-Qāhir al-Jurjānī’s theory of semantic formation and its relationship to linguistic analysis. Tammām Ḥassān, likened to Sībawayhi, is regarded as one of the most important representatives of the innovative language understanding with his theory. According to him, the system of language, which provides a framework to shape man's thinking, is constituted by three subsystems: phonetics, vocabulary and grammar. Grammar may be defined as a system of word changing and other means of expressing relations of words in the sentence. In this context, the concepts of syntagmatic and paradigmatic structure are important to understand the general structure of languages. According to linguistics, grammar should study both paradigmatic and syntagmatic relations of sentences. The syntagmatic structure refers to the relationship between language units depending on the language system in the language. The relationship network between words that belong to the same semantic field is called paradigmatic structure. The paradigmatic structure provides similar criteria for all languages. Such approaches that introduced by linguistics, provides significant contributions to language learning. The modern linguistic studies have made the sentence a starting point to clarify the linguistic structures and relations to achieve the sound linguistic communication. A sentence is the largest unit in a language described by grammar. (shrink)

This paper first investigates logical characterizations of different structures of opposition that extend the square of opposition in a way or in another. Blanché’s hexagon of opposition is based on three disjoint sets. There are at least two meaningful cubes of opposition, proposed respectively by two of the authors and by Moretti, and pioneered by philosophers such as J. N. Keynes, W. E. Johnson, for the former, and H. Reichenbach for the latter. These cubes exhibit four and six squares (...) of opposition respectively. We clarify the differences between these two cubes, and discuss their gradual extensions, as well as the one of the hexagon when vertices are no longer two-valued. The second part of the paper is dedicated to the use of these structures of opposition for discussing the comparison of two items. Comparing two items usually involves a set of relevant attributes whose values are compared, and may be expressed in terms of different modalities such as identity, similarity, difference, opposition, analogy. Recently, J.-Y. Béziau has proposed an “analogical hexagon” that organizes the relations linking these modalities. Elementary comparisons may be a matter of degree, attributes may not have the same importance. The paper studies in which ways the structure of the hexagon may be preserved in such gradual extensions. As another illustration of the graded hexagon, we start with the hexagon of equality and inequality due to R. Blanché and extend it with fuzzy equality and fuzzy inequality. Besides, the cube induced by a tetra-partition can account for the comparison of two items in terms of preference, reversed preference, indifference and non-comparability even if these notions are a matter of degree. The other cube, which organizes the relations between the different weighted qualitative aggregation modes, is more relevant for the attribute-based comparison of items in terms of similarity. (shrink)

Charles Darwin argued that human beings are what happen whenphysical laws act upon a planet with the characteristics that earthhad five billion years ago. Similarly, I have argued that theprimacy of individual will is what eventually happens when asociety allocates and limits coercion based upon rights. From timeto time particular visions of the good or the right dominate publicbehavior, but they are eventually enframed by rights — the authoritative claim of each person to respect.I have argued that the propositional (...) class='Hi'>structure of American law—the laws themselves — can be seen to be a logically consistentsystem of propositions stemming from the axiom that the will ofeach person is worthy of respect. This is an explanatory, not anormative, proposition. The axiom was not put there by anyoneand the law derived from it, any more than the human brian wasput there and the theory of relativity derived from it. The axiomcame to be embodied in k because of a fact — the single universalcharacteristic of human beings that is relevant to the question ofarranging coercion is individual will — and a process — the right ofeach person to demand a justification for coercion used upon him.Since will is universal to human beings, this would suggest thatany rights-based legal system would evince a general structuresimilar to our own. Particularities of national culture, naturalresources, population density, and so on would produce a verydifferent liberty frontier from the one facing this country andhence, different laws. But the general structure of law — the relationship between principle and policy decision, the role of thebasic rights, and so on — should be similar. This similarity shouldprovide a common basis for cooperation between states, transcending particularities of economic structure, political structure and ideology. We have seen that a very broad range ofeconomic and political institutions may be justified. The essential difference between states lies not in the different ways that theyarrange institutions but in the different ways that they justifythem. Those that justify them to people as persons are similar.Those that justify them by conformity to a design are different.The theory set out here is not a design. It is an explanation. Onevirtue of explanations is that they draw forth other explanations.More importantly, they offer perspective — they tell us what weare “up to.” As the social relations which law must rationalizebecome ever more complex, perspective becomes ever more necessary. The simple laws have already been written. The connectionbetween the doctrine of consideration and the first principle isobvious. The connection between the “hard look” doctrine ofreviewing administrative agencies and the second principle isnowhere near so obvious (though it is a lovely example of thejudicial process enframing the realm of uncertainty). The morecomplex and artificial the institution, the poorer the guidance ofintuition and the more necessary are conscious guides to decision.Justification comes easy to printers. Most of them don't knowwhy a page of print that has straight margines left and right is“justified.” They don't need to know, for the idea has immediateintuitive appeal; it is easy to accept and to remember, and, onceremembered, it is an effective guide to behavior. It is easy to seethat this line of print is not justified and to do somethingabout it. It is not so easy to tell whether the “hard look” doctrine orthe enforcement of a surrogate motherhood contract sits fairly on itspage. Justification of law requires an understanding of thecriterion against which it is being done. There is an intuitive core— a “sense” — to any act of judgment, but that core can be illuminated and developed by an understanding of the framework withinwhich it operates. (shrink)

In speaking of empirical science as a self-correcting process one implies that a proposition accepted in accordance with the rules of procedure may have to be eliminated later according to these very rules. Taking this for granted one realizes that a particular empirical science, say physics, should be defined in terms of rules of method rather than as a system of propositions representing our knowledge at a given time. Obviously both the science of Galileo and Newton and the science (...) of Einstein and Bohr are called ''physics'' and we do not regard this as a mere equivocation. It may, however, be objected that a definition of a science in terms of rules of method is incompatible with the view that a science consists of a set of propositions. To meet this objection I propose that we distinguish between the structure of a science as defined in terms of the rules of method and the corpus of this science at a given time, i.e., the set of propositions accepted at this time in accordance with the rules of method of this science. The relation between the structure of a science and the corpus of a science is similar to that obtaining between the structure of a legal order, e.g., American law, which is defined by the rules of the process of legislation in the broadest sense and the legal norms which are the corpus of law at a given time. It should then be noted that the assertion that a certain proposition belongs to a given science is incomplete without a time-index. The scientist changes the corpus of his science either by introducing new propositions to it or by eliminating propositions which were previously accepted and did not stand further control. The significance of whatever else he does in the course of his inquiry can be determined only in the light of this selection. There are two stages in this process of selection. The first is exclusively concerned with meanings as such. The scientist has to ascertain that a given aggregate of words represents a proposition, that this proposition contains only objective meanings, that it is not self-contradictory, that it belongs to the subject-matter of the particular science. The second phase of the selection, exhibited in scientific procedure in the strict sense, applies only to such propositions which have passed this preexamination. We shall call those rules of method in terms of which the first stage of selection is defined rules of the language of science and those rules in terms of which the second stage is defined rules of the procedure of science. In this paper I shall try to show how important it is to distinguish clearly between these two types of rules. I shall first deal with the rules of the language of science and confine myself to sciences dealing with the physical world. (shrink)

This book addresses two related questions that have first arisen in Toulmin’s seminal book on the uses of argument. The first question is the one of the relationship between the semantic analysis of modality and the structure of arguments. The second question is the one of the distinctive place, or role, of modality in the fundamental structure of arguments. These two questions concern how modality, as a semantic category, relates to the fundamental structure of arguments. The (...) book addresses modality and argumentation also according to another perspective by looking at how different linguistic modal expressions may be taken as argumentative indicators. It explores the role of modal expressions as argumentative indicators by using the Italian modal system as a case study. At the same time, it uses predictions/forecasts in the business-financial daily press to investigate the relation between modality and the context of argumentation. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. (...) Much of Stoic logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

Recent discussions of ontology have shown an interest in the relation between logic, language and ontology. Quine, for example, has shown how sentences translated into canonical form determine ontological commitment in terms of the values over which bound variables range, while Strawson has maintained that conditions inherent to language determine a system of ontological concepts. But in these discussions the role linguistics might have in the construction of ontological schemes is seldom seriously considered. Except for Benjamin Lee Whorf’s examination (...) through the use of descriptive linguistic techniques of the relation between ontological schemes and the structure of languages, little has been done to apply the results of linguistic research to questions of ontology. In the past this could be attributed to the absence in structural linguistics of significant generalizations about language above the morphophonemic level. This situation has altered with the development of transformational linguistic theory. That theory contains an extensive set of generalizations about the form and content of any natural language. (shrink)

The purpose of this paper is to survey the correspondence between bounded arithmetic and propositional proof systems. In addition, it also contains some new results which have appeared as an extended abstract in the proceedings of the conference TAMC 2008 [11].Bounded arithmetic is closely related to propositional proof systems; this relation has found many fruitful applications. The aim of this paper is to explain and develop the general correspondence between propositional proof systems and arithmetic theories, as introduced by (...) Krajíček and Pudlák [46]. Instead of focusing on the relation between particular proof systems and theories, we favour a general axiomatic approach to this correspondence. In the course of the development we particularly highlight the role played by logical closure properties of propositional proof systems, thereby obtaining a characterization of extensions of EF in terms of a simple combination of these closure properties (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Cambridge Companion to the StoicsJohn SellarsBrad Inwood, editor. The Cambridge Companion to the Stoics. New York: Cambridge University Press, 2003. Pp. ix + 438. Cloth, $70.00. Paper, $26.00.No doubt everyone will be familiar with the format and rationale of the Cambridge Companion series, each volume being designed to function as a "reference work for students and nonspecialists." Brad Inwood's Cambridge Companion to The Stoics follows the usual (...) plan, offering fifteen essays by an impressive line up of well-known Stoic scholars. The essays fall into four distinct groups. The first group (Sedley, Gill) offers a sketch of the history of the Stoa, and both essays are excellent. Of particular interest is Sedley's challenge to the traditional distinction between the orthodox "early" and eclectic "middle" Stoa (esp. 23-24). The second group (Hankinson, Bobzien, White, Algra, Frede, Brunschwig, Schofield, Brennan) forms the heart of the volume, each essay examining a central topic in Stoic philosophy. While all of these contributions are very good, those by Bobzien, Brunschwig, and Schofield stand out in particular. Hankinson offers a helpful discussion of Stoic epistemology but lapses into anachronistic descriptions at times; the Stoic position is "Lockean," the Stoics are good empiricists in the Humean fashion, they have "Leibnizian metaphysics" (63, 69). Brennan gives a very interesting discussion of Stoic moral psychology, but perhaps pitches it a little too high for a nonspecialist audience. The third group (Hankinson again, Blank and Atherton, Jones) explores the ancient Stoic tradition's relationship with medicine, grammar, and the astronomical sciences. Jones' discussion of the neglected Cleomedes is especially welcome (333-37). The final group (Irwin, Long) considers the reception of Stoic ideas in the Western intellectual tradition. Of these I found Long the more accessible and useful of the two (compare, for instance, their respective discussions of Butler, 357-62 and 382-89), although Irwin will no doubt prove stimulating to those already familiar with the issues he addresses.What is lacking from the collection as a whole, however, is any sense of the systematic unity of Stoic philosophy. While it has inevitably been divided up under various headings for the sake of exposition, there has not been much attempt to put it back together again (like Humpty Dumpty, Stoic philosophy is like an egg; Diogenes Laertius 7.40). Although many individual contributors signal the systematicity of Stoicism, there is no extended discussion of the way in which the various parts of Stoic philosophy fit together, nor how that system relates to the way in which the Stoics conceived philosophy, or their ideal of the Sage. [End Page 337]My principal concerns with the volume as a whole relate to the lack of any supporting material that might prove useful to the student or nonspecialist approaching the subject for the first time. There is no list or chronology of the principal Stoics, nor a guide to the ancient sources for Stoicism. There is a list of primary sources, but this contains all of the primary material cited by the contributors, including works by Aquinas, Butler, Duns Scotus, Hume, Leibniz, and Spinoza. There is no readily accessible table of abbreviations, and what nonspecialist will know that in order to find a text cited as 'S. E. M' they may end up opening a book entitled Against the Logicians (as 'M' 7 and 8 are called in the Loeb Classical Library series)? Some abbreviations are explained within the list of primary sources, but this is not immediately obvious. The bibliography is indeed substantial but it also simply lists the various items cited by the contributors. What might have been more useful in this companion is a structured guide to further reading, such as the one in A. S. McGrade's excellent Cambridge Companion to Medieval Philosophy, for instance. Even better would have been a bibliography along the lines of the one in Jonathan Barnes' Cambridge Companion to Aristotle. One other omission that is striking is the absence of a discussion of methodological problems that arise from relying on often hostile doxographical sources. Although a number of the contributors do touch on such issues en route, a more sustained treatment might have... (shrink)

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: $$\begin{array}{ll}\mathbf{Some}\, a \,{\rm are} \,R-{\rm related}\, {\rm to}\, \mathbf{some} \,b;\\ \mathbf{Some}\, a \,{\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{some}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all} \,b.\end{array}$$ Such primitives formalize sentences from natural language like ‘ All students read some textbooks’. Here a, b denote arbitrary sets (of objects), and R denotes (...) an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem. (shrink)

Preferential structures are probably the best examined semantics for nonmonotonic and deontic logics; in a wider sense, they also provide semantical approaches to theory revision and update, and other fields where a preference relation between models is a natural approach. They have been widely used to differentiate the various systems of such logics, and their construction is one of the main subjects in the formal investigation of these logics. We introduce new techniques to construct preferential structures for completeness proofs. (...) Since our main interest is to provide general techniques, which can be applied in various situations and for various base logics (propositional and other), we take a purely algebraic approach, which can be translated into logics by easy lemmata. In particular, we give a clean construction via indexing by trees for transitive structures, this allows us to simplify the proofs of earlier work by the author, and to extend the results given there. (shrink)

The first monograph on Stoic modal logic. Part 1 discusses the Stoic notion of propositions (assertibles, axiomata): their definition; their truth-criteria; the relation between sentence and proposition; propositions that perish; propositions that change their truth-value; the temporal dependency of propositions; the temporal dependency of the Stoic notion of truth; pseudo-dates in propositions. Part 2 discusses Stoic modal logic: the Stoic definitions of their modal notions (possibility, impossibility, necessity, non-necessity); the logical relations (...) between the modalities; modalities as properties of propositions; contingent propositions; the relation between the Stoic modal notions and those of Diodorus Cronus and Philo of Megara; the role of ‘external hindrances’ for the modalities; the temporal dependency of the modalities; propositions that change their modalities; the principle that something possible can follow from something impossible; the interpretations of the Stoic modal system by B. Mates, M. Kneale, M. Frede, J. Vuillemin and M. Mignucci are evaluated. -/- For a shorter, updated, English version of Part 1 of the book see S. Bobzien, ‘Stoic Logic’, in K. Algra et al. (eds), The Cambridge History of Hellenistic Philosophy, Cambridge 1999, 92-157. For a shorter, updated, English version of Part 2 of the book see S. Bobzien 'Chrysippus' Modal Logic and its Relation to Philo and Diodorus', in K. Doering / Th. Ebert (eds) Dialektiker und Stoiker (Stuttgart 1993) 63-84. (shrink)

Adopting a different method from the previous scholars, this article deduces the remaining 23 valid syllogisms just taking the syllogism AEE-4 as the basic axiom. The basic idea of this study is as follows: firstly, make full use of the trichotomy structure of categorical propositions to formalize categorical syllogisms. Then, taking advantage of the deductive rules in classical propositional logic and the basic facts in the generalized quantifier theory, we deduce the remaining 23 valid categorical syllogisms by taking just (...) one syllogism (that is, AEE-4) as the basic axiom. This article not only reveals the reducible relations between the syllogism AEE-4 and the other 23 valid syllogisms, but also establishes a concise formal axiomatic system for categorical syllogistic logic. We hope that the results and methods will provide a good mathematical paradigm for studying other kinds of syllogistic logics, and that the project will appeal to specialists in logic, linguistic semantics, computational semantics, cognitive science and artificial intelligence. (shrink)

continent. 1.1 (2011): 60-67. At the beginning of Martin Heidegger’s lecture “Time and Being,” presented to the University of Freiburg in 1962, he cautions against, it would seem, the requirement that philosophy make sense, or be necessarily responsible (Stambaugh, 1972). At that time Heidegger's project focused on thinking as thinking and in order to elucidate his ideas he drew comparisons between his project and two paintings by Paul Klee as well with a poem by Georg Trakl. In front of (...) Klee's Saints from the Window and Death of Fire —though we wouldn’t absolutely understand what we were seeing—he writes, “we should want to stand…a long while.” In a similar manner, of Trakl’s poem “Septet of Death”—although it is likely we are unsure in what we hear—Heidegger states that, “we should want to hear…[it] often.” Heidegger further states that in appreciating these, “we “should abandon any claim that [they] be immediately intelligible” (1). So also we must we approach, Heidegger continues, the realm of theoretical physics, in which the difficult work of Werner Heisenberg, be listened to “without protest” and without “any claim that he be immediately understood.” These works, like his own project, merit the time they take to be originally (mis)understood. But this is not necessarily true for philosophy, Heidegger advises, because, “That thinking is supposed to offer ‘worldly wisdom’ and perhaps even a ‘way to a blessed life’” (1). Philosophy is in the unique position of being both abstract (what do we talk about when we talk?) and at the same moment, useful. There are demands that it make sense, that it be, grounded, immediate, and most importantly, rational. Heidegger draws these comparisons between the works of Klee and Trakl and Heisenberg not to claim that philosophy is totally irresponsible. He does not claim that the poet, the painter, nor the physicist have acted irresponsibly. Rather, he would say, they are rising to the highest levels of intelligibility, though it is perhaps an intelligibility that is commonly unavailable to us. In Trakl’s case, as we shall see, mastery is the end result of difficult words. Instead, Heidegger seems be making pleas: for a period of uninterrupted unintelligibility (pure unintelligibility); and that there is a time (that time is now) when, “thinking is…placed in a position which demands of it reflections that are far removed from any useful, practical wisdom” (1-2). Heidegger argues that philosophy requires a period of time in which, instead of focusing on the practical—or even on the worldly—the discipline draw its “determination” instead from the place of painting and poetry and physics. In doing so, “we should have to abandon any claims to immediate intelligibility” (2). But Heidegger doesn’t offer this as a way out. We still have to turn up, we “still have to listen, because we must think what is inevitable, but preliminary” (2). The point for Heidegger, is not to listen to a series of propositions, but instead to “follow the movement of showing” (2). I. … Maybe we're here only to say: house, bridge, well, gate, jug, olive tree, window— at most: pillar, tower … but to say them, remember, oh, to say them in a way that the things themselves never dreamed of existing so intensely.… Rainer Maria Rilke, “The Ninth Elegy” There is little more fundamental, preliminary, in the world than language. We use language, in the form of speech, constantly, whether we are saying anything or not. “Man speaks,” Heidegger writes, and goes on to describe in his essay “Language” (2001) the constant speaking that we do. “We are always speaking, even when we do not utter a single word aloud, but merely listen or read, and even when we are not particularly speaking or listening but are attending to some work or taking a rest” (187). Speaking is expression, an utterance of something internal. It is a recognition of a world. It is a way of communicating thought and it is an activity that we all do, inevitably. Speaking separates the human from the animal world, and despite advances in primatology that seek to give ‘voice’ to primates and other non-human animals, it can safely be said that our form of communication—what we call speech and know as language—is the most advanced, the most complicated. We use it to present and represent the world around us; through actual utterances (vocalization) or through the written word or through ‘unvoiced thoughts’ and dreams. We use language, but more specifically speech—naming—to transmit moods, thoughts, desires, aversions, and feelings. These expressions, mere utterances, nearly always find a source in words, whether spoken or not. Heidegger writes that this common view of language means “that only speech enables man to be the living being he is as man. It is as the one who speaks that man is—man” (187). Speaking then—utterance—surrounds us constantly, whether in the form of careful thought—in the form of an academic paper, say—or in the half mutterings and forgotten thoughts of a nearly remembered dream. Like scaffolding, the apparatus of speech sustains and explains the world, making, in a sense, the world rational, making it apparent. When we speak, we describe, and in doing so, name the world. We use words, through this process of naming, to interpret and sustain the world we see, and the world we imagine. Like Rilke’s naming of jug, and bridge, and window, and stream, we describe—and inscribe upon—the world through an activity of naming. Are we here, perhaps, to name? Is it possible not to name? Is it possible to regard and to view and to look around without naming what we see? Is it possible to feel—to experience—world without giving utterance to that feeling, that process? Sadness, grief, joy, ecstasy, hunger, thirst. Desk, light, room, pen, book, world. White, black, tomorrow, today. Each of these words is a name given to a thing I see in front of me, or a concept that I imagine (in the case of tomorrow or world). What arises in my mind has already existed. If I imagine it, it is named. The word for ‘tomorrow’ and ‘desk’ and ‘light’ precedes me, and precedes my concept of it. The idea of it is already pre-informed, and I must, in a certain sense, bend my ideas to it. When I imagine a table, I imagine my own table (or I imagine an idea of table) but that imagining must follow certain general rules; while, perhaps, it might not always require four legs and a horizontal surface, it must, at least not be, say, a pool of water, or a pile of excrement. It must have some tableness to it to be a table. It must, with Heidegger, table. Otherwise, speech is reduced to gibberish. For Heidegger however, the discussion of language points to something deeper than its “scientific and analytic” study as a communicative device. Indeed, Heidegger seeks to understand language not in reference to man or woman, not as an utterance of humanity, but in reference to itself. In doing so he abandons the conversation—that is, he casts away the traditional arguments surrounding philosophy of language; that it is a means of expression; that it is a human activity; and that it is somehow a representation of something that is—in order to seek to understand language as language, on its own terms. Heidegger is not a philosopher of language, but a philosopher of world, of being. Despite these “correct ideas” holding sway “over the whole field of the varied scientific perspectives on language…they ignore completely the oldest natural cast of language” (191). What is this “oldest natural cast of language? It is the act of language itself. Language is language and language speaks. “Most often,” Heidegger writes, “and too often, we encounter what is spoken only as the residue of a speaking long past” (195). Speech, as we normally encounter it, is like Echo herself calling out to Narcissus, doomed to repeat what has already been said, a mere remnant of what was once language, a trace left behind in the gathering silence of becoming. In both the essay “Language” and in his three lecture course “The Nature of Language” (1982), Heidegger attempts to unpack the seeming tautology of language as language. In each, he focuses on poetry as a way out, or into, a true discussion of the oldest natural cast of language. Poetry is pure speech. In poetry, language is brought to language and language speaks ( Die Sprach spricht ). In the act of poetry, the act of pure speech, the poet names (on the surface not different from how I name this table, this computer) but in the poet naming, the naming does not “hand out titles,” “apply terms,” but rather the naming is a call, a calling forth of entities that bring them into their own, allow them to take their place purely, without compromise. This calling, Heidegger (2001) states, “here calls into a nearness. But even so the call does not wrest what it calls away from the remoteness, in which it is kept by the calling there. The calling calls into itself and therefor always here and there—here into presence, there into absence” (196). II. Window with falling snow is arrayed, Long tolls the vesper bell, The house is provided well, The table is for many laid. Wandering ones, more than a few, Come to the door on darksome courses. Golden blooms the tree of graces Drawing up the earth’s cool dew. Wanderer quietly steps within; Pain has turned the threshold to stone. There lie, in limpid brightness shown, Upon the table bread and wine. Georg Trakl “A Winter Evening” Heidegger is often given short shrift as an abysmally difficult writer, as one that makes no sense and is needlessly difficult. In doing this though, we forget sometimes his eloquence, his simple beauty in writing. Of the above opening stanza, “Window with falling snow is arrayed/ Long tolls the vesper bell.” he writes (2001), This speaking names the snow that soundlessly strikes the window late in the waning day, while the vesper bell rings. In such a snowfall, everything lasts longer. Therefore the vesper bell, which daily rings for a strictly fixed time, tolls long. The speaking names the winter evening time (197). The speaking names the winter evening time. It is almost impossible to comment on that one line by Heidegger. It is as though it must exist on its own completely, without elucidation—as though in front of it we must stand as we do in front of a painting by Klee, that is, we must abandon any claim . Silent and devoted. The speaking of the poem here is not clearly different from common speech ( rede ) yet there is, via Heidegger, an invitation to experience that auracular quality of light and stillness that a gentle, dusk tinged snowfall gives; words evoking a quality so clear, so poignant that, in a sense, Heidegger’s work, at this moment, has been done. But what does this naming accomplish? What does the call call? Remember, it is not the poet that calls, but the naming which calls. The poet has only brought the words forward; it is now the words— snow, vesper bell, window— that take new life in the pure language of the poem. Entities are called forth into presence, like the speaking that names the winter evening time. Not to be present amongst us now, however; naming ‘table’ in the poem does not place it in front of us in this room. Rather, the naming places entities into a gathering which is also a sheltering. The naming brings them to be. In an act of appropriation, things come to be purely as their own, unimpeded by a predetermined expectation. They are called to themselves into an arrival. In Being and Time (1962), Heidegger famously describes the movement between present-at-hand and ready-to-hand in his analysis of the hammer, and of equipment in general. This analysis is already known, if not always clear, to most readers of Heidegger. Briefly, a hammer is ordinarily zuhanden or ready-to-hand; it is part of the background of the world, equipment used and never thought about, like this desk, this sheet of paper, this room. Our interaction with it is temporary and it is historically different for each entity and each relation. We need a hammer, we use a hammer. If all goes according to plan, the hammer remains ready-to-hand; it remains, in a sense, undisclosed and certainly unobtrusive. Our world is undisturbed by the hammer. Only when the hammer or the car or the computer is broken (or sometimes unused or unrecognized or missing) does it intrude into our world, become conspicuous as an object present-at-hand, or vorhanden . In this case, we reach for the hammer, it is broken and we suddenly notice it’s being, broken though it is. The thing which was always ready to hand—handy—is suddenly abstract, something to be examined, if only in its absence or disfunction. This can be exhibited for all entities, and it is important to note that in this analysis the zuhanden / vorhanden split is not restricted to a specific form of constructed material; zuhanden does not refer to the car, and vorhanden the sunset. No entity is ever exclusively ready-to-hand or present-at-hand; they are instead, interpenetrated with each others mode of being, one informing the other in a way that both brings things forth into the world—discloses is the word Heidegger chooses—and at the same time conceals them. As one mode is coming to be so another mode is withdrawing. This flux and movement between modes is precisely what brings the world forward, and what makes it manifest. It exists beyond where we tread and before man took dubious control of the world. We go to find a book or turn on the computer and it is missing or broken and we become aware of the object, as though for the first time. We walk to the water to glimpse the sunset and miss it, or it is less than stellar; in the sunset’s grayness, we become aware of it’s being sunset. The thing is disclosed in its withdrawal. Echoing Heraclitus, we can say that as something is coming to be, it is already becoming something other. Of similar importance to the fact that things are never all of one, or all of the other, they are also never alone. The hammer is never a single object, but is in relation always to the whole. Heidegger (1962) states, Equipment—in accordance with its equipmentality—always is in terms of its belonging to other equipment: ink-stand, pen, ink, paper, blotting pad, table, lamp, furniture, windows, doors, room. These ‘Things’ never show themselves proximally as they are for themselves…What we encounter as closest to us…is the room; and we encounter it not as something ‘between four walls’ in a geometrical, spatial sense, but as equipment for residing…it is in this that any ‘individual’ item of equipment shows itself. Before its does so, a totality of equipment has already been discovered (97). Equipment resides—dwells—in its relations, in its proximal being to other beings. Within the structure of totality, a series of relations is always occurring. The hammer is on the workbench in the carpenter’s hand in the workshop in the village under the sky and under the sun. It doesn’t stop there. Equipment surrounds us and the focus is not on what it does, or what one does with it—the carpenter with the hammer, the writer with laptop—but with the fact that it is. Equipment occurs in relation and is always occurring around us overhead, underfoot, by the stream and in the city. There is a constant exchange of relations happening, and as this occurs, so the world occurs, so the world both discloses and withdraws, into and out of itself. In a very real sense, language is also equipment. It is the thing that we use most often without thought, it is ready-to-hand (except when it’s not.) As we re- cognize the world around us, as we offer names for things and make lists, we are using language much like we might use a hammer, that is, bluntly. Most of the time it is invisible and we draw on it without wondering how we are going to say something. When language does intrude, it does so in an awkward moment, that moment when we can’t remember the right word, when we forget a phrase. At that second, it “speaks itself as language,” it reveals itself as malfunctioning equipment, and we “undergo” an experience with language, in Heidegger’s famous formulation. Language is not a tool anymore that we use to bludgeon an object, but something instead that we submit to, that we experience. In “The Nature of Language,” Heidegger (1982) writes, But when does language speak to us as language? Curiously enough, when we cannot find the right word for something that concerns us, carries us away, oppresses or encourages us. Then we leave unspoken what we have in mind and, without rightly giving it a thought, undergo moments in which language itself has distantly and fleetingly touched us with its essential being (59). The poet’s words become themselves, become appropriate, only when they no longer function in the prosaic world; they instead intrude as they come to be. Language itself brings itself to language. Names, like the entities they indicate, are always becoming something else. As noted above, language, through the poet, has brought forth entities from words previously “known.” I thought that I knew snow, but through Trakl’s re- presentation of the word, language calls forth a new image of snow, indeed calls forth snow itself. The vesper bell tolls longer, the table is for many laid. In bringing forth things , language has brought the world to presence. In everyday naming, word occludes world, preventing, in its everydayness, its coming forth, its disclosing. But what is this world that word has been brought forth into? In the same way that language speaks, world worlds. World, left alone, un-interfered with, comes into itself. It worlds. Again, this sounds like a tautology, but it is essential to Heidegger’s thought (and in my mind is more of a “god killer” than Nietzsche.) One of the most overlooked (and under-appreciated) aspects of Heidegger is his later examination and enthusiasm for the “fourfold,” or the system through which things come to be, through which things thing in a world worlding. The fourfold is the interaction of earth and sky, mortals and gods. Things come to be in the interstices and gathering of the fourfold. The fourfold provides both a place of being, and a sheltering, a place to dwell. Heidegger writes that “the things that were named, thus called, gather to themselves sky and earth, mortals and divinities. The four are united primally in being toward one another, a fourfold.” The poet has called, through the act of pure naming, things to come forth. In the purity of the fourfold—that is, when that is all that there is, when there are no other distractions, definitions, things—entities themselves can come to be. It is important to note that Heidegger is not saying that there are four formal things in the world, autonomous entities unto themselves. He is not evoking a pre-Socratic formula as to what makes up the world; instead, the four mirror each other constantly. (Heidegger calls this the ‘mirror-play.’) They interpenetrate in the same way that the modes of being of things interpenetrate themselves. There is no discrete exclusivity in being or the fourfold. What makes up things is not a precise recipe of the four main components; what makes up things is the action of the fourfold coming together, the movement of the fourfold which is a becoming. Heidegger (2001) writes that “this gathering, assembling, letting stay is the thinging of things.” And he later adds that “thinging, things are things. Thinging, they gesture—gestate—world” (197). Language brings the world to be. It works not again as a recipe added to things, but instead it is a bridge, or more precisely, a relation. Language relates world to thing, brings world to thing. In a sense, it does not say anything; rather it allows, or calls in its movement. Heidegger (2001) writes that, The intimacy of world and thing is not a fusion. Intimacy obtains only where the intimate—world and thing—divides itself cleanly and remains separated. In the midst of the two, in the between of world and thing, in their inter, division prevails: a dif-ference (199). It is in this inter that language prevails. Language is difference, it is the differential aspect between world and thing that brings world to thing. In the final stanza of Trakl’s poem “The Winter Evening,” Trakl evokes this difference in the second line when he writes, “Pain has turned the threshold to stone.” Christopher Fynsk, in his essay “Noise at the Threshold,” draws attention to this point when he writes “it is the figure of the threshold that is language itself, inasmuch as language is defined as the articulation of difference by which difference comes about” (25). Language, as used in the pure language of the poem, draws together world and thing, bridging relation between entity and world. The calling of language calls world to thing, world to being. Heidegger (2001) describes this difference as unique; “of itself, it holds apart the middle in and through which world and things are at one with each other” (200). III. Neither reading nor writing, nor speaking—and yet it is by those paths that we escape what has been said already, and knowledge, and reciprocity, and enter the unknown space, the space of distress where what is given is perhaps not received by anyone (99). Maurice Blanchot The Writing of Disaster So far, we have allowed Heidegger to put forward what language does, how it functions as a relation and how it operates as a threshold, as a bridge. What interests me is what happens beyond language, beyond the relation. What happens to the thing without the naming, without the poet, or even without the everyday chatter—Fynsk calls this ‘noise’—intruding on being? If language allows things to become by bringing thing to world, what happens when we remove this bringing, this threshold turned to pain? In “The Nature of Language,” Heidegger examines the work of the poet Stefan George, specifically “The Word”: Wonder or dream from distant land I carried to my county’s strand And waited till the twilight norn Had found the name within her bourn— Then I could grasp it close and strong It blooms and shines now the front along… Once I returned from happy sail, I had a prize so rich and frail, She sought for long and tidings told: “No like of these depths unfold.” And straight it vanished from my hand, The treasure never graced my land… So I renounced and sadly see: Where word breaks off no thing may be. That final line, “Where word breaks off no thing may be” is evoked on nearly every page of Heidegger’s essay. It is the line to which he returns over and over and bears repeating. Where word breaks off no thing may be. Where naming ends, no thing. We can interpret this in two ways (at least.) Where word—naming—breaks off, then there is nothing . Or, as I choose to read it, where word breaks off no thing may be. In this I see a hint forward, a marker left behind by Heidegger. What could this look like? What does no thing look like? Like a zen koan ( there is no mirror ) it is as thrilling and horrifying as contemplating what preceded the Big Bang. Because language as naming wasn’t always here; we weren’t always here. One or maybe two aspects of the fourfold (depending on your view of gods) were not always here, and there is no guarantee that we will always be around. What then? Heidegger (1982) describes the landscape that the poet finds, “It names the realm into which the renunciation must enter: it names the call to enter into that relation between thing and word which has now been experienced” (65). The poet, in renouncing, allows for the “may be” of “where word breaks off no thing may be.” This “may be” becomes “a kind of imperative, a command which the poet follows, to keep it from then on.” No thing is lacking. Where word breaks off, there may be, a totality, a completion. If we place the emphasis on may be , we make it affirmative, make it positive. One allows it. No thing is where the word, that is the name, is lacking. If we remove then (if we can remove) the word, the name, than that is where no thing is, that is where no thing may blossom, enrich, belong, become. What is no thing? Heidegger writes that “thing is anything that in any way is.” And just after this he writes that the “world alone gives being to the thing.” But what happens if there is no word? Word, in this formulation can be seen as an enframing, a challenging of language. By naming, by drawing a perimeter around an object, we hold it, by its definition (that is a brick) to an ordered future. If we borrow from Heidegger’s essay “The Question Concerning Technology” (1993) the idea of this standing-reserve of an ordered future, we see that “everywhere everything is ordered to stand by, to be immediately on hand, indeed to stand there just so that it may be on call for a further ordering” (322). What happens if there is no naming of the thing? Silence perhaps. Stillness. We can name—and do name—that which we know. We equate knowledge with knowing the name of something. A brick is a brick, a hammer is a hammer, the universe is the universe. By naming a thing, we create, and draw its parameters, the parameters of the thing, not as thing thinging in the fourfold, but as blunt object apparent. In the four dimensions relatively available to us, we observe (and name) that the brick takes up possibly six by four by two inches and is, in the sense that it currently occupies this time slot. It fulfills its destiny, its being, its brickness, it bricks . But what happens when we remove the name for this brick. We no longer know what to call this no-thing (if indeed we can even arrive at the point of uncalled calling.) In fact the it (this brick) is no longer a thing in the sense that by not naming—by removing the name—it still occupies the same dimension but is indiscernible from the world. It simply is , un-reliant, un- needed by me. By removing the subject (me) from it (the brick) do I not then also remove the object—or at least the duality objectifying it? Why is this important? Why does this matter? I have not really removed anything. I have not changed any thing , per se . The brick still occupies the same space in geographic and temporal dimensions. I have literally not even touched the brick sitting on my desk. But what I have done is removed the name, removed the word (the bridge, according to Heidegger) and in this (again, if this is even possible) there is something vertiginously liberating, not only for me (and my way of thinking) but also for the brick itself. Like the poet who calls the thing forward, by refusing to name, by avoiding any thing that demands me to name it, I release the thing into the fourfold. I am no longer challenging the thing to be there for me ; I do not en frame it through language. Rather I, in an act of extreme responsibility, am refusing the challenge. By refusing the name (refusing to name) one allows, (or no one allows no thing) the brick to be all things , to manifest its manifold being, to incorporate all things into its thinging . It becomes, quite literally, every thing . Because, in its infinite manifestness, it incorporates everything; the mud that gave it its current being, the water that formed the mud, the sun, the stars, the universe and it also allows it to become mud again, to become landfill, to become again, water and sun and stars and universe in an endless, infinite cycle of coming to be some thing (else). Perhaps this is what Heidegger is suggesting when he talks about the stillness at the end of his essay, “Language” (2001): The dif-ference stills particularly in two ways: it stills the things in thinging and the world in worlding. Thus stilled, thing and world never escape from the dif-ference. Rather, they rescue it in the stilling, where the dif-ference is itself the stillness (206). It is in this stillness that I can imagine a gellasenheit (here I mean both “releasement in the Heideggarean sense, as well as Meister Eckhart’s use of the term meaning “letting the world go and giving oneself to God”) of thing and world, a releasing into the stillness and silence of no thing beyond where word breaks off. It is here where I may no longer be, and yet no thing is, but may be. (shrink)

This paper studies the structure of semantic theories over modular computational systems and applies the algebraic Theory of Institutions to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of ∑‐models mapped from the category (...) Th of ∑‐theories and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions INS, where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in INS at any level occurs iff the same morphism occurs at the lower level alongside the Th hierarchy. (shrink)

Although most natural law ethical theories recognize moral absolutes, there is not much agreement even among natural law theorists about how to identify them. The author argues that in order to understand and determine the morality (or immorality) of a human action, it must be considered in relation to the organized system of human practices within which it is performed. Such an approach, he argues, is to be found in the natural law theory of Thomas Aquinas, especially once it is (...) recognized that the logical structure of Aquinas's ethical theory is basically that of an Aristotelian science. In order to depict this structure and to explain how it bears upon the analysis of action, the author investigates a number of issues that have attracted the attention of Thomistic and Aristotelian scholarship. He examines the nature of practical reason, its relationship with theoretical reason, the derivation of lower from higher ethical principles, the incommensurability of human goods, the relationship between will and intellect, and the principle of double effect. The book will be useful to students and scholars interested in ethics, especially from an Aristotelian and/or Thomistic perspective. One appendix reproduces the Leonine text of the De malo (question 6), with facing English translation. Another appendix provides facing Latin text and English translation of the Summa Theologiae I-II (question 94, article 2). ABOUT THE AUTHOR: Kevin L. Flannery, S.J., author of many works on the history of logic--particularly Aristotelian logic--is dean of the faculty of philosophy and professor of the history of ancient philosophy at the Pontifical Gregorian University in Rome. PRAISE FOR THE BOOK: ""I know of no more careful and detailed study of Thomas's principle that the realms of theoretical and practical rationality are parallel. This principle is indeed central to an understanding of Thomas Aquinas's ethical thought, and Father Flannery examines its ramifications most perspicaciously. His book constitutes a valuable and important addition to the Thomistic literature. Father Flannery's writing is lucid, if not always extremely engaging, and his arguments are well supported by references to, and quotations from, the Aristotelian and Thomistic texts upon which they are based.""--The Medieval Review ""It would be hard to overstate the importance of this book at the present juncture of Thomistic studies.""--Ralph McInerny, University of Notre Dame ""... of interest and of great value mostly to specialists in Aquinas's ethics or moral theory more generally. Flannery presents complex matters clearly, and his explanations of the logical presuppositions of Aquinas's moral thought are always illuminating.""--Jean Porter, Theological Studies ""This is a significant work that belongs on the bookshelf of any serious student of Aquinas.... An important contribution to Thomistic studies.""--Irish Theological Quarterly ""This scholastic text will particularly appeal to thinkers interested in Aristotelian mathematics and logic and their practical integration into Thomistic natural law ethics. However, all natural law scholars must address the questions of context and method raised by Flannery's insights and his careful, precise textual analyses."" -- Beverly Whelton, Review of Metaphysics. (shrink)

I define sublaltices of quantum propositions that can be taken as having determinate (but perhaps unknown) truth values for a given quantum state, in the sense that sufficiently many two-valued maps satisfying a Boolean homomorphism condition exist on each determinate sublattice to generate a Kolmogorov probability space for the probabilities defined by the slate. I show that these sublattices are maximal, subject to certain constraints, from which it follows easily that they are unique. I discuss the relevance of this (...) result for the measurement problem, relating it to an early proposal by Jauch and Piron for defining a new notion of state for quantum systems, to a recent uniqueness proof by Clifton for the sublattice of propositions specified as determinate by modal interpretations of quantum mechanics that exploit the polar decompostion theorem, and to my own previous suggestions for interpreting quantum mechanics without the projection postulate. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

Jeffrey King, Scott Soames, and others have recently challenged the familiar identification of a Russellian proposition, such as the proposition that Brutus stabbed Caesar, with an ordered sequence constructed out of objects, properties, and relations. There is, as they point out, a surplus of candidate sequences available that are each equally serviceable. If so, any choice among these candidates will be arbitrary. In this paper, I show that, unless a controversial assumption is made regarding the nature of (...) nonsymmetrical relations, none of the proffered candidate sequences are in fact adequate to the play the role. Moreover, as I argue, the most promising alternative theory of relations—one that avoids the problematic assumption and, in addition, fits most naturally into the sequentialist’s framework—fails to meet a basic requirement: it cannot distinguish between the proposition that Brutus stabbed Caesar and the proposition that Caesar stabbed Brutus. The upshot is that the conspicuously structured entities that are widely assumed to be up to the task of “playing the proposition role” shed no light on the very structure they are invoked to represent. (shrink)

In 1931, Kurt Gödel determined the incompleteness of formal axiomatic systems by demonstrating that there are propositions that cannot be proved or disproved within the system in question. In 1936, Alan Turing showed that some functions cannot be computed, and thereby described the limits of computing machines before any such machine was built. In this essay I will turn to these logical discoveries in order to argue that incompleteness and incomputability can be employed as conceptual tools to re-engage with (...) the axiomatic character of computation. This re-engagement with formal axiomatic structures, I will claim, has important consequences for the aesthetic investigation of computation. Computational aesthetics is understood here as an enquiry into the relation between abstraction and experience in computation. In this respect, the concepts of the incomplete and the incomputable will be mobilised philosophically, beyond the technical scope of Gödel’s and Turing's work, to argue for the autonomy and reality of computational abstraction. Gödel’s and Turing’s discoveries preclude the possibility that axiomatic formulation could be the method through which the metacomputation of the intelligible and the sensible is accomplished. These discoveries in fact prove that the computational axiomatic system is not transcendentally closed to contingency, as metacomputational approaches geared towards the formulisation of reality would have it, but is instead immanently open to its own eventuality. I will thus argue that there is a contingent ontology of computation that is to be found within computation’s formalisms. This contingent ontology is not predicated upon the empirical or the phenomenal, but is inherently formal and computational. For the philosophical investigation of the aesthetics of computation, such an ontology of the contingent computational structure opens up the possibility of thinking computational forms beyond the limits of formulae, together with that of engaging with formalism beyond the idealisation of beautiful and truthful determinisms. (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things (...) return. It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

A considerable number of books and papers have analyzed normative concepts using new techniques developed by logicians; however, few have bridged the gap between the English legal culture and the Continental tradition in legal philosophy. This book addresses this issue by offering an introductory study on the many possibilities that logical analysis offers the study of legal systems. The volume is divided into two sections: the first covers the basic aspects of classical and deontic logic and its connections, (...) advancing an explanation of the most important topics of the discipline by comparing different systems of deontic logic and exploring some of the most important paradoxes in its domain. The second section deals with the role of logic in the analysis of legal systems by discussing in what sense deontic logic and the logic of norm-propositions are useful tools for a proper understanding of the systematic structure of law. (shrink)

The Megarians, as well as their Stoic heirs, are known to have been fatalists or logical determinists in the following, very broad sense of these terms: with respect to at least certain classes or kinds of nontautologous propositions, they held that the mere truth of a proposition entails its necessity. This paper explores, in a very tentative fashion, the relation between several versions of logical determinism and two passages in the Aristotelian corpus, one of which (...) is specifically directed against Megarian doctrine and the other of which is an argument purporting to establish a thesis concerning the necessity of future events which Aristotle wished to reject but which the Megarian logician Diodorus Cronus apparently accepted. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Four Philosophical Models of the Relation Between Theory and PracticeEstelle R. JorgensenSince music education straddles theory and practice, my purpose is to sketch the strengths and weaknesses of four philosophical models of the relationship between theory and practice. I demonstrate that none of them suffices when taken alone; each has something to offer and its own detractions. And I conclude with four suggested ways in which the (...) analysis can be helpful to music teachers and those interested in their work.Clarifying what is meant by theory and practice raises a nest of conceptual problems. Concerning theory, it may be tempting to equate the terms "theory" and "philosophy." Among their shared properties, these terms deal with conceptual and abstract entities that, from the Enlightenment at least, have been held to be distinct from the phenomenal world. They also clarify ideas and distinguish one concept from another. Among their different purposes, the object of philosophy is the asking of questions in a search for wisdom or truth whereas theory is formulated for explanatory purposes, especially within the frame of scientific propositions that can be refuted through empirical observations. The tests of philosophy are, therefore, those of symbolic logic evidenced in principles such as [End Page 21] internal consistency, correspondence with evidence (deductive, inductive, or analogical), and coherence within a unity or whole. Although logical criteria may also be important in formulating and testing theory,1 it is tested and refuted primarily through means of qualitative descriptions and quantitative assessments of observable phenomena.Regarding practice, one is also confronted with an ambiguous construct that may be interpreted descriptively (what is done in the phenomenal world or taken to be the general state of affairs) or normatively (what is desirable or ideal). There is also the distinction between the practice of a seasoned performer and practice in the sense of striving towards the mastery of a competent and expert practice. In this regard, Vernon Howard distinguishes between "practice" (or the skills exemplified by proficient or expert performers) and "practise (or acquiring the level of mastery of proficient or expert performance)."2 For him, the ambiguous and paradoxical nature of artistic practice highlights the complexity of degrees of attaining mastery of skills or exemplary practice and the diverse array of skills ranging from habit to critical thinking involved in the practice of any art. Although each practice is distinguished by its own belief systems, rituals, expectations, and commonsense, boundaries between differing practices are sometimes "soft" or fuzzy, as one seeps into another.3 Consequently, it is often difficult to distinguish one from another at the margins where one practice becomes another.DichotomyThe notion of theory and practice as independent or a dichotomous relationship between the phenomenal world on the one hand and the mind and spirit on the other has its roots in the ancient world. For Plato, the world of "appearances," referring to the phenomenal world understood by imagination (eikasia) and belief (pistis), should be distinguished from the higher, abstract "intelligible world" grasped through thinking (dianoia), knowledge (episteme), and intelligence (noesis).4 René Descartes' later bifurcation of the inner and outer worlds and inversion of Platonic values and understandings resulted in the ascendancy of careful and deliberate observation of the phenomenal world over philosophical reflection.5 His ideas helped to set the stage for the Enlightenment and the Industrial, Scientific, and Information Revolutions. Empiricism, science, and technology gradually displaced philosophy as primary ways of knowing the phenomenal world and understanding the nature of mind, human cognition, feeling, and being. Making hard-boundaried distinctions between within and without one's self, the phenomenal world and the world of spiritual things, and theory and practice were important insights. These distinctions provided for limits on the sorts of ways in which truth could be known. Reasoned deliberation [End Page 22] and imaginative thought have particular usefulness in the world of theory while sensory perception and careful observation are especially useful in the phenomenal world of practice. So while the scholar might speculate about phenomena, observational tools are also useful in coming to know and understand them. Reason and observation each have particular strengths, and it ought not be assumed that philosophy or scientific observation... (shrink)

The purpose of this article is to identify the most important factors and features in the evolution of thesauri and ontologies through a dialectic model. This model relies on a dialectic process or idea which could be discovered via a dialectic method. This method has focused on identifying the logical relationship between a beginning proposition, or an idea called a thesis, a negation of that idea called the antithesis, and the result of the conflict between the (...) two ideas, called a synthesis. During the creation of knowl­edge organization systems, the identification of logical relations between different ideas has been made possible through the consideration and use of the most influential methods and tools such as dictionaries, Roget’s Thesaurus, thesaurus, micro-, macro- and metathesauri, ontology, lower, middle and upper level ontologies. The analysis process has adapted a historical methodology, more specifically a dialectic method and documentary method as the reasoning process. This supports our arguments and synthesizes a method for the analysis of research results. Confirmed by the research results, the principle of unity has shown to be the most important factor in the development and evolution of the structure of knowl­edge organization systems and their types. There are various types of unity when considering the analysis of logical relations. These include the principle of unity of alphabetical order, unity of science, semantic unity, structural unity and conceptual unity. The results have clearly demonstrated a movement from plurality to unity in the assembling of the complex structure of knowl­edge organization systems to increase information and knowl­edge storage and retrieval performance. (shrink)

Propositional logic is understood as a set of theorems defined by a deductive system: a set of axioms and a set of rules. Superintuitionistic logic is a logic extending intuitionistic propositional logic \. A rule is admissible for a logic if any substitution that makes each premise a theorem, makes the conclusion a theorem too. A deductive system \ is structurally complete if any rule admissible for the logic defined by \ is derivable in \. It is known that any (...) logic can be defined by a structurally complete deductive system—its structural completion. The main goal of the paper is to study the following problem: given a superintuitionistic logic L, is the structural completion of L hereditarily structurally complete? It is shown that, on the one hand, there is continuum many of such logics, including \, and many of its standard extensions. On the other hand, there is continuum many superintutitionistic logics structural completion of which is not hereditarily structurally complete. It is observed that the class of hereditarily structurally complete superintuitionistic consequence relations does not have the smallest element and it contains continuum many members lacking the finite model property. The following statement is instrumental in obtaining negative results: if a Lindenbaum algebra of formulas on one variable is finite and has more than 15 elements, then a structural completion of such a logic is not hereditarily structurally complete. (shrink)

This paper articulates a formal theory of belief incorporating three key theses: (1) belief is a dyadic relation between an agent and a property; (2) this property is not the belief's truth condition (i.e., the intuitively self-ascribed property which the agent must exemplify for the belief to be true) but is instead a certain abstract property (a "thought-content") which contains a way of thinking of that truth condition; (3) for an agent a to have a belief "about" such-and-such (...) class='Hi'>items it is necessary that a possesses a language of thought, $M_{a}$ , and that a (is disposed as one who) inwardly affirms a sentence of $M_{a}$ in which there are terms that denote those objects. Employing an extended version of E. Zalta's system ILAO, the proffered theory locates thought-contents within a typed hierarchy of "senses" and their "modes of presentation", the provisional definitions of which (suppressing complications added later to accommodate the contents of beliefs about beliefs) are as follows. A mode of presentation of e is a ternary relation of the sort [λxyz z is a name in $M_{y}$ that denotes x, and $D_{e}yz$ ] in which $D_{e}$ is an e-determiner - a relation between agents and their mental expressions imposing a syntactico-semantic condition sufficient for such an expression to denote e therein. A sense of an entity e is an abstract property that "contains" a mode of presentation $R_{e}$ of e by dint of encoding its property-reduct [λx(∃y)(∃z) $R_{e}xyz$ ]. In particular, a thought-content is a sense T of an ordinary first-order property P containing a mode of presentation whose P-determiner $D_{P}$ is such that, for any y and z, $D_{P}yz$ entails that z is a λ-abstract [λv S] of $M_{y}$ in which S is a sentence whose non-logical parts stand in appropriate semantic relations to the constituents of T's (some of which may themselves be senses). Where $I_{a}$ is agent a's dedicated self-demonstrative and |T| is the mode of presentation contained in a thought-content T, the belief relation itself is then characterized as obtaining between a and T iff a( is disposed as one who) inwardly affirms the substitution instance $S(I_{a}/v)$ of a sentence S in $M_{a}$ such that |T|(P, a, [λv S]). The aforementioned "constituents" and "appropriate semantic relations" are formally characterized so as to permit a system of canonical descriptions for thought-contents of arbitrary complexity. These canonical descriptions are then employed to chart the nature and interrelations of belief de re, de dicto and de se and to identify the source of opacity in belief ascription. (shrink)

The correct locus (or loci) of binding theory has been a matter of much discussion. Theories can be seen as varying along at least two dimensions. The rst is whether binding theory is con gurationally determined (that is, the theory exploits the geometry of a phrase marker, appealing to such purely structural notions as c-command and government) or whether the theory depends rather on examining the relations between items selected by a predicate (where by selection I am (...) intending to cover everything from semantic dependencies to syntactic subcategorization). The second is the level of grammar on which binding is de ned. Attempting to roughly equate levels across di erent theories, suggestions have included the semantics/lexical conceptual structure (Jackendo 1992), thematic structure (Jackendo 1972, Wilkins 1988), argument structure/D-structure/initial grammatical relations (Manning 1994, Belletti and Rizzi 1988, Perlmutter 1984), surface syntax/grammatical relations, logical form, linear order, pragmatics (Levinson 1991), and discourse (Iida 1992). The data is su ciently varied and complex that many theories end up as mixtures, variously employing a combination of elements along both dimensions (for instance, Chomsky (1986) relies purely on con gurational notions for the relationship between an anaphor and its antecedent, but uses concepts from selection in the de nition of the binding domain of an anaphor). LFG has always rejected a con gurational account of binding. For instancError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMape, Simpson (1991) argues that a con gurational theory of binding in Warlpiri cannot be maintained, among other reasons because nite clauses lack a VP.. (shrink)

This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of lawmaking. Elaborations of the process of lawmaking have variously emphasised its political, social or economic aspects. Yet despite strong interest in logical analyses of law, questions remains about the role of logical (...) tools in lawmaking. This volume attempts to bridge that gap, or at least to narrow it, drawing together some important research problems-and some possible solutions-as seen through the work of leading contemporary academics. The volume encompasses 20 chapters written by authors from 16 countries and it presents diversified views on the understanding of logic (from strict mathematical approaches to the informal, argumentative ones) and differentiated choices concerning the aspects of lawmaking taken into account. The book presents a broad set of perspectives, insights and results into the emerging field of research devoted to the logical analysis of the area of creation of law. How does logic inform lawmaking? Are legal systems consistent and complete? How can legal rules be represented by means of formal calculi and visualization techniques? Does the structure of statutes or of legal systems resemble the structure of deductive systems? What are the logical relations between the basic concepts of jurisprudence that constitute the system of law? How are theories of legal interpretation relevant to the process of legislation? How might the statutory text be analysed by means of contemporary computer programs? These and other questions, ranging from the theoretical to the immediately practical, are addressed in this definitive collection. (shrink)

In this paper I offer a new interpretation of Stoic ontology. I aim to explain the nature of, and relations between, (i) the fundamental items of their physics, bodies; (ii) the incorporeal items about which they theorized no less; and (iii) universals, towards which the Stoic attitude seems to be a bizarre mixture of realism and anti-realism. In the first half of the paper I provide a new model to explain the relationship between (...) those items in (i) and (ii). This model clears up several problems in Stoicism and gives a precise answer to the question of how bodies and incorporeals differ in their mode of being. The second half of the paper considers the vexed issue of the status of those items in (iii), Stoic universals. (shrink)

Transition systems can be viewed either as process diagrams or as Kripke structures. The rst perspective is that of process theory, the second that of modal logic. This paper shows how various formalisms of modal logic can be brought to bear on processes. Notions of bisimulation can not only be motivated by operations on transition systems, but they can also be suggested by investigations of modal formalisms. To show that the equational view of processes from process algebra is closely related (...) to modal logic, we consider various ways of looking at the relation between the calculus of basic process algebra and propositional dynamic logic. More concretely, the paper contains preservation results for various bisimulation notions, a result on the expressive power of propositional dynamic logic, and a de nition of bisimulation which is the proper notion of invariance for concurrent propositional dynamic logic. (shrink)

Ken Pledger devised a one-sorted approach to the incidence relation of plane geometries, using structures that also support models of propositional modal logic. He introduced a modal system 12g that is valid in one-sorted projective planes, proved that it has finitely many non-equivalent modalities, and identified all possible modality patterns of its extensions. One of these extensions 8f is valid in elliptic planes. These results were presented in his 1980 doctoral dissertation, which is reprinted in this issue of the Australasian (...) Journal of Logic. Here we show that 12g and 8f are strongly complete for validity in their intended one-sorted geometrical interpretations, and have the finite model property. The proofs apply standard technology of modal logic together with a step-by-step procedure introduced by Yde Venema for constructing two-sorted projective planes. (shrink)

The relationship between thought and reality was a focal point of Wyclif’s reflection. On the one hand, Wyclif believed that thought was linguistically constrained by its own nature; on the other hand, he considered thought to be related to reality in its elements and constitution. Hence he deemed language, thought, and external reality to be of the same logical coherence. Within this context, the theory of supposition was intended to explain the different roles that terms can have in (...) relation to language and the extra-mental world when they appear as extremes in propositions. Characteristically, his theory of supposition provides an account not only of the truth-values of a sentence, but also of its meaning; it is not therefore simply a theory of reference, but a sort of complex analysis of language viewed as a semiotic system whose unique interpretative model was reality itself. It gives clear evidence of Wyclif’s realist stance and of his conviction that any kind of linguistic and semantic features must be grounded on ontological structures. (shrink)

continent. 2.2 (2012): 66–75 ~*~ We’re Doomed. Pessimism is the night-side of thought, a melodrama of the futility of the brain, a poetry written in the graveyard of philosophy. Pessimism is a lyrical failure of philosophical thinking, each attempt at clear and coherent thought, sullen and submerged in the hidden joy of its own futility. The closest pessimism comes to philosophical argument is the droll and laconic “We’ll never make it,” or simply: “We’re doomed.” Every effort doomed to failure, every (...) project doomed to incompletion, every life doomed to be unlived, every thought doomed to be unthought. Pessimism is the lowest form of philosophy, frequently disparaged and dismissed, merely the symptom of a bad attitude. No one ever needs pessimism, in the way that one needs optimism to inspire one to great heights and to pick oneself up, in the way one needs constructive criticism, advice and feedback, inspirational books or a pat on the back. No one needs pessimism, though I like to imagine the idea of a pessimist activism. No one needs pessimism, and yet everyone—without exception—has, at some point in their lives, had to confront pessimism, if not as a philosophy then as a grievance—against one’s self or others, against one’s surroundings or one’s life, against the state of things or the world in general. There is little redemption for pessimism, and no consolation prize. Ultimately, pessimism is weary of everything and of itself. Pessimism is the philosophical form of disenchantment—disenchantment as chanting, a chant, a mantra, a solitary, monophonic voice rendered insignificant by the intimate immensity surrounding it. In pessimism, the first axiom is a long, low, funereal sigh. ~*~ We’re Still Doomed. No one has time for pessimism. After all, there are only so many hours in a day. Whatever our temperament, happy or sad, engaged or disengaged, we know pessimism when we hear it. The pessimist is usually understood as the complainer, forever pointing out what is wrong with the world without ever once offering a solution. But more often than not pessimists are the quietest of philosophers, submerging their own sighs within the lethargy of discontent. What little sound it makes is of interest to no one—“I’ve heard it all before,” “tell me something I don’t know,” sound and fury, signifying nothing. In raising problems without solutions, in posing questions without answers, in retreating to the hermetic, cavernous abode of complaint, pessimism is guilty of that most inexcusable of Occidental crimes—the crime of not pretending it’s for real. Pessimism fails to live up to the most basic tenet of philosophy—the “as if.” Think as if it will be helpful, act as if it will make a difference, speak as if there is something to say, live as if you are not, in fact, being lived by some murmuring non-entity both shadowy and muddied. Had it more self-assurance and better social skills, pessimism would turn its disenchantment into a religion, possibly calling itself The Great Refusal. But there is a negation in pessimism that refuses even such a Refusal, an awareness that, from the start, it has already failed, and that the culmination of all that is, is that all is for naught. Pessimism tries very hard to present itself in the low, sustained tones of a Requiem Mass, or the tectonic rumbling of Tibetan chant. But it frequently lets loose dissonant notes at once plaintive and pathetic. Often, its voice cracks, its weighty words abruptly reduced to mere shards of guttural sound. ~*~ Maybe It’s Not So Bad, After All. If we know pessimism when we hear it, this is because we’ve heard it all before—and we didn’t need to hear it in the first place. Life is hard enough. What you need is a change of attitude, a new outlook, a shift in perspective... a cup of coffee. If we have no ears for pessimism, this is because it is always reducible to something as reliably mutable as a voice. If pessimism is so frequently disparaged, it is because it brings everyone down, determined as it is to view each day as a bad day, if only by virtue of the fact that it is not yet a bad day. For pessimism the world is brimming with negative possibility, the collision of a bad mood with an impassive world. In fact, pessimism is the result of a confusion between the world and a statement about the world, a confusion that also prevents it from fully entering the hallowed halls of philosophy. If pessimism is so often dismissed, this is because it is often impossible to separate a “bad mood” from a philosophical proposition (and do not all philosophies stem from a bad mood?) The very term “pessimism” suggests a school of thought, a movement, even a community. But pessimism always has a membership of one—maybe two. Ideally, of course, it would have a membership of none, with only a scribbled, illegible note left behind by someone long forgotten. But this seems unrealistic, though one can always hope. ~*~ Anatomy of Pessimism. Though it may locate itself at the margins of philosophy, pessimism is as much subject to philosophical analysis as any other form of thought. Pessimism’s lyricism of failure gives it the structure of music. What time is to the music of sorrow, reason is to a philosophy of the worst. Pessimism’s two major keys are moral and metaphysical pessimism, its subjective and objective poles, an attitude towards the world and a claim about the world. For moral pessimism, it is better not to have been born at all; for metaphysical pessimism, this is the worst of all possible worlds. For moral pessimism the problem is the solipsism of human beings, the world made in our own image, a world-for-us. For metaphysical pessimism, the problem is the solipsism of the world, objected and projected as a world-in-itself. Both moral and metaphysical pessimism are compromised philosophically; moral pessimism by its failure to locate the human within a larger context, and metaphysical pessimism by its failure to recognize the complicity in the very claim of realism. This is how pessimism makes its music of the worst, a generalized misanthropy without the anthropos . Pessimism crystallizes around this futility—it is its amor fati , rendered as musical form. ~*~ Melancholy of Anatomy. There is a logic of pessimism that is fundamental to its suspicion of philosophical system. Pessimism involves a statement about a condition . In pessimism each statement boils down to an affirmation or a negation, just as any condition boils down to the best or the worst. With Schopenhauer, that arch-pessimist, the thinker for whom the philosopher and the curmudgeon perfectly overlap, we see a no-saying to the worst, a no-saying that secretly covets a yes-saying (through asceticism, mysticism, quietism), even if this hidden yes-saying is a horizon at the limits of comprehension. With Nietzsche comes the pronouncement of a Dionysian pessimism, a pessimism of strength or joy, a yes-saying to the worst, a yes-saying to this world as it is. And with Cioran yet another variation, futile yet lyrical, a no-saying to the worst, and a further no-saying to the possibility of any other world, in here or out there. With Cioran one approaches, but never reaches, an absolute no-saying, a studied abandonment of pessimism itself. The logic of pessimism moves through three refusals: a no-saying to the worst (refusal of the world-for-us, or Schopenhauer’s tears); a yes-saying to the worst (refusal of the world-in-itself, or Nietzsche’s laughter); and a no-saying to the for-us and the in-itself (a double refusal, or Cioran’s sleep). Crying, laughing, sleeping—what other responses are adequate to a life that is so indifferent? ~*~ Cosmic Pessimism. Both moral and metaphysical pessimism point to another kind, a pessimism that is neither subjective nor objective, neither for-us nor in-itself, and instead a pessimism of the world-without-us. We could call this a cosmic pessimism ... but this sounds too majestic, too full of wonder, too much the bitter aftertaste of the Great Beyond. Words falter. And so do ideas. And so we have a cosmic pessimism, a pessimism that is first and last a pessimism about cosmos , about the necessity and possibility of order. The contours of cosmic pessimism are a drastic scaling-up or scaling-down of the human point of view, the unhuman orientation of deep space and deep time, and all of this shadowed by an impasse, a primordial insignificance, the impossibility of ever adequately accounting for one’s relationship to thought—all that remains of pessimism is the desiderata of affects—agonistic, impassive, defiant, reclusive, filled with sorrow and flailing at that architectonic chess match called philosophy, a flailing that pessimism tries to raise to the level of an art form (though what usually results is slapstick). ~*~ Song of Futility. An ethics of futility pervades pessimism. Futility, however, is different from fatality, and different again from simple failure (though failure is never simple). Failure is a breakage within the heart of relations, a fissure between cause and effect, a fissure hastily covered over by trying and trying again. With failure, there is always plenty of blame to go around; it’s not my fault, it’s a technical difficulty, it’s a miscommunication. For the pessimist, failure is a question of “when,” not “if”—failure as a metaphysical principle. Everything withers and passes into an obscurity blacker than night, everything from the melodramatic decline of a person’s life to the banal flickering moments that constitute each day. Everything that is done undone, everything said or known destined for a kind of stellar oblivion. When scaled up in this way, failure becomes fatality. Fatality is the hermeticism of cause and effect. In fatality, everything you do, whatever you do, always leads to a certain end, and ultimately to the end—though that end, or the means to that end, remain shrouded in obscurity. Nothing you do makes a difference because everything you do makes a difference. Hence the effects of your actions are hidden from you, even as you deceive yourself into thinking that, at last, this time you will outwit the order of things. By having a goal, planning ahead, and thinking things through carefully, we attempt, in a daily Prometheanism, to turn fatality to our advantage, to gain a glimpse of an order that seems buried deeper and deeper in the fabric of the universe. But even fatality has its comforts. The chain of cause and effect may be hidden from us, but that’s just because disorder is the order we don’t yet see; it’s just complex, distributed, and requires advanced mathematics. Fatality still clings to the sufficiency of everything that exists... When fatality relinquishes even this idea, it becomes futility. Futility arises out of the grim suspicion that, behind the shroud of causality we drape over the world, there is only the indifference of what exists or doesn’t exist; whatever you do ultimately leads to no end, an irrevocable chasm between thought and world. Futility transforms the act of thinking into a zero-sum game. ~*~ Song of the Worst. At the center of pessimism lies the term pessimus , “the worst,” a term as relative as it is absolute. The worst is about as bad as it gets, “the worst” as “the best” in disguise, shrouded by the passage of time or the twists and turns of fortune. For the pessimist, “the worst” is the propensity for suffering that gradually occludes each living moment, until it eclipses it entirely, overlapping perfectly in death... which, for the pessimist, is no longer “the worst.” Pessimism is marked by an unwillingness to move beyond “the worst,” something only partially attributable to a lack in motivation. In pessimism “the worst” is the ground that gives way beneath every existent—things could be worse, and , things could be better. “The worst” invariably implies a value judgment, one made based on scant evidence and little experience; in this way, pessimism’s greatest nemesis is its moral orientation. Pessimism’s propositions have all the gravitas of a bad joke. Perhaps this is why the true optimists are the most severe pessimists—they are optimists that have run out of options. They are almost ecstatically inundated by the worst. Such an optimism is the only possible outcome of a prolonged period of suffering, physical or metaphysical, intellectual or spiritual. But does this not also describe all the trials and tribulations of each day—in short, of “life?” It seems that sooner or later we are all doomed to become optimists of this sort (the most depressing of thoughts...) ~*~ Song of Doom. Rather than serving as a cause for despair, gloom and doom are the forms of consolation for any pessimist philosophy. Neither quite affects nor quite concepts, gloom and doom transform pessimism into a mortification of philosophy. Doom is not just the sense that all things will turn out badly, but that all things inevitably come to an end, irrespective of whether or not they really do come to an end. What emerges from doom is a sense of the unhuman as an attractor, a horizon towards which the human is fatally drawn. Doom is humanity given over to unhumanity in an act of crystalline self-abnegation. Gloom is not simply the anxiety that precedes doom. Gloom is literally atmospheric, climate as much as impression, and if people are also gloomy, this is simply the by-product of an anodyne atmosphere that only incidentally involves human beings. Gloom is more climatological than psychological, the stuff of dim, hazy, overcast skies, of ruins and overgrown tombs, of a misty, lethargic fog that moves with the same languorousness as our own crouched and sullen listening to a disinterested world. In a sense, gloom is the counterpoint to doom—what futility is to the former, fatality is to the latter. Doom is marked by temporality—all things precariously drawn to their end—whereas gloom is the austerity of stillness, all things sad, static, and suspended, a meandering smoke hovering over cold lichen stones and damp fir trees. If doom is the terror of temporality and death, then gloom is the horror of a hovering stasis that is life. At times I like to imagine that this realization alone is the thread that connects the charnel ground Aghori and the graveyard poets. ~*~ Song of Spite. There is an intolerance in pessimism that knows no bounds. In pessimism spite begins by fixing on a particular object of spite—someone one hardly knows, or someone one knows too well; a spite for this person or a spite for all of humanity; a spectacular or a banal spite; a spite for a noisy neighbor, a yapping dog, a battalion of strollers, the meandering idiot walking in front of you on their smart phone, large loud celebrations, traumatic injustices anywhere in the world regurgitated as media blitz, spite for the self-absorbed and overly performative people talking way too loud at the table next to you, technical difficulties and troubleshooting, the reduction of everything to branding, spite of the refusal to admit one’s own errors, of self-help books, of people who know absolutely everything and make sure to tell you, of all people, all living beings, all things, the world, the spiteful planet, the inanity of existence... Spite is the motor of pessimism because it is so egalitarian, so expansive, it runs amok, stumbling across intuitions that can only half-heartedly be called philosophical. Spite lacks the confidence and the clarity of hatred, but it also lacks the almost cordial judgment of dislike. For the pessimist, the smallest detail can be an indication of a metaphysical futility so vast and funereal that it eclipses pessimism itself—a spite that pessimism carefully places beyond the horizon of intelligibility, like the experience of dusk, or like the phrase, “it is raining jewels and daggers.” ~*~ Song of Sleep. A paraphrase of Schopenhauer: what death is for the organism, sleep is for the individual. Pessimists sleep not because they are depressed, but because for them sleep is a form of ascetic practice. Sleep is the askesis of pessimism. If, while sleeping, we have a bad dream, we abruptly wake up, and suddenly the horrors of the night vanish. There is no reason to think that the same does not happen with the bad dream we call “life.” ~*~ Song of Sorrow. Nietzsche, commenting on pessimism, once castigated Schopenhauer for taking things too lightly. He writes: ...Schopenhauer, though a pessimist, really —played the flute. Every day, after dinner: one should read his biography on that. And incidentally: a pessimist, one who denies God and the world but comes to a stop before morality—who affirms morality and plays the flute... what? Is that really—a pessimist? We know that Schopenhauer did possess a collection of instruments, and we also know that Nietzsche himself composed music. There is no reason to think that either of them would ever banish music from the Republic of philosophy. But Nietzsche’s jibes at Schopenhauer are as much about music as they are about pessimism. For the pessimist who says no to everything and yet finds comfort in music, the no-saying of pessimism can only be a weak way of saying yes—the weightiest statement undercut by the flightiest of replies. The least that Schopenhauer could’ve done is to play the bass. I’m not a big fan of the flute, or, for that matter, wind instruments generally. But what Nietzsche forgets is the role that the flute has historically played in Greek tragedy. In tragedy, the flute ( aulos ) is not an instrument of levity and joy, but of solitude and sorrow. The Greek aulos not only expresses the grief of tragic loss, but it does so in a way that renders weeping and singing inseparable from each other. The classicist Nicole Loraux calls this the mourning voice . Set apart from the more official civic rituals of funerary mourning, the mourning voice of Greek tragedy constantly threatens to dissolve song into wailing, music into moaning, and the voice into a primordial, disarticulate anti-music. The mourning voice delineates all the forms of suffering—tears, weeping, sobbing, wailing, moaning, and the convulsions of thought reduced to an elemental unintelligibility. In the collapsed space between the voice that speaks and the voice that sings, pessimism discovers its mourning voice. Pessimism: the failure of sound and sense, the disarticulation of phone and logos . Have we rescued Schopenhauer from Nietzsche? Probably not. Perhaps Schopenhauer played the flute to remind himself of the real function of the mourning voice—sorrow, sighs, and moaning rendered indistinguishable from music, the crumbling of the human into the unhuman. Failure par excellence of pessimism. ~*~ Song of Nothing. In Buddhist thought, the First Noble Truth of existence is encapsulated in the Pali term dukkha , conventionally translated as “suffering,” “sorrow,” or “misery.” The Buddhist teachings are clear, however, that this is an objective claim, and not simply one point of view among others. Existence is suffering and sorrow—and yet this is not, the teachings tell us, a pessimistic attitude. It is likely that Schopenhauer, reading the Buddhist texts available to him, recognized some filiation with the concept of dukkha . But dukkha is a multi-faceted term. There is, certainly, dukkha in the usual sense of the suffering, strife, and loss associated with living a life. But this is, in turn, dependent on the finitude and temporality of dukkha , existence as determined by impermanence and imperfection. And this ultimately points to the way in which both suffering and finitude are grounded by the paradoxical groundlessness of dukkha as a metaphysical principle—the insubstantiality and the emptiness of all that is. Beyond what is worse to me, beyond a world ordered for the worst, there is the emptiness of dukkha as an impersonal suffering... the tears of the cosmos. In this context, it is easy to see how Schopenhauer’s pessimism attempts to compress all the aspects of dukkha into a nothingness at the core of existence, a Willlessness coursing through the Will. Though one thing for certain is that with Schopenhauer we do not find the “ever-smiling” countenance of Buddhism—or do we? The texts of the Pali Canon also contain lists of the different types of happiness—including the happiness of renunciation and the strange happiness of detachment. But Buddhism considers even the different types of happiness as part of dukkha , in this final sense of nothingness or emptiness. Perhaps Schopenhauer understood Buddhism better than he is usually given credit for. Thus the experiment of Schopenhauer’s philosophy—the point at which a Western pessimus and an Eastern dukkha overlap or exchange glances. Empty sorrow, a lyricism of indifference. The result is a strange, and ultimately untenable, nocturnal form of Buddhism. ~*~ Cioran once called music a “physics of tears.” If this is true, then perhaps metaphysics is its commentary. Or its apology. ~*~ Pessimism would be more mystical were it not for its defeatism. Mysticism is much too proactive for the pessimist, and pessimism too impassive even for the mystic. At the same time, there is something enviable about mysticism—despite its sufferings. There is a sense in which pessimists are really failed mystics. ~*~ You, the Night, and the Music. In a suggestive passage, Schopenhauer once noted that, “music is the melody to which the world is the text." Given Schopenhauer’s view on life—that life is suffering, that human life is absurd, that the nothingness before my birth is equal to the nothingness after my death—given all this, one wonders what kind of music Schopenhauer had in mind when he described music as the melody to which the world is text—was it opera, a Requiem Mass, a madrigal, or perhaps a drinking song? Or something like Eine kleine Nachtmusik , a little night music for the twilight of thought, a sullen nocturne for the night-side of logic, an era of sad wings sung by a solitary banshee. Perhaps the music Schopenhauer had in mind is music eliminated to non-music. A whisper would suffice. Perhaps a sigh of fatigue or resignation, perhaps a moan of despair or sorrow. Perhaps a sound just articulate enough that it could be heard to dissipate. ~*~ Teach me to laugh through tears. ~*~ Pessimism always falls short of being philosophical. My back aches, my knees hurt, I couldn’t sleep last night, I’m stressed-out, and I think I’m finally coming down with something. Pessimism abjures all pretenses towards system—towards the purity of analysis and the dignity of critique. We didn’t really think we could figure it out, did we? It was just passing time, taking a piss, something to do, a bold gesture put forth in all its fragility, according to rules that we have agreed to forget that we made up in the first place. Every thought marked by a shadowy incomprehension that precedes it, and a futility that undermines it. That pessimism speaks, in whatever voice, is the singing testimony to this futility and this incomprehension—take a chance and step outside, lose some sleep and say you tried... ~*~ Is there a music of pessimism? And would such a music be audible? ~*~ The impact of music on a person compels them to put their experience into words. When this fails, the result is a faltering of thought and language that is itself a kind of music. Cioran writes: “Music is everything. God himself is nothing more than an acoustic hallucination.” ~*~ If a thinker like Schopenhauer has any redeeming qualities, it is that he identified the great lie of Western culture—the preference for existence over non-existence. As he notes: “If we knocked on the graves and asked the dead whether they would like to rise again, they would shake their heads.” In Western cultures it is commonly accepted that one celebrates birth and mourns death. But there must be a mistake here. Wouldn’t it make more sense to mourn birth and celebrate death? Strange though, because the mourning of birth would, presumably, last the entirety of that person’s life, so that mourning and living would the be same thing. ~*~ To the musical idea of the harmony of the universe corresponds the philosophical principle of sufficient reason. Like the music of mourning, pessimism gives voice to the inevitable breakdown of word and song. In this way, music is the overtone of thought. ~*~ The Patron Saints of Pessimism. The patron saints of pessimism watch over suffering. Laconic and sullen, the patron saints of pessimism never seem to do a good job at protecting, interceding, or advocating for those who suffer. Perhaps they need us more than we need them. Lest we forget, there do exist patron saints of philosophy, but their stories are not happy ones. There is, for instance, the fourth century Saint Catherine of Alexandria, or Catherine of the Wheel, named after the torture device used on her. A precocious fourteen year old scholar, Catherine was subject to continual persecution. After all forms of torture failed—including the “breaking wheel”—the emperor finally settled for her decapitation, a violent yet appropriate reminder of the protector of philosophers. There are also patron saints of music and musicians, but theirs too are sad stories. In the second century, Saint Cecilia was also subject to persecution and torture. As she knelt to receive the blade that would separate her head from her body, she ardently sang a song to God. It took three attempts before she was fully decapitated, all the while she continued, perhaps miraculously, to sing. Does pessimism not deserve its own patron saints, even if they are unworthy of martyrdom? But in our search, even the most ardent nay-sayers frequently lapse into brief moments of enthusiasm—Pascal’s love of solitude, Leopardi’s love of poetry, Schopenhauer’s love of music, Nietzsche’s love of Schopenhauer, and so on. Should one then focus on individual works of pessimism? We could include Kierkegaard’s trilogy of horror— Sickness Unto Death , The Concept of Dread , and Fear and Trembling —but all these are undermined by their fabricated and unreliable authors. Besides, how can one separate the pessimist from the optimist in works like Unamuno’s The Tragic Sense of Life , Shestov’s Postetas Clavium , or Edgar Saltus’ under-read The Philosophy of Disenchantment ? Even in cases where the entire corpus of an author is pessimistic, the project always seems incomplete—witness Cioran’s trajectory, from his first book, On the Heights of Despair , to the last unpublished notebooks of acrid and taut aphorisms. And this is to say nothing of literary pessimism, from Goethe’s sorrowful Werther, to Dostoevsky’s underground man, to Pessoa’s disquiet scribbler; Baudelaire’s spleen and ennui, the mystical Satanism of Huysmans and Strindberg, the hauntologies of Mário de Sá-Carniero, Izumi Kyoka, H.P. Lovecraft, grumpy old Beckett... even the great pessimist comedians. All that remains are singular, perhaps anomalous statements of pessimism, a litany of quotes and citations crammed into fortune cookies. Patron saints are traditionally named after a locale, either a place of birth or of a mystical experience. Perhaps the better approach is to focus on the places where pessimists were forced to live out their pessimism—Schopenhauer facing an empty Berlin lecture hall, Nietzsche mute and convalescent at the home of his sister, Wittgenstein the relinquished professor and solitary gardener, Cioran grappling with Alzheimer’s in his tiny writing alcove in the Latin Quarter. ~*~ There’s a ghost that grows inside of me, damaged in the making, and there’s a hunt sprung from necessity, elliptical and drowned. Where the moving quiet of our insomnia offers up each thought, there’s a luminous field of grey inertia, and obsidian dreams burnt all the way down. ~*~ If pessimism has any pedagogical value, it is that the failure of pessimism as a philosophy is inextricably tied to the failure of pessimism as voice. I read the following, from Shestov’s The Apotheosis of Groundlessness : When a person is young he writes because it seems to him he has discovered a new almighty truth which he must make haste to impart to forlorn humankind. Later, becoming more modest, he begins to doubt his truths: and then he tries to convince himself. A few more years go by, and he knows he was mistaken all round, so there is no need to convince himself. Nevertheless he continues to write, because he is not fit for any other work, and to be accounted a superfluous person is so horrible. (shrink)

Locke seems to have conflicting commitments: we know individual ideas and all knowledge is propositional. This paper shows the conflict to be only apparent. Looking at Locke’s philosophy of language in relation to the Port Royal logic, I argue, first, that Locke allows that we have non-ideational mental content that is signified only at the linguistic level. Second, I argue that this non-ideational content plays a role in what we know when we know an idea. As a result, we can (...) see our knowledge of an idea as a form of knowledge by acquaintance: there is a direct epistemic relation between a mental object and a knowing subject. But owing to Locke’s logic, that knowledge has a tacit propositional structure expressing the truth of the idea, which gains full signification only linguistically. (shrink)

PHILOSOPHY OF HUMAN RIGHTS: HUMAN RIGHTS IN LIGHT OF THEIR INTERNATIONAL PROTECTION Summary The book consists of two main parts: in the first, on the basis of an analysis of international law, elements of the contemporary conception of human rights and its positive legal protection are identified; in the second - in light of the first part -a philosophical theory of law based on the tradition leading from Plato, Aristotle, and St. Thomas Aquinas is constructed. The conclusion contains an application (...) of the results of the analysis conducted in the second part. The first part comprises four chapters. The first aims at revealing characteristics of human rights on the basis of an analysis of historical conditioning of the inter-national law of human rights and its development. The historical context displays the practical, vindicative, and critical character of the positive legal protection of human rights. Moreover, the process of change of positive human rights law is distinguished from the process of change of human rights as such. In the second chapter the content of human rights - a topic which is only auxiliary to the conducted analysis - is discussed. Basic typology and catalogues of rights proclaimed in the Universal Declaration of Human Rights and protected in the International Covenants of Human Rights are presented. The review of the content of rights aims at a more precise limitation of the field of research. The examination shows a diversity of rights which poses a serious challenge to the coherence of every philosophical theory of human rights. In the third chapter, central in the first part, international law is analyzed with regard to the characteristics of rights and the foundations of them. The analysis of documents shows a number of solutions referring to the anthropological foundations of rights. The inherent dignity of the human person is the source of all human rights. Each human being is recognized as free, and endowed with both reason and conscience. In the propounded conception of man individuals are not rivals but create a community which is a condition for their development. International law characterizes the rights as universal, inherent, inalienable and inviolable. The reconstructed conception also comprises the following basic elements: on the level of the structure of rights, a recognition of their equality, interdependence, and comprehensiveness; in the grounding of these rights, a recognition of the anthropological foundations of law; in the conception of positive law, a recognition of the secondariness of the positive law of human rights to human rights themselves, and a recognition of human rights and justice as the basis for legal order; in the conception of state, a recognition of the well-being of the individual as the fundamental aim of actions undertaken by political institutions, and recogni¬tion of rights which form an impassable boundary to the power of the state, includ¬ing its legislative actions. The characterization of the international legal paradigm serving for the under¬standing of human rights is supplemented by analyses of the structure of their posi¬tive legal protection. Various meanings of the terms "right" and "freedom" are distinguished. Subjective right, as basic structure of the positive legal protection of human rights, is understood as a complex relation formed by various legal situations of the subject of a right which create a functional whole in respect of the subordi-nation of human person to its good. Subordinating person to a good proper for it, expressed usually in a proclamatory norm, is the central element of particular rights around which further elements aiming at the realization of this good are built. In the second part of the book a philosophical theory is developed which allows for the location of a coherent foundation for the presented characterization of human rights and their positive legal protection. This part consists of two chapters. The first includes a review of some - not entirely satisfactory - means of founding of human rights; the second presents philosophical conceptions of law and man which may form a basis for the constructed theory. The review of arguments contained in the first chapter does not aim at a detailed analysis of various specific ways of argumentation encountered in works on this subject but rather at a concise presentation of the main possible lines of argumentation. These analyses also serve to emphasize the positive solutions which are pro¬posed later and to underscore the explanatory power of the elaborated theory. This theory, retaining accurate intuitions contained in the presented types of argumenta¬tion, helps in avoiding their consequences which are difficult to reconcile with the reconstructed paradigm of human rights. Efforts to base human rights on the norms of international law rightly take into account the necessity of determining the content of the rights and their positive legal protection as a means for the realization of man's good. These attempts, how¬ever, do not properly take into account the inherent character of human rights, which are independent of positive law and provide grounds for applying specific legislative measures and not others. Founding human rights on freedom accurately points at the freedom of an indi¬vidual as a constitutive element of some rights; however, absolutization of freedom leads, to a loss of an important element of the contemporary paradigm of under¬standing human rights. This foundation undermines recognition of the fact that human rights may set limits to both the freedom of others and the freedom of the subject of rights itself. Additionally, attempts at the so-called axiological justification of human rights are discussed. This type of justification has a few variants depending on the as¬sumed conception of value. Subjectivistic conceptions have similar advantages and disadvantages to the conceptions basing human rights on freedom; objectivistic conceptions while providing for the universality of human rights place, the fundamental aim of human rights protection beyond the individual human being - in the idealistically existing world of values; finally, conceptions rooting values and human rights in culture, while accurately noting that human rights are learned through the medium of culture, place the source of human rights beyond a concrete individual - in culture and processes which take place in it - which leads to difficulties in finding a basis for the universality of rights. Furthermore, attempts to ground human rights in specific characteristics of the human being are presented. This type of approach points to an important problem of dependence of the content of rights on what man is. However, recognition of specific characteristics of a human being as an ontic foundation of the existence of rights poses a danger to their universality since one has to accept that it is not enough to be a man to be a subject of rights, but a man possessing specific charac¬teristics. The second chapter aims at outlining solutions worked out by Saint Thomas Aquinas. For a fuller understanding of his propositions selected elements of Plato's and Aristotle's philosophy are presented. It was them who formulated the founda¬tions for reflection on law and justice in the ontological context. A qualification is made that Stoicism is not be analysed in depth. Although Thomas' concept of law was undoubtedly developed under the influence of the Stoic doctrine as well, it is not in this that one should look for the tools to understand the ontic foundations of human rights and law in general since the Stoic moral philosophy and philosophy of law were developed in the context of a theory of being which assumed monistic and pantheistic premises as foundations, leading to the recognition of a total subor¬dination of the human individual to a larger unity of which man is only a part. The analysis of Plato's and Aristotle's texts concentrates on problems of justice. Plato seems to be the first philosopher who reflected on the formula basic in the history of European thought: to render to each his due. It appears that justice as both a characteristic of man and his acts is understood in the perspective of that which is just, that which is a good for another man - the recipient of the act. The basis for determining what is just is the relation of correspondence between some¬one and something. While in the case of Plato this relation is based on something beyond its terms, namely on ideas, in the case of Aristotle the relation occurs on account of the elements of the relation itself. Something is just when it contributes to the develop¬ment of the recipient of an act realizing that which is just. At the same time, the realization of that which is just is a good for the agent. In the analysis of the just two types of relation are revealed: the relation of due-to-recipient occurring on account of the compatibility of that which is due, with the recipient of the act; and - a "superstructure" - a relation of obligation-of-subject occurring on account of the compatibility of the acting subject with the thing which should be done. The basis for being that which is due is formed by various potentialities of development of man - the recipient of agency; the basis of being that which is an obligation is the possibility of development of the subject of action. Aristotle distinguishes various types of freedom and points to the necessity of taking them into account in the discussion of justice. Among other things, as the core of man's freedom, he considers life for its own sake, which can be seen as his expression of the basic indices of the autotelic character of man - which is funda¬mental for later conceptions of dignity. The freedom which is described by him is not, however, inherent and inalienable; being free is conditioned by a factual possi¬bility of undertaking actions, which are not solely means to the realization of aims set by others. Thomas Aquinas takes over the Aristotelian research perspective both in his conception of man and of law. At the same time, however, he significantly enriches it. In anthropology he develops a conception of personal being. Drawing upon his distinction between existence ("that something is") and essence ("what something is"), he sees the basis for being a person in the dignity of personal being which is a certain way of existence of a rational being more perfect than that of non-personal beings. The person is a being which, by virtue of its act of existence, is individual¬ized in a specific way. It is an aim in itself. Expressing it in a negative way, one may say that it does not exist as a means for the realization of the aims of others and, in this sense, that it is free. As distinct from Aristotelian conclusions, being a person is not conditioned by the specific actions of a being. Dignity is inherent, based on that which is the foundation of the factual existence of every rational being. Although freedom requires that a being is rational, dignity still encompasses all being, all its properties and potentialities. Thus an act conforming with dignity has to take into account a whole human being. Among different types of that which is just, ius, the first place, from the point of view of understanding law, falls to "the just thing itself ("ipsa res justa"), which is right in the full meaning of the word. On the one hand, it is that which is due; on the other hand, it determines the way of acting in the utmost degree, since the course of every act is determined in the fullest extent by its aim. The content of ius may be determined both by elements independent of free decisions - ius naturale - and by free decisions taking into account the state of things - ius positivum. Recognition of the objective structure of being as the basis of law does not entail that it is possible or desirable to determine unequivocally "the only right" patterns of conduct. This concept is very well justified within the system proposed by Saint Thomas. Individualization of being is a significant element of the develop¬ment of a person as a person. It is attained by the realization of individual aims which are not unequivocally determined by circumstances and the nature common to all people. By virtue of free choices made in the sphere of that which is not by its nature unjust, the object of action becomes ius. Since in the realization of the person the individualization of human being is central, Aquinas clearly sees the need for the protection of the sphere of "dominion of will". This sphere itself constitutes ius naturale, something which is due to man independently of the acts of will. Therefore "law should forbid nothing which is not unjust" ("nihil debet lege prohiberi quod licite fieri potest", In 3 Sent., dist. 40, q. I, a. 1, 3). Besides the relation of due-to-recipient, ius also includes the relation of obligation-of-subject which is superimposed on the relation of due-to-recipient. As far as the ontic foundations of obligation are concerned, in explaining why man is subordinated to realization of the good of others, Aquinas generally follows Aristotle in accepting that this basis is the subordination to moral good - to actions conforming with the learned truth about reality. Aquinas' systemic solutions allow, however, to reach deeper and understand why moral development is also a development of the whole human being. This was difficult within Aristotle's system, since he was reluc¬tant to decide whether precedence should be given to intellectual or moral develop¬ment. The inclination to realise good of another appears to be a transcendental characteristic of being, based on its very existence. Morality understood as rational and free subordination to realize the good of another is a specifically personal way of the realization of this inclination. Thus just actions contribute to the actualization of being in the aspect of its existence and therefore to the actualization of being as a whole. Thomas' conception of natural law (lex naturalis) as participation in eternal law (lex aeterna), offers possibilities for grasping that which is just as something which is basically accessible cognition, independently of Revelation and independently of faith in God, and at the same time as something based in eternal law, understood as a design of God's wisdom. Eternal law, embracing all particular actions, is not, from the human perspective, accessible cognition directly. It is enacted in the struc-ture of the created being and - in case of human beings - in free choices taking this structure into account. In the concluding remarks, the results obtained earlier are applied directly to the contemporary conception of human rights. Human rights are understood in the first place as "just things" - concrete goods of man; as that which is due because of subordination, based on dignity, to the personal development of man. That which is just is understood as a relational - actual or potential - state of things, which exists by virtue of existing relations. Evaluations referring to that which is right are true when respective relations of due-to-recipient take place; norms of conduct are true when respective relations of obligation-of-subject take place. Examples of the application of the sketched theory outside the field of human rights are also presented. Procedural consequences of the developed theory are shown, such as the discrimination of two types of legislative procedures which differ significantly in the structure of argumentation: the first aims at recognition of that which is just independently of the will of the legislator, and the second, at making individual or collective "projects" of development compatible. Finally the possibilities of applying the theory to the increasingly important problems of the protection of the environment and the "rights" of animals are mentioned. The central issue is a philosophical conception of man and his freedom and a conception of law. It is also indispensable to turn to a general theory of being. The search for a comprehensive theory of human rights requires attention to the Abso¬lute Being - God - as well. This is important for at least two reasons. First, a conception of the Absolute Being is integral to philosophy of the systemic type -of which the present book is a piece. A conception of the Absolute Being is signifi¬cant for understanding all being, including, first of all, man as a personal being. Second, every theory of human rights which does not comprise the problem of the Absolute may be questioned as to whether solutions adopted in it do not lead, in consequence, to eliminating God from the perspective of the understanding of law. It is desirable that a philosophical theory should deal with this problem directly. A theory which eliminates God from the perspective of the understanding of rights will be unacceptable for all those who, for philosophical reasons or relying on faith, consider God as the author of inherent rights. Nevertheless, a theoretical approach to rights from the perspective of the Absolute Being should only be a possible extension of a philosophical approach which bases rights on something which is cognizable independently of the acceptance of the existence of God so that the theory is also acceptable for those who reject the existence of God or suspend their judgment on this subject. The pursued theory should therefore contain, on the one hand, reference to natural, faith-independent foundations of human rights, but on the other hand, point to a possible extension accounting for the Absolute Being. The analyses contained in this chapter have undoubtedly some historical value since they are based on source texts. Nevertheless, the use of these texts and not critical works was dictated, first of all, by a conviction that analyses embrace a given theory in the aspect selected by the interests of the researcher. Therefore to find out what past thinkers say on the subject characterized in the first part it is simpler to reach to the sources than to adopt the existing critical works. The pre¬sented reconstruction of Aquinas' views on philosophy of law incorporates proposi¬tions of supplementing and developing some of the ideas undertaken by him. Obligation to act in this and not an other way arises because human actions are subordinated to the conformity, on the one hand, of aims realized by these actions and, on the one hand, the order of being determining that which is favourable to man or destroys him. The content of the order of being is, on the one hand, determined by the structure of being independent from man's will and, on the other, by free decisions of man. (shrink)

Linear temporal logic is a widely used method for verification of model checking and expressing the system specifications. The relationship between theory of automata and logic had a great influence in the computer science. Investigation of the relationship between quantum finite automata and linear temporal logic is a natural goal. In this paper, we present a construction of quantum finite automata on finite words from linear-time temporal logic formulas. Further, the relation between quantum finite automata and linear (...) temporal logic is explored in terms of language recognition and acceptance probability. We have shown that the class of languages accepted by quantum finite automata are definable in linear temporal logic, except for measure-once one-way quantum finite automata. (shrink)

We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.

In lieu of an abstract, here is a brief excerpt of the content:Did Hobbes Have a Semantic Theory of Truth? WILLEM R. DEJONG 1. INTRODUCTION THE qUESTIONRAISEDin the title of this article may strike the reader as a bit anachronistic. A phrase like 'semantic theory of truth' evokes associations with rather recent developments in logic, especially the work of Alfred Tarski. Nevertheless, it is generally agreed that Hobbes made important observations of a semantical nature. Moreover, in an interesting article still (...) frequently referred to, R. M. Martin has argued that Hobbes "has in mind a clear-cut semantical concept of truth."' Examining Hobbes's semantical ideas somewhat more closely than Martin did, T6rnebohm has given a more precise characterization of Hobbes's view on truth and falsity; he speaks of Hobbes's comprehension theory of truth. ~One of the main purposes of this article is to investigate whether such a theory is correctly attributed to Hobbes. For Tarski 'true' and 'false' are predicates of (declarative) sentences) But this is not enough to speak of a semantic theory of truth: The leading idea behind Tarski's fundamental work in the field of semantics is (a restricted version of) the principle of compositionality. This principle, also known as Frege's principle, says that the semantic value of a (complex) expression is a function of the semantic values of the syntactic (and categorematic) parts it is ' R. M. Martin, "On the Semantics of Hobbes," Philosophyand PhenomenologicalResearch 14 095314): 2o5-11, esp. ~o7, 211. Cf. I. C. Hungerland and G. R. Vick, "Hobbes's Theory of Language, Speech and Reasoning," in ThomasHobbes:Computatwsire Logica--Logic, translated and commentary by A. Martinich, ed. and introduced by I. C. Hungerland and G. R. Vick (New York: 1981), 15--167, esp. 17, 121-22. 9 H. T6rnebohm, "A Study in Hobbes' Theory of Denotation and Truth," Theor~a26 (196o): 53-7o; see p. 66. 3 A. Tarski, "The Semantic Conception of Truth and the Foundations of Semantics," Philosophy and PhenomenologicalResearch4 (1944): 341-375; see p. 342. [63] 64 JOURNAL OF THE HISTORY OF PHILOSOPHY 28:1 JANUARY 199o composed of. Moreover, in the case of linguistic expressions which are (deciarative ) sentences this semantic value should be its truth-value. 4 As we shall see, Hobbes's theory of propositions is basically a theory of subject-predicate propositions. It is therefore reasonable to qualify his theory of truth as a semantic one only if it satisfies Frege's principle to a certain extent. Ideally, this means that the truth-value of subject-predicate propositions should be conceived as a function of the semantic interpretations of its subject and predicate. In the next three sections I will concentrate principally on the logicosyntactical aspects of language. I will then discuss successively the general structure of propositions, the various sorts of names, and the syntax of Hobbes's theory of propositions. Section 5 is devoted to Hobbes's theory of truth as interpreted by Martin and T0rnebohm. The outcome of this examination makes it necessary to break away from Martin's restricted conception of semantics. Martin, like Tarski, takes semantics as "semantics in the narrower sense," i.e., as the discipline Quine refers to as the theory of reference. 5 However, sometimes this term is used in a broader sense; the field of semantics is taken then to include the theory of meaning too. Although the wording differs frequently, the distinction between meaning and reference is almost a constant in the history of thinking about language. On the side of meaning one finds terms like connotation, intension, conception, signification and analyticity, while terms like naming, denoting, extension (and sometimes again signification) are ]inked to the notion of reference. In the Computatio sive Logica, the first part of De Corpore, containing Hobbes's most mature work on the philosophy of language, this opposition is displayed by way of a distinction between, on the one side, nominare, denotare and appellare and, on the other side, significare. Hobbes's view of the significative, as opposed to the denotative, role of linguistic expressions is treated in sections 6, 7, and 8. There it will be shown that Hobbes's radical nominalism is decisive for his doctrine of signification; moreover, this nominalism raises serious problems for the relation... (shrink)

Modal logics for reasoning about social networks is currently an active field of research. There is still a gap, however, between the state of the art in logical formalisations of concepts related to social networks and the much more mature field of social network analysis. In this paper we take a step to bridge that gap. One of the key foundations of social network analysis is balance theory, which is used to analyse signed social networks where agents can (...) have positive or negative relationships. Certain combinations of positive and negative relationships are considered to be unbalanced, or unstable—in particular the occurrence of cycles with an odd number of negative relationships. Especially relatively short cycles with an odd number of negative relationships are thought to put pressure on the agents to change one or more of the involved relationships from negative to positive or the other way around. Most existing logics for reasoning about social networks are defined for unsigned networks. In this paper we develop a modal logic for reasoning about structural properties of signed social networks, and give a sound and complete Hilbert-style axiomatic system. Furthermore, we completely axiomatise classes of signed social networks that are balanced to a certain degree n, in the sense that there are no cycles of length up to n with an odd number of negative relationships. Finally, we completely axiomatise the class of all fully balanced complete signed social networks, i.e., networks where everyone is connected with everyone else. Axiomatic completeness is non-trivial because neither the balance properties, nor the dichotomy between positive and negative relations, are modally definable. The paper thus provides a logical basis for reasoning about signed social networks in general and balanced networks in particular. (shrink)

This thesis investigates two main issues concerning the behavior of rational agents, preference dynamics and agent diversity. -/- We take up two questions left aside by von Wright, and later also the multitude of his successors, in his seminal book Logic of Preference in 1963: reasons for preference, and changes in preference. Various notions of preference are discussed, compared and further correlated in the thesis. In particular, we concentrate on extrinsic preference. Contrary to intrinsic preference, extrinsic preference is reason-based, i.e. (...) one's preference for one option over another has a reason. A logical model is proposed and its properties are determined. Dynamics come in naturally, since reasons for the preferences can change. Logical systems and formal results regarding dynamical preference change are then presented. -/- Preference arises from comparisons between alternatives. A first option is to compare situations. Abstractly speaking, preferences are in this case between propositions, viewed as sets of possible worlds. The reasons can then be based on a `betterness' relation over possible worlds. Propositional preference arises as a lift from this primitive relation. A standard modal logical approach is taken and we use a modality for the betterness relation in the language. We then model preference change by techniques from dynamic epistemic logic (DEL), where a typical action, e.g. a suggestion or a command can change the betterness ordering of the worlds, and thereby the propositional preference. Dynamic reduction axioms are obtained to encode exactly how such a change takes place. We obtain a complete dynamic preference logic. -/- A second option is to compare objects as such. Concretely, properties of the objects often determine the preference over the objects. Properties are now the reasons. Inspired by Optimality Theory (OT), we propose a priority sequence, an ordering of properties. Various ways of getting a preference from the priority sequence are investigated, though we mostly follow the OT approach. We use a fragment of first-order logic to describe the situation. Here, on the dynamic side, it is priority change that leads to preference change. Using the DEL methodology again we propose a complete set of reduction axioms concerning the possible dynamic operations on priority sequences. -/- Not surprisingly, the above two views are closely related. After all, possible worlds can be thought of as objects! On the basis of a systematic comparison of the two views, we develop a two level perspective, in which the models themselves are structured in layers. In particular, correspondence results between the changes at the level of the possible worlds and the changes at the level of the priority sequences are proved. We end up by sketching a two-level preferential predicate logic to describe more complex circumstances in which situations and objects are compared simultaneously. -/- But we do not see this as the whole story. Preference does not live by itself, it is often intermingled with epistemic notions of knowledge and belief. One can have different intuitions about how this entanglement operates. A few options are discussed, and proposals for logical models are presented. When moving to dynamics, we now see a picture of knowledge update, belief revision and preference change taking place symbiotically, often unconsciously as in real life. -/- The resulting picture in the thesis is one of agents that process information and adjust beliefs and preferences in many different ways. There is no logically prescribed unique norm for doing this. The second part of the thesis takes this general phenomenon of diversity of agents as its focus, since it raises many issues for logical systems and the idealized agents which they normally presuppose. In reality, agents can differ across a wide spectrum of cognitive abilities and habits: in their memory capacity, observation power, inferential power, introspective ability, and revision policies when facing new information. -/- Two kinds of agents, perfect recall agents, and memory-free agents are studied thoroughly, in the setting of playing games. We show how current dynamic logics can be `parametrized' to allow for this memory diversity, with new characterizations of agent types resulting in complete dynamic-epistemic logics. The other dimension of the reality of diverse agents is that, however different they are, they often do manage to coordinate with each other successfully. While this theme has been prominent in game theory and multi-agent systems, it has received hardly any attention in logic. We analyze this interaction between different agents by looking at concrete scenarios which model their types explicitly. -/- Finally, we analyze the issue of agent diversity in its generality, discussing what dynamic logics would have to look like to become a full-fledged account of agents of different capacities and tendencies that pursue and sometimes achieve their goals in irreducibly social settings. -/- . (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)

In the opening sentence of his Methods of Logic, W. V. O. Quine writes, “Logic is an old subject, and since 1879 it has been a great one.”1 Quine is referring to the year in which Gottlob Frege presented his Begriffschrift, or “concept-script,” one of the first published accounts of a logical system or calculus with quantification and a function-argument analysis of propositions. There can be no doubt as to the importance of these introductions, and, indeed, Frege’s orientation and (...) advances, if not his particular system, have proven to be highly significant for much of mathematical logic and research pertaining to the foundations of mathematics. Nevertheless, Quine’s assessment, often repeated, obscures other.. (shrink)