Informalizing Formal Logic
This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal logical enta...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of Windsor
2019-06-01
|
| Series: | Informal Logic |
| Online Access: | https://informallogic.ca/index.php/informal_logic/article/view/5169 |
| id |
doaj-e38d79f7074642b9be813f7599c4c3c3 |
|---|---|
| record_format |
Article |
| spelling |
doaj-e38d79f7074642b9be813f7599c4c3c32020-11-25T03:00:28ZengUniversity of WindsorInformal Logic0824-25772293-734X2019-06-0139210.22329/il.v39i2.5169Informalizing Formal LogicAntonis Kakas0University of Cyprus This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal logical entailment is equivalently captured via the arguments that win between those supporting concluding formulae and arguments supporting contradictory formulae. This allows us to go beyond Classical Logic and smoothly connect it with human reasoning, thus providing a uniform argumentation-based view of both informal and formal logic. https://informallogic.ca/index.php/informal_logic/article/view/5169 |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
Antonis Kakas |
| spellingShingle |
Antonis Kakas Informalizing Formal Logic Informal Logic |
| author_facet |
Antonis Kakas |
| author_sort |
Antonis Kakas |
| title |
Informalizing Formal Logic |
| title_short |
Informalizing Formal Logic |
| title_full |
Informalizing Formal Logic |
| title_fullStr |
Informalizing Formal Logic |
| title_full_unstemmed |
Informalizing Formal Logic |
| title_sort |
informalizing formal logic |
| publisher |
University of Windsor |
| series |
Informal Logic |
| issn |
0824-2577 2293-734X |
| publishDate |
2019-06-01 |
| description |
This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal logical entailment is equivalently captured via the arguments that win between those supporting concluding formulae and arguments supporting contradictory formulae. This allows us to go beyond Classical Logic and smoothly connect it with human reasoning, thus providing a uniform argumentation-based view of both informal and formal logic.
|
| url |
https://informallogic.ca/index.php/informal_logic/article/view/5169 |
| work_keys_str_mv |
AT antoniskakas informalizingformallogic |
| _version_ |
1724697927247462400 |