A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (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)

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, (...) we propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

A supplemental document for "The Logic of Hyperlogic. Part A: Foundations".

Major Research Paper Abstract -/- A Part of This World: Deleuze & The Logic Of Creation. -/- Is there a particular danger in following Deleuze’s philosophy to its end result? According to Peter Hallward and Alain Badiou, Deleuze’s philosophy has some rather severe conclusions. Deleuze has been known as a vitalist thinker of life and affirmation. Hallward & Badiou seek to challenge the accepted view of Deleuze; showing that these accepted norms in Deleuzian scholarship should be challenged; and that initially (...) Deleuze calls for the evacuation of political action in order to remain firm in the realm of pure contemplation. I intend to investigate and defend Deleuze’s philosophy and against critics like Badiou and Hallward; and that not only is Deleuze’s philosophy creative and vital but also highly revolutionary and ‘a part of this world.’ I will look at several works in Deleuze’s corpus, as well as look at Deleuzian scholars whom defend Deleuze’s position -/- Hallward sees Deleuze as a theophantic thinker of the one and like Spinoza an individual mode must align oneself with the intellectual love of god, so that creativity and expressivity may mediate through them. Thus, according to Hallward the major theme of Deleuze’s philosophy is creativity; and a subject or a creature must tap into this vital spark of creation, which, is also a form of creatural confinement. Hallward states this creative act can only occur in the realm of the virtual, by lines of flight leading 'out of this world'. The subject is then re-introduced to an extra-worldly existence of contemplation and remains further away from decisions and lived experience. Deleuze, according to Hallward, falls prey to a cosmological pantheism. -/- Badiou has similar concerns. Deleuze’s philosophy is too systematic and abstract. The entirety of Deleuzes’ work is surrounded by metaphysics of the one; and essentially its repercussions lead to an overt asceticism. Badiou notes that Deleuze wants us all to surrender thought to a renewed concept of the one. Through the surrender of the one, the multiple is lost and incorporated into the realm of simulacra. Everything in this Deleuzian world is ‘always-already’ in the infinite and inhuman totality of the one. According to Badiou, this entire process is articulated in the power of inorganic life that operates through all of us. Like Hallward, Badiou sees Deleuze demolishing the subject, who is stuck between machinery and exteriority. Subjects are forced to transcend and go beyond their limits, slowly collapsing into an infinite virtuality. Badiou believes this is a powerful metaphor for a philosophy of death. Thus the conditions of Deleuzian thought are contingent upon asceticism, making a Deleuzian world a sort of ‘crowned anarchy’. Badiou sees Deleuze’s ascetic mission intimately linked with a philosophy of death, and like Hallward we should pay careful attention to the outcome of such an aristocratic philosophy. Death according to Badiou, symbolizes Deleuzian thought, not only making it dangerous, but also actualizing it as an ineffective position. Badiou also points out that Deleuze’s conceptual sources are not only limited but also repeated time and time again through a monotonous selection of concepts. Is this a fair critique and representation of Deleuzian thought? -/- Eugene Holland states, that both Hallward and Badiou have misrepresented Deleuze. Deleuze does invoke the creation of a new earth but one which we all fully believe in. The only world Deleuze wants to get out of is the world of habits, conformity, power; and forces that block creative being. According to Holland, Hallward presents us a Deleuze that inhibits an engagement with the world. However Deleuze’s creative enterprise is insistent on forming concepts that can change and transform our world. -/- So the question arises where does the problem of misrepresentation begin? It begins with both Badiou and Hallward having an erroneous account of the actual/virtual distinction in Deleuze’s Philosophy. According to Protevi, Hallward posits a dualism between the actual and the virtual, denying the role of the intensive. Hallward initially sees the relationship between the intensive and the virtual, ignoring the fact that the intensive has its own ontological register that mediates both the virtual and the actual. However, Protevi notes if one could not accept the intensive for an ontological register and had to place it with one or the other; you would have to accept an interrelationship between the actual and the intensive. Hallward places it in the realm of the virtual, thus, leading us to his major claim that Deleuze’s philosophy leads us out of the world. Protevi states, intensive processes happen in our world they are a part of this world. Hallward completely empties all creativity from the actual, thus depending on the virtual and its slippery slope. Both Hallward and Badiou have missed the point altogether. We live in an intensive/actual world and the main point about Deleuze’s politics has to do with experimentation and social interaction and the transformation and intervention of the concept. As Daniel W. Smith states, unlike Badiou, Deleuze is not searching for an axiomatic approach to the world, one that is prone to reductionism but rather with problematic, inventive and creative methods to transform a society. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Is there a particular danger in following Deleuze's philosophy to its end result? According to Peter Hallward, Deleuze's philosophy has some rather severe conclusions. Deleuze has been portrayed by him as a theological and spiritual thinker of life. Hallward seeks to challenge the accepted view of Deleuze, showing that these accepted norms in Deleuzian scholarship should be challenged and that, initially, Deleuze calls for the evacuation of political action in order to remain firm in the realm of pure contemplation. This (...) article intends to investigate and defend Deleuze's philosophy against the critical and theological accounts portrayed by Hallward, arguing that Deleuze's philosophy is not only creative and vital but also highly revolutionary and ‘a part’ of the given world. It then goes on to examine Hallward's distortion of the actual/virtual distinction in Deleuze because Hallward is not able to come to grips with the concept of life in Deleuze's philosophy. We live in an intensive and dynamic world and the main points of Deleuze's philosophy concern the transformation of the world. Deleuze is not seeking to escape the world, but rather to deal with inventive and creative methods to transform society. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

