Basic knowledge and conditions on knowledge / / Mark McBride |
Autore | McBride Mark |
Pubbl/distr/stampa | Open Book Publishers, 2017 |
Descrizione fisica | 1 online resource (240 pages) |
Disciplina | 121 |
Soggetto topico |
Justification (Theory of knowledge)
Knowledge, Theory of Cognitive science New |
Soggetto non controllato |
justifications
safety condition sensitivity basic knowledge epistemology conclusive reasons Brain in a vat Coherentism Dogma Fallibilism Foundationalism Fred Dretske Inference Logical consequence Robert Nozick |
ISBN |
1-78374-286-0
979-1-03-650965-0 1-78374-285-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part one. Exploring basic knowledge -- Reflections on Moore's 'proof' -- First reflections on the problem of easy knowledge -- The problem of easy knowledge: towards a solution -- Evidence and transmission failure -- A puzzle for dogmatism -- Part two. Conditions on knowledge: conclusive reasons, sensitivity, and safety -- Conclusive reasons -- Sensitivity -- Safety -- Safety: an application. |
Record Nr. | UNINA-9910227351403321 |
McBride Mark | ||
Open Book Publishers, 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
Autore | Smullyan Raymond M. |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (157 pages) : illustrations |
Disciplina | 511.33 |
Collana | Annals of Mathematics Studies |
Soggetto topico |
Recursive functions
Metamathematics |
Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
ISBN | 1-4008-8200-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
Record Nr. | UNINA-9910154750903321 |
Smullyan Raymond M. | ||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|