The aim of this paper is to clarify the truth-functional interpretation of the logical connective of the material implication. The importance of such clarification lies in the fact that it allows avoiding the supposed paradoxes introduced by C. I. Lewis (1918). I argue that an adequate understanding of the history and purposes of logic is enough to dissolve them away. The defense is based on an exposition of propositional compositionalism. To compare, I also present Stalnaker’s (1968) alternative that (...) seeks to explain the implicit concept of conditionality of conditionals assertions. In order to reinforce my aim I expound the twelve different meanings of ‘implication’ stated by Corcoran (1993) in order to hold that a proper understanding of these meanings allows us to avoid ambiguities and confusions. Finally, I expect to show that despite the possible alternatives, compositionalism is still the best explanation for the truth-functionality account of logical connectives. (shrink)

The so-called materially valid inferences have come to new prominence through the work of Robert Brandom. This paper introduces a fragment of a logic of concepts that does not reduce concepts to their extensions. Concept logic and ist semantics allow us to represent the conceptual knowledge used in material inferences and thus suggests a way to deal with them.

The material conditional and the suppositional analysis of the indicative conditional are based on different philosophical foundations and they leave important successes of their competitor unexplained. This paper unifies both accounts within a truth-functional, trivalent model of the suppositional analysis. In this model, we observe that the material and the suppositional conditional exhibit the same logical behavior while they have different truth conditions and different probabilities. The result is a unified semantic analysis that closes an important gap in (...) the suppositional story and explains the persistent appeal of the material conditional analysis for philosophers and psychologists of reasoning. (shrink)

This inquiry is addressed to two questions: (1) what if any logical relations might exist between the concepts of desire and action (as they and the distinctions to which they commit us are ensconced in ordinary parlance), and (2) what if any causal or significant non-causal (i.e., material) relations might ever exist between instances of desire and action? -/- It is held that any credible move to deal with such questions must initially, and at some length, specify the employment (...) conditions for the terms 'want' and 'desire'. This is accomplished in the first two chapters wherein a set of premises is generated for the argument of the inquiry which is presented in full and concluded in the third and final chapter. Premises generated devolve from treatment of the following major topics: (a) the grammar of 'want' and 'desire', (b) the ontological status of wants, (c) first-person and third-person want ascriptions, (d) the sorts of things which may be desired (desiderabilia), (e) wants and lacks, (f) wants and wishes, (g) the 'conflicts' of desires and reason and desire, (h) four major candidates for logical relations between wants and acts, (i) the issue of causation, and (j) the placement of Desire in an adequate ontology of persons. -/- It is argued that every major candidate for a logical relation between wants and acts (or our warrant for believing that such a connection exists) breaks down upon analysis; that little warrant exists for construing wants as causes of acts; that wants and acts are related in significant non-logical and non-causal (i.e., material) respects; and that any fully adequate theory of human action must undertake ontology, placing the category of Desire squarely in the foreground. This project represents neither a general theory of desire nor a general theory of human action. It is rather conceived as a propaedeutic to any such inquiry. It is essentially revisionist in intent, setting out on the one hand to challenge existing claims about wants and acts and, on the other hand, proposing a more satisfactory approach to the issue. In no sense is it suggested that recent Anglo-American contributions are without merit. It is rather argued that they are often inadequate contributions vis-a-vis the larger requirements for an adequate theory of human action. (shrink)

This is the first of a series of four papers presenting modal logic as a branch of material, rather than merely formal, logic.

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. (...) The argument view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (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)

The paradox of material implication has remained unresolved since antiquity because it was believed that the nature of implication was entailment. The article shows that this nature is opposition and therefore the name "implication" should be replaced with the name "competition". A solution to the paradox is provided along with appropriate changes in nomenclature, the addition of connectives and the postulate that the biconditional take over the role of the previous implication. In addition, changes to the nomenclature of (...) class='Hi'>logic gates reflecting the competition in electronics are proposed. (shrink)

According to traditional logical expressivism, logical operators allow speakers to explicitly endorse claims that are already implicitly endorsed in their discursive practice — endorsed in virtue of that practice’s having instituted certain logical relations. Here, I propose a different version of logical expressivism, according to which the expressive role of logical operators is explained without invoking logical relations at all, but instead in terms of the expression of discursive-practical attitudes. In defense of this alternative, I present a deflationary account of (...) the expressive role of vocabulary by which we ascribe logical relations. (shrink)

