Solomon Feferman - PDFSEARCH.IO - Document Search Engine

Solomon Feferman
Results: 18

#	Item
1	CONCEPTUAL STRUCTURALISM AND THE CONTINUUM Solomon Feferman PHILMATH INTERSEM 2010 Université Paris Diderot-Paris 7 June 8, 2010 Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2010-05-27 15:40:00
2	WHICH QUANTIFIERS ARE LOGICAL? A COMBINED SEMANTICAL AND INFERENTIAL CRITERION Solomon Feferman For the Constructive in Logic and Applications conference Add to Reading List Source URL: math.stanford.edu - Date: 2012-05-17 18:29:40
3	AND SO ON... REASONING WITH INFINITE DIAGRAMS Solomon Feferman Stanford University Diagrams Workshop, Paris, 9 October 2008 Add to Reading List Source URL: math.stanford.edu - Date: 2009-02-19 19:38:13
4	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
5	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29 Computability theory Proof theory Mathematical logic Metalogic Reverse mathematics Primitive recursive functional Second-order arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Model theory Symbol
6	Does mathematics need new axioms? Solomon Feferman The question, \Does mathematics need new axioms?", is ambiguous in practically every respect. Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-06-21 21:34:47
7	Harmonious Logic: Craig’s Interpolation Theorem and its Descendants ……… Solomon Feferman Stanford University Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-05-15 01:54:06 Lemmas Craig interpolation Mathematical logic Symbol Model theory Phi Abstraction
8	FOUNDATIONAL AND MATHEMATICAL USES OF HIGHER TYPES ULRICH KOHLENBACH† DEDICATED TO SOLOMON FEFERMAN FOR HIS 70TH BIRTHDAY §1. Introduction. A central theme of proof theory is expressed by the following question: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:34:29
9	http://oac.cdlib.org/findaid/ark:/13030/kt3g5033sq No online items Overview of the Anita Feferman collection Processed by Hoover Institution Archives Staff. Hoover Institution Archives Add to Reading List Source URL: pdf.oac.cdlib.org Language: English - Date: 2014-10-05 13:24:46 Jean van Heijenoort Solomon Feferman Stanford University Mathematics Politics of the United States Humanities Philosophers of mathematics Conservatism in the United States Hoover Institution
10	Forthcoming in: New Essays on Tarski and Philosophy. (Douglas Patterson, Ed.) Oxford University Press. (Contributors: Jody Azzouni, Arianna Betti, Marian David, John Etchemendy, Solomon Feferman, Greg Frost-Arnold, Mario Add to Reading List Source URL: www.mv.helsinki.fi Language: English - Date: 2007-12-12 04:13:16 Philosophical logic Theories of truth Analytic philosophers Meaning Mathematical logic Semantic theory of truth Alfred Tarski Donald Davidson T-schema Logic Philosophy Analytic philosophy

UPDATE