I argue against inferentialism about logic. First, I argue against an analogy between logic and chess, before considering a more basic objection to stipulating inference rules as a way of establishing the meaning of logical constants. The objectionthe Mushroom Omelette Objectionis that stipulative acts are partly constituted by logical notions, and therefore cannot be used to explain logical thought. I then argue that the same problem also attaches to following existing conventional rules, since either those rules have (...) logical contents, or following those conventional rules is done for logical reasons. Lastly, I compare this argument with other arguments found in Quine’s early work, and consider two attempts to reply to Quine. (shrink)

CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .

This paper takes the Status Loss Theory (introduced and explained in the first "How Humor Works" paper), and applies it to 40 real-world examples, including memes, radio and TV shows, movie and comic book tropes, song parodies, humor sayings, stand-up comedy cliches, known psychological quirks of humor, and more, to demonstrate the theory's potential to function as the first clear, complete, logical, and simple basis for defining, studying, and understanding humor in all of its forms.

I aim to develop a tool for comparing theories of vagueness, using Structured Query Language. Relevant SQL snippets will be used throughout.

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in (...) part about (a property related to) the soundness of arguments. (shrink)

In this paper intuitionistic set theory INC# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived. Non trivial application in number theory is considered.

From the point of view of Brentano’s philosophy, contemporary philosophy of mind presupposes an over-crude theory of the internal structures of mental acts and states and of the corresponding types of parts, unity and dependence. We here describe Brentano’s own account of the part-whole structures obtaining in the mental sphere, and show how it opens up new possibilities for mereological investigation. One feature of Brentano’s view is that the objects of experience are themselves parts of mind, so that (...) there is a sense in which for him (as e.g. for Leibniz) ontology is a proper part of rational or descriptive psychology. (shrink)

I argue that logic is unlike science in its methodology, thus rejecting anti-exceptionalism about logic. Logic has a mathematical and a philosophical part. In its mathematical part, the methodology of logic is like that of mathematics, and no need to choose between theories arises in that part. In its philosophical part, the methodology of logic is like that of philosophy. Philosophy and mathematics are both unlike the empirical sciences in their methodology. So logic is unlike the empirical sciences in its (...) methodology. I end by looking at disagreements about the liar paradox as an example. (shrink)

In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic logic with restricted modus ponens rule.

