Existence as a Real Property : The Ontology of Meinongianism / / by Francesco Berto |
Autore | Berto Francesco |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (253 p.) |
Disciplina | 111.1 |
Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
Soggetto topico |
Metaphysics
Ontology Philosophy History of Philosophy |
ISBN | 94-007-4207-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Prologue: Much Ado About Nothing -- Acknowledgments -- Existence as Logic -- Chapter 1. The Paradox of Non-Being -- Chapter 2. To Exist and to Count -- Chapter 3. Troubles for the Received View -- Nonexistence -- Chapter 4. Existence As a Real Property -- Chapter 5. Naïve Meinongianism -- Chapter 6. Meinongianisms of The First, Second, and Third Kind -- Close Encounters (with Nonexistents) of the Third Kind -- Chapter 7. Conceiving the Impossible -- Chapter 8. Nonexistents of The Third Kind at Work -- Chapter 9. Open Problems -- References -- Index. |
Record Nr. | UNINA-9910438330403321 |
Berto Francesco
![]() |
||
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Impossible worlds / / Francesco Berto and Mark Jago [[electronic resource]] |
Autore | Berto Francesco |
Edizione | [New product edition.] |
Pubbl/distr/stampa | Oxford : , : Oxford University Press, , 2019 |
Descrizione fisica | 1 online resource (333 pages) |
Disciplina | 110 |
Collana | Oxford scholarship online |
Soggetto topico |
Metaphysics
Possibility |
ISBN |
0-19-185058-6
0-19-254098-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910326652403321 |
Berto Francesco
![]() |
||
Oxford : , : Oxford University Press, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
There's Something About Gödel [[electronic resource] ] : The Complete Guide to the Incompleteness Theorem |
Autore | Berto Francesco |
Pubbl/distr/stampa | Hoboken, : John Wiley & Sons, 2009 |
Descrizione fisica | 1 online resource (255 p.) |
Disciplina | 511.3 |
Soggetto topico |
Incompleteness theorems - Philosophy
Gödel's theorem Mathematics |
ISBN | 1-4443-1502-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
GODEL; Contents; Prologue; Acknowledgments; Part I: The Gödelian Symphony; 1 Foundations and Paradoxes; 1 "This sentence is false"; 2 The Liar and Gödel; 3 Language and metalanguage; 4 The axiomatic method, or how to get the non-obvious out of the obvious; 5 Peano's axioms ...; 6 ... and the unsatisfied logicists, Frege and Russell; 7 Bits of set theory; 8 The Abstraction Principle; 9 Bytes of set theory; 10 Properties, relations, functions, that is, sets again; 11 Calculating, computing, enumerating, that is, the notion of algorithm; 12 Taking numbers as sets of sets; 13 It's raining paradoxes
14 Cantor's diagonal argument 15 Self-reference and paradoxes; 2 Hilbert; 1 Strings of symbols; 2 "... in mathematics there is no ignorabimus"; 3 Gödel on stage; 4 Our first encounter with the Incompleteness Theorem ...; 5 ... and some provisos; 3 Gödelization, or Say It with Numbers!; 1 TNT; 2 The arithmetical axioms of TNT and the "standard model" N; 3 The Fundamental Property of formal systems; 4 The Gödel numbering ...; 5 ... and the arithmetization of syntax; 4 Bits of Recursive Arithmetic ...; 1 Making algorithms precise; 2 Bits of recursion theory; 3 Church's Thesis 4 The recursiveness of predicates, sets, properties, and relations 5 ... And How It Is Represented in Typographical Number Theory; 1 Introspection and representation; 2 The representability of properties, relations, and functions ...; 3 ... and the Gödelian loop; 6 "I Am Not Provable"; 1 Proof pairs; 2 The property of being a theorem of TNT (is not recursive!); 3 Arithmetizing substitution; 4 How can a TNT sentence refer to itself?; 5 γ; 6 Fixed point; 7 Consistency and omega-consistency; 8 Proving G1; 9 Rosser's proof; 7 The Unprovability of Consistency and the "Immediate Consequences" of G1 and G2 1 G22 Technical interlude; 3 "Immediate consequences" of G1 and G2; 4 Undecidable1 and undecidable2; 5 Essential incompleteness, or the syndicate of mathematicians; 6 Robinson Arithmetic; 7 How general are Gödel's results?; 8 Bits of Turing machine; 9 G1 and G2 in general; 10 Unexpected fish in the formal net; 11 Supernatural numbers; 12 The culpability of the induction scheme; 13 Bits of truth (not too much of it, though); Part II: The World after Gödel; 8 Bourgeois Mathematicians! The Postmodern Interpretations; 1 What is postmodernism?; 2 From Gödel to Lenin 3 Is "Biblical proof" decidable? 4 Speaking of the totality; 5 Bourgeois teachers!; 6 (Un)interesting bifurcations; 9 A Footnote to Plato; 1 Explorers in the realm of numbers; 2 The essence of a life; 3 "The philosophical prejudices of our times"; 4 From Gödel to Tarski; 5 Human, too human; 10 Mathematical Faith; 1 "I'm not crazy!"; 2 Qualified doubts; 3 From Gentzen to the Dialectica interpretation; 4 Mathematicians are people of faith; 11 Mind versus Computer: Gödel and Artificial Intelligence; 1 Is mind (just) a program?; 2 "Seeing the truth" and "going outside the system" 3 The basic mistake |
Record Nr. | UNINA-9910792101703321 |
Berto Francesco
![]() |
||
Hoboken, : John Wiley & Sons, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
There's Something About Gödel [[electronic resource] ] : The Complete Guide to the Incompleteness Theorem |
Autore | Berto Francesco |
Pubbl/distr/stampa | Hoboken, : John Wiley & Sons, 2009 |
Descrizione fisica | 1 online resource (255 p.) |
Disciplina | 511.3 |
Soggetto topico |
Incompleteness theorems - Philosophy
Gödel's theorem Mathematics |
ISBN | 1-4443-1502-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
GODEL; Contents; Prologue; Acknowledgments; Part I: The Gödelian Symphony; 1 Foundations and Paradoxes; 1 "This sentence is false"; 2 The Liar and Gödel; 3 Language and metalanguage; 4 The axiomatic method, or how to get the non-obvious out of the obvious; 5 Peano's axioms ...; 6 ... and the unsatisfied logicists, Frege and Russell; 7 Bits of set theory; 8 The Abstraction Principle; 9 Bytes of set theory; 10 Properties, relations, functions, that is, sets again; 11 Calculating, computing, enumerating, that is, the notion of algorithm; 12 Taking numbers as sets of sets; 13 It's raining paradoxes
14 Cantor's diagonal argument 15 Self-reference and paradoxes; 2 Hilbert; 1 Strings of symbols; 2 "... in mathematics there is no ignorabimus"; 3 Gödel on stage; 4 Our first encounter with the Incompleteness Theorem ...; 5 ... and some provisos; 3 Gödelization, or Say It with Numbers!; 1 TNT; 2 The arithmetical axioms of TNT and the "standard model" N; 3 The Fundamental Property of formal systems; 4 The Gödel numbering ...; 5 ... and the arithmetization of syntax; 4 Bits of Recursive Arithmetic ...; 1 Making algorithms precise; 2 Bits of recursion theory; 3 Church's Thesis 4 The recursiveness of predicates, sets, properties, and relations 5 ... And How It Is Represented in Typographical Number Theory; 1 Introspection and representation; 2 The representability of properties, relations, and functions ...; 3 ... and the Gödelian loop; 6 "I Am Not Provable"; 1 Proof pairs; 2 The property of being a theorem of TNT (is not recursive!); 3 Arithmetizing substitution; 4 How can a TNT sentence refer to itself?; 5 γ; 6 Fixed point; 7 Consistency and omega-consistency; 8 Proving G1; 9 Rosser's proof; 7 The Unprovability of Consistency and the "Immediate Consequences" of G1 and G2 1 G22 Technical interlude; 3 "Immediate consequences" of G1 and G2; 4 Undecidable1 and undecidable2; 5 Essential incompleteness, or the syndicate of mathematicians; 6 Robinson Arithmetic; 7 How general are Gödel's results?; 8 Bits of Turing machine; 9 G1 and G2 in general; 10 Unexpected fish in the formal net; 11 Supernatural numbers; 12 The culpability of the induction scheme; 13 Bits of truth (not too much of it, though); Part II: The World after Gödel; 8 Bourgeois Mathematicians! The Postmodern Interpretations; 1 What is postmodernism?; 2 From Gödel to Lenin 3 Is "Biblical proof" decidable? 4 Speaking of the totality; 5 Bourgeois teachers!; 6 (Un)interesting bifurcations; 9 A Footnote to Plato; 1 Explorers in the realm of numbers; 2 The essence of a life; 3 "The philosophical prejudices of our times"; 4 From Gödel to Tarski; 5 Human, too human; 10 Mathematical Faith; 1 "I'm not crazy!"; 2 Qualified doubts; 3 From Gentzen to the Dialectica interpretation; 4 Mathematicians are people of faith; 11 Mind versus Computer: Gödel and Artificial Intelligence; 1 Is mind (just) a program?; 2 "Seeing the truth" and "going outside the system" 3 The basic mistake |
Record Nr. | UNINA-9910818622103321 |
Berto Francesco
![]() |
||
Hoboken, : John Wiley & Sons, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
There's Something about Gödel |
Autore | Berto Francesco |
Pubbl/distr/stampa | John Wiley & Sons, Incorporated |
ISBN |
9781444315011
1444315013 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910595312703321 |
Berto Francesco
![]() |
||
John Wiley & Sons, Incorporated | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Topics of thought : the logic of knowledge, belief, imagination / / Francesco Berto [[electronic resource]] |
Autore | Berto Francesco |
Edizione | [First edition.] |
Pubbl/distr/stampa | Oxford : , : Oxford University Press, , 2022 |
Descrizione fisica | 1 online resource |
Disciplina | 121 |
Collana | Oxford scholarship online |
Soggetto topico |
Knowledge, Theory of
Logic |
ISBN | 0-19-194827-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910629581703321 |
Berto Francesco
![]() |
||
Oxford : , : Oxford University Press, , 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|