Lee Archie argued that if any truth-values are consistently assigned to a natural language conditional, where modus ponens and modus tollens are valid argument forms, and affirming the consequent is invalid, this conditional will have the same truth-conditions as a material implication. This argument is simple and requires few and relatively uncontroversial assumptions. We show that it is possible to extend Archie’s argument to three- and five-valued logics and vindicate a slightly weaker conclusion, but one that is still important: (...) Even if you do not believe in bivalence and the classical negation operator, you would still have good reasons to accept that natural language conditionals and the material implication share truth-conditions. (shrink)

Buddhist philosophers have developed a rich tradition of logic. Buddhist material on logic that forms the Buddhist tradition of logic, however, is hardly discussed or even known. This article presents some of that material in a manner that is accessible to contemporary logicians and philosophers of logic and sets agendas for global philosophy of logic.

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

This article takes off from Johan van Benthem’s ruminations on the interface between logic and cognitive science in his position paper “Logic and reasoning: Do the facts matter?”. When trying to answer Van Benthem’s question whether logic can be fruitfully combined with psychological experiments, this article focuses on a specific domain of reasoning, namely higher-order social cognition, including attributions such as “Bob knows that Alice knows that he wrote a novel under pseudonym”. For intelligent interaction, it is (...) important that the participants recursively model the mental states of other agents. Otherwise, an international negotiation may fail, even when it has potential for a win-win solution, and in a time-critical rescue mission, a software agent may depend on a teammate’s action that never materializes. First a survey is presented of past and current research on higher-order social cognition, from the various viewpoints of logic, artificial intelligence, and psychology. Do people actually reason about each other’s knowledge in the way proscribed by epistemic logic? And if not, how can logic and cognitive science productively work together to construct more realistic models of human reasoning about other minds? The paper ends with a delineation of possible avenues for future research, aiming to provide a better understanding of higher-order social reasoning. The methodology is based on a combination of experimental research, logic, computational cognitive models, and agent-based evolutionary models. (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)

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)

For the OK, there is in fact no opposition between the logical and the material or the spiritual: reality is a formless logical substance. Representation is morphogenesis and the terms 'material' and 'spiritual' only denote categories of morphogenesis. Our constant experience shows us that spiritual and material interact. The border between understanding and becoming, between meaning and act, which seems trivial to us, is elusive when we try to approach it. For example: when the subject follows the (...) object of his attention with his gaze, where to draw the line between material and spiritual ? Representation is morphogenesis and the OK uses the term 'horizon', not to separate the material from the spiritual, but to distinguish the formless from the representable, the unspeakable from the speakable. For the OK the speakable is not 'something else' than the unspeakable, it is a mode of order: The rainbow is not 'an other thing' than rain, light, sun, the walk that brought me here and now, my sense of vision, my culture etc ... all this unspeakable set of logical interdependencies from which emerges, for me subject, the meaning of the rainbow. And above all, this horizon is not 'in my mind'. The ordaining of the unspeakable is not carried out 'by my understanding'. The emergence of the meaning from the unspeakable logic is not happening 'in' and 'by' my mind. On the contrary, it is a process of pure logic*, a progressive aglomeration of interdependance, which makes the subject emerge as a representation of the world and of his own existence. The logical transcends the Existing. This is the key to understanding this article: We have not left the Garden of Eden. The representation is not 'overhanging' the world, it is 'the' world. Representation is not "grasping form" but "morphogenesis", not as "attribution of form" but as "necessary ordering mode of logical reality". Common sense (including science and logic) does not represent reality, it emerges from it in the form of modes of order of reality, of logic. My representation of this white stone is not 'something else' than the unspeakable logic from which the meaning of 'white stone' emerges for me, it is only a mode of order. There are no "other things" than the things which represent themselves in me and which are modes of order. The Existing is representation. Existence is a mode of order *. The amorphous logical "substance" precedes (transcends) its representation. The logical transcends logic. (shrink)

This paper reviews four leading strategies for addressing the problem of material constitution, along with some of the prominent objections faced by each approach. Sections include (1) "The Orthodox View: Coincident Objects," (2) "Dominant Kinds," (3) "Nihilism," (4) "Revising the Logic of Identity," and (5) "Future Research." Also included is an annotated bibliography.

