Intuitionism - PDFSEARCH.IO - Document Search Engine

Intuitionism
Results: 125

#	Item
21	The University of Calgary Department of Philosophy PhilosophyPHILOSOPHY OF MATHEMATICS Winter 2005 — Richard Zach Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2008-10-27 16:48:35 Philosophers of mathematics Analytic philosophers Mathematical logic Epistemology Foundations of mathematics Paul Benacerraf Intuitionism Gottlob Frege Logicism Mathematics Philosophy Philosophy of mathematics
22	Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional Programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 09:06:02 Mathematical logic Intuitionism Epistemology Philosophy of mathematics Logic in computer science Constructivism Constructive proof Constructive analysis Intuitionistic logic Mathematics Mathematical constructivism Logic
23	Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or Add to Reading List Source URL: consequently.org Language: English Paraconsistent logic Intuitionism Intuitionistic logic Classical logic Many-valued logic Fuzzy logic Proof theory Modal logic Truth value Logic Mathematical logic Non-classical logic
24	MORAL INTUITION, MORAL THEORY, AND PRACTICAL ETHICS Moral Inquiry Suppose we wish to understand a particular moral problem - for example, abortion. How should we proceed? One approach, which I favor, is to reason on the Add to Reading List Source URL: jeffersonmcmahan.com Language: English - Date: 2015-03-21 11:59:40 Social philosophy Epistemologists Philosophy of life Morality Intuition Immanuel Kant Is–ought problem Ethical intuitionism Science of morality Philosophy Ethics Meta-ethics
25	WordPerfect Office Document Add to Reading List Source URL: www.mvr1.com Language: English - Date: 2013-01-25 10:57:06 Ethics Meta-ethics Ethical intuitionism Intuition Foundationalism Theory of justification Coherentism Robert Audi Moral skepticism Philosophy Epistemology Justification
26	Intuitionistic Modal Logic: 15 Years Later... Valeria de Paiva Nuance Communications Berkeley March 2015 Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2015-03-07 22:58:09 Non-classical logic Philosophical logic Logic in computer science Philosophy of mathematics Mathematical constructivism Modal logic Intuitionistic logic Intuitionism Curry–Howard correspondence Logic Mathematical logic Mathematics
27	PDF Document Add to Reading List Source URL: www.parrhesiajournal.org Language: English - Date: 2007-08-30 22:47:44 Philosophy of mathematics Mathematical constructivism Non-classical logic Philosophical logic Rules of inference Alain Badiou Ontology Empty set Intuitionism Logic Mathematical logic Mathematics
28	Lecture 3: A Case for the Rational Revisability of Logic. Earlier discussions on rational revisability of logic: Putnam: to understand QM, accept counterinstances to distributive law. In 2-slit experiment, accept that th Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-05-15 07:08:18 Non-classical logic Philosophical logic Philosophy of mathematics Epistemology Mathematical constructivism Quantum logic Intuitionism Law of excluded middle Truth Logic Philosophy Science
29	CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50 Add to Reading List Source URL: www.mat.uc.pt Language: English - Date: 2009-09-09 05:24:23 Formal languages Intuitionism Mathematical constructivism Proof theory Non-classical logic Realizability Stephen Cole Kleene Model checking Linear temporal logic Logic Mathematical logic Mathematics
30	Practical Reasoning with Proofs and Types Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-02-09 17:15:05 Mathematics Non-classical logic Epistemology Philosophy of mathematics Logic in computer science Intuitionism Natural deduction Realizability Modal logic Logic Mathematical logic Mathematical constructivism