DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» George Boolos
George Boolos
Forcopy-Editing Only
The Logic of Provability
Yesterday's Algorithm: Penrose on the Gödel Argument
Modal Realism and Metaphysical Nihilism Gonzalo Rodriguez-Pereyra
Sometime a Paradox, Now Proof: Non-First-Order-Izability of Yablo's
A Logical Framework†
SPREAD WORLDS, PLENITUDE and MODAL REALISM: a PROBLEM for DAVID LEWIS by Charles R
The Logic of Frege's Theorem
Neofregeanism and Quantifier Variance∗
A Fundamental Flaw in an Incompleteness Proof by George Boolos
Logic, Logics, and Logicism
A Classical Defense Against Mathematical Empiricism
In January 1996, a Few Months After His 55Th Birthday, George Boolos
Marcus Rossberg Phd Thesis
The Many and the One: a Philosophical Study of Plural Logic
Hilary Putnam: an Era of Philosophy Has Ended
Bibliography on Metaontology (Including Ontological Commitment, and Some Philosophy of Mathematics)
Gödel Incompleteness Revisited Grégory Lafitte
Top View
Neo-Fregean Meta-Ontology
Are There Absolutely Unsolvable Problems? Gödel's Dichotomy†
Beyond the Axioms: the Question of Objectivity in Mathematics
6 Mar 2018 the Nuisance Principle in Infinite Settings
Curriculum Vitæ JOHN PATTON BURGESS
Natural Language and Formal Languages
A Puzzle About Ontological Commitments Philip A. Ebert
Boolos' Hardest Logic Puzzle Ever in Its Purest Form
The Gödel Incompleteness Phenomenon
Quantification and Second-Order Monadicity Paul M
Against Set Theory.Mellel
Computability and Logic, Fifth Edition
1 Gottlob Frege (1848–1925)
Reading the Begriffsschrift1
Philosophy 332
Frege, Boolos, and Logical Objects A= B ↔ AB
PHIL 140A - Intermediate Logic Professor Wes Holliday Tuth 11Am-12:30Pm UC Berkeley, Fall 2019 222 Wheeler
Philosophy of Mathematics: Theories and Defense Amy E
The Logical Heart of a Classic Proof Revisited: a Guide to Godel's
Intermediate Logic Professor Wesley Holliday MWF 2-3 UC Berkeley, Spring 2014 110 Wheeler
FIL2405/4405 – Philosophical Logic and the Philosophy of Math- Ematics, Autumn 2016 Peter Fritz (
[email protected]
, Office GM 414)
Frege's Conception of Logic: from Kant to Grundgesetze
Richard G Heck Jr