Deductive Systems in Traditional and Modern Logic |
Autore | Wybraniec-Skardowska Urszula |
Pubbl/distr/stampa | Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 |
Descrizione fisica | 1 electronic resource (298 p.) |
Soggetto topico |
Research & information: general
Mathematics & science |
Soggetto non controllato |
quine
logic ontology multiple conclusion rule disjunction property metadisjunction axiomatizations of arithmetic of natural and integers numbers second-order theories Peano's axioms Wilkosz's axioms axioms of integer arithmetic modeled on Peano and Wilkosz axioms equivalent axiomatizations metalogic categoricity independence consistency logic of typical and atypical instances (LTA) logic of determination of objects (LDO) quasi topology structure (QTS) concept object typical object atypical object lattice filter ideal discussive logics the smallest discussive logic discussive operators seriality accessibility relation Kotas' method modal logic deontic logic ontology of situations semantics of law formal theory of law Wittgenstein Wolniewicz non-Fregean logic identity connective sentential calculus with identity situational semantics deduction (dual) tableau Gentzen system deductive refutability refutation systems hybrid deduction-refutation rules derivative hybrid rules soundness completeness natural deduction meta-proof theory synthetic tableaux principle of bivalence cut first-order theory universal axiom Peano's axiomatics of natural numbers Leśniewski's elementary ontology Frege's predication scheme Frege's Zahl-Anzahl distinction term logic Franz Brentano Lewis Carroll logic trees logic diagrams paraconsistent logic paraconsistency Sette's calculus the law of explosion the principle of ex contradictione sequitur quodlibet semantic tree distribution Aristotle's logic syllogistic Jan Łukasiewicz axiomatic system axiomatic refutation temporal logic intuitionistic logic minimal system knowledge sequent-type calculi nonmonotonic logics default logic rejection systems Kripke models logics of evidence and truth |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910557449803321 |
Wybraniec-Skardowska Urszula | ||
Basel, Switzerland, : MDPI - Multidisciplinary Digital Publishing Institute, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Truth [[electronic resource] /] / Alexis G. Burgess & John P. Burgess |
Autore | Burgess Alexis <1980-> |
Edizione | [Course Book] |
Pubbl/distr/stampa | Princeton [N.J.], : Princeton University Press, c2010 |
Descrizione fisica | 1 online resource (173 p.) |
Disciplina | 121 |
Altri autori (Persone) | BurgessJohn P. <1948-> |
Collana | Princeton foundations of contemporary philosophy |
Soggetto topico | Truth |
Soggetto genere / forma | Electronic books. |
Soggetto non controllato |
Alfred Tarski
Aristotle Davidsonianism Dummettianism Frank P. Ramsey Saul Kripke W. V. Quine antirealism axiomatic theories communication contextualist solutions correspondence theories defeatism deflationism denial strategy deviance strategy direct definition dis"ationalism disqualification strategy doublespeak strategy equivalence principle formal language holism inconsistency theories indeterminacy inflationism logical solutions mathematics meaning metalanguage minimum fixed point model theory normativity object language paraconsistency paradoxes physicalism pluralism presupposition realism redundancy theory reference relativism relativity revenge revision theories self-reference semantic truth sentences slogans transfinite construction truth predicate truth-conditional semantics truth truthmaker theories ungroundedness utility vagueness value verification-conditional semantics |
ISBN |
1-78268-952-4
1-283-03352-6 9786613033529 1-4008-3869-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Preface -- Acknowledgments -- Chapter One. Introduction -- Chapter Two. Tarski -- Chapter Three. Deflationism -- Chapter Four. Indeterminacy -- Chapter Five. Realism -- Chapter Six. Antirealism -- Chapter Seven. Kripke -- Chapter Eight. Insolubility? -- Further Reading -- Bibliography -- Index |
Record Nr. | UNINA-9910456952603321 |
Burgess Alexis <1980-> | ||
Princeton [N.J.], : Princeton University Press, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Truth [[electronic resource] /] / Alexis G. Burgess & John P. Burgess |
Autore | Burgess Alexis <1980-> |
Edizione | [Course Book] |
Pubbl/distr/stampa | Princeton [N.J.], : Princeton University Press, c2010 |
Descrizione fisica | 1 online resource (173 p.) |
Disciplina | 121 |
Altri autori (Persone) | BurgessJohn P. <1948-> |
Collana | Princeton foundations of contemporary philosophy |
Soggetto topico | Truth |
Soggetto non controllato |
Alfred Tarski
Aristotle Davidsonianism Dummettianism Frank P. Ramsey Saul Kripke W. V. Quine antirealism axiomatic theories communication contextualist solutions correspondence theories defeatism deflationism denial strategy deviance strategy direct definition dis"ationalism disqualification strategy doublespeak strategy equivalence principle formal language holism inconsistency theories indeterminacy inflationism logical solutions mathematics meaning metalanguage minimum fixed point model theory normativity object language paraconsistency paradoxes physicalism pluralism presupposition realism redundancy theory reference relativism relativity revenge revision theories self-reference semantic truth sentences slogans transfinite construction truth predicate truth-conditional semantics truth truthmaker theories ungroundedness utility vagueness value verification-conditional semantics |
ISBN |
1-78268-952-4
1-283-03352-6 9786613033529 1-4008-3869-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Preface -- Acknowledgments -- Chapter One. Introduction -- Chapter Two. Tarski -- Chapter Three. Deflationism -- Chapter Four. Indeterminacy -- Chapter Five. Realism -- Chapter Six. Antirealism -- Chapter Seven. Kripke -- Chapter Eight. Insolubility? -- Further Reading -- Bibliography -- Index |
Record Nr. | UNINA-9910781297103321 |
Burgess Alexis <1980-> | ||
Princeton [N.J.], : Princeton University Press, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Truth [[electronic resource] /] / Alexis G. Burgess & John P. Burgess |
Autore | Burgess Alexis <1980-> |
Edizione | [Course Book] |
Pubbl/distr/stampa | Princeton [N.J.], : Princeton University Press, c2010 |
Descrizione fisica | 1 online resource (173 p.) |
Disciplina | 121 |
Altri autori (Persone) | BurgessJohn P. <1948-> |
Collana | Princeton foundations of contemporary philosophy |
Soggetto topico | Truth |
Soggetto non controllato |
Alfred Tarski
Aristotle Davidsonianism Dummettianism Frank P. Ramsey Saul Kripke W. V. Quine antirealism axiomatic theories communication contextualist solutions correspondence theories defeatism deflationism denial strategy deviance strategy direct definition dis"ationalism disqualification strategy doublespeak strategy equivalence principle formal language holism inconsistency theories indeterminacy inflationism logical solutions mathematics meaning metalanguage minimum fixed point model theory normativity object language paraconsistency paradoxes physicalism pluralism presupposition realism redundancy theory reference relativism relativity revenge revision theories self-reference semantic truth sentences slogans transfinite construction truth predicate truth-conditional semantics truth truthmaker theories ungroundedness utility vagueness value verification-conditional semantics |
ISBN |
1-78268-952-4
1-283-03352-6 9786613033529 1-4008-3869-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Preface -- Acknowledgments -- Chapter One. Introduction -- Chapter Two. Tarski -- Chapter Three. Deflationism -- Chapter Four. Indeterminacy -- Chapter Five. Realism -- Chapter Six. Antirealism -- Chapter Seven. Kripke -- Chapter Eight. Insolubility? -- Further Reading -- Bibliography -- Index |
Record Nr. | UNINA-9910816923203321 |
Burgess Alexis <1980-> | ||
Princeton [N.J.], : Princeton University Press, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|