Any logic is represented as a certain collection of well-orderings admitting or not some algebraic structure such as a generalized lattice. Then universal logic should refer to the class of all subclasses of all well-orderings. One can construct a mapping between Hilbert space and the class of all logics. Thus there exists a correspondence between universal logic and the world if the latter is considered a collection of wave functions, as which the points in Hilbert (...) space can be interpreted. The correspondence can be further extended to the foundation of mathematics by set theory and arithmetic, and thus to all mathematics. (shrink)

In [5], Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract “core” of logics in general, where logical syntax and semantics are “two sides of the same coin”. The central suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal (...) class='Hi'>logic. However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of (...) full ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory of restricted (...) quantification we use is because they are the best way of dealing with these topics from Beall’s theory-building theory picture of logic, establishing a second point of contact with Beall’s work. (shrink)

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions (...) to the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

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

The limited aim here is to explain what John Dewey might say about the formulation of the grue example. Nelson Goodman’s problem of distinguishing good and bad inductive inferences is an important one, but the grue example misconstrues this complex problem for certain technical reasons, due to ambiguities that contemporary logical theory has not yet come to terms with. Goodman’s problem is a problem for the theory of induction and thus for logical theory in general. Behind the whole discussion of (...) these issues over the last several decades is a certain view of logic hammered out by Russell, Carnap, Tarski, Quine, and many others. Goodman’s nominalism hinges in essential ways on a certain view of formal logic with an extensional quantification theory at its core. This raises many issues, but the one issue most germane here is the conception of predicates ensconced in this view of logic. (shrink)

This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is argued to (...) underlie all language types. The four types differ in whether they choose to grammaticalize discourse reference to times (tense), events (aspect), and/or attitudes (mood), and how non-grammaticalized elements are inferred. The common logical language is a dynamic update logic, building on DRT and Centering Theory, but with a novel architecture—e.g. the distinction between focal vs. peripheral attention plays a key role, parallel to focal vs. peripheral vision. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher-order realism does not in (...) fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

Natural language contains simple lexical items for some but not all Boolean operators. English, for example, contains conjunction and, disjunction or, negated disjunction nor, but no word to express negated conjunction *nand nor any other Boolean connective. Natural language grammar can be described by a logic that expresses what the lexicon can express by its primitives, and the rest compositionally. Such logic for propositional connectives is described here as a bilateral extension of update semantics. The basic intuition is (...) that a context can be updated by assertion or by rejection, and by one or multiple propositions at once. These distinctions suffice to characterize the logic of the lexicon. (shrink)

The theme of this study is about establishing a purely logical theory about the Universe. Logic is the premier candidate for the reality behind phenomena. If there is a final theory, the Universe must be logic itself, called pure logic, elements of which include not only logic and illogic but also logical and illogical manipulations between them. The kernel is the revised law of the excluded middle: between two basic concepts are four possible manipulations, three logical (...) and one illogical, whereas only one is realized. The key parameter for an element is aim, including reason, outcome, and neutrality. When an element is a contradiction, it can be located at three positions: reason, outcome, and manipulation, corresponding to three colors of quark. Thus, there is interaction with the SU(3) symmetry keeping the number of the three elements balanced locally. A proposition without contradiction has two independent aims. When one aim changes, there is interaction with the U(1) symmetry. When two aims change together, there is interaction with the SU(2) symmetry. (shrink)

This paper corrects a mistake I saw students make but I have yet to see in print. The mistake is thinking that logically equivalent propositions have the same counterexamples—always. Of course, it is often the case that logically equivalent propositions have the same counterexamples: “every number that is prime is odd” has the same counterexamples as “every number that is not odd is not prime”. The set of numbers satisfying “prime but not odd” is the same as the set of (...) numbers satisfying “not odd but not not-prime”. The mistake is thinking that every two logically-equivalent false universal propositions have the same counterexamples. Only false universal propositions have counterexamples. A counterexample for “every two logically-equivalent false universal propositions have the same counterexamples” is two logically-equivalent false universal propositions not having the same counterexamples. The following counterexample arose naturally in my sophomore deductive logic course in a discussion of inner and outer converses. “Every even number precedes every odd number” is counterexemplified only by even numbers, whereas its equivalent “Every odd number is preceded by every even number” is counterexemplified only by odd numbers. Please let me know if you see this mistake in print. Also let me know if you have seen these points discussed before. I learned them in my own course: talk about learning by teaching! (shrink)

