Intuitionistic Logic

Open Collage in a new Window

Make changes yourself !

Intuitionist versus Classical Natural Deduction

Order: Reorder
Duration: 17:00
Updated: 12 Jun 2013

With background music, if only to make the content less dry: http://www.youtube.com/watch?v=1Fyq491akoc.

http://wn.com/Intuitionist_versus_Classical_Natural_Deduction

Kant's Logic and Implications for Mathematics

Order: Reorder
Duration: 67:42
Updated: 01 Aug 2013

Michiel van Lambalgen (Amsterdam) and Dora Achourioti (Amsterdam) give a talk at the MCMP Colloquium (9 Nov, 2011) titled "The completeness of Kant's Table o...

http://wn.com/Kant's_Logic_and_Implications_for_Mathematics

IEEE Projects | Texture Retrieval System using Intuitionistic Fuzzy Set Theory

Order: Reorder
Duration: 8:26
Updated: 13 May 2013

IEEE Projects | Texture Retrieval System using Intuitionistic Fuzzy Set Theory More Details: Visit http://clickmyproject.com/a-secure-erasure-codebased-cloud...

http://wn.com/IEEE_Projects_|_Texture_Retrieval_System_using_Intuitionistic_Fuzzy_Set_Theory

Relativism and Superassertibility

Order: Reorder
Duration: 46:11
Updated: 18 Oct 2013

Manfred Harth (LMU) gives a talk at MCMP. Abstract: Relativism about truth is in vogue these days. More and more areas of thought and language are considered as promising candidates for a relativistic semantics in recent years: future contingents, epistemic modals, taste-judgements, knowledge ascriptions, moral judgements etc. However, current truth-relativism is a highly contested position facing some serious problems, and given these problems a look for an alternative shape of relativism seems to be advisable for those of us who are also sceptical about contextualism for the areas in question but have relativistic inclinations all the same. In my talk, I shall explore the prospects of such an alternative for moral judgements, which is based on an epistemic account of truth as stable or superassertibility, i.e. the property of being assertible in some state of information and remaining so no matter what improvements are made to it. The straightforward road to relativism within this framework, which is proposed by Michael Lynch and Crispin Wright, is to admit that two contradictory propositions may be both stably assertible relative to divergent starting points of states of information. Yet, not too surprisingly, this requires a corresponding relativization of the truth predicate -- which was to be avoided from the outset. I'll discuss the following response to this problem: abandoning truth-relativism and limiting relativism to epistemic relativism conjoint with a restriction to intuitionistic logic. I'll conclude that this response, which I call anti-realist epistemic relativism, may yield a promising approach to relativism in ethics that presents an alternative to truth-relativism and contextualism.

http://wn.com/Relativism_and_Superassertibility

Constructive Provability Logic (1/4)

Order: Reorder
Duration: 7:10
Updated: 25 Mar 2013

This is the first part of my talk on Constructive Provability Logic, presented at IMLA 2011 in Nancy France. It describes the problem we're trying to solve: ...

http://wn.com/Constructive_Provability_Logic_1_4

Constructive Provability Logic (2/4)

Order: Reorder
Duration: 7:53
Updated: 17 Mar 2012

This is the second part of my talk on Constructive Provability Logic, presented at IMLA 2011 in Nancy France. It presents "definitional modal logic" or DML, ...

http://wn.com/Constructive_Provability_Logic_2_4

Alain Badiou. The Event as Creative Novelty 2009 2/13

Order: Reorder
Duration: 9:47
Updated: 12 Apr 2012

http://www.egs.edu/ Alain Badiou lecturing about mathematical logic in relation to Aristotles book 4 of the Metaphysics, in particular on the proposition of ...

http://wn.com/Alain_Badiou_The_Event_as_Creative_Novelty_2009_2_13

Dance in the rhythm of ...haiku

Order: Reorder
Duration: 4:29
Updated: 04 Apr 2013

