Intuitionism - PDFSEARCH.IO - Document Search Engine

Intuitionism
Results: 125

#	Item
1	A comment on Temkin’s trade-offs John Broome When people first built bridges, they managed without much theory. They could judge a log by eye, relying on their intuition. Their intuitions were reliable, being built on Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2004-01-06 16:25:37 Philosophy Ethics Meta-ethics Larry Temkin Mere addition paradox Derek Parfit Ethical intuitionism Intuition Reason Temkin
2	T HE R EVIEW OF S YMBOLIC L OGIC Volume 2, Number 2, June 2009 PLURALISM IN LOGIC HARTRY FIELD Philosophy Department, New York University Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2009-08-21 05:52:07 Logic Philosophical logic Non-classical logic Logical connectives Logical consequence Constructivism Intuitionistic logic Logical truth First-order logic Intuitionism Relevance logic Negation
3	62 Intuitive Methods of Moral Decision Making, A Philosophical Plea Add to Reading List Source URL: philpapers.org Language: English Ethics Philosophy Meta-ethics Normative ethics Philosophy of life Kantianism Casuistry Ethical intuitionism Kantian ethics Groundwork of the Metaphysic of Morals Moral psychology Virtue ethics
4	ANON SUBMISSION Discussion Paper: “There is No Moral Faculty” Abstract: Dewey’s ethical naturalism has provided an exemplary model for many contemporary naturalistic treatments of morality. However, in some recent Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:30:17 Meta-ethics Ethics Moral psychology Philosophy of mind American psychologists Moral sense theory Morality Moral reasoning Moral relativism Ethical intuitionism Marc Hauser Moral Minds
5	Guy Fletcher: Well-being and other topics Hello, and welcome to Forward Thinking, a monthly podcast from the School of Philosophy, Psychology and Language Sciences, where once a month we talk to our academics about the f Add to Reading List Source URL: www.blogs.hss.ed.ac.uk Language: English - Date: 2016-07-22 06:22:37 Social philosophy Philosophy of life Ethics Dichotomies Normative ethics Meta-ethics Good and evil Normative Happiness Ethical intuitionism Groundwork of the Metaphysic of Morals
6	RE&DisagreementAboutLogics Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:19 Philosophical logic Modal logic Logic Paraconsistent logic First-order logic Mathematical logic Intuitionism Meaning
7	Microsoft Word - 20-ICIFS-2016-CFP.doc Add to Reading List Source URL: ifigenia.org Language: English - Date: 2016-01-11 03:24:01 Krassimir Atanassov Fuzzy logic Fuzzy set Constructivism Vladik Kreinovich Intuitionism BG
8	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
9	A complexity analysis of functional interpretations 1 Mircea-Dan HERNEST a,2 and Ulrich KOHLENBACH b,3 a Laboratoire ´ Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:24:17 Logic Mathematical logic Proof theory Abstraction Intuitionism Constructivism Logic in computer science Model theory Dialectica interpretation Intuitionistic logic Realizability First-order logic
10	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier