Mechanizing logic. I: Map logic extended formally to relational arguments (Q759742)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Mechanizing logic. I: Map logic extended formally to relational arguments |
scientific article; zbMATH DE number 3882400
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanizing logic. I: Map logic extended formally to relational arguments |
scientific article; zbMATH DE number 3882400 |
Statements
Mechanizing logic. I: Map logic extended formally to relational arguments (English)
0 references
1984
0 references
The authors present a formal system which is an extended version of Aristotle's syllogistic: four supplementary rules and an axiom (a personal interpretation of Relational Conversion) allow them to manipulate compound terms (by logical operators; relational) in deductive reasoning; the system is exemplified by the diagrammatic method [the authors, ibid. 17, 469-475 (1976; Zbl 0286.02023)].
0 references
extended version of Aristotle's syllogistic
0 references
Relational Conversion
0 references
compound terms
0 references
deductive reasoning
0 references
diagrammatic method
0 references
