George Boolos - PDFSEARCH.IO - Document Search Engine

George Boolos
Results: 15

#	Item
1	Feferman on Godel and Free Will Abstract Feferman surveys the work of Godel and Turing, and, although not himself holding a mechanist view of the mind as a whole, raises objections to the anti-mechanist argument put fo Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2010-11-17 13:56:05 Guggenheim Fellows Mathematical logic Cognitive science Materialism Mechanism Naturalism George Boolos Logic Modal logic Mathematical proof Solomon Feferman Contradiction
2	Coursebook Contents January 18, 2011 Philosophy 142 — Philosophical Logic 1. Leonard Linsky, “Two Concepts of Quantification,” Nous), 224–239. Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-18 13:49:43 Analytic philosophers Philosophical logic Logicians Philosophy of mathematics Metaphysicians Alan Ross Anderson George Boolos Stewart Shapiro Truth Logic Philosophy Analytic philosophy
3	Second-order logic (Cariani/MacFarlane) This exam focuses on philosophical issues surrounding second-order logic. The main focus is on Boolos’s project of devising interpretations for the second-order quantifiers that Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Analytic philosophers Quantification Predicate logic Philosophical logic George Boolos Plural quantification Philosophy of logic Second-order logic Willard Van Orman Quine Logic Philosophy Analytic philosophy
4	a simple solution to the hardest logic puzzle everPotts, CThe Logic of Conventional Implicatures. Oxford: Oxford University Press. Searle, J. R. and D. VandervekenFoundations of Illocutionary Logi Add to Reading List Source URL: dl.dropboxusercontent.com Language: English The Hardest Logic Puzzle Ever Science Raymond Smullyan Question George Boolos Logic NP Yes and no Fifteen puzzle Logic puzzles Mathematics Games
5	Frege’s Conception of Logic: From Kant to Grundgesetze Øystein Linnebo February 21, 2003 The last few decades have brought impressive new technical insights regarding Frege’s logicism and his “reduction of arithme Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:56:57 Philosophical logic Gottlob Frege Begriffsschrift Immanuel Kant Critique of Pure Reason George Boolos Concept Analytic–synthetic distinction Philosophy of logic Philosophy Logic Analytic philosophy
6	^ 37:[removed]±92 NOUS Plural Quantification Exposed* éYSTEIN LINNEBO Harvard University Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:10 Predicate logic Quantification Semantics Analytic philosophers Plural quantification Second-order logic George Boolos Ontological commitment First-order logic Logic Mathematical logic Mathematics
7	Open-endedness, schemas and ontological commitment∗ Nikolaj Jang Pedersen and Marcus Rossberg December 10, 2008 Abstract Second-order axiomatizations of certain important mathematical theories – such as arithmetic an Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:03 Predicate logic Model theory Quantification Analytic philosophers First-order logic George Boolos Second-order arithmetic Peano axioms Second-order logic Logic Mathematical logic Mathematics
8	Giorgi Japaridze Curriculum Vitae CONTACT INFORMATION Address: Computing Sciences Department, Villanova University, 800 Lancaster Avenue, Villanova, PA 19085, USA. Email: [removed] Telephone: (1) 61 Add to Reading List Source URL: www.csc.villanova.edu Language: English - Date: 2014-03-25 12:26:15 Non-classical logic Logic in computer science Philosophical logic Proof theory Computability logic Giorgi Japaridze Cointerpretability Weak interpretability George Boolos Logic Mathematical logic Mathematics
9	Richard G Heck Jr Department of Philosophy Brown University Box 1918 Providence RI[removed]2718 Add to Reading List Source URL: rgheck.frege.org Language: English - Date: 2014-04-09 16:16:44 Mathematics Philosophers of mathematics Philosophy of mathematics Gottlob Frege Linguistic turn Fulbright Scholars George Boolos James Higginbotham Crispin Wright Philosophy Analytic philosophers Analytic philosophy
10	a simple solution to the hardest logic puzzle ever[removed]Potts, C[removed]The Logic of Conventional Implicatures. Oxford: Oxford University Press. Searle, J. R. and D. Vanderveken[removed]Foundations of Illocutionary Logi Add to Reading List Source URL: skatgame.net Language: English - Date: 2012-12-28 15:30:09 The Hardest Logic Puzzle Ever Science Raymond Smullyan Question George Boolos Logic NP Yes and no Fifteen puzzle Logic puzzles Mathematics Games