'Language, Proof and Logic': Chapter 2, Sections 2.1-2.5

preview_player
Показать описание
This video provides an introduction to the following concepts and their applications in Tarski's World and Fitch: Logical Consequence (Validity), Nonconsequence (Invalidity), Soundness, and Unsoundness.
Рекомендации по теме
Комментарии
Автор

Thank you Prof Wood, a big help, much gratitude and thanks 💌

andredejager
Автор

Thank you so very much this is very helpful! I am truly grateful

Akacia
Автор

Hi, Thank you so much for your amazing videos !! really helps me understand better. Can you tell me if the Tarskis world software is available online ? to download ?

jasonloseanalexander
Автор

would you say these videos are enough to study of maybe?

v_isforvictory
Автор

Can anyone help me with exercise 2.18?

nomadthegreat
Автор

Hello, Recently I found this book at a triftstore with an unopened copy / floppy of Tarski's world, which I have been looking for for years (version is from '93 or '97). Problem is that it doesn't work; not on an old system nor on a virtual machine, running windows 3.11. We get the same error message with both systems, that there is not enough memory to run the application. Is this known error with this program and can something be done about it?

reDrawn
Автор

Hi, I think you made a mistake on the Tarski's world with the example of valid arguments. "No Flibdoddles are Gluddits.All Quamines are Gluddits. So, no Quamines are Flibdoddles. -> No cubes are large. All tets are large.So, no tets are cubes. Instead of "No cubes are large.All tets are large.So, no cubes are tets". Let me know if I understand this correctly and thank you for your feedback. from time 17:14

fulufheloramudzwagi