In this article I attempt to overcome extant obstacles in deriving fundamental, objective and logically deduced definitions of personhood and their rights, by introducing an a priori paradigm of beings and morality. I do so by drawing a distinction between entities that are sought as ends and entities that are sought as means to said ends. The former entities, I offer, are the essence of personhood and are considered precious by observers possessing a logical system of valuation. The latter entities (...) – those sought only as a means to an end – I term ‘materials.’ Materials are sought for their conditional value: Important for achieving sought ends, they are not considered precious in and of themselves. A normative system for how this dichotomy of entities should interact is consequently derived and introduced. This paradigm has applicability for modern humanism and beyond. Assuming societal technological progression whereby human bodies and their surrounding infrastructures continue to evolve and integrate, the distinction between beings and their supporting materials, and a moral code for their interactions, will become ever more relevant. (shrink)

The material account proposes that indicative conditionals are material, but it is widely believed that this account cannot be applied to subjunctive conditionals. There are three reasons for this consensus: (1) the concern that most subjunctive conditionals would be vacuously true if they were material, which seems implausible; (2) the inconsistency with Adams pair, which suggests that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that the possible world theories are a superior alternative (...) to the material account. In this paper, I will argue against (1) by showing that the counterintuitive aspects of vacuously true conditionals can be explained away in a consistent manner, regardless of whether they are indicative or subjunctive. I will support this argument by demonstrating that the positive arguments for the material account of indicatives also apply to subjunctives. I will counter (2) by explaining the Adams pair as logically equivalent conditionals that may be appropriate at different times, depending on the speaker’s epistemic situation. Finally, I will challenge (3) by arguing that the possible world account faces insurmountable issues and that a comprehensive material account of both indicatives and subjunctives is ultimately a more elegant solution. (shrink)

Just started a new book. The aim is to establish a science of knowledge in the same way that we have a science of physics or a science of materials. This might appear as an overly ambitious, possibly arrogant, objective, but bear with me. On the day I am beginning to write it–June 7th, 2020–, I think I am in possession of a few things that will help me to achieve this objective. Again, bear with me. My aim is well (...) reflected in the title I chose (just now) for this book: Knowledge & Logic: Towards a science of knowledge. Its most important feature is that I shall take logic to be to knowledge science as calculus is to physics or to materials science. I do not intend to reclaim knowledge from the bosom of philosophy, in which, known as epistemology its erudite discussion has hardly progressed since Plato first defined it as true belief with logos. With only a few adjustments, it will actually provide me with the right, science-bound start. More recently, knowledge has been reclaimed by the field of BA, a reclaim that has opened the box of Pandora: Among the evils, and perhaps at the head of the list, is an overly lay, essentially naive, notion of knowledge. But the very idea that one can have something like “knowledge (management) software” puts us on the right track. (shrink)

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes of (...) tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

Where Humeans rule out the possibility of material or non-logical necessity, and thus of any associated knowledge a priori, the German legal philosopher Adolf Reinach defends the existence of a wide class of material necessities falling within the domain of what can be known a priori, for example in fields such as color and shape, rational psychology, law and economics. Categories such as promise or claim or obligation are, in Reinach’s view, exist as nodes in a system of (...) necessary relations, so that anyone who has experience of relevant instances of these categories is implicitly aware also of a corresponding family of relations to certain other categories – as for example that every promise implies a mutually correlated claim and obligation. Midway between the two extremes of Hume and Reinach stands Searle, who accepts necessary relations of the mentioned sorts, but sees them as human creations, following from ‘constitutive rules’ analogous to the rules of chess. We seek to demonstrate that Searle does not occupy a stable and acceptable half-way house between Hume and Reinach; that he, too, if he is to do justice to the very constitutive rules which form the center of his approach, must on pain of circularity embrace something like the Reinachian position. (shrink)

An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...) a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.11 This essay offers a more precise exposition of some of the material discussed in the first two chapters of my dissertation (Stovall Citation2015a). These ideas developed in the context of a working group on non-monotonic logic run by Robert Brandom, and they were subsequently clarified through the work of Nissim Francez (particularly Francez Citation2015). I am indebted to many people for feedback and criticism on this essay, though I am sure none among them would agree with everything I say and do here. I would particularly like to thank Brandom, Francez, Ulf Hlobil, Daniel Kaplan, Jared Millson, Bernhard Nickel, Jaroslav Peregrin, Jeffry Pelletier, Thomas Ricketts, Mark Risjord, Shawn Standefer, and two reviewers for this journal. Work on this essay was supported by the joint Lead-Agency research grant between the Austrian Science Foundation (FWF) and the Czech Science Foundation (GAČR), Inferentialism and Collective Intentionality, GF17-33808L. It was substantially revised prior to its final submission. (shrink)

