Avon, Mauro (2020) A different approach to logic: absolute logic. [Preprint]
This is the latest version of this item.
|
Text
log20-en-tx-02.pdf Download (644kB) | Preview |
Abstract
The paper is about `absolute logic': an approach to logic that differs from the standard first-order logic and other known approaches. It should be a new approach the author has created proposing to obtain a general
and unifying approach to logic and a faithful model of human mathematical deductive process. In first-order logic there exist two different concepts of term and formula, in place of these two concepts in our approach we have just one notion of
expression. In our system the set-builder notation is an expression-building pattern. In our system we can easily express second-order, third order and any-order conditions. The meaning of a sentence will depend solely on the meaning of the symbols it contains, it will not depend on external `structures'. Our deductive system is based on a very simple definition of proof and provides a good model of human mathematical deductive process. The soundness and consistency of the system are proved. We also discuss how our system relates to the most know types of paradoxes, from the discussion no specific vulnerability to paradoxes comes out. The paper provides both the theoretical material and a fully documented example of deduction.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Preprint | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | logic; foundations of mathematics | ||||||
Subjects: | Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics |
||||||
Depositing User: | Dr. Mauro Avon | ||||||
Date Deposited: | 19 Sep 2020 19:01 | ||||||
Last Modified: | 19 Sep 2020 19:01 | ||||||
Item ID: | 18111 | ||||||
Subjects: | Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics |
||||||
Date: | 5 July 2020 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/18111 |
Available Versions of this Item
-
A different approach to logic. (deposited 08 Oct 2011 13:35)
-
A different approach to logic. (deposited 03 Dec 2013 16:57)
-
A different approach to logic. (deposited 05 Aug 2018 00:01)
-
A different approach to logic: absolute logic. (deposited 06 Jul 2020 14:03)
-
A different approach to logic: absolute logic. (deposited 26 Jul 2020 14:36)
-
A different approach to logic: absolute logic. (deposited 14 Aug 2020 15:14)
- A different approach to logic: absolute logic. (deposited 19 Sep 2020 19:01) [Currently Displayed]
-
A different approach to logic: absolute logic. (deposited 14 Aug 2020 15:14)
-
A different approach to logic: absolute logic. (deposited 26 Jul 2020 14:36)
-
A different approach to logic: absolute logic. (deposited 06 Jul 2020 14:03)
-
A different approach to logic. (deposited 05 Aug 2018 00:01)
-
A different approach to logic. (deposited 03 Dec 2013 16:57)
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
View Item |