An Alternative Version of Categorical Logic
| Main Author: | Johnson, David |
|---|---|
| Format: | Article eJournal |
| Terbitan: |
, 2019
|
| Subjects: | |
| Online Access: |
https://zenodo.org/record/3358400 |
| ctrlnum |
3358400 |
|---|---|
| fullrecord |
<?xml version="1.0"?>
<dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><creator>Johnson, David</creator><date>2019-08-02</date><description>Logicians have a very specialized definition of the word ‘some’: in logic it means ‘at least one’. But that is not how people outside of logic use the term at all. In other contexts ‘some’ means ‘at least one but not all’, or ‘not all and not none’. In this work I explore how categorical logic is transformed with this new definition, which is more in harmony with how the word ‘some’ is used outside of formal logic. This results in a more intuitive, and, I believe, more accurate version of categorical logic.
Topics discussed: The proper definition of ‘some’, Aristotle’s Square of Opposition, the Modern Square of Opposition, the ‘Boolean interpretation’, existential import, the Triangle of Opposition, categorical syllogisms, sorites arguments, conversion obversion and contraposition, modal logic (including the Modal Triangle of Opposition), the connection to propositional logic, and the connection to predicate logic.</description><identifier>https://zenodo.org/record/3358400</identifier><identifier>10.5281/zenodo.3358400</identifier><identifier>oai:zenodo.org:3358400</identifier><relation>doi:10.5281/zenodo.3358399</relation><rights>info:eu-repo/semantics/openAccess</rights><rights>https://creativecommons.org/licenses/by/4.0/legalcode</rights><subject>Categorical Logic, Aristotle, Modern Square of Opposition, Boolean Interpretation, Existential Import, Venn Diagrams, Predicate Logic, Propositional Logic</subject><title>An Alternative Version of Categorical Logic</title><type>Journal:Article</type><type>Journal:Article</type><recordID>3358400</recordID></dc>
|
| format |
Journal:Article Journal Journal:eJournal |
| author |
Johnson, David |
| title |
An Alternative Version of Categorical Logic |
| publishDate |
2019 |
| topic |
Categorical Logic Aristotle Modern Square of Opposition Boolean Interpretation Existential Import Venn Diagrams Predicate Logic Propositional Logic |
| url |
https://zenodo.org/record/3358400 |
| contents |
Logicians have a very specialized definition of the word ‘some’: in logic it means ‘at least one’. But that is not how people outside of logic use the term at all. In other contexts ‘some’ means ‘at least one but not all’, or ‘not all and not none’. In this work I explore how categorical logic is transformed with this new definition, which is more in harmony with how the word ‘some’ is used outside of formal logic. This results in a more intuitive, and, I believe, more accurate version of categorical logic.
Topics discussed: The proper definition of ‘some’, Aristotle’s Square of Opposition, the Modern Square of Opposition, the ‘Boolean interpretation’, existential import, the Triangle of Opposition, categorical syllogisms, sorites arguments, conversion obversion and contraposition, modal logic (including the Modal Triangle of Opposition), the connection to propositional logic, and the connection to predicate logic. |
| id |
IOS17403.3358400 |
| institution |
Universitas PGRI Palembang |
| institution_id |
189 |
| institution_type |
library:university library |
| library |
Perpustakaan Universitas PGRI Palembang |
| library_id |
587 |
| collection |
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized |
| repository_id |
17403 |
| city |
KOTA PALEMBANG |
| province |
SUMATERA SELATAN |
| repoId |
IOS17403 |
| first_indexed |
2022-07-26T01:28:52Z |
| last_indexed |
2022-07-26T01:28:52Z |
| recordtype |
dc |
| merged_child_boolean |
1 |
| _version_ |
1739401364964900864 |
| score |
17.610285 |