View topic on PhilPapers for more information
Related categories

182 found
Order:
More results on PhilPapers
1 — 50 / 182
Material to categorize
  1. The (Greatest) Fragment of Classical Logic That Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework).Damian E. Szmuc - 2021 - Bulletin of the Section of Logic 50 (4):421-453.
    We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Embedding Classical Logic in S4.Sophie Nagler - 2019 - Dissertation, Munich Center for Mathematical Philosophy (MCMP), LMU Munich
    In this thesis, we will study the embedding of classical first-order logic in first-order S4, which is based on the translation originally introduced in Fitting (1970). The initial main part is dedicated to a detailed model-theoretic proof of the soundness of the embedding. This will follow the proof sketch in Fitting (1970). We will then outline a proof procedure for a proof-theoretic replication of the soundness result. Afterwards, a potential proof of faithfulness of the embedding, read in terms of soundness (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Semantyczna teoria prawdy a antynomie semantyczne [Semantic Theory of Truth vs. Semantic Antinomies].Jakub Pruś - 2021 - Rocznik Filozoficzny Ignatianum 1 (27):341–363.
    The paper presents Alfred Tarski’s debate with the semantic antinomies: the basic Liar Paradox, and its more sophisticated versions, which are currently discussed in philosophy: Strengthen Liar Paradox, Cyclical Liar Paradox, Contingent Liar Paradox, Correct Liar Paradox, Card Paradox, Yablo’s Paradox and a few others. Since Tarski, himself did not addressed these paradoxes—neither in his famous work published in 1933, nor in later papers in which he developed the Semantic Theory of Truth—therefore, We try to defend his concept of truth (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. One-Step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
    This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. The Open Future: Why Future Contingents Are All False.Patrick Todd - 2021 - Oxford: Oxford University Press.
    This book launches a sustained defense of a radical interpretation of the doctrine of the open future. Patrick Todd argues that all claims about undetermined aspects of the future are simply false.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. A Formal-Logical Approach to the Concept of God.Ricardo Sousa Silvestre - 2021 - Manuscrito. Revista Internacional de Filosofia 44 (4):224-260.
    In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Meaningless Divisions.Damian Szmuc & Thomas Macaulay Ferguson - 2021 - Notre Dame Journal of Formal Logic 62 (3):399-424.
    In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some notions, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Inner-Model Reflection Principles.Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, Joel David Hamkins, Jonas Reitz & Ralf Schindler - 2020 - Studia Logica 108 (3):573-595.
    We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Três Vezes Não: Um Estudo Sobre as Negações Clássica, Paraconsistente e Paracompleta.Kherian Gracher - 2020 - Dissertation, Federal University of Santa Catarina
    Could there be a single logical system that would allow us to work simultaneously with classical, paraconsistent, and paracomplete negations? These three negations were separately studied in logics whose negations bear their names. Initially we will restrict our analysis to propositional logics by analyzing classical negation, ¬c, as treated by Classical Propositional Logic (LPC); the paraconsistent negation, ¬p, as treated through the hierarchy of Paraconsistent Propositional Calculi Cn (0 ≤ n ≤ ω); and the paracomplete negation, ¬q, as treated by (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. A Recovery Operator for Nontransitive Approaches.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Review of Symbolic Logic 13 (1):80-104.
    In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  11. "If-Then" as a Version of "Implies".Matheus Silva - manuscript
    Russell’s role in the controversy about the paradoxes of material implication is usually presented as a tale of how even the greatest minds can fall prey of basic conceptual confusions. Quine accused him of making a silly mistake in Principia Mathematica. He interpreted “if- then” as a version of “implies” and called it material implication. Quine’s accusation is that this decision involved a use-mention fallacy because the antecedent and consequent of “if- then” are used instead of being mentioned as the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. A Contextualist Defence of the Material Account of Indicative Conditionals.Matheus Silva - manuscript
    The material account of indicative conditionals faces a legion of counterexamples that are the bread and butter in any entry about the subject. For this reason, the material account is widely unpopular among conditional experts. I will argue that this consensus was not built on solid foundations, since these counterexamples are contextual fallacies. They ignore a basic tenet of semantics according to which when evaluating arguments for validity we need to maintain the context constant, otherwise any argumentative form can be (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. In Defence of Extensional Evidence.Matheus Silva - manuscript
    Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, is not the truth values of its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Subjunctive Conditionals Are Material.Matheus Silva - manuscript
    The material account claims that indicative conditionals are material. However, the conventional wisdom even among material account enthusiasts is that the material account cannot be extended to subjunctive conditionals. There are mainly three reasons that motivate this consensus: (1) the belief that if subjunctives were material, most subjunctive conditionals would be vacuously true, which is implausible; (2) its inconsistency with Adams pair, which suggest that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that it is an (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Indicative Conditionals Are Material - Expanding the Survey.Matheus Martins Silva - manuscript
    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 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic. 2nd Ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. Formal Logic: Classical Problems and Proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Jacek Malinowski & Walter Carnielli (eds.), Contradictions, from Consistency to Inconsistency. Springer Verlag.
    Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   18 citations  
  19. Substructural Logics, Pluralism and Collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2018 - Synthese 198 (Suppl 20):4991-5007.
    When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  20. Rumfitt on Truth-Grounds, Negation, and Vagueness.Richard Zach - 2018 - Philosophical Studies 175 (8):2079-2089.
    In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. The Truth Functional Hypothesis Does Not Imply the Liars Paradox.M. Martins Silva - 2017 - Unisinos Journal of Philosophy 17 (3):1-2.
    The truth-functional hypothesis states that indicative conditional sentences and the material implication have the same truth conditions. Haze (2011) has rejected this hypothesis. He claims that a self-referential conditional, coupled with a plausible assumption about its truth-values and the assumption that the truth-functional hypothesis is true, lead to a liar’s paradox. Given that neither the self-referential conditional nor the assumption about its truth-values are problematic, the culprit of the paradox must be the truth-functional hypothesis. Therefore, we should reject it. In (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. In Defense of Brogaard-Salerno Stricture.Matheus Silva - 2017 - The Reasoner 11 (7):42.
    Brogaard and Salerno (2008) argued that counter-examples to contraposition, strengthening the antecedent, and hypothetical syllogism involving subjunctive conditionals only seem to work because they involve a contextual fallacy where the context assumed in the premise(s) is illicitly shifted in the conclusion. To avoid such counter-examples they have proposed that the context must remain fixed when evaluating an argument for validity. That is the Brogaard-Salerno Stricture. Tristan Haze (2016), however, has recently objected that intuitively valid argumentative forms such as conjunction introduction (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  23. Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication.John Corcoran - 2008 - Bulletin of Symbolic Logic 14 (4):435-6.
    Iffication, Preiffication, Qualiffication, Reiffication, and Deiffication. -/- Roughly, iffication is the speech-act in which—by appending a suitable if-clause—the speaker qualifies a previous statement. The clause following if is called the qualiffication. In many cases, the intention is to retract part of the previous statement—called the preiffication. I can retract part of “I will buy three” by appending “if I have money”. This initial study focuses on logical relations among propositional contents of speech-acts—not their full conversational implicatures, which will be treated (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. INFORMATION-THEORETIC LOGIC.John Corcoran - 1998 - In C. Martínez U. Rivas & L. Villegas-Forero (eds.), Truth in Perspective edited by C. Martínez, U. Rivas, L. Villegas-Forero, Ashgate Publishing Limited, Aldershot, England (1998) 113-135. ASHGATE. pp. 113-135.
    Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   20 citations  
  25. SEPTEMBER 2015 UPDATE CORCORAN ARISTOTLE BIBLIOGRAPHY.John Corcoran - forthcoming - Aporia 5.
    This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in 2015. (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Surprises in Logic.John Corcoran & William Frank - 2013 - Bulletin of Symbolic Logic 19 (3):253.
    JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. Expressing Set-Size Equality.John Corcoran & Gerald Rising - 2015 - Bulletin of Symbolic Logic 21 (2):239.
    The word ‘equality’ often requires disambiguation, which is provided by context or by an explicit modifier. For each sort of magnitude, there is at least one sense of ‘equals’ with its correlated senses of ‘is greater than’ and ‘is less than’. Given any two magnitudes of the same sort—two line segments, two plane figures, two solids, two time intervals, two temperature intervals, two amounts of money in a single currency, and the like—the one equals the other or the one is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. Second-Order Logic.John Corcoran - 2001 - In M. Zeleny (ed.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. KLUKER. pp. 61–76.
    “Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  29. CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION.John Corcoran - 1999 - In Robert Audi (ed.), The Cambridge Dictionary of Philosophy. CAMBRIDGE UP. pp. 65-941.
    Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Compositionality and Modest Inferentialism.James Trafford - 2014 - Teorema: International Journal of Philosophy (1):39-56.
    This paper provides both a solution and a problem for the account of compositionality in Christopher Peacocke’s modest inferentialism. The immediate issue facing Peacocke’s account is that it looks as if compositionality can only be understood at the level of semantics, which is difficult to reconcile with inferentialism. Here, following up a brief suggestion by Peacocke, I provide a formal framework wherein compositionality occurs the level of the determining relation between inference and semantics. This, in turn provides a “test” for (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Aristotle's Modal Syllogisms.Fred Johnson - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the History of Logic. Elsevier. pp. 1--247.
    McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. An Introduction to Ontology.Barry Smith - 1998 - In Donna Peuquet, Barry Smith & Berit O. Brogaard (eds.), The Ontology of Fields: Report of the Specialist Meeting held under the auspices of the Varenius Project. National Center for Geographic Information and Analysis. pp. 10-14.
    Analytical philosophy of the last one hundred years has been heavily influenced by a doctrine to the effect that one can arrive at a correct ontology by paying attention to certain superficial (syntactic) features of first-order predicate logic as conceived by Frege and Russell. More specifically, it is a doctrine to the effect that the key to the ontological structure of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of first-order logic, where ‘F’ (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. What Are Logical Notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
    In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   188 citations  
  34. Extended Gergonne Syllogisms.Fred Johnson - 1997 - Journal of Philosophical Logic 26 (5):553-567.
    Syllogisms with or without negative terms are studied by using Gergonne's ideas. Soundness, completeness, and decidability results are given.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. Three-Membered Domains for Aristotle's Syllogistic.Fred Johnson - 1991 - Studia Logica 50 (2):181 - 187.
    The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  36. Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   14 citations  
Aristotelian Logic
  1. Some Pioneering Formal Reconstructions of Diodorus' Master Argument.Vladimir Marko - 1999 - Logica Et Methodologica 5:67-111.
    The article deals with some current pioneering formal reconstructions and interpretations of the problem well known in antiquity as The Master Argument. This problem is concerning with enrichment of formal logical systems with modal and temporal notions. The opening topic is devoted to reconstruction of Arthur Prior. while the other here included approach to the problem arc mostly reactions. revisions or additions to this one.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Is There A Logic of the Ineffable? Or, How Is It Possible to Talk About the Unsayable?Stephen R. Palmquist - 2017 - In Nahum Brown & J. Aaron Simmons (eds.), Contemporary Debates in Negative Theology and Philosophy. Springer. pp. 71-80.
    This chapter defends a single, fixed, definite answer to the question: Is there a logic that governs the unsayable? The proposed answer is: “Yes, and no. Or yes-but-not-yes. And/or yes-no.” Each component of this answer is examined and used to generate three laws of what I call “synthetic logic”, which correspond directly to the laws of classical (Aristotelian) logic: the law of contradiction (“A=-A”), the law of non-identity (“A≠A”), and the law of the included middle (“-(Av-A)”). We can talk about (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Em direção a uma tradicão inferencialmente expressivista da silogística.Aislan Pereira - 2019 - Dissertation, UFPB, Brazil
    The work of this dissertation, in a broad sense, seeks to rescue what may be in the original project or nucleus of philosophy, from its Socratic arising: the idea of elucidative rationality. This rationality is aimed at expressing our practices in a way that can be confronted with objections and alternatives. The notion of expression is central to this rationality. This centrality is elucidated by the contemporary philosopher Brandom (1994, 2000, 2008a, 2013), from his view of the semantic inferentialism. With (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. An Arithmetization of Logical Oppositions.Fabien Schang - 2016 - In Jean-Yves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Bâle, Suisse: pp. 215-237.
    An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Trespassers and Existential Import.Kai‐Yee Wong & Chi‐Ho Hung - 2019 - Thought: A Journal of Philosophy 8 (1):57-62.
    It is a received view of the post-Fregean predicate logic that a universal statement has no existential import and thus does not entail its particular (existential) counterpart. This paper takes issue with the view by discussing the trespasser case, which has widely been employed for supporting the view. The trespasser case in fact involves a shift of context. Properly understood, the case provides no support for the received view but rather suggests that we rethink the ‘quantity view’ of the existential (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. Aristotle's Logic.Paul The Persian - 2016 - Tehran: Parsi Anjoman.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Review of Shukri B. Abed, Aristotelian Logic and Arabic Language in Alfārābī.Hossein Ziai - 1991 - International Journal of Middle Eastern Studies 24 (4):708-711..
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. A Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism.Zia Movahed - 2009 - Sophia Perennis 1:5-22.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
    The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original text than other such reconstructions brought forward up to now. To accomplish this, we will not use classical logic, but a novel system developed by Ben-Yami [2014. ‘The quantified argument calculus’, The Review of Symbolic Logic, 7, 120–46] called ‘QUARC’. This system is apt for a more adequate reconstruction (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Aristotle’s Argument From Truth in Metaphysics Γ 4.Graham Clay - 2019 - Analysis 79 (1):17-24.
    Some of Aristotle’s statements about the indemonstrability of the Principle of Non-Contradiction (PNC) in Metaphysics Γ 4 merit more attention. The consensus seems to be that Aristotle provides two arguments against the demonstrability of the PNC, with one located in Γ 3 and the other found in the first paragraph of Γ 4. In this article, I argue that Aristotle also relies upon a third argument for the same conclusion: the argument from truth. Although Aristotle does not explicitly state this (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Opuscula Logica. 2. The Tripropositional Bivalent Level (3L2) and its Relationship with the Aristotelic Syllogistic.Gabriel Garduño-Soto - 2008 - Mexico, DF, MEXICO: Author's edition.
    In this fragment of Opuscula Logica it is displayed an arithmetical treatment of the aristotelic syllogisms upon the previous interpretations of Christine Ladd-Franklin and Jean Piaget. For the first time, the whole deductive corpus for each syllogism is presented in the two innovative modalities first proposed by Hugo Padilla Chacón. A. The Projection method (all the possible expressions that can be deduced through the conditional from a logical expression) and B. The Retrojection method (all the possible valid antecedents or premises (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. Aristoteles’te abese irca yöntemiyle ispatlama.Murat Kelikli - 2013 - Kutadgubilig Felsefe-Bilim Araştırmaları Dergisi 23:91-105.
    Redictio ad absurdum is an important part of Aristotle’s syllogistic. It is connected with direct proof and they are complementary methods. All moods of Aristotle are provable by direct methods and redictio ad absurdum. In this paper, I have studied on the bases and principles of redictio ad absurdum, I showed how to prove by redictio ad absurdum, and how to prove Aristotle by redictio ad absurdum. By redictio ad absurdum, all forms of Aristotle’s method proved in the first figure (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 182