Metainferences in Substructural Logics
Category: eBooks
- views: 54
- date: 21 January 2026
- posted by: BeMyLove
Metainferences in Substructural Logics | 5.35 MB
Title: Metainferences in Substructural Logics
Author: Paula Teijeiro, Eduardo Alejandro Barrio
Category: Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Language: English | 226 Pages | ISBN: 9783032054494
Description:
This book provides a comprehensive overview of different logics from a metainferential standpoint. It starts with a metainferential presentation of Classical Logic, and then moves onto other systems where one or more structural metainferences fail. These logics maybe considered non-classical in a robust sense, since they allow to build theories which are non-transitive, non-reflexive, non-monotonic and non-contractive. In some other sense, though, they also preserve many desirable features of classical logics, and thus may have an advantage over other non-classical alternatives. The authors show how these logics can be characterized both model and proof-theoretically. Besides some standard inferential properties, emphasis is placed on metainferential theorems, some of them quite standard, such as Cut-elimination, and other more idiosyncratic, such as metainferential Soundness and Completeness. It ends with a philosophical chapter which intends to illustrate some of these logics' applications, mainly regarding non-classical treatments of paradoxes. Each chapter comes with exercises which help fix the central concepts, learn to use some of the formal tools, and problematize the philosophical issues at stake. This book is aimed to anyone interested in the question of reasoning, argumentation and theory-building in the presence of contradictions, paradoxes and other puzzles.
DOWNLOAD:
https://rapidgator.net/file/b67724fbd5b0dbea9836d3f6ab946cd8/Metainferences_in_Substructural_Logics.pdf
https://nitroflare.com/view/4C291B906295151/Metainferences_in_Substructural_Logics.pdf
This book provides a comprehensive overview of different logics from a metainferential standpoint. It starts with a metainferential presentation of Classical Logic, and then moves onto other systems where one or more structural metainferences fail. These logics maybe considered non-classical in a robust sense, since they allow to build theories which are non-transitive, non-reflexive, non-monotonic and non-contractive. In some other sense, though, they also preserve many desirable features of classical logics, and thus may have an advantage over other non-classical alternatives. The authors show how these logics can be characterized both model and proof-theoretically. Besides some standard inferential properties, emphasis is placed on metainferential theorems, some of them quite standard, such as Cut-elimination, and other more idiosyncratic, such as metainferential Soundness and Completeness. It ends with a philosophical chapter which intends to illustrate some of these logics' applications, mainly regarding non-classical treatments of paradoxes. Each chapter comes with exercises which help fix the central concepts, learn to use some of the formal tools, and problematize the philosophical issues at stake. This book is aimed to anyone interested in the question of reasoning, argumentation and theory-building in the presence of contradictions, paradoxes and other puzzles.
DOWNLOAD:
https://rapidgator.net/file/b67724fbd5b0dbea9836d3f6ab946cd8/Metainferences_in_Substructural_Logics.pdf
https://nitroflare.com/view/4C291B906295151/Metainferences_in_Substructural_Logics.pdf
We need your support!
Make a donation to help us stay online
Bitcoin (BTC)
bc1q08g9d22cxkawsjlf8etuek2pc9n2a3hs4cdrld
Bitcoin Cash (BCH)
qqvwexzhvgauxq2apgc4j0ewvcak6hh6lsnzmvtkem
Ethereum (ETH)
0xb55513D2c91A6e3c497621644ec99e206CDaf239
Litecoin (LTC)
ltc1qt6g2trfv9tjs4qj68sqc4uf0ukvc9jpnsyt59u
USDT (ERC20)
0xb55513D2c91A6e3c497621644ec99e206CDaf239
USDT (TRC20)
TYdPNrz7v1P9riWBWZ317oBgJueheGjATm
Information |
|||
 |
Users of GUESTS are not allowed to comment this publication. | ||