This paper considers the nature of the changes that took place in logic teaching at the University of Oxford from the beginning of the sixteenth century, when students attended university lectures on Aristotle’s texts as well as studying short works dealing with specifically medieval developments, to the beginning of the eighteenth century when teaching was centred in the colleges, the medieval developments had largely disappeared, and manuals summarizing Aristotelian logic were used. The paper also considers the reasons for (...) these changes, including changes in English society, and the effect of humanism and the more scholarly Aristotelianism that it produced. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

In The Problems of Philosophy, Russell presented his famous regress argument against the nominalist denial of universals. In this paper I explore the origin of the argument in Russell and explore its relevance in contemporary metaphysical debate. I argue that a hundred years on, the argument still presents a powerful tool for realists in their debate with nominalists and trope theorists.

Knowledge is correct and reliable when its foundation is correct, but humans never have the correct beliefs and methodology. Thus, knowledge is unreliable and the foundation of knowledge needs to be reconstructed. A pure rationalist only believes in logic. Thus, all matter and experience must be propositions derived from logic. The logically necessary consequence of this belief is truth; logically possible consequences are phenomena, and logically impossible consequence are fallacies and evils. This paper introduces belief and its logical (...) consequences, such as discovering first knowledge, both logically and illogically, establishing logical methodology, deducing truths purely through logic, and discovering unprovable truths by imitating the Universe. Logic and illogic are undeniable beliefs, and the reality of the Universe is the ultimate cause of everything. (shrink)

We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.

In this paper, I argue that Goff's view that universal consciousness grounds logical laws such as the law of non-contradiction cannot be true on the grounds that we cannot guarantee the classical logic loving nature of universal consciousness that Goff desires in order to ground logical laws. I will present three arguments to show this.

The concept of topic-neutrality, though central to contemporary characterisations of logic, lacks a standard formal definition. I propose a formal reconstruction of topic-neutrality in terms of a topical partition of atoms and its applicability across consequence relations. I explore the implications of this reconstruction for logical pluralism and monism, distinguishing between topic-neutral and topic-specific variants of each. I argue that while topic-neutral pluralism posits various applicable consequence relations across domains, topic-specific pluralism holds that some relations are applicable only to (...) specific domains. (shrink)

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical (...) discussions as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (shrink)

Universities are knowledge institutions. Compared to several other knowledge institutions (e.g. schools, government research organisations, think tanks), research universities have unusual, anarchic organisational features. We argue that such anarchic features are not a weakness. Rather, they reflect the special standing of research universities among knowledge institutions. We contend that the distributed, self-organising mode of knowledge production maintains a diversity of approaches, topics and solutions needed in frontier research, which involves generating relevant knowledge under uncertainty. Organisational disunity and inconsistencies should sometimes (...) be protected by institutional structures and procedures in order for research universities to best serve their purpose as knowledge institutions. The quality control for the knowledge produced stems from knowledge fields, clusters of knowledge and research that exist beyond the confines of individual organisations. The diversity of epistemic contributions is therefore kept in check by the order imposed by the internal logic of science as a social practice. Our argument provides a new defence for the autonomy of research conducted at universities. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification (...) holism due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

One can construct a mapping between Hilbert space and the class of all logic if the latter is defined as the set of all well-orderings of some relevant set (or class). That mapping can be further interpreted as a mapping of all states of all quantum systems, on the one hand, and all logic, on the other hand. The collection of all states of all quantum systems is equivalent to the world (the universe) as a whole. Thus that (...) mapping establishes a fundamentally philosophical correspondence between the physical world and universal logic by the meditation of a special and fundamental structure, that of Hilbert space, and therefore, between quantum mechanics and logic by mathematics. Furthermore, Hilbert space can be interpreted as the free variable of "quantum information" and any point in it, as a value of the same variable as "bound" already axiom of choice. (shrink)

