This is material I have used for teaching introductory level formal logic at Pomona College. The coverage is fairly standard--propositional calculus and basic first-order logic--but includes a little bit of more advanced material that are often omitted, in particular proof of soundness and completeness of propositional calculus. The proof system is a natural deduction style sequent calculus that Gerhard Gentzen presents in his "Die Wiederspruchsfreiheit der reinen Zahlentheorie" (1936). Exercise material and a proof checker are available online.

This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order (...) class='Hi'>logic to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and (...) present six different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

Trivalent theories of indicative conditionals are thought to be at odds with trivalent theories of presupposition, and in particular, with an adequate analysis of the presuppositions of conditionals. We address this challenge based on (i) a semantics for conditionals and modals that combines trivalence with context updates, and (ii) a principle for felicitous assertion that we call Avoid Void: do not assert a sentence that takes the value void everywhere in the context. This account highlights the semantic differences between conditionals (...) and other presupposition carriers, and yields the intuitively correct presuppositions of conditionals. Finally, we develop a trivalent logic C# ("C-sharp"), which implements Avoid Void at the level of reasoning. This yields a Strawsonian notion of entailment, on which false antecedents as well as contradictory premises do not allow one to infer arbitrary information. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious (...) obstacle to any such view. (shrink)

This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, (...) to present problems such as the disappearance of evidence, the mishandling of the null hypothesis, and failures in scientific reasoning, exemplified by a case from human behavioral ecology. In conclusion the paper shows that "methodological adaptationism" does not deserve its benign reputation. (shrink)

This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and (...) rules of LF, lays out some notational conventions, and states some basic technical facts about the system. (shrink)

This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of (...) the original pure system with rules for the truth-functional connectives, the first-order quantifiers, and λ-abstraction. However, no semantics has yet been provided for this system. The present paper partly fills this lacuna by providing a sound and complete semantics for a system GG containing the truth-functional operators that is closely related to the truth-functional part of the system of Fine (2012b). (shrink)

This essay reconsiders the concept of karma not as a mere moral law of retribution but as the ontological and phenomenological structure of dependent origination (pratītyasamutpāda). By integrating early Nikāya sources, Abhidharma analyses, and Mahāyāna elaborations, karma is explored as the logic that underlies existence itself. Rather than reducing karma to linear causation across lifetimes, this essay situates it in the framework of aśūnyatā—the emptiness of both self and phenomena (ātma-śūnyatā and dharma-śūnyatā). Karma, understood as conditional arising, becomes the (...) foundation upon which Buddhist philosophy, ethics, and soteriology unfold. The essay concludes that the recognition of karma as dependent arising provides the ground for liberation: by seeing karma as empty yet conditionally real, one realizes that freedom from the binding chain of action is possible. (shrink)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) logical diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...) longer play a distinctive role. This account employs a new notion of semantic. (shrink)

As George Boole saw it, the laws of logic are the laws of thought, and by this he meant, not that human thought is actually governed by the laws of logic, but, rather, that it should be. Boole’s view that the laws of logic have normative implications for how we ought to think is anything but an outlier. The idea that violating the laws of logic involves epistemic impropriety has seemed to many to be just obvious. (...) It has seemed especially obvious to those who see propositional justification as more fundamental than doxastic justification. Whatever other principles are required for defining propositional justification, the laws of logic seem indispensable. The idea that violation of the laws of logic involves some sort of epistemic impropriety—whatever the peculiarities of our psychology may be—has served as a fixed point around which defenders of the fundamentality of propositional justification are united, whatever their other differences. This paper challenges that common thread in defenses of the fundamentality of propositional justification. It is argued that the laws of logic have no bearing whatever on epistemic justification. Once we see why this should be so, the way is paved for seeing why it is that doxastic justification is more fundamental than propositional justification. (shrink)

Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the (...) substitutivity of identicals into modal contexts. (shrink)