Note: The author holds the copyright, and there was no agreement, express or implied, not to use a facsimile PDF. -/- Using erotetic logic, the paper defines the "the whole truth" in a manner consistent with U.S. Supreme Court precedent. It cannot mean "the whole story," as witnesses in an adversary system are permitted /only/ to answer the questions put to them, nor are they permitted to speculate, add irrelevant material, etc. Nor can it mean not to add (...) an admixture of falsity, as that is already included in "nothing but the truth," and, strictly speaking, in "the truth," as any such as admixture renders the whole thing false (given bivalence is presupposed) by &-introduction. (shrink)

This paper reconstructs the American reception of logical positivism in the early 1930s. I argue that Moritz Schlick (who had visiting positions at Stanford and Berkeley between 1929 and 1932) and Herbert Feigl (who visited Harvard in the 1930-31 academic year) played a crucial role in promoting the *Wissenschaftliche Weltauffassung*, years before members of the Vienna Circle, the Berlin Group, and the Lvov-Warsaw school would seek refuge in the United States. Building on archive material from the Wiener Kreis Archiv, (...) the Harvard University Archives, and the Herbert Feigl Papers, as well as a large number of publications in American philosophy journals from the early 1930s, I reconstruct the subtle transformation of the American philosophical landscape in the years immediately preceding the European exodus. I argue that (1) American philosophical discussions about meaning and significance and (2) internal dynamics in the Vienna Circle between 1929 and 1931 significantly impacted the way in which US philosophers came to perceive logical positivism. (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)

A lean hylomorphism stands as a metaphysical holy grail. An embarrassing feature of traditional hylomorphic ontologies is prime matter. Prime matter is both so basic that it cannot be examined (in principle) and its engagement with the other hylomorphic elements is far from clear. One particular problem posed by prime matter is how it is to be understood both as a principle of individuation for material substances and as pure potency. I present Thomas Aquinas’s way of squeezing some intelligibility (...) out of prime matter by modeling it on the idea of logical genus. Such a modeling provides insight into understanding prime matter as substratum, as maximally indeterminate, and as ontologically vague. One of the unusual but exciting things that fall out from this analysis of prime matter is the Entirety Thesis: “For any substance x, if x has prime matter then the prime matter of x is the same* as x,” where ‘same*’ is understood as “indeterminately identical.”. (shrink)

By a reasoned change in logic I mean a change in the logic with which you make inferences that is based on your evidence. An argument sourced in recently published material Kripke lectured on in the 1970s, and dubbed the Adoption Problem by Birman (then Padró) in her 2015 dissertation, challenges the possibility of reasoned changes in logic. I explain why evidentialists should be alarmed by this challenge, and then I go on to dispel it. The (...) Adoption Problem rests on a failure to distinguish between logical principles such as Universal Instantiation and Modus Ponens which might or might not govern your inferences with superficially similar laws which must govern your cognitive architecture. (shrink)

Putnam, Hilary FPhilosophy of logic. Harper Essays in Philosophy. Harper Torchbooks, No. TB 1544. Harper & Row, Publishers, New York-London, 1971. v+76 pp. The author of this book has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely (...) correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that consistent acceptance of contemporary science requires the acceptance of some sort of Platonistic idealism affirming the existence of abstract, non-temporal, non-material, non-mental entities (numbers,scientific laws, mathematical formulas, etc.). The author is thus in direct opposition to the extreme materialism which had dominated philosophy of science in the first three quarters of this century. the book can be especially recommended to the scientifically literate, general reader whose acquaintance with these areas is limited to the earlier literature of when it had been assumed that empiricistic materialism was the only philosophy compatible with a scientific outlook. To this group the book presents an eye-opening challenge fulfilling the author’s intention of “shaking up preconceptions and stimulating further discussion”. (shrink)

Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.

Ned Markosian has recently defended a new theory of composition, which he calls regionalism : some material objects xx compose something if and only if there is a material object located at the fusion of the locations of xx. Markosian argues that regionalism follows from what he calls the subregion theory of parthood. Korman and Carmichael agree. We provide countermodels to show that regionalism does not follow from, even together with fourteen potentially implicit background principles. We then show (...) that regionalism does follow from five of those background principles together with and two additional principles connecting parthood and location, which we call and. While the additional principles are not uncontroversial, our conjecture is that many will find them attractive. We conclude by mentioning that fills a previously unnoticed gap in the formal theory of location presented in Parsons. (shrink)