Review of Logic as Universal Science: Russell’s Early Logicism and Its Philosophical Context, by Anssi Korhonen (Palgrave Macmillan 2013).

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and (...) existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical (...) interpretation of the connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For (...) naturalists of all stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient (...) class='Hi'>logic texts. A renaissance in ancient logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

We have to gain from recognizing a relation between epistemic agents and the parts of subject matters that play a role in their cognitive lives. I call this relation “grasping”. Namely, I zone in on one notion of having a partial grasp of a subject matter—that of agents grasping part of the subject matter that they are attending to—and characterize it. I propose that giving up the idealization that we fully grasp the subject matters we attend to allows one to (...) more realistically characterize the epistemic life of agents. To show this, I propose an epistemic logic with partial grasp that has in mind considerations from first-order aboutness theory with the aim of avoiding certain forms of logical omniscience, and which provides an alternative to immanent closure (Yablo Aboutness, Princeton University Press, 2014). (shrink)

proposition. Universal proposition is defined as the proposition in which the relation between the subject term and the predicate term is without any condition, in which the predicate is either affirmed or denied of the subject unconditionally. In nyaya logic the term vyapti is a universal proposition or invariable relation between the middle term (linga/hetu) and the major term (sadya) . According to the category of relation propositions are divided into categorical and the conditional. Although proposition is (...) a logical entity which is an assertion, either affirm or deny the subject. Truth and falsity are the values of proposition. Universal proposition is of two kinds: universal affirmative proposition and universal negative proposition while universality is the quantity of the subject and affirmation or negation is the quality of the proposition. Anumana (inference) is the knowledge of the objects which follows some other knowledge. In nyaya logic Inference is a combined deductive-inductive reasoning consisting of at least three categorical propositions and in it there are at least three propositions consisting of three terms, viz. the paksa or minor term about which we infer something, the sadhya or major term which inferred object, and the linga(probans) or sadana or middle which is invariably related to the major, and is present in the minor. Indian inference resembles to the categorical syllogism of western logic. In nyaya logic inference consisting of three propositions the first proposition is the conclusion of the syllogism , the second is the minor premise and last the major premise which is totally opposite of western logic. Syllogism of nyaya logic contains five propositions, called its Avayavas or members. These are pratijna, hetu, udarana, upanaya, and nigamana. Middle term have five characteristics in order to make five Figures of syllogism as Figure is the form of the syllogism. These five characteristics, or at least four of them , must be found in the middle term of a valid inference. If not, there will be fallacies(error in reasoning). Nyayikas give us three classifications of inference. According to first inference is of two kinds, namely, svartha and parartha. According to another inference is of three kinds, purvavat, sesavat and samanyatodrsta. According to third classification inference is distinguished into kevalanvayi, kevala-vyatireki and anvaya-vyatireki. (shrink)

The four volume work of which this book is a part has been praised as one of the great monuments of theoretical scholarship in sociology of the century. The praise has come largely from the older generation of students of Parsons and Merton. A great deal of dispraise has come from Alexander's own generation. Alan Sica's (1983) brilliant, biting review of Volume I speaks for many of Alexander's peers. Volume II is likely to be even more controversial. This volume begins (...) the substantive task of the text, the reinterpretation of the 'theoretical logic' of the classical sociologists, a reinterpretation governed by the intention of transcending the errors and limitations of the 'presuppositional' reasoning of the classical thinkers. For Alexander's sociological audience the second volume is the beginning of what really counts, and Volume II is indeed quite a different affair from the first, 'philosophical' volume: the prose tightens, and the air of getting down to work is palpable. (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)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ (...) ⍯φ iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted (...) that in order to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can (...) be also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on (...) in our field—a book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as (...) the logic of subsets of a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

This article introduces some concepts that help exploring the ontological import of universal logic. It studies the notions of an antilogic and counterlogic associated to each logic and shows some of their properties. It presents the notion of galaxy, as the class of possible worlds compatible with a given logic.We explore some consequences of these developments.