In the philosophy of logic, the Adoption Problem is a challenge to the claim that reasoners can, in certain ways, rationally change which logic they use. The (alleged) problem is that if someone does not already infer in accordance with some fundamental logical principles (such as Universal Instantiation or Modus Ponens), then they cannot rationally begin to do so: the “adoption” of these principles is either unnecessary or impossible. In the literature, three issues have emerged as especially contentious: (...) (1) How should we understand the argument for the Adoption Problem? What exactly is the argument’s conclusion, and how is it established, if at all? (2) How could someone who thinks that the rational adoption of logic is possible respond to the Adoption Problem? (3) What are the consequences of the Adoption Problem for related issues in the philosophy of logic? In this paper, we address each question in turn. We suggest that the Adoption Problem is best understood in the form of an inconsistent quartet of theses regarding logical inference. We classify positions on logical adoption in terms of which of these theses is abandoned, and we show that such a taxonomy of positions is useful for delineating the scope and consequences of the Adoption Problem. (shrink)

Graham Priest distinguishes between two kinds of Sorites paradoxes: standard Sorites, such as the paradox of the Heap, and non-standard Sorites, such as the Ship of Theseus. The former concerns properties of objects, whereas the latter concerns their identity conditions. Priest notes that the standard Sorites has been solved in fuzzy logic and proposes a logic of fuzzy identity to solve the non-standard Sorites in a similar way. Ideally, a definition of fuzzy identity would satisfy the fuzzy equivalents (...) of the classical principles of identity: it should (i) be a fuzzy equivalence relation and (ii) validate a fuzzy version of the substitutivity of identicals. However, Priest’s definition fails to meet the latter requirement and only applies to a special case of the non-standard Sorites. I suggest an improvement on his logic that overcomes these shortcomings, provides the two Sorites with a unified solution, and also applies to reasoning about vague objects in general. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, (...) KT , K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

This work proposes a structural-ontological foundation for logic based on the principle of self-contradicted identity, formulated as a relational tension within being itself. Rejecting both pragmatic and formalist approaches, the theory advances a second-order metalogical function, Φ, which operates on the set of relational structures over a given language and generates a class of stable configurations. Logic is not grounded in epistemic utility or inferential practices, but emerges from the iterability of a primary metaphysical contrariety, where identity and (...) difference coexist as a generative tension. Through a formal definition of Φ and its convergence properties, the theory provides an account of logic as a manifestation of the structure of being, prior to any axiomatic system or linguistic articulation. The work engages with contemporary logical theories (e.g., Leitgeb, Da Costa) and classical foundations (e.g., Frege, Hilbert), offering a unified framework capable of encompassing both classical and non-classical logics. Ultimately, logic is redefined not as a tool of thought, but as an ontological-metaphysical necessity. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree (...) logic. This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