This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that (...) it is equivalent to the collapse of the counterfactual into the material conditional---which is itself equivalent to the modal logic TRIV. TRIV is consistent, from which it follows that maximalism is, surprisingly, consistent. I close by arguing that stating the limit assumption requires a higher-order logic. (shrink)

Adam Rieger (2013) has carried out a survey of arguments in favour of the material account of indicative conditionals. These arguments involve simple and direct demonstrations of the material account. I extend the survey with new arguments and clarify the logical connections among them. I also show that the main counter-examples against these arguments are not successful either because their premises are just as counter-intuitive as the conclusions, or because they depend on contextual fallacies. The conclusion is that (...) the unpopularity of the material account is unjustified and that a more systematic approach in the analysis of arguments is long overdue in our attempts to understand the nature of conditionals. (shrink)

The dearth of resources inherent in the study of Logic effected and affected by lack of reading materials, the financial constraints characteristic of the plight of students, the utter difficulty in teaching the subject shorthanded by write-then-explain method, made possible this undertaking. This text is a compilation of scholarly works by noted logicians that have made their way through publication. This work pales in comparison to their works and no deliberate efforts were made to water-down portions of their book (...) that were not included herein. I beg one favor of my readers that this endeavor should not be interpreted as mimicry, instead as compilation with the purpose of putting together brilliant works for enlightenment of the young. Mere mention of the names of the authors that I have used in this project is not even Commensurate to the efforts they have laid. Notwithstanding this fact, it is out of deference and admiration that pages for bibliography are allotted. It is fervently prayed for that this work will ease the difficulty of comprehension on the part of students and likewise facilitate instruction because of its rudimentary and comprehensive substance. (shrink)

Dewey’s book is the first systematic attempt at a pragmatistic logic (since the work of Peirce). Because of the ambiguity of the concept of pragmatism, the author rejects the concept in general. But, if one interprets pragmatism correctly, then this book is ‘through and through Pragmatistic’. What he understands as ‘correct’ will become clear in the following account. The book takes its subject matter far beyond the traditional works on logic. It is a material logic first (...) in the sense that the matter of logic (the ‘objects’, that with which logical thought has to do) is thoroughly included in the cycle of investigation, and logical ‘forms’ are discussed only in their constitutional connection with this .. (shrink)

The infinite judgement has long been forgotten and yet, as I am about to demonstrate, it may be urgent to revive it for its critical and productive potential. An infinite judgement is neither analytic nor synthetic; it does not produce logical truths, nor true representations, but it establishes the genetic conditions of real objects and the concepts appropriate to them. It is through infinite judgements that we reach the principle of transcendental logic, in the depths of which all reality (...) can emerge in its material and sensible singularity, making possible all generalization and formal abstraction. (shrink)

이 책자는 형식 논리의 일종인 양상논리에 입문하고 싶으신 분들을 위한 짧은 교재입니다. “양상논리 맛보기” 라는 말마따나, 이 책자는 양상논리에 관심은 있지만 아직 본격적으로 공부를 시작하진 않은 분들께서 ‘맛보기’를 하기에 적합한 안내 책자입니다. 아무쪼록 이 책자가 양상논리를 공부해나가시는데 유용한 첫 발판이 될 수 있기를 바랍니다. / This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on (...) Robert Trueman's A Modal Logic Primer, which is revised and expanded by Richard Zach and Aaron Thomas-Bolduc in forall x: Calgary. (forall x: Calgary is based on forall x: Cambridge by Tim Button, which is in turn based on forall x by P. D. Magnus, and also includes material from forall x: Lorain County Remix by Cathal Woods and J. Robert Loftis.) This booklet is licensed under a Creative Commons Attribution 4.0 license. (shrink)

By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.

Tong Shijun holds a concept of dialectics which can also be found in Mao’s writings and in classical Chinese philosophy. Tong, however, is ambivalent in his attitude to dialectics in this sense, and for this reason he recommends Chinese philosophy to focus more on formal logic. My point will be that with another concept of dialectics Tong can have dialectics without giving up on logic and epistemology. This argument is given substance by an analysis of texts by Mao, (...) Tong and Hegel. (shrink)