Universal Generalization, if it is not the most poorly understood inference rule in natural deduction, then it is the least well explained or justified. The inference rule is, prima facie, quite ambitious: on the basis of a fact established of one thing, I may infer that the fact holds of every thing in the class to which the one belongs—a class which may contain indefinitely many things. How can such an inference be made with any confidence as to its (...) validity or ability to preserve truth from premise to conclusion? My goal in this paper is to explain how Universal Generalization works in a way that makes sense of its ability to preserve truth. In doing so, I shall review common accounts of Universal Generalization and explain why they are inadequate or are explanatorily unsatisfying. Happily, my account makes no ontological or epistemological presumptions and therefore should be compatible with whichever ontological or epistemological schemes the reader prefers. (shrink)

Translated from: W.V.O.Quine, W. H. O. (1986): Philosophy of Logic. Second Edition. Harvard University Press. Cambridge, Massachusetts and London, England, 47-61.

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show this through (...) a detailed analysis of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of (...) the Bible, and analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

The informal logic movement began as an attempt to develop – and teach – an alternative logic which can account for the real life arguing that surrounds us in our daily lives – in newspapers and the popular media, political and social commentary, advertising, and interpersonal exchange. The movement was rooted in research and discussion in Canada and especially at the University of Windsor, and has become a branch of argumentation theory which intersects with related traditions and approaches (...) (notably formal logic, rhetoric and dialectics in the form of pragma-dialectics). In this volume, some of the best known contributors to the movement discuss their views and the reasoning and argument which is informal logic’s subject matter. Many themes and issues are explored in a way that will fuel the continued evolution of the field. Federico Puppo adds an insightful essay which considers the origins and development of informal logic and whether informal logicians are properly described as a “school” of thought. In considering that proposition, Puppo introduces readers to a diverse range of essays, some of them previously published, others written specifically for this volume. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the (...) idea arises of a dual logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

A short reconstruction of the essays included in Quine's 'From a Logical Point of View'.

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects is (...) countably infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

Philosophia (Israel), 16(3-4), 333 - 344. YEAR: 1986 Extensive corrigenda Vol. 17, no. 3. -/- SUBJECT(S): Quine's second thoughts on quantifying in, appearing in the second, revised edition of _From a Logical Point of View_ of 1961, are shown to be incorrect. His original thoughts were correct. ABSTRACT: Additional tumult is supplied to pp. 152-154 of _From A Logical Point of View_, showing that being dated is no guarantee of being right. Among other things, it is shown that Quine's argument (...) to the conclusion that limiting the universe of discourse to intensional entities does not "relieve the original difficulty over quantifying into modal contexts" is incorrect; that the contradictory of that conclusion is in fact true; and that an even stronger conclusion is true, with 'abstract' replacing 'intensional'. (shrink)

Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 > 5” would appear to be the same as “4 > 6”. Yet one is a mathematical truth, and the other not a truth at all. To preserve logicism, we must maintain that the two either are different subforms of the same generic form, or that their forms are not at all (...) what they appear. The historical record shows that Russell pursued both these options, but that the struggle with the logical paradoxes pushed him away from the first kind of response and toward the second. An object cannot itself have a kind of inner logical complexity that makes a proposition have a different logical form merely in virtue of being about it, nor can their representatives in logical forms be single things different for different forms, at least not without postulating too many such objects and thereby creating Cantorian diagonal paradoxes. There are only apparent objects which are actually fragments of logical forms, different in different cases. (shrink)

Traditionally transcendental logic has been set apart from formal logic. Transcendental logic had to deal with the conditions of possibility of judgements, which were presupposed by formal logic. Defined as a purely philosophical enterprise transcendental logic was considered as being a priori delivering either analytic or even synthetic a priori results. In this paper it is argued that this separation from the (empirical) cognitive sciences should be given up. Transcendental logic should be understood as (...) focusing on specific questions. These do not, as some recent analytic philosophy has it, include a refutation of scepticism. And they are not to be separated from meta-logical investigations. Transcendental logic properly understood, and redefined along these theses, should concern itself with the (formal) re-construction of the presupposed necessary conditions and rules of linguistic communication in general. It aims at universality and reflexive closure. (shrink)