I've been writing little flash-based logic tools for a few years, but until now, they have only been available through the Inquiry site interface. Here they are reproduced for common use. All are covered by Creative Commons-share alike license.
Dr. Peter Bradley
Associate Professor of Philosophy
McDaniel College
Director of the First Year Seminar
McDaniel College - Class of 2016
Chair, Philosophy and Religious Studies Department
McDaniel College - Philosophy and McDaniel College - Religious Studies
Office: BMC 110
Hours: TTh 12:40-2:40.
Email: pbradleyATmcdaniel.edu
Specializes in Metaphysics, Philosophy of Mind, Cognitive Science
Links
Peter Bradley at Google
Peter Bradley at G+
Peter Bradley at LinkedIn
Peter Bradley on Facebook
Dr. Peter Bradley at Academia.edu
Peter Bradley at foursquare
Official Stuff
Professional Site
Peter Bradley at McDaniel College Philosophy Department
McDaniel College Philosophy Department
Projects
CT2.0 - Critical Thinking 2.0
The Inquiry Project
Teaching Philosophy Blog
Flash-based Turing Machines
Trends in Philosophy
Simple Flash-based Logic Tools
Personal
Peter Bradley's Web Site
Peter Bradley's Personal Blog
Peter Bradley on Facebook
Peter Bradley on LinkedIn
| Item | MacOSX | WinEXE | HTML | FLA | |
The whole set | |||||
Logic Tools - Combined A zip file that contains the entire set of logic tools in one big directory.
hide description |
 |
 |
 |
||
Flash-based tools - Basic logic tools: Truth Tables | |||||
| These are the first I wrote, and hence are not the most beautiful. I hope to update them soon. | |||||
truthTableSimpleNegation show description |
|
|
|
 |
|
truthTableSimpleConjunction show description |
|
|
|
|
|
truthTableSimpleDisjunction show description |
|
|
|
|
|
truthTableSimpleConditional show description |
|
|
|
|
|
truthTableSimpleBiConditional show description |
|
|
|
|
|
truthTableSimpleXOR show description |
|
|
|
|
|
truthTableSimpleNOR show description |
|
|
|
|
|
truthTableSimpleNAND show description |
|
|
|
|
|
Flash-based tools - Conditional tools: 4 Card / Beer Coke | |||||
| Examples of Wason's 4-Card task, with an practicale example that should stick in the students's heads. Finally, a few twists on conditional reasoning truth-tables (necessary / sufficient / contraposition). | |||||
beer-coke2 show description |
|
|
|
|
|
The Four Card Problem - version 1 This is a simple demonstration of the 'four-card' problem often used to teach conditionals. In this case, 35 cards are presented, each with a number on one side and a letter on the other. Students are asked to determine if the statement 'If a card has a vowel on one side, it has an even number on the other' is true of this set of cards. Turning over a card costs $10, and getting the problem correct rewards $200. The conditional is false. Turing over the '3' card yields and 'I'. hide description |
|
|
|
|
|
The Four Card Problem - version 2 This is a simple demonstration of the 'four-card' problem often used to teach conditionals. In this case, 35 cards are presented, each with a number on one side and a letter on the other. Students are asked to determine if the statement if a card had an even number on it, it has a consonant on the other side.' is true of this set of cards. Turning over a card costs $10, and getting the problem correct rewards $200. The conditional is true. hide description |
|
|
|
|
|
The Four Card Problem - version 3 This is a simple demonstration of the 'four-card' problem often used to teach conditionals. In this case, 35 cards are initially presented, each with a number on one side and a letter on the other. However, in this version, each card is replaced after it is turned over. Students are asked to determine if the statement 'if a card does not have a consonant on it, it does not have an even number on the other side.' is true of this set of cards. Turning over a card costs $10, and getting the problem correct rewards $200. The conditional is false. Turning over the 'U' card yields an '8'. hide description |
|
|
|
|
|
conditionalNecessary show description |
|
|
|
|
|
conditionalSufficiency show description |
|
|
|
|
|
conditionalNecessaryAndSufficiency show description |
|
|
|
|
|
conditionalContraposition show description |
|
|
|
|
|
Flash-based tools - TruthTables: Arguments | |||||
| Standard arguments tested for validity via truth tables. | |||||
truthTableModusPonens show description |
|
|
|
|
|
truthTableModusTolles show description |
|
|
|
|
|
truthTableDenyingTheAntecendent show description |
|
|
|
|
|
truthTableAffirmingTheConsequent show description |
|
|
|
|
|
truthTableHypotheticalSyllogism show description |
|
|
|
|
|
truthTableDS1 show description |
|
|
|
|
|
truthTableDS2 show description |
|
|
|
|
|
truthTableDS-fallacy1 show description |
|
|
|
|
|
truthTableDS-fallacy2 show description |
|
|
|
|
|
truthTableHypotheticalSyllogism show description |
|
|
|
|
|
truthTableDilemma show description |
|
|
|
|
|
Flash-based tools - Predicate: Venn | |||||
| Basic concepts and transitions in quantified logic, demonstrated with cats in Venn circles. The first 3 are just the truth conditions of the statements. The next 4 represente the standard rules of inference. | |||||
universalAndExistential show description |
|
|
|
|
|
universalAndExistentialVenn show description |
|
|
|
|
|
universalAndExistentialVennOneCat show description |
|
|
|
|
|
universalInstantiation show description |
|
|
|
|
|
universalGeneralization show description |
|
|
|
|
|
existentialGeneralization show description |
|
|
|
|
|
Flash-based tools - Predicate: Basic Relations | |||||
| Standard arguments tested for validity via truth tables. | |||||
SquareOfOpposition show description |
|
|
|
|
|
SquareOfOppositionModern show description |
|
|
|
|
|
| Master Document for all Venn diagrams - it is a 'blank' Venn diagram that will let students do their own for 3 sentences. | |||||
VennMaster show description |
|
|
|
|
|
| Venn diagrams for the standard transitions. | |||||
VennMaster show description |
|
|
|
|
|
VennDeduction show description |
|
|
|
|
|
VennInduction show description |
|
|
|
|
|
VennConversionA show description |
|
|
|
|
|
VennConversionE show description |
|
|
|
|
|
VennConversionI show description |
|
|
|
|
|
VennConversionO show description |
|
|
|
|
|
VennContrapositionA show description |
|
|
|
|
|
VennContrapositionE show description |
|
|
|
|
|
VennContrapositionI show description |
|
|
|
|
|
VennContrapositionO show description |
|
|
|
|
|
VennObversionA show description |
|
|
|
|
|
VennObversionE show description |
|
|
|
|
|
VennObversionI show description |
|
|
|
|
|
VennObversionO show description |
|
|
|
|
|