While there is considerable disagreement on the precise nature of material objecthood, it is standardly assumed that material objects must be spatial. In this paper, I provide two arguments against this assumption. The first argument is made from largely a priori considerations about modal plenitude. The possibility of non-spatial material objects follows from commitment to certain plausible principles governing material objecthood and plausible principles regarding modal plenitude. The second argument draws from current philosophical discussions regarding theories (...) of quantum gravity and the emergence of spacetime. When it is appreciated what possible worlds these current theories commit us to, the possibility of non-spatial material objects will follow. Thus, either route will lead us to the possibility of non-spatial material objects. The significance of this result is that we need to revise our accounts of material objecthood to both accommodate these possibilities and the theories that lead to them. (shrink)

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.

The logic of soku-hi is presented as an articulation of a post-Kantian view of reality that embraces the truths of science with the assumption of the transcendental subject. As such, soku-hi represents the philosophical posture of both the secular Zen of the Kyoto School and the new materialists of contemporary continental philosophy. It describes how material reality is not all even though there is nothing else.

Modern science generally assumes that the same laws of logic apply to mechanical, chemical and biological entities alike because they are all ultimately material objects. This may seem to be so obvious that there would be no need to validate it -- experimentally or logically. In this article we would like to critically examine this assumption and show that from an experiential/observational level, as well as from a rational/logical level, it is not valid. This becomes apparent, for instance, (...) when we consider the simple observation in which we distinguish animate from inanimate objects: those objects that seem to spontaneously move themselves and those that move only when impelled by some applied force outside or beyond the object. This distinction may be valid at the macroscopic level more than at the level of theoretical atomic particles. Thus the detailed nature of spontaneous movement must also be understood. (shrink)

Proposition are the material of our reasoning. Proposition are the basic building blocks of the world/thought. Proposition have intense relation with the world. World is a series of atomic facts and these facts are valued by the proposition although sentences explain the world of reality but can’t have any truth values, only proposition have truth values to describe the world in terms of assertions. Propositions are truth value bearers, the only quality of proposition is truth & falsity, that they (...) are either true or false. Proposition mirrors the world and explains how world is arranged in an orderly manner. It scans the world(object) and are composed of atomic facts experienced and can be analyzed into propositions. Propositions are the basic units of logic. The truth (affirm) and falsity (nego) are the qualities of the propositions and universality (generality) and Particularity are the quantities of the propositions. There are propositions which are neither true nor false, they are called Pseudo-Propositions and their quality are ipso-facto i.e meaningless. Propositions are used in computers with the modifications brought by the modern logicians in the form of statements or logical sentences. The truth table of the logical gates and binary operations (1,s or 0,s are due to the revolution of the modern logic or mathematical logic. It is a fact that proposition cannot change the word but it shows the relation between the object and of the word. Objectives: The objectives of this research is to explore the importance and need of propositions in logic. It also shows the analysis of propositions and how a philosopher thoughts in terms of propositions or concepts. In this research problem it is shown that propositions had been described in many ways by most of the philosophers and logicians from Aristotle to contemporary philosophers. It also analysis the contribution of the philosophers towards proposition and its relation to the world of reality. This research also describes the definition and nature of proposition. (shrink)

[Winner of the 2017 AILACT Essay Prize Prize.] I argue against the skeptical epistemological view exemplified by the Groarkes that “all theories of informal argument must face the regress problem.” It is true that in our theoretical representations of reasoning, infinite regresses of self-justification regularly and inadvertently arise with respect to each of the RSA criteria for argument cogency (the premises are to be relevant, sufficient, and acceptable). But they arise needlessly, by confusing an RSA criterion with argument content, usually (...) premise material. (shrink)

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is valid when (...) it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples. (shrink)

We reconstruct as much as we can the part of al-Fārābī's treatment of modal logic that is missing from the surviving pages of his Long Commentary on the Prior Analytics. We use as a basis the quotations from this work in Ibn Sīnā, Ibn Rushd and Maimonides, together with relevant material from al-Fārābī's other writings. We present a case that al-Fārābī's treatment of the dictum de omni had a decisive effect on the development and presentation of Ibn Sīnā's (...) modal logic. We give further evidence that the Harmonisation of the Opinions of Plato and Aristotle was not written by al-Fārābī. (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

[Winner of the 2017 AILACT Essay Prize Prize.] I argue against the skeptical epistemological view exemplified by the Groarkes that “all theories of informal argument must face the regress problem.” It is true that in our theoretical representations of reasoning, infinite regresses of self-justification regularly and inadvertently arise with respect to each of the RSA criteria for argument cogency (the premises are to be relevant, sufficient, and acceptable). But they arise needlessly, by confusing an RSA criterion with argument content, usually (...) premise material. (shrink)