Singular Predication and the Syllogism
Aristotle’s categorical syllogistic is the first formal deductive system in the history of formal sciences. Most parts or elements of the system are validated by modern (first-order) mathematical logic, but the system is quite limited in scope, as it is incapable of analyzing inferences other than t...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Istanbul University Press
2024-12-01
|
| Series: | Felsefe Arkivi |
| Subjects: | |
| Online Access: | https://cdn.istanbul.edu.tr/file/JTA6CLJ8T5/35DDD7EA73454A918259B7D84A913685 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850206746388201472 |
|---|---|
| author | Arman Besler |
| author_facet | Arman Besler |
| author_sort | Arman Besler |
| collection | DOAJ |
| description | Aristotle’s categorical syllogistic is the first formal deductive system in the history of formal sciences. Most parts or elements of the system are validated by modern (first-order) mathematical logic, but the system is quite limited in scope, as it is incapable of analyzing inferences other than the ‘figure syllogisms’ consisting of a couple of a-e-i-o premises and an a-e-i-o conclusion, containing three ‘moderately’ universal terms – terms that express neither a highest genus nor a lowest species – each of which is common to a different couple of propositions out of the three. Logicians in the following ages dealt with various questions concerning the addition of various (novel) logical forms into this limited system, among which are singular predications, i.e. categorical propositions with a singular term as subject, and the most common choice has been interpreting singular predications as universal predications. This paper tries to take a strictly formal perspective on the system of categorical syllogisms, and argues in detail for a much simpler and fairly effective assimilation or translation scheme for singular predications. The key to the proposed scheme is the preservation of the supposed inferential relation between opposite singular predications, namely contradiction. It is argued that the resulting singularized syllogistic moods, which are also validated by first-order logic (under its standard renderings of a-e-i-o and singular predications), promote in turn the mentioned type of treatment, since they call for the employment of two of the four subaltern moods of the system, disregarded by Aristotle, which are formally there. |
| format | Article |
| id | doaj-art-2d75fcafd7e244efaf46b7fcd362e49d |
| institution | OA Journals |
| issn | 2667-7644 |
| language | deu |
| publishDate | 2024-12-01 |
| publisher | Istanbul University Press |
| record_format | Article |
| series | Felsefe Arkivi |
| spelling | doaj-art-2d75fcafd7e244efaf46b7fcd362e49d2025-08-20T02:10:42ZdeuIstanbul University PressFelsefe Arkivi2667-76442024-12-0161849010.26650/arcp.1570889123456Singular Predication and the SyllogismArman Besler0https://orcid.org/0000-0002-0553-9131Nevşehir Hacı Bektaş Veli Üniversitesi, Nevsehir, TurkiyeAristotle’s categorical syllogistic is the first formal deductive system in the history of formal sciences. Most parts or elements of the system are validated by modern (first-order) mathematical logic, but the system is quite limited in scope, as it is incapable of analyzing inferences other than the ‘figure syllogisms’ consisting of a couple of a-e-i-o premises and an a-e-i-o conclusion, containing three ‘moderately’ universal terms – terms that express neither a highest genus nor a lowest species – each of which is common to a different couple of propositions out of the three. Logicians in the following ages dealt with various questions concerning the addition of various (novel) logical forms into this limited system, among which are singular predications, i.e. categorical propositions with a singular term as subject, and the most common choice has been interpreting singular predications as universal predications. This paper tries to take a strictly formal perspective on the system of categorical syllogisms, and argues in detail for a much simpler and fairly effective assimilation or translation scheme for singular predications. The key to the proposed scheme is the preservation of the supposed inferential relation between opposite singular predications, namely contradiction. It is argued that the resulting singularized syllogistic moods, which are also validated by first-order logic (under its standard renderings of a-e-i-o and singular predications), promote in turn the mentioned type of treatment, since they call for the employment of two of the four subaltern moods of the system, disregarded by Aristotle, which are formally there.https://cdn.istanbul.edu.tr/file/JTA6CLJ8T5/35DDD7EA73454A918259B7D84A913685singular predicationsyllogismcontradictionsubalternationformalism |
| spellingShingle | Arman Besler Singular Predication and the Syllogism Felsefe Arkivi singular predication syllogism contradiction subalternation formalism |
| title | Singular Predication and the Syllogism |
| title_full | Singular Predication and the Syllogism |
| title_fullStr | Singular Predication and the Syllogism |
| title_full_unstemmed | Singular Predication and the Syllogism |
| title_short | Singular Predication and the Syllogism |
| title_sort | singular predication and the syllogism |
| topic | singular predication syllogism contradiction subalternation formalism |
| url | https://cdn.istanbul.edu.tr/file/JTA6CLJ8T5/35DDD7EA73454A918259B7D84A913685 |
| work_keys_str_mv | AT armanbesler singularpredicationandthesyllogism |