Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
From formal logic to abstract logic |
| Συγγραφείς: |
Béziau, Jean-Yves |
| Στοιχεία εκδότη: |
Editora da UFPR, Curitiba |
| Θεματικοί όροι: |
Abstract deductive systems, fundamental structures, Abstract Logic, foundations of logic |
| Περιγραφή: |
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. |
| Τύπος εγγράφου: |
Article |
| Περιγραφή αρχείου: |
application/xml |
| Σύνδεσμος πρόσβασης: |
https://zbmath.org/759541 |
| Αριθμός Καταχώρησης: |
edsair.c2b0b933574d..e80c408005476a0e1b33b095ee8ba23a |
| Βάση Δεδομένων: |
OpenAIRE |