Lyrics : FLORENTIN SMARANDACHE ( Volume : Silence's Bell ) ; Music : EDDIE CALVERT -My love Dr. Florentin Smarandache is a polymath: as author, co-author, ed...

http://wn.com/Dance_in_the_rhythm_of_haiku

Rationality, Logic, Paradox, and Paraconsistency

Order: Reorder
Duration: 5:50
Updated: 06 Jun 2013

Types of logic: classical, basic modal, normal modal, non-normal, conditional, intuitionist, many-valued, first degree entailment, basic relevant, mainstream...

http://wn.com/Rationality,_Logic,_Paradox,_and_Paraconsistency

Intuitionism is for Cool People

Order: Reorder
Duration: 7:17
Updated: 14 Aug 2013

Video detailing the moral system I follow and advocate and why and stuff.

http://wn.com/Intuitionism_is_for_Cool_People

Michael Huemer - Defending Libertarianism: The Common Sense Approach - PorcFest X

Order: Reorder
Duration: 61:48
Updated: 18 Aug 2013

The best way to defend libertarianism is not through economic arguments; nor appeals to general, abstract theories about the nature of morality; nor through ...

http://wn.com/Michael_Huemer_Defending_Libertarianism_The_Common_Sense_Approach_PorcFest_X

The Rise and Fall of Linear Temporal Logic, Moshe Vardi

Order: Reorder
Duration: 54:10
Updated: 18 Oct 2013

One of the surprising developments in the area of program verification in the late part of the 20th Century is the emergence of Linear Temporal Logic (LTL), a logic that emerged in philisophical studies of free will, as the cannonical language for describing temporal behavior of computer systems. LTL, however, is not expressive enough for industrial applications. The first decade of the 21 Century saw the emergence of industrial temporal logics such as ForSpec, PSL, and SVA. These logics, however, are not clean enough to serve as objects of theoretical study. This talk will describe the rise and fall of LTL, and will propose a new cannonical temporal logic: Linear Dynamic Logic (LDL).

http://wn.com/The_Rise_and_Fall_of_Linear_Temporal_Logic,_Moshe_Vardi

A Formal Approach for Developing Reliable Service-based Systems

Order: Reorder
Duration: 48:32
Updated: 12 Feb 2013

Google Tech Talks November, 29 2007 ABSTRACT Service-based systems are increasingly being used for deploying large-scale applications in mission-critical env...

http://wn.com/A_Formal_Approach_for_Developing_Reliable_Service-based_Systems

Ethical Intuitions and their Reliability

Order: Reorder
Duration: 81:04
Updated: 13 Oct 2013

Walter Sinnott-Armstrong and Matt Bedke consider the extent to which we can justifiably trust our ethical intuitions. They discuss the analogy between ethical intuitions and color perceptions (2:55), a potential difference between ethical intuitions and non-ethical philosophical intuitions (19:45), Sinnott-Armstrong's work on framing effects (27:11), and Bedke's critique of non-naturalist ethical intuitionism (60:44), among other topics. This talk is from Philosophy TV. For more information, go to www.philostv.com.

http://wn.com/Ethical_Intuitions_and_their_Reliability

Intuitionist

Order: Reorder
Duration: 0:05
Updated: 15 Feb 2012

http://wn.com/Intuitionist

Philosophy of Mathematics: Platonism

Order: Reorder
Duration: 73:21
Updated: 05 Oct 2013

A non-technical introduction to platonism in the philosophy of mathematics. Philosophy of mathematics is important, especially for philosophers interested in metaphysics. Suppose, for instance, you have nominalist tendencies, and you argue against the existence of abstract objects. Well, probably the most important kind of abstract objects are found in mathematics. Any serious nominalist needs to give an account of them. Yet philosophy of mathematics is also, for obvious reasons, quite technical, and it can be pretty daunting for those who have less mathematical training. Nevertheless, I think the basic arguments can be made accessible to anyone who's interested, and that's what I've tried to do in this video. For further reading on phil of mathematics, I recommend: "Thinking About Mathematics" by Stewart Shapiro and "Introducing Philosophy of Mathematics" by Michele Friend. These are both fairly orthodox introductions. For an introduction that focuses more on contemporary issues (it has just a few pages devoted to formalism, logicism, and intuitionism, yet a whole chapter on paraconsistent mathematics), I recommend "An Introduction to the Philosophy of Mathematics" by Mark Colyvan. There is some debate about how exactly to formulate the Quine-Putnam Indispensability Argument. In this video, I've followed Colyvan (see his aforementioned "Introduction"). Re 43:26: I'm not sure why I said that. Obviously, Von Neumann did not hold the absurd belief that every ordinal *is* the ordinal before it; rather he believed that every ordinal is *the set of* all ordinals before it. Re 1:01:18: I should have noted at this point that in her book "Realism in Mathematics", Maddy spends quite a bit of time answering objection (1). Plenitudinous platonism is also known by the name "full-blooded platonism". Mark Balaguer's exposition of it can be found in "Platonism and Anti-Platonism in Mathematics". This book is also the source of the third objection to Maddy's views, about the difficulties of avoiding the aggregate theory of sets. The objection is explained in somewhat more detail there. I said that I consider PP the most interesting form of platonism. This is not quite true. In my opinion, PP is not plenitudinous enough. The problem is that it allows only *consistent* theories. Those of us who are friends of paraconsistency will consider this an unwelcome restriction. Beall presents a more liberal form of PP in this short paper: http://homepages.uconn.edu/~jcb02005/papers/fbplatonism.pdf

http://wn.com/Philosophy_of_Mathematics_Platonism

Lecture 2.4b: Introduction to Reasons - Part 1

Order: Reorder
Duration: 17:47
Updated: 10 Feb 2013

The SEP has a very nice introduction to deontic logic for those interested in further exploring deontic semantics, and has a huge bibliography filled with re...

http://wn.com/Lecture_24b_Introduction_to_Reasons_Part_1

Introducing my system of three-value logic

Order: Reorder
Duration: 15:00
Updated: 04 Apr 2013

I have been mulling over a system of logic that would model the way divisibility by three behaves in arithmetical operations such as multiplication. Even tho...

http://wn.com/Introducing_my_system_of_three-value_logic

Michael Huemer - The Psychology of Authority - PorcFest X

Order: Reorder
Duration: 79:49
Updated: 15 Aug 2013

Evidence from psychology and history teaches two main lessons about authority: (a) that human beings have a variety of strong, pro-authority biases, and (b) ...

http://wn.com/Michael_Huemer_The_Psychology_of_Authority_PorcFest_X

Logical Puzzles

Order: Reorder
Duration: 6:34
Updated: 05 Aug 2013

A quick introduction to some logical puzzles. Robin Wilson, Gresham Professor of Geometry, runs through some sample problems, from Epimenides to Lewis Carrol...

http://wn.com/Logical_Puzzles

Melvin Fitting's talk at The Constructive in Logic and Applications 2012

Order: Reorder
Duration: 36:30
Updated: 31 Jul 2012

Melvin Fitting's talk at The Constructive in Logic and Applications, A Conference in Honor of the 60th Birthday of Sergei Artemov. http://cslogic.info/Constr...

http://wn.com/Melvin_Fitting's_talk_at_The_Constructive_in_Logic_and_Applications_2012

Constructive Provability Logic (3/4)

Order: Reorder
Duration: 13:11
Updated: 30 Jul 2011

This is the third part of my talk on Constructive Provability Logic, presented at IMLA 2011 in Nancy France. It presents constructive provability logic and g...

http://wn.com/Constructive_Provability_Logic_3_4

Brief Interviews Mike 2 Logic and Philosophy in General

Order: Reorder
Duration: 1:36
Updated: 22 Nov 2010

http://wn.com/Brief_Interviews_Mike_2_Logic_and_Philosophy_in_General

This page contains text from Wikipedia, the Free Encyclopedia - http://en.wikipedia.org/wiki/Intuitionistic_logic

This article is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License, which means that you can copy and modify it as long as the entire work (including additions) remains under this license.

This page contains text from Wikipedia, the Free Encyclopedia - http://en.wikipedia.org/wiki/Alain_Badiou

This article is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License, which means that you can copy and modify it as long as the entire work (including additions) remains under this license.

Branches of Mathematics

Pure mathematics

Applied mathematics

Related Topics

Intuitionist versus Classical Natural Deduction

Kant's Logic and Implications for Mathematics

IEEE Projects | Texture Retrieval System using Intuitionistic Fuzzy Set Theory

Relativism and Superassertibility

Constructive Provability Logic (1/4)

Constructive Provability Logic (2/4)

Alain Badiou. The Event as Creative Novelty 2009 2/13

Dance in the rhythm of ...haiku

Rationality, Logic, Paradox, and Paraconsistency

Intuitionism is for Cool People

Michael Huemer - Defending Libertarianism: The Common Sense Approach - PorcFest X

The Rise and Fall of Linear Temporal Logic, Moshe Vardi

A Formal Approach for Developing Reliable Service-based Systems

Ethical Intuitions and their Reliability

Make changes yourself !

Intuitionist versus Classical Natural Deduction

Kant's Logic and Implications for Mathematics

IEEE Projects | Texture Retrieval System using Intuitionistic Fuzzy Set Theory

Relativism and Superassertibility

Constructive Provability Logic (1/4)

Constructive Provability Logic (2/4)

Alain Badiou. The Event as Creative Novelty 2009 2/13

Dance in the rhythm of ...haiku

Rationality, Logic, Paradox, and Paraconsistency

Intuitionism is for Cool People

Michael Huemer - Defending Libertarianism: The Common Sense Approach - PorcFest X

The Rise and Fall of Linear Temporal Logic, Moshe Vardi

A Formal Approach for Developing Reliable Service-based Systems

Ethical Intuitions and their Reliability

Intuitionist

Philosophy of Mathematics: Platonism

Lecture 2.4b: Introduction to Reasons - Part 1

Introducing my system of three-value logic