Bibliographic Details
| Title: |
From formal logic to abstract logic |
| Authors: |
Béziau, Jean-Yves |
| Publisher Information: |
Editora da UFPR, Curitiba |
| Subject Terms: |
Abstract deductive systems, fundamental structures, Abstract Logic, foundations of logic |
| Description: |
Summary: Since Aristotle logic is formal in the sense that it does not depend on the content, we reach Abstract Logic making a further step in abstraction: abstraction of the form. Abstract logic is the study of logic not taking in account the underlying structure, often called the ``language''. At this abstract level, the objects of logic are not ``formulas''. Logic is defined as a class of fundamental structures, in the sense of Bourbaki. Abstract logic is a general study of logic and it contributes to the foundations of logic giving a better understanding of logic based on unity and universality. |
| Document Type: |
Article |
| File Description: |
application/xml |
| Access URL: |
https://zbmath.org/759541 |
| Accession Number: |
edsair.c2b0b933574d..e80c408005476a0e1b33b095ee8ba23a |
| Database: |
OpenAIRE |