Тёмный

One Man's Modus Ponens (Is Another Man's Modus Tollens) 

Carneades.org
Подписаться 151 тыс.
Просмотров 6 тыс.
50% 1

An explanation of the phrase "One Man's Modus Ponens is another Man's Modus Tollens" as well as definitions of the logical forms of modus ponens and modus tollens and an example from G.E. Moore.
Sponsors: Joshua Furman, Joshua Opell, NBA_Ruby, Eugene SY, Antoinemp1, Antibody, Ismail Fagundes, Adrien Ecoffet, Tom Amedro, Christopher McGevna, Joao Sa, and Dennis Sexton. Thanks for your support!
Donate on Patreon: / carneades
Buy stuff with Zazzle: www.zazzle.com/carneades
Follow us on Twitter: @CarneadesCyrene / carneadescyrene
Information for this video gathered from The Stanford Encyclopedia of Philosophy, The Internet Encyclopedia of Philosophy, The Cambridge Dictionary of Philosophy, The Oxford Dictionary of Philosophy and more!
(#Logic, #ModusPonens)

Опубликовано:

 

23 янв 2021

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 23   
@captain_outis
@captain_outis 3 года назад
One person’s Modus Pwnens is another person’s Modus Trollens
@CarneadesOfCyrene
@CarneadesOfCyrene 3 года назад
Haha! That's great!
@paulk314
@paulk314 3 года назад
The end of the video can be expressed with a new modis ponens: p and not q p and not q implies not (p implies q) therefore, not (p implies q)
@valdembergnobre2026
@valdembergnobre2026 3 года назад
I know it doesn't have anything to do with the content of the video, but it was odd that the title of one of the slides was "Judo flip", but the "images" on the side are composed by the word "Karate". Anyway it's just a funny thing, great video as always and I love the "Dumbfounding definitions, (and a whole bunch of d-words haha)".
@kensey007
@kensey007 Год назад
Love this.
@HeyHeyHarmonicaLuke
@HeyHeyHarmonicaLuke 3 года назад
Damn, that was a good one! Nice work Carneades.org
@Dayglodaydreams
@Dayglodaydreams 3 года назад
So glad this isn't a song.
@JonSebastianF
@JonSebastianF 3 года назад
Is this "Judo Flip" the same as a _reductio ad absurdum_ argument? *P1:* _p_ *P2:* _p_ implies _q_ *C1:* therefore _q_ *P3:* _not-q_ *C2:* therefore P1 or P2 or both are false
@nosteinnogate7305
@nosteinnogate7305 3 года назад
I would say so. Moore is basically saying that q is absurd, so he rejects the argument based on the conclusion.
@CarneadesOfCyrene
@CarneadesOfCyrene 3 года назад
Reductio ad absurdum is similar, but slightly different. Generally reductio ad absurdum arguments take either the conclusion or one of the premises, and show that they lead to a contradiction or (in the less formal use of the phrase) lead to a particularly ridiculous conclusion. So it woudl look like: P1: p P2: p implies q C1: therefore q P3: q implies r P4: q implies not r P5: r and not r C2: therefore not q. However, if you take the less formal definition which requires that you show an argument lead to an absurd conclusion and you think that the conclusion itself (i.e. q) is absurd, it might be considered an example of this. It could also be used in combination if you showed that q implies a contradiction then you use that to specifically deny p via modus tollens.
@nosteinnogate7305
@nosteinnogate7305 3 года назад
@@CarneadesOfCyrene So every modus tollens is a reductio ad absurdum, but not every reductio ad absurdum is a modus tollens?
@hokalos
@hokalos 3 года назад
@@nosteinnogate7305 I think you got it reversed. All reductio ad absurdum is modus tollens.
@zsoltnagy5654
@zsoltnagy5654 2 года назад
Hm, interesting interpretation of the phrase "One Man's Modus Ponens is another Man's Modus Tollens.". I have quite the different interpretation of the same phrase "One Man's Modus Ponens is another Man's Modus Tollens.". Generally speaking the material conditional P>Q is logically equivalent to these other three statements: 1) P>Q 2) ~Q>~P 1, contraposition 3) ~P∨Q 1, material implication 4) ~(P&~Q) 3, De Morgan's law Contraposition, material implication and De Morgan's law are actually logical equivalences, so the above inferences could be done from the conclusions to the premises backwards. Suppose the material conditional P>Q as premise P1 and P as premise P5, then the following argument and inference can be made from those two premises: P1) P>Q P5) P C) Q 1, 5, *modus ponens* But since there are three othere logically equivalent formulations of that material conditional and premise P1 another inferences and with that arguments can be made with the same premise P5 deriving the same conclusion C: P2) ~Q>~P 1, contraposition P5) P C) Q 2, 5, *modus tollens* Or P3) ~P∨Q 1, material implication P5) P C) Q 3, 5, *disjunctive syllogism* Or P4) ~(P&~Q) 3, De Morgan's law P5) P P6.1) ~Q indirect proof assumption P6.2) P&~Q 5, 6.1, conjunction introduction P6.3) ~(P&~Q)&(P&~Q) 4, 6.2, conjunction introduction C) Q 6.1- 6.3, *indirect proof* All four inferences *modus ponens* , *modus tollens* , *disjunctive syllogism* and *indirect proof* and the associated arguments with them are logically equivalent to each other and since *modus ponens* and *modus tollens* are the more common ones, I guess then, therefore the phrase "One Man's Modus Ponens is another Man's Modus Tollens.". But the following phrase would be more appropriate to reflect this logical equivalences and subject matter of arguments: "One Man's Modus Ponens is another Man's Modus Tollens, another Man's Disjunctive Syllogism and another Man's Indirect Proof."
@zsoltnagy5654
@zsoltnagy5654 3 года назад
I'm using mostly the "Third Way" denying and rejecting the implication in apologetic arguments. For example there is this nonsense from Wade A. Tisthammer alias Maverick Christian: _1. If it is raining, then my car is wet._ _2. It is raining._ _3. Therefore, my car is wet._ from his blog *"Introductory Logic, Part 1"* I mean, what else is here to say than, that it might be raining and his car still might be not wet, because it might be in a garage, when that rain might occur?
@CarneadesOfCyrene
@CarneadesOfCyrene 3 года назад
Yep. Often the problem is the implication itself.
@zsoltnagy5654
@zsoltnagy5654 3 года назад
​@@CarneadesOfCyrene I found it fascinating, how Maverick Christian defended this and other similar implications of his: _"A material implication is only false, if the antecedent is true and the consequent is false._ _You need to show, that this is the case in order to that premise to be false."_ I gave him an analogy with a _modus tollens_ about a drawn quadrilateral: *1. If it's possible for a drawn quadrilateral to be a rectangle, then it's possible for that drawn quadrilateral to be a square.* Suppose we get the hint, that the quadrilateral is definitely not a square. Hence, premise 2. It's not possible for that drawn quadrilateral to be a square. (conclusion from 1 and 2 via _modus tollens_ ) 3. Therefore, it's not possible for that drawn quadrilateral to be a rectangle. Yet that drawn quadrilateral is a rectangle and not a square, because I, the person, who drew that quadrilateral, specifically drew that quadrilateral that way to demonstrate the absurdness of these kinds of logical inferences. I think, that this has to do with aristotelian logic or the lack of considerations of aristotelian logic: Squares and rectangles are defined in such a way, that the set of all squares is a subset of the set of all rectangles - meaning, that all squares are rectangles, *but not all rectangles are squares* . So if a quadrilateral is a square, then that quadrilateral is a rectangle since all squares are rectangles. *But it's not necessarily the case, that if a quadrilateral is a rectangle, then that quadrilateral is also a square since not all rectangles are squares.* So those kinds of implications are on their own simply false. They might work with other and more assertions, assumptions, informations and premises, but on their own they are simply irrational to hold. This irrationality holds for a lot of implications; not just made by apologetics but also quite a few other not-well-trained in logic philosophers and persons. Also this irrationality holds for at least one supposedly well-trained in logic mathematician and philosopher - namely Alexander Pruss: _1. If there could be a backwards infinite sequence of events, Hilbert's Hotel would be possible._ *_2. If Hilbert's Hotel were possible, the GR Paradox could happen._* _3. The GR Paradox cannot happen._ _4. Therefore, there cannot be a backwards infinite sequence of events._ from his blog post *"From the Grim Reaper paradox to the Kalaam argument"* (Friday, October 2, 2009) No, the GR Paradox could happen only if Hilbert's Hotel were possible - meaning if the Hilbert's Hotel were not possible, then GR Paradox could not happen and if the GR Paradox could happen, then Hilbert's Hotel were possible. Cause of something, drawn quadrilaterals, something, aristotelian logic, something, analogous,... This is my elaboration for you on, why sometimes (in my experience encountering apologetic arguments quite more than "sometimes") the "Third Way" is a justified rational way. You hinted in your video, that the “Third Way” might be a controversial one to do. Certainly it is controversial to do, if doing so would be unjustified and irrational. But in my experience with apologetic arguments the “Third Way” denying and rejecting that crucial implication is very much so and quite often justifiable and rational to do so.
@Pfhorrest
@Pfhorrest 3 года назад
I'm almost always taking the third way, denying that some P and Q held by opposing sides are actually in opposition. No wonder everybody seems to hate my philosophical views. (But guys, I'm trying to say you're both right! You can have P and Q! It's just the "if P then not-Q" part that's tripping you both up! Can't we all just get along?)
@TheRogueRockhound
@TheRogueRockhound 3 года назад
I feel like Donny right now...
@lbdeuce
@lbdeuce 3 года назад
Would you like a green quarter?
@TheRogueRockhound
@TheRogueRockhound 3 года назад
@@lbdeuce Actually, I was just going to STFU. ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-H0OaeMYTbs4.html
@shaelee9888
@shaelee9888 3 года назад
You talk way too fast!
@Ansatz66
@Ansatz66 3 года назад
It's foolish to flip an argument around like that since the whole point of giving an argument is to convince people of the argument's conclusion, and to do that we need to use premises that people are likely to accept. A person who just gave an argument for q is highly unlikely to accept not-q as a premise.
@CarneadesOfCyrene
@CarneadesOfCyrene 3 года назад
It only works when you think you have a strong argument for q and you think your opponent has a weak argument for p. But generally yes, as a skeptic I find Moore's argument completely unconvincing. That said, it is a common argument style that you will see, particularly when faced with trilemmas that include an implication.
Далее
Logical Arguments - Modus Ponens & Modus Tollens
8:44
Просмотров 374 тыс.
Logic 101 (#27): Modus Ponens
6:00
Просмотров 74 тыс.
What is Determinism? (Free Will)
15:57
Просмотров 9 тыс.
What is a Haecceity? (Metaphysics)
6:52
Просмотров 8 тыс.
Who are you?
13:32
Просмотров 20 млн
Modus Ponens and Modus Tollens
11:37
Просмотров 15 тыс.
Logical Fallacies
17:29
Просмотров 223 тыс.
What is Hard Determinism? (Does Free Will Exist?)
9:44