PhilSci Archive

A different approach to logic: absolute logic

Avon, Mauro (2020) A different approach to logic: absolute logic. [Preprint]

WarningThere is a more recent version of this item available.
[img]
Preview
Text
log20-en-tx-02.pdf

Download (635kB) | 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. The set-builder notation is enclosed as 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:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Avon, Mauroavonma@gmail.com0000-0003-4368-4759
Keywords: logic; foundations of mathematics
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics
Depositing User: Dr. Mauro Avon
Date Deposited: 06 Jul 2020 14:03
Last Modified: 06 Jul 2020 14:03
Item ID: 17434
Subjects: Specific Sciences > Mathematics > Foundations
Specific Sciences > Mathematics > Logic
Specific Sciences > Mathematics
Date: 5 July 2020
URI: https://philsci-archive.pitt.edu/id/eprint/17434

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item