A Shortcut for Intuitionistic Double-Negation | Attic Philosophy

preview_player
Показать описание
Intuitionistic negation can be difficult to get your head around, so double-negations are twice as tricky! Not-not-p doesn't mean the same as p (as it would do in classical logic). Fortunately, there's a shortcut we can use to work out that not-not-p means and where it'll be verified in a model.

00:00 - Intro
00:29 - Intuitionistic negation
01:05 - Double negations
01:43 - Double negation explained
02:00 - Working not-not p out
02:36 - The shortcut explained
03:19 - Shortcut for not-not p
04:14 - Wrap up

If there’s a topic you’d like to see covered, leave me a comment below.

Links:

Get in touch on Social media!

#logic #philosophy #semantics
  1. Attic Philosophy
Рекомендации по теме
A Shortcut for 0:04:52

A Shortcut for Intuitionistic Double-Negation | Attic Philosophy

the double-negation rule 0:06:03

the double-negation rule

Propositional Logic: Double 0:02:19

Propositional Logic: Double Negation

Translating Intuitionistic logic 0:06:44

Translating Intuitionistic logic to modal logic | Attic Philosophy

Intro to Logic: 0:07:56

Intro to Logic: Sample derivation - double negation

Don't Do This 0:02:25

Don't Do This - Double Negative Property

Verify the Double 0:01:28

Verify the Double Negative Property ~(~p) = p by Constructing a Truth Table

Intuitionistic Logic | 0:14:33

Intuitionistic Logic | Attic Philosophy

3.3.2 Rule 9 0:07:59

3.3.2 Rule 9 Double Negation

La double négation 0:01:00

La double négation

The Philosophy behind 0:09:00

The Philosophy behind Intuitionistic Logic | Attic Philosophy

Mapping intuitionistic logic 0:02:53

Mapping intuitionistic logic to the modal logic S4 (2 Solutions!!)

Dr. Sahar Joakim, 0:06:45

Dr. Sahar Joakim, What is double negation?

cs433 double negation 0:57:05

cs433 double negation translation cps

Minimal Logic vs. 0:14:57

Minimal Logic vs. Intuitionistic Logic vs. Classical Logic Part 2

Andrew Tedder & 0:59:53

Andrew Tedder & Stewart Shapiro – Saving Truth for Intuitionists

Semantics for Intuitionistic 0:08:43

Semantics for Intuitionistic Logic | Attic Philosophy

Lecture 10: Classical 1:03:18

Lecture 10: Classical Logic and Continuations

Logic08aNegationIntroduction 0:06:08

Logic08aNegationIntroduction

Minimal Logic vs. 0:08:40

Minimal Logic vs. Intuitionistic Logic vs. Classical Logic Part 1

Intuituionism I: Brouwer's 0:03:34

Intuituionism I: Brouwer's CONSTRUCTIVISM ⟨06,05⟩—optional

Guillermo Badia & 0:56:58

Guillermo Badia & Grigory Olkhovikov – A Lindström theorem for predicate intuitionistic logic

Lessons in Logic 0:08:47

Lessons in Logic 8: Enthymemes

Vlad Patryshev- Calculating 0:55:48

Vlad Patryshev- Calculating Intuitionistic Logic in Scala- λC 2019

Комментарии
Автор

I just discovered this channel recently and it is amazing! I first encountered Prof. Jago via an NDPR review he did of Tallant's book on truthmaking and for whatever reason, I pictured him as a grizzly veteran with a white beard. Fun to see a high energy young man instead! Keep up the excellent work!

alistairkentucky-david
Автор

I've heard double negation as "we don't doubt p", is that a fair interpretation?

warwolt
Автор

These videos would be a lot better for me if there were some real world examples included.

justenhansen