In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development only comprehensible (...) as long as one simultaneously assumes that Hegel breaks his promise to let the logic do the leading. However, if Hegel were to in fact allow the logical development to be led by biological analogies at this point, problems would ensue. Not only would it contradict his own speculative method, which should secure the necessity of the categories, but it would also endanger the ontological generality of the category of life itself. Beyond undermining his method and the logical integrity of the category, however, I will argue that such a reading makes the transition to the next category of “cognition” unintelligible and problematic. My aim in the first part of this paper is to argue how logical life can be read as a pure category. I then argue in the second part how my reconstruction makes the transition to cognition intelligible without resorting to profane or supernatural interpretations. (shrink)

Main results are: (i) number e^{e} is transcendental; (ii) the both numbers e+π and e-π are irrational.

According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic paradox should not (...) require appeal to a metaphysics of truth-makers, situations, or impossible worlds, by contrast with Jago’s official semantics. My second goal is to elaborate on the proof theory. I show how to axiomatize a family of logics with principles of indeterminate epistemic closure. (shrink)

This essay is part of larger project in which I attempt to show that Western formal logic, from its inception in Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. More specifically, (a) racist/quasi-racist/proto-racist political forces were part of the impetus for logic’s attempt to classify the world into mutually exclusive, hierarchically-valued categories in the first place; and (b) these classifications, in turn, have been deployed throughout history to justify and empower (...) racism/quasi-racism/proto-racism. In other words, (a) an important part of the chaos and messiness that so troubles logic has been the natural bio-cultural diversity of human beings as described by concepts such as race and ethnicity; and (b) once these concepts were historically in place, taken for granted, buttressed with pseudo-science, and had their origins forgotten, they became tools for the oppression of diverse human groups. The central thesis of this essay is that close readings of a variety of Leibniz’s writings (including several essays and one letter) will reveal a pattern of mutual dependency and creation in regard to logic and racism in Leibniz. My conclusion will be that there is a meaningful connection between logic and racism (or at least between logic and politics in general) in Leibniz such that one should be skeptical of his logic’s claim to offer transparent and neutral descriptions of the world as well as imperatives for action. Put differently, I want to ask the following specific question: how do Leibniz’s own racially-informed political goals, along with the emergence of race-centric European colonialism, both invest and disguise themselves within Leibniz’s mathematizing of logic? (shrink)

This article offers a novel solution to the problem of material constitution: by including non-concrete objects among the parts of material objects, we can avoid having a statue and its constituent piece of clay composed of all the same proper parts. Non-concrete objects—objects that aren’t concrete, but possibly are—have been used in defense of the claim that everything necessarily exists. But the account offered shows that non-concreta are independently useful in other domains as well. The resulting view falls (...) under a ‘nonmaterial partist’ class of views that includes, in particular, Laurie Paul’s and Kathrin Koslicki’s constitution views; ones where material objects have properties or structures as parts respectively. The article gives reasons for preferring the non-concretist solution over these other non-material partist views and defends it against objections. (shrink)

In researching presuppositions dealing with logic and dynamic of belief we distinguish two related parts. The first part refers to presuppositions and logic, which is not necessarily involved with intentional operators. We are primarily concerned with classical, free and presuppositonal logic. Here, we practice a well known Strawson’s approach to the problem of presupposition in relation to classical logic. Further on in this work, free logic is used, especially Van Fraassen’s research of the role of presupposition in supervaluations (...) class='Hi'>logical systems. At the end of the first part, presuppositional logic, advocated by S.K. Thomason, is taken into consideration. The second part refers to the presuppositions in relation to the logic of the dynamics of belief. Here the logic of belief change is taken into consideration and other epistemic notions with immanent mechanism for the presentation of the dynamics. Three representative and dominant approaches are evaluated. First, we deal with new, less classical, situation semantics. Besides Strawson’s theory, the second theory is the theory of the belief change, developed by Alchourron, Gärdenfors, and Makinson (AGM theory). At the end, the oldest, universal, and dominant approach is used, recognized as Hintikka’s approach to the analysis of epistemic notions. (shrink)

Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of logic to be (...) formal, it is difficult to see what bearing logic has on knowledge. In this paper, by weaving together the main threads of thought that are salient in Dignāga’s and Dharmakīti’s texts, I shall re-conceive the nature of logic in the context of epistemology and demarcate the logical part of epistemology which can be recognised as logic. I shall demonstrate that we can recognise the logical significance of inference as understood by Buddhist logicians despite the fact that its logical significance lies within the context of knowledge. (shrink)

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary (...) relations. The paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion (...) of entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories of the “syllogism” (...) in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a (...) realm of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