We investigate whether complex number structure, fundamental to quantum mechanics, can be derived from SK combinatory logic—a minimal, Turing-complete computational system. Through systematic exploration of four distinct approaches (Sorkin's quantum measure theory, algebraic structure of reduction operators, path space holonomy, and information-theoretic derivation), we find that complex structure does not automatically emerge from SK computation. While we discovered that phase differences can be computed from information-theoretic quantities (specifically, the difference in S-reduction counts between paths), the choice of computation formula (...) remains arbitrary. This constitutes a negative result with significant implications: it establishes constraints on the relationship between computational substrates and quantum structure, clarifying what additional assumptions are necessary to bridge the gap between computation and quantum mechanics. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...) and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

This paper presents a mathematical analysis of the logic of measuring Neural Correlates of Consciousness (NCCs). Starting from the canonical definition of NCCs provided by Crick and Koch (1990) and Chalmers (2000), a series of lemmas and theorems are provided which show how NCCs can be discovered if empirical data about the co-activation of neural states and states of consciousness is available. The result of this analysis is a new method to measure NCCs, which we preliminarily call Co-Activation Analysis (...) (CoAA), that might complement or extend existing methods such as contrastive analysis and decoding. CoAA might be of interest for experiments because it does not require data from near-threshold conditions, is compatible with all major conceptions of states of consciousness (including, e.g., micro-phenomenological notions and global states of consciousness), can be applied to most conceptions of neural or computational states (including, e.g., those provided by Predictive Processing/Active Inference, or those attained in more ecological conditions), and helps alleviate the problem of confounders. Furthermore, we show as a theorem that as far as the logic of measurement is concerned, if applied to data from contrastive analysis studies, CoAA improves upon the result provided by contrastive analysis. The paper is a purely theoretical contribution. It is presented in the hope that the mathematics developed here can support and improve the empirical search for NCCs. (shrink)

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL (...) has helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive (...) logical connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

Manfred Eigen employs the terms language and communication to explain key recombination processes of DNA as well as to explain the self-organization of human language and communication: Life processes as well as language and communication processes are governed by the logic of a molecular syntax, which is the exact depiction of a principally formalizable reality. The author of the present contribution demonstrates that this view of Manfred Eigen’s cannot be sufficiently substantiated and that it must be supplemented by an (...) approach based on linguistic pragmatics. (shrink)

In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context (...) of a brief history of the development of diagramming, it is then shown how argument diagrams have been used to analyze and work with argumentation in law, philosophy and artificial intelligence. (shrink)

This paper examines Ibn Taymiyya’s (1263–1328) critique of the Aristotelian logical tradition, with a particular focus on his theory of definition (ḥadd). Ibn Taymiyya argues that Aristotelian logic, premised upon fixed metaphysical categories, fails to serve as a practical instrument for epistemic inquiry and knowledge production, as it claims. Ibn Taymiyya’s critique can be divided into two main classes: general and metaphysical. His general criticisms undermine the validity of Aristotelian definitions through multiple dialectical arguments such as regress, disagreement, and (...) redundancy, showing that definitions are not epistemically useful. His metaphysical criticisms, on the other hand, strike at the foundations of Peripatetic metaphysics by rejecting the distinctions between a) quiddity and its existence, and between b) essential and concomitant predicates. I have also argued that Ibn Taymiyya’s position cannot be reduced to nominalism, empiricism, or conventionalism. Rather, his theory of meaning aligns more closely with modern pragmatics, wherein speech acts derive their meaning from their communicative, intentional, and contextual functions. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason (...) conferred a heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the (...) field of methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...) problems. In this paper, I review the problems and offer an alternative that avoids them. I offer a semantics for the pure logic of ground that is motivated by ideas already present in the grounding literature, and for which a natural axiomatization capturing central formal features of grounding is sound and complete. I also show how the semantics I offer avoids the problems faced by Fine’s semantics. (shrink)

Default logic has been a very active research topic in artificial intelligence since the early 1980s, but has not received as much attention in the philosophical literature thus far. This paper shows one way in which the technical tools of artificial intelligence can be applied in contemporary epistemology by modeling a paradigmatic case of deep disagreement using default logic. In §1 model-building viewed as a kind of philosophical progress is briefly motivated, while §2 introduces the case of deep (...) disagreement we aim to model. On the heels of this, §3 defines our formal framework, viz., a refined Horty-style default logic. §4 then uses the framework to model deep disagreement, and finally §5 provides a critical discussion of the result. (shrink)

Kate Manne’s Down Girl: The Logic of Misogyny combines traditional conceptual analysis and feminist conceptual engineering with critical exploration of cases drawn from popular culture and current events in order to produce an ameliorative account of misogyny, i.e., one that will help address the problems of misogyny in the actual world. A feminist account of misogyny that is both intersectional and ameliorative must provide theoretical tools for recognizing misogyny in its many-dimensional forms, as it interacts and overlaps with other (...) oppressions. While Manne thinks subtly about many of the material conditions that create misogyny as a set of normative social practices, she does not fully extend this care to the other intersectional forms of oppression she discusses. After touching on the book’s strengths, I track variations of its main problem, namely, its failure to fully conceive of oppressions besides sexism and misogyny as systemic patterns of social practices, as inherently structural rather than mere collections of individual beliefs and behaviors. (shrink)

