Results for 'syllogistic'

570 found
Order:
  1.  11
    Robert Hanna.Charles J. Kelly Syllogistic - 1986 - The Monist 69 (2).
  2. Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
    ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   12 citations  
  3. Remarks on Axiomatic Rejection in Aristotle’s Syllogistic.Piotr Kulicki - 2002 - Studies in Logic and Theory of Knowledge 5:231-236.
    In the paper we examine the method of axiomatic rejection used to describe the set of nonvalid formulae of Aristotle's syllogistic. First we show that the condition which the system of syllogistic has to fulfil to be ompletely axiomatised, is identical to the condition for any first order theory to be used as a logic program. Than we study the connection between models used or refutation in a first order theory and rejected axioms for that theory. We show (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  23
    A Completed System for Robin Smith’s Incomplete Ecthetic Syllogistic.Pierre Joray - 2017 - Notre Dame Journal of Formal Logic 58 (3):329-342.
    In this paper we first show that Robin Smith’s ecthetic system SE for Aristotle’s assertoric syllogistic is not complete, despite what is claimed by Smith. SE is then not adequate to establish that ecthesis allows one to dispense with indirect or per impossibile deductions in Aristotle’s assertoric logic. As an alternative to SE, we then present a stronger system EC which is adequate for this purpose. EC is a nonexplosive ecthetic system which is shown to be sound and complete (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5. A Mathematical Model of Aristotle’s Syllogistic.John Corcoran - 1973 - Archiv für Geschichte der Philosophie 55 (2):191-219.
    In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  6. Pre-Stoic Hypothetical Syllogistic in Galen.Susanne Bobzien - 2002 - The Bulletin of the Institute of Classical Studies:57-72.
    ABSTRACT: This paper traces the evidence in Galen's Introduction to Logic (Institutio Logica) for a hypothetical syllogistic which predates Stoic propositional logic. It emerges that Galen is one of our main witnesses for such a theory, whose authors are most likely Theophrastus and Eudemus. A reconstruction of this theory is offered which - among other things - allows to solve some apparent textual difficulties in the Institutio Logica.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Teaching Syllogistic Logic Via a Retooled Venn Diagrammatical Technique.Jeremiah Joven Joaquin & Robert James M. Boyles - 2017 - Teaching Philosophy 40 (2):161–180.
    In elementary logic textbooks, Venn diagrams are used to analyze and evaluate the validity of syllogistic arguments. Although the method of Venn diagrams is shown to be a powerful analytical tool in these textbooks, it still has limitations. On the one hand, such method fails to represent singular statements of the form, “a is F.” On other hand, it also fails to represent identity statements of the form, “a is b.” Because of this, it also fails to give an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Validity, the Squeezing Argument and Alternative Semantic Systems: The Case of Aristotelian Syllogistic[REVIEW]Catarina Dutilh Novaes & Edgar Andrade-Lotero - 2012 - Journal of Philosophical Logic 41 (2):387 - 418.
    We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  41
    Proclus and the Neoplatonic Syllogistic.John N. Martin - 2001 - Journal of Philosophical Logic 30 (3):187-240.
    An investigation of Proclus' logic of the syllogistic and of negations in the Elements of Theology, On the Parmenides, and Platonic Theology. It is shown that Proclus employs interpretations over a linear semantic structure with operators for scalar negations (hypemegationlalpha-intensivum and privative negation). A natural deduction system for scalar negations and the classical syllogistic (as reconstructed by Corcoran and Smiley) is shown to be sound and complete for the non-Boolean linear structures. It is explained how Proclus' syllogistic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  50
    A Lattice for the Language of Aristotle's Syllogistic and a Lattice for the Language of Vasiľév's Syllogistic.Andrew Schumann - 2006 - Logic and Logical Philosophy 15 (1):17-37.
    In this paper an algebraic system of the new type is proposed (namely, a vectorial lattice). This algebraic system is a lattice for the language of Aristotle’s syllogistic and as well as a lattice for the language of Vasiľév’s syllogistic. A lattice for the language of Aristotle’s syllogistic is called a vectorial lattice on cap-semilattice and a lattice for the language of Vasiľév’s syllogistic is called a vectorial lattice on closure cap-semilattice. These constructions are introduced for (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  54
    Where Syllogistic Reasoning Happens: An Argument for the Extended Mind Hypothesis.Georg Theiner - 2007 - In McNamara D. S. & Trafton J. G. (eds.), Proceedings of the 29th Annual Cognitive Science Society. Cognitive Science Society.
    Does cognition sometimes literally extend into the extra-organismic environment (Clark, 2003), or is it always “merely” environmentally embedded (Rupert, 2004)? Underlying this current border dispute is the question about how to individuate cognitive processes on principled grounds. Based on recent evidence about the active role of representation selection and construction in learning how to reason (Stenning, 2002), I raise the question: what makes two distinct, modality-specific pen-and-paper manipulations of external representations – diagrams versus sentences – cognitive processes of the same (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Is Aristotle's Syllogistic a Logic?Phil Corkum - forthcoming - History and Philosophy of Logic.
    Much of the last fifty years of scholarship on Aristotle’s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning, only if it is not a theory or formal ontology, a system concerned with general features of the world. In this paper, I will argue that this a misleading interpretative framework. The syllogistic is something sui generis: by our lights, it is neither clearly a logic, nor clearly a theory, but (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13.  60
    Kant’s False Subtlety of the Four Syllogistic Figures in its Intellectual Context.Alberto Vanzo - forthcoming - In Marco Sgarbi & Matteo Cosci (eds.), The Aftermath of Syllogism. London: Bloomsbury. pp. 157-190.
    This chapter discusses the relation between Kant’s views on the foundations of syllogistic inference in ‘The False Subtlety of the Four Syllogistic Figures’, the views of eighteenth-century German authors who wrote on syllogism, and the conception of metaphysics that Kant developed in 1762-1764. Kant’s positions are, on the whole, rather original, even though they are not as independent from the intellectual context as Kant’s later, Critical philosophy. Despite Kant’s polemical tone, his views on syllogism are not primarily motivated (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  18
    Deductions and Reductions Decoding Syllogistic Mnemonics.John Corcoran, Daniel Novotný & Kevin Tracy - 2018 - Entelekya Logico-Metaphysical Review 2 (1):5-39.
    The syllogistic mnemonic known by its first two words Barbara Celarent introduced a constellation of terminology still used today. This concatenation of nineteen words in four lines of verse made its stunning and almost unprecedented appearance around the beginning of the thirteenth century, before or during the lifetimes of the logicians William of Sherwood and Peter of Spain, both of whom owe it their lasting places of honor in the history of syllogistic. The mnemonic, including the theory or (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  34
    Syllogistic Logic with Comparative Adjectives.Lawrence S. Moss - 2011 - Journal of Logic, Language and Information 20 (3):397-417.
    This paper adds comparative adjectives to two systems of syllogistic logic. The comparatives are interpreted by transitive and irreflexive relations on the underlying domain. The main point is to obtain sound and complete axiomatizations of the valid formulas in the logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. What Is a Perfect Syllogism in Aristotelian Syllogistic?Theodor Ebert - 2015 - Ancient Philosophy 35 (2):351-374.
    The question as to what makes a perfect Aristotelian syllogism a perfect one has long been discussed by Aristotelian scholars. G. Patzig was the first to point the way to a correct answer: it is the evidence of the logical necessity that is the special feature of perfect syllogisms. Patzig moreover claimed that the evidence of a perfect syllogism can be seen for Barbara in the transitivity of the a-relation. However, this explanation would give Barbara a different status over the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  62
    An Atmosphere Effect in Formal Syllogistic Reasoning.R. S. Woodworth & S. B. Sells - 1935 - Journal of Experimental Psychology 18 (4):451.
  18.  16
    Empirical Reconciliation of Atmosphere and Conversion Interpretations of Syllogistic Reasoning Errors.Ian Begg & J. Peter Denny - 1969 - Journal of Experimental Psychology 81 (2):351.
  19.  7
    Modeling Human Syllogistic Reasoning: The Role of “No Valid Conclusion”.Nicolas Riesterer, Daniel Brand, Hannah Dames & Marco Ragni - 2020 - Topics in Cognitive Science 12 (1):446-459.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  35
    A Relational Syllogistic.Marek Nasieniewski - 2004 - Logic and Logical Philosophy 13:139-145.
    In [1] J. Perzanowski formulated, among others, an ontology expressed in the relational language. He presented some interesting connections which hold between these relations. In the present paper we focus on further analysis of these relations.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  21.  17
    Atmosphere and Conversion Errors in Syllogistic Reasoning.Miles E. Simpson & Donald M. Johnson - 1966 - Journal of Experimental Psychology 72 (2):197.
  22.  17
    Associative Factors in Syllogistic Reasoning.Lawrence T. Frase - 1968 - Journal of Experimental Psychology 76 (3p1):407.
  23.  19
    Mediated Facilitation of Syllogistic Reasoning.Jean A. Pezzoli & Lawrence T. Frase - 1968 - Journal of Experimental Psychology 78 (2p1):228.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  10
    The Effect of Benzedrine Sulfate on Syllogistic Reasoning.T. G. Andrews - 1940 - Journal of Experimental Psychology 26 (4):423.
  25.  19
    Syllogistic Inference.P. N. Johnson-Laird & Bruno G. Bara - 1984 - Cognition 16 (1):1-61.
    This paper reviews current psychological theories of syllogistic inference and establishes that despite their various merits they all contain deficiencies as theories of performance. It presents the results of two experiments, one using syllogisms and the other using three-term series problems, designed to elucidate how the arrangement of terms within the premises affects performance. These data are used in the construction of a theory based on the hypothesis that reasoners construct mental models of the premises, formulate informative conclusions about (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   123 citations  
  26.  18
    Believability and Syllogistic Reasoning.Jane Oakhill, P. N. Johnson-Laird & Alan Garnham - 1989 - Cognition 31 (2):117-140.
    In this paper we investigate the locus of believability effects in syllogistic reasoning. We identify three points in the reasoning process at which such effects could occur: the initial interpretation of premises, the examination of alternative representations of them (in all of which any valid conclusion must be true), and the “filtering” of putative conclusions. The effect of beliefs at the first of these loci is well established. In this paper we report three experiments that examine whether beliefs have (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   80 citations  
  27.  15
    Psychology and Syllogistic Reasoning.N. E. Wetherick - 1989 - Philosophical Psychology 2 (1):111 – 124.
    A theory of syllogistic reasoning is proposed, derived from the medieval doctrine of 'distribution of terms'. This doctrine may or may not furnish an adequate ground for the logic of the syllogism but does appear to illuminate the psychological processes involved. Syllogistic thinking is shown to have its origins in the approach and avoidance behaviour of pre-verbal organisms and, in verbal (human) organisms, to bridge the gap between the intuitive grasp shown by most of us of the validity (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  28.  33
    Material Cause and Syllogistic Necessity in Posterior Analytics II 11.Paolo Fait - 2019 - Manuscrito 42 (4):282-322.
    The paper examines Posterior Analytics II 11, 94a20-36 and makes three points. (1) The confusing formula ‘given what things, is it necessary for this to be’ [τίνων ὄντων ἀνάγκη τοῦτ᾿ εἶναι] at a21-22 introduces material cause, not syllogistic necessity. (2) When biological material necessitation is the only causal factor, Aristotle is reluctant to formalize it in syllogistic terms, and this helps to explain why, in II 11, he turns to geometry in order to illustrate a kind of material (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  10
    Dissociation of Mechanisms Underlying Syllogistic Reasoning.Vinod Goel, Christian Buchel, Chris Frith & Raymond J. Dolan - 2000 - NeuroImage 12 (5):504-514.
    A key question for cognitive theories of reasoning is whether logical reasoning is inherently a sentential linguistic process or a process requiring spatial manipulation and search. We addressed this question in an event-related fMRI study of syllogistic reasoning, using sentences with and without semantic content. Our findings indicate involvement of two dissociable networks in deductive reasoning. During content-based reasoning a left hemisphere temporal system was recruited. By contrast, a formally identical reasoning task, which lacked semantic content, activated a parietal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  30.  87
    Logics for the Relational Syllogistic.Ian Pratt-Hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.
    The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a) whether negation is permitted on all nouns, including those in the subject of a sentence; and (b) whether the subject noun phrase may contain a relative clause. The logics we present are extensions of the classical syllogistic, and we pay special attention to the question (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  31. Belief–Logic Conflict Resolution in Syllogistic Reasoning: Inspection-Time Evidence for a Parallel-Process Model.Linden J. Ball & Edward J. N. Stupple - 2008 - Thinking and Reasoning 14 (2):168-181.
    An experiment is reported examining dual-process models of belief bias in syllogistic reasoning using a problem complexity manipulation and an inspection-time method to monitor processing latencies for premises and conclusions. Endorsement rates indicated increased belief bias on complex problems, a finding that runs counter to the “belief-first” selective scrutiny model, but which is consistent with other theories, including “reasoning-first” and “parallel-process” models. Inspection-time data revealed a number of effects that, again, arbitrated against the selective scrutiny model. The most striking (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  32.  10
    Two Modes of Mental Representation and Problem Solution in Syllogistic Reasoning.Marilyn Ford - 1995 - Cognition 54 (1):1-71.
    In this paper, the theory of syllogistic reasoning proposed by Johnson-Laird is shown to be inadequate and an alternative theory is put forward. Protocols of people attempting to solve syllogistic problems and explaining to another person how they reached their conclusions were obtained. Two main groups of subjects were identified. One group represented the relationship between classes in a spatial manner that was supplemented by a verbal representation. The other group used a primarily verbal representation. A detailed theory (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  33.  38
    Matching Bias in Syllogistic Reasoning: Evidence for a Dual-Process Account From Response Times and Confidence Ratings.Edward J. N. Stupple, Linden J. Ball & Daniel Ellis - 2013 - Thinking and Reasoning 19 (1):54 - 77.
    (2013). Matching bias in syllogistic reasoning: Evidence for a dual-process account from response times and confidence ratings. Thinking & Reasoning: Vol. 19, No. 1, pp. 54-77. doi: 10.1080/13546783.2012.735622.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34. Aristotle's Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
    I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35. Aristotle’s Assertoric Syllogistic and Modern Relevance Logic.Philipp Steinkrüger - 2015 - Synthese 192 (5):1413-1444.
    This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  67
    The Role of Training, Alternative Models, and Logical Necessity in Determining Confidence in Syllogistic Reasoning.Jamie A. Prowse Turner & Valerie A. Thompson - 2009 - Thinking and Reasoning 15 (1):69 – 100.
    Prior research shows that reasoners' confidence is poorly calibrated (Shynkaruk & Thompson, 2006). The goal of the current experiment was to increase calibration in syllogistic reasoning by training reasoners on (a) the concept of logical necessity and (b) the idea that more than one representation of the premises may be possible. Training improved accuracy and was also effective in remedying some systematic misunderstandings about the task: those in the training condition were better at estimating their overall performance than those (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  37.  19
    Image and Language in Human Reasoning: A Syllogistic Illustration.Keith Stenning & Peter Yule - 1997 - Cognitive Psychology 34:109--159.
    Existing accounts of syllogistic reasoning oppose rule-based and model-based methods. Stenning \& Oberlander show that the latter are isomorphic to well-known graphical methods, when these are correctly interpreted. We here extend these results by showing that equivalent sentential implementations exist, thus revealing that all these theories are members of a family of abstract {\it individual identification algorithms} variously implemented in diagrams or sentences. This abstract logical analysis suggests a novel {\it individual identification task} for observing syllogistic reasoning processes. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  38.  12
    Review of Marko Malink, Aristotle's Modal Syllogistic[REVIEW]Jacob Rosen - 2014 - Notre Dame Philosophical Reviews.
    Malink’s interpretation is designed to validate Aristotle’s claims of validity and invalidity of syllogistic-style arguments, as well as his conversion claims. The remaining sorts of claims in Aristotle's text are allowed to fall out as they may. Thus, not all of Aristotle’s examples turn out correct: on some occasions, Aristotle claims that a given pair of terms yields a true (false) sentence of a given type although, under Malink’s interpretation, the sentence in question is false (true). Similarly, some of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  62
    A Reconstruction of Aristotle's Modal Syllogistic.Marko Malink - 2006 - History and Philosophy of Logic 27 (2):95-141.
    Ever since ?ukasiewicz, it has been opinio communis that Aristotle's modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle's syllogistic is a pure term logic that does not recognize an extra syntactic category of individual symbols besides syllogistic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40.  33
    How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
    This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  6
    Kant’s Innovative Theory of Judgment and Cognition in the False Subtlety of Syllogistic Figures.Mihaela Vatavu - 2019 - Kant-Studien 110 (4):527-553.
    Kant’s early work The False Subtlety of the Four Syllogistic Figures is typically considered a narrow, technical work still embedded in the tradition of Wolffian logic. I argue instead that it needs to be considered in light of Kant’s developing theory of cognition and his corresponding criticism of the Wolffian single faculty theory. Whereas the mature Kant criticizes the rationalists for misrepresenting the nature of sensibility, the urgent task facing him at this stage seems to have been a proper (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  34
    Persisting Effects of Instruction on Young Children's Syllogistic Reasoning with Incongruent and Abstract Premises.Hilary J. Leevers & Paul L. Harris - 1999 - Thinking and Reasoning 5 (2):145 – 173.
    Studies of reasoning have often invoked a distinction between a natural or ordinary consideration of the premises, in which they are interpreted, and even distorted, in the light of empirical knowledge, and an analytic or logical consideration of the premises, in which they are analysed in a literal fashion for their logical implications. Two or three years of schooling have been seen as critical for the spontaneous use of analytic reasoning. In two experiments, however, 4-year-olds who were given brief instructions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  43.  38
    Individual Differences in Strategies for Syllogistic Reasoning.Alison Bacon, Simon Handley & Stephen Newstead - 2003 - Thinking and Reasoning 9 (2):133 – 168.
    Current theories of reasoning such as mental models or mental logic assume a universal cognitive mechanism that underlies human reasoning performance. However, there is evidence that this is not the case, for example, the work of Ford (1995), who found that some people adopted predominantly spatial and some verbal strategies in a syllogistic reasoning task. Using written and think-aloud protocols, the present study confirmed the existence of these individual differences. However, in sharp contrast to Ford, the present study found (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  29
    On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics.Ian Pratt-Hartmann - 2008 - Bulletin of Symbolic Logic 14 (1):1-28.
    The numerically definite syllogistic is the fragment of English obtained by extending the language of the classical syllogism with numerical quantifiers. The numerically definite relational syllogistic is the fragment of English obtained by extending the numerically definite syllogistic with predicates involving transitive verbs. This paper investigates the computational complexity of the satisfiability problem for these fragments. We show that the satisfiability problem (= finite satisfiability problem) for the numerically definite syllogistic is strongly NP-complete, and that the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  45.  43
    Hypothetical Syllogistic and Stoic Logic.Anthony Speca - 2001 - Brill.
    This book uncovers and examines the confusion in antiquity between Aristotle's hypothetical syllogistic and Stoic logic, and offers a fresh perspective on the ...
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  40
    Relational Models for the Modal Syllogistic.S. K. Thomason - 1997 - Journal of Philosophical Logic 26 (2):129-141.
    An interpretation of Aristotle's modal syllogistic is proposed which is intuitively graspable, if only formally correst. The individuals to which a term applies, and possibly-applies, are supposed to be determined in a uniform way by the set of individuals to which the term necessarily-applies.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  47.  42
    A Generalized Syllogistic Inference System Based on Inclusion and Exclusion Relations.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Studia Logica 100 (4):753-785.
    We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  46
    Aristotle on the Reducibility of All Valid Syllogistic Moods to the Two Universal Moods of the First Figure (APr A7, 29b1–25)1. [REVIEW]Hermann Weidemann - 2004 - History and Philosophy of Logic 25 (1):73-78.
    In Prior Analytics A7 Aristotle points out that all valid syllogistic moods of the second and third figures as well as the two particular moods of the first figure can be reduced to the two universal first-figure moods Barbara and Celarent. As far as the third figure is concerned, it is argued that Aristotle does not want to say, as the transmitted text suggests, that only those two valid moods of this figure whose premisses are both universal statements are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  34
    Syllogistic with Indefinite Terms.Enrique Alvarez & Manuel Correia - 2012 - History and Philosophy of Logic 33 (4):297-306.
    This paper presents a restructured set of axioms for categorical logic. In virtue of it, the syllogistic with indefinite terms is deduced and proved, within the categorical logic boundaries. As a result, the number of all the conclusive syllogisms is deduced through a simple and axiomatic methodology. Moreover, the distinction between immediate and mediate inferences disappears, which reinstitutes the unity of Aristotelian logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  32
    A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.
    We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: $$\begin{array}{ll}\mathbf{Some}\, a \,{\rm are} \,R-{\rm related}\, {\rm to}\, \mathbf{some} \,b;\\ \mathbf{Some}\, a \,{\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{some}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all} \,b.\end{array}$$ Such primitives formalize sentences from natural language like ‘ All students read some textbooks’. Here a, b denote arbitrary sets (of objects), and R denotes (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 570