Add to ORKGChapter 1 presents BS, a basic syllogistic system based on Aristotle's logic, in natural deduction form. Chapters 2 and 3 treat the metatheory of BS: consitency, soundness, independence, and completeness. (We show how Aristotle's attempt to show his logic was complete anticipates modern Henkin-style completeness proofs.) Chapter 4 and 5 deal with syllogistic and, in turn, propositional and predicate logic, chapter 6 is on existential import, chapter 7 on subject and predicate and chapter 8 on classes. Chapter 9 adds negative variables to BS, and proves its soundness and completeness
U ovom članku su prikazana različita shvatanja Aristotelove silogistike kao logičke teorije. Lajbnic...
Traditional syllogisms involve sentences of the following simple forms: All X are Y, Some X are Y, N...
The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal ter...
Although the theory of the assertoric syllogism was Aristotle's great invention, one which dominated...
In this paper I study a formal model for Aristotelian syllogistic which includes deductive procedure...
In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail th...
We want to show that Aristotle’s general conception of syllogism includes as its essential part the ...
Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the...
This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance log...
The most efficient, accurate, and fruitful way to communicate reasonings is in natural languages. Th...
The last two decades have witnessed a debate concerning whether Aristotle\u27s syllogistic is a syst...
With the article " Aristotle's natural deduction system " , published in 1974, J. Corcoran has contr...
This article studies the mathematical properties of two systems that model Aristotle's original syll...
Abstract. In the Organon Aristotle describes some deductive schemata in which inconsis-tencies do no...
§1 In J. Corcoran 〔4〕, 〔5〕 and T. Smiley 〔16〕, it has been shown that Aristotle's syllogistic in Pri...
U ovom članku su prikazana različita shvatanja Aristotelove silogistike kao logičke teorije. Lajbnic...
Traditional syllogisms involve sentences of the following simple forms: All X are Y, Some X are Y, N...
The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal ter...
Although the theory of the assertoric syllogism was Aristotle's great invention, one which dominated...
In this paper I study a formal model for Aristotelian syllogistic which includes deductive procedure...
In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail th...
We want to show that Aristotle’s general conception of syllogism includes as its essential part the ...
Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the...
This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance log...
The most efficient, accurate, and fruitful way to communicate reasonings is in natural languages. Th...
The last two decades have witnessed a debate concerning whether Aristotle\u27s syllogistic is a syst...
With the article " Aristotle's natural deduction system " , published in 1974, J. Corcoran has contr...
This article studies the mathematical properties of two systems that model Aristotle's original syll...
Abstract. In the Organon Aristotle describes some deductive schemata in which inconsis-tencies do no...
§1 In J. Corcoran 〔4〕, 〔5〕 and T. Smiley 〔16〕, it has been shown that Aristotle's syllogistic in Pri...
U ovom članku su prikazana različita shvatanja Aristotelove silogistike kao logičke teorije. Lajbnic...
Traditional syllogisms involve sentences of the following simple forms: All X are Y, Some X are Y, N...
The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal ter...