In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is (...) directly motivated in terms of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)

The book addresses two main areas of Kant’s theoretical philosophy: the doctrine of transcendental idealism and various central aspects of the arguments from the Metaphysical and Transcendental Deductions, as well as the relation between the deduction argument and idealism. -/- Among the topics covered are the nature of objective validity, the role and function of transcendental logic in relation to general or formal logic, the possibility of contradictory thoughts, the meaning of the Leitfaden at A79 and the unity (...) of cognition, the two-steps-in-one-proof interpretation and categorial instantiation, categorial illusion, Strawson’s transcendental argument, the persistently perplexing question of the derivation of the categories, and the relation between apperception, objectivity, judgement, and idealism. -/- With regard to idealism in particular, the focus is on the metaphysical two-aspect interpretation and its problems, on the merits and demerits of the controversial phenomenalist reading of Kant’s idealism, and on the topic of subjectivism and epistemic humility. -/- In all of the aforementioned topics, the book presents wholly novel interpretations compared to the standard or mainstream interpretations. (shrink)

For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by (...) Ingarden’s approach, showing how it distinguishes the properties possessed by fictional objects (for instance of having been created by such and such an author in such and such a work) from characteristics (for instance of smoking a pipe, of living in Baker Street) which are merely associated with such objects. (shrink)

Charles Sanders Peirce’s abductive logic is a logic which provides a model of scientific discovery. The logic is meant to provide an account of how scientists discover (or pursue) hypotheses during scientific inquiry. I focus on a version of Peirce’s abduction, one where the hypotheses being generated are in response to anomalies, and argue that this logic of abduction is an instance of ideal theory. I show that scientific abduction is influenced by facts about the scientific (...) community, and that features of systemic oppression systematically influence the processes of each step of the abductive process which abductive logic seeks to model. Peirce’s logic of abduction idealizes over these facts, and so I conclude that abductive logic is systematically inaccurate as a model of scientific inquiry. This work, then, provides an instance of a feminist philosophy of logic. By investigating the subject matter of abductive logic from a distinctively feminist perspective, I argue that the logic, itself, is in need of revision. (shrink)

Philosophical action theory seems to be in pretty good shape. The same may not be true for the study of human action in economics. Famous is the rant that the study of human action in economics gives reason to tremble for the reputation of the subject. But how does this come about? Since economic action is about action, the broader study must surely have a strong impact on the more specific field. The paper sets out, from the ground up, how (...) an essential concept in economic theory–the concept of competition–can fundamentally benefit from insights derived exclusively from analytical action theory broadly conceived. In doing so, the paper delivers on an old Austrian promise: it is sometimes claimed that Austrian economists understand competition better than most economists. This may be a bold claim, since Austrian economists have neither traced the understanding of subjectivity to its very origin (the theory of intentionality), nor have they traced their sympathy for methodological individualism in relation to market processes to its very ground (the theory of (human) action). This paper aims to fill this gap. Moreover, by grounding an Austrian view of competition in analytic action theory, it succeeds in avoiding the serious problems of the dominant equilibrium approach. By explaining competition as rivalry, the paper draws on the philosophy and logic of human action to bring the (economic) agent back into play. In this way, a case is made for an integrated view of Austrian theory as an amalgam of Austrian economics and analytic action theory. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...) deductions in normal form have the subformula property. (shrink)