The magisterial analyses of logic and meaning advanced in Husserl's Logical Investigations of 1900/01 have for a number of reasons been neglected by analytical philosophers in subsequent decades. This state of affairs has to do, in part, with the history of the editions and translations of Husserl's writings. Findlay's readable but imperfect translation appeared seventy years after the work itself was first published, and the editors and translators and expositors of Husserl's works have reflected the prevailing philosophical atmosphere on (...) the Continent by concentration their energies on Husserl's later writings. Now, however, over eighty years after the appearance of Husserl's one true masterpiece, a critical edition of the work is at last available in completed form. We here analyze the structure and content of this new edition, published as part of the Husserliana series by the Husserl Archive in Louvain. (shrink)

Buddhist philosophers have investigated the techniques and methodologies of debate and argumentation which are important aspects of Buddhist intellectual life. This was particularly the case in India, where Buddhism and Buddhist philosophy originated. But these investigations have also engaged philosophers in China, Japan, Korea and Tibet, and many other parts of the world that have been influenced by Buddhism and Buddhist philosophy. Several elements of the Buddhist tradition of philosophy are thought to be part of this investigation. -/- There (...) are interesting reasoning patterns discernible in the writings of Buddhist philosophers. For instance, the Mādhyamika philosopher Nāgārjuna presents arguments for the emptiness of all things in terms of catuṣkoṭi (four ‘corners’: roughly speaking, truth, false, both, neither). There are also the Indian vāda (debate) literature and Tibetan bsdus grwa (collected topics) that list techniques of debates. -/- The main interest here is the tradition of Buddhist philosophy, sometimes referred to as Pramāṇavāda, whose central figures are Dignāga (approx. 480–540 CE) and Dharmakīrti (6th– 7th CE). This philosophy is understood to be the Buddhist school of logic-epistemology. ‘Pramāṇavāda’ is not a doxographical term traditionally used to refer to a recognised school of Buddhist philosophy. It is a conventional term that is sometimes used in modern literature. Nevertheless, in what follows, we think of it as a tradition within Buddhist philosophy and ‘Buddhist logic’ refers to what is developed in this tradition. -/- Buddhist logicians have systematically analysed the kind of reasoning involved in acquiring knowledge. They hold that there are valid ways to reason that are productive of knowledge. In what follows, some of the main elements of their analyses will be described. Note, however, that, while exegetical studies of Buddhist texts are important, we must step back from them and consider what is involved in taking a Buddhist approach to logic in light of modern formal logic. This analysis will be done against the backdrop of the contemporary literature on logic and related subjects in contemporary philosophy to make sense of the logical studies by Buddhist logicians. (shrink)

In this paper, I offer a novel analysis of logical arguments from evil. I claim that logical arguments from evil have three parts: (1) characterisation (attribution of specified attributes to God); (2) datum (a claim about evil); and (3) link (connection between attributes and evil). I argue that, while familiar logical arguments from evil are known to be unsuccessful, it remains an open question whether there are successful logical arguments from evil.

The investigation into logical form and structure of natural sciences and mathematics covers a significant part of contemporary philosophy. In contrast to this, the metatheory of normative theories is a slowly developing research area in spite of its great predecessors, such as Aristotle, who discovered the sui generis character of practical logic, or Hume, who posed the “is-ought” problem. The intrinsic reason for this situation lies in the complex nature of practical logic. The metatheory of normative educational philosophy and (...) theory inherits all the difficulties inherent in the general metatheory but has also significantly contributed to its advancement. In particular, the discussion on its mixed normative-descriptive character and complex composition has remained an important part of research in educational philosophy and theory. The two points seem to be indisputable. First, the content of educational philosophy and theory is a complex one, connecting different disciplines. Second, these disciplines are integrated within the logical form of practical inference or means-end reasoning. On the other hand, the character of consequence relation in this field, although generally recognized as specific, represents an unresolved prob- lem, a solution of which requires a sophisticated logical theory and promises to influence the self- understanding of educational philosophy and theory. (shrink)

The Symbolic Logic Study Guide is designed to accompany the widely used symbolic logic textbook Language, Proof and Logic (LPL), by Jon Barwise and John Etchemendy (CSLI Publications 2003). The guide has two parts. The first part contains condensed, essential lecture notes, which streamline and systematize the first fourteen chapters of the book into seven teaching sections, and thus provide a clear, well-designed roadmap for the understanding of the text. The second part consists of twelve sample quizzes and solutions. (...) The Symbolic Logic Study Guide is essential for all instructors and students who use LPL in their symbolic logic classes. (shrink)

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

Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic.

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Different logic systems are motivated by attempts to fix the counter-intuitive instances of classical argumentative forms, e.g., strengthening of the antecedent, contraposition and conditional negation. These counter-examples are regarded as evidence that classical logic should be rejected in favour of a new logic system in which these argumentative forms are considered invalid. It is argued that these logical revisions are ad hoc, because those controversial argumentative forms are implied by other argumentative forms we want to keep. It is impossible (...) to remove an argumentative form from a logical system without getting entangled in an intricate logical web, since these revisions imply the removal of other parts of a system we want to maintain. Consequently, these revisions are incoherent and unwarranted. At the very least, the usual approach in the analysis of counter-examples of argumentative forms must be seriously reconsidered. (shrink)

This paper contributes to explaining the rise of logical empiricism in mid-twentieth century (North) America and to a better understanding of American philosophy of science before the dominance of logical empiricism. We show that, contrary to a number of existing histories, philosophy of science was already a distinct subfield of philosophy, one with its own approaches and issues, even before logical empiricists arrived in America. It was a form of speculative philosophy with a concern for speculative metaphysics, (...) normative issues relating to science and society and issues which later were associated with logical empiricist philosophy of science, issues such as confirmation, scientific explanation, reductionism and laws of nature. Further, philosophy of science was not primarily pragmatist in orientation. We also show, with the help of our historical characterization, that a recent account of the emergence of analytic philosophy applies to the rise of logical empiricism. It has been argued that the emergence of American analytic philosophy is partly explained by analytic philosophers’ use of key institutions, including of journals, to marginalize speculative philosophy and promote analytic philosophy. We argue that this use of institutions included the marginalization of speculative and value-laden philosophy of science and the promotion of logical empiricism. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical (...) framework and that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

The fallacies, as traditionally conceived, are wrong ways of reasoning that nevertheless appear attractive to us. Recently, however, Woods (2013) has argued that they don’t merit such a title, and that what we take to be fallacies are instead largely virtuous forms of reasoning. This reformation of the fallacies forms part of Woods’ larger project to naturalize logic. In this paper I will look to his analysis of the argumentum ad hominem as a case study for the prospects of this (...) project. I will argue that the empirical literature on implicit bias presents a difficulty for the reformation of the ad hominem as cognitively virtuous. Cases where implicit bias influences our assessment of the truth or claim or argument are instances of ad hominem reasoning, and these qualify as fallacious on Woods’ own definition. (shrink)

This paper claims that there is no such thing as the correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of (...) the two roles. The second part spells out a considerably different notion which is free from that problem, although it does not fit the other role. As it will be suggested, each of the two notions suits at most one role, so the uniqueness thesis is ungrounded. (shrink)

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of the relation between sentences and models. (...) I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.