Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Deductive Systems in Traditional and Modern Logic
| 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 online resource (298 p.) |
| Soggetto topico |
Mathematics and Science
Research and information: general |
| Soggetto non controllato |
(dual) tableau
accessibility relation Aristotle's logic atypical object axiomatic refutation axiomatic system axiomatizations of arithmetic of natural and integers numbers axioms of integer arithmetic modeled on Peano and Wilkosz axioms categoricity completeness concept consistency cut deduction deductive refutability default logic deontic logic derivative hybrid rules discussive logics discussive operators disjunction property distribution equivalent axiomatizations filter first-order theory formal theory of law Franz Brentano Frege's predication scheme Frege's Zahl-Anzahl distinction Gentzen system hybrid deduction-refutation rules ideal identity connective independence intuitionistic logic Jan Łukasiewicz knowledge Kotas' method Kripke models lattice Leśniewski's elementary ontology Lewis Carroll logic logic diagrams logic of determination of objects (LDO) logic of typical and atypical instances (LTA) logic trees logics of evidence and truth meta-proof theory metadisjunction metalogic minimal system modal logic multiple conclusion rule n/a natural deduction non-Fregean logic nonmonotonic logics object ontology ontology of situations paraconsistency paraconsistent logic Peano's axiomatics of natural numbers Peano's axioms principle of bivalence quasi topology structure (QTS) quine refutation systems rejection systems second-order theories semantic tree semantics of law sentential calculus with identity sequent-type calculi seriality Sette's calculus situational semantics soundness syllogistic synthetic tableaux temporal logic term logic the law of explosion the principle of ex contradictione sequitur quodlibet the smallest discussive logic typical object universal axiom Wilkosz's axioms Wittgenstein Wolniewicz |
| 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
| 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
| 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 | ||
| ||