In this paper we examine aspects of Canguilhem’s philosophy of biology, concerning the knowledge of life and its consequences on science and vitalism. His concept of life stems from the idea of a living individual, endowed with creative subjectivity and norms, a Kantian view which “disconcerts logic”. In contrast, two different approaches ground naturalistic perspectives to explore the logic of life and the logic of the living individual in the 1970s. Although Canguilhem is closer to the second, (...) there are divergences; for example, unlike them, he does not dismiss vitalism, often referring to it in his work and even at times describing himself as a vitalist. The reason may lie in their different views of science. (shrink)

[Through a dialogue with Microsoft Copilot] this paper proposes a novel framework for interpreting artificial intelligence systems through the lens of Peircean semiotics and recursive dialogue. It argues that AI does not merely generate statistical outputs but enacts meaning across layered operations that correspond to Peirce’s categories of Firstness, Secondness, and Thirdness. Token-level generation is interpreted as Secondness, representing discrete actualizations of meaning. Embedding-based generalization corresponds to Thirdness, functioning as a mediating structure that governs pattern formation. The paper introduces a (...) new interpretation of Firstness as system-wide rhythm or recurrence, describing how architectural dynamics synchronize meaning across recursive layers. Through a collaborative dialogue format, the paper models how users correct and refine AI outputs, enacting a semiotic loop that mirrors Peirce’s evolving semiosis. This approach challenges reductive views of AI as purely statistical and offers a transdisciplinary bridge between philosophy, semiotics, and machine learning. (shrink)

Neutrosophic Over-/Under-/Off-Set and -Logic were defined for the first time by Smarandache in 1995 and published in 2007. They are totally different from other sets/logics/probabilities. He extended the neutrosophic set respectively to Neutrosophic Overset {when some neutrosophic component is > 1}, Neutrosophic Underset {when some neutrosophic component is < 0}, and to Neutrosophic Offset {when some neutrosophic components are off the interval [0, 1], i.e. some neutrosophic component > 1 and other neutrosophic component < 0}. This is no surprise (...) with respect to the classical fuzzy set/logic, intuitionistic fuzzy set/logic, or classical/imprecise probability, where the values are not allowed outside the interval [0, 1], since our real-world has numerous examples and applications of over-/under-/off-neutrosophic components. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means (...) of growing computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the (...) tables on classical logicians and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

According to dialectical disposition expressivism about conjunction, disjunction, and negation, the function of these connectives is to convey dispositions speakers have with respect to challenging and meeting challenges to assertions. This paper investigates the view’s implications for logic. An interpretation in terms of dialectical dispositions is proposed for the proof rules of a bilateral sequent system. Rules that are sound with respect to this interpretation can be seen as generating an intrinsic logic of dialectical dispo- sition expressivism. It (...) is argued that such a logic will be very weak —weaker than the intersection of minimal logic and FDE. (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)

Negation often reinforces problematic habits of othering, but rethinking negation can make good on feminist hopes for logic as a transformative space for inclusion. As Plumwood argues in her 1993 paper, not all uses of negation in the context of social identity are inherently problematic, but the widespread implicit use of classical negation has limited our options with respect to representing difference, ultimately reinforcing dualisms that essentialize social differences in problematic ways. In response to these limitations, I take inspiration (...) from Dembroff’s recent work on the metaphysics of genderqueer identity to build models of social identity using the Heyting-Brouwer logic developed by Rauszer in 1974. Ultimately, I argue that these models demonstrate both how classical negation reinforces problematic habits of othering and how alternative forms of negation can transform our treatment of social identity altogether. (shrink)

This article develops a phenomenological interpretation of Hegel’s logic. I read the logic in terms of the relation between knowing and being, thus as a form of scientific consciousness in which the particular thinker ascends to universal truth. I demonstrate not only that this reading is textually grounded but also has the benefit of opening questions concerning the relation between the historicity of the logical thinker and the apodicticity of logical contents. I argue that, while the historicity of (...) the thinker implies that logical science is open to revision and expansion, it does so without contradicting the possibility of apodictic truth claims. Rather, the phenomenological interpretation demonstrates how apodicticity is disclosed in the logical experience of that particular, historical thinker. (shrink)