propositional

11/26/11 10Software

Skills to be acquired in this tutorial:

To learn how to symbolize arguments, and how to judge whether they might be invalid using truth-table methods.

Why this is useful:

We wish to appraise arguments, to do this we have to symbolize them first. Judging the invalidity of arguments by truth-table methods is not particularly important, but it does help to develop skills involving truth and lists of formulas.

Reading

Hausman[2007] Logic and Philosophy Chapter 3

1/24/06

eg Lander or Suber

The problem or issue here lies with the truth table for the conditional (or material implication) ³

11/26/11 10Software

Skills to be acquired in this tutorial:

To learn how compound sentences are true or false depending on the truth or falsity of their component sentences.

There is the idea of setting up a code or convention or dictionary between atomic sentences and capital letters.

There are compound sentences, each of which has a main connective which connects its components.

There are five sentential logical connectives:

'∼' which translates back to 'it is not the case that...'

'.' which translates back to '... and ...'

'∨' which translates back to '... or ...'

'³' which translates back to 'if... then ...'

'≡' which translates back to '... if and only if ...'

8/29/06

Tutorial 2 Example: How Experts Symbolize

[This is a film-- press the 'play' symbol.]

8/2/08

Tutorial 1 Exercise 2

[What is shown below is a Quicktime Movie, with sound. Your computer should be able to run this. If you are having trouble, check with Quicktime or Quicktime download and equip your machine for viewing Quicktime. If you have external speakers, or similar, you may need to turn them on and turn the volume up.]

7/31/08

The very first lesson that we have a right to demand that logic shall teach us is, how to make our ideas clear; and a most important one it is, depreciated only by minds who stand in need of it. To know what we think, to be masters of our own meaning, will make a solid foundation for great and weighty thought. [CS Peirce, How to make our ideas clear]

11/26/11 10 Software

Skills to be acquired in this tutorial:

To become familiar with the notions of argument, valid, invalid, premise, and conclusion. To learn how to symbolize atomic sentences.

Reading

A. Hausman, H.Kahane, P.Tidman, [2007] Logic and Philosophy Chapters 1, 2.1

Tutorial:

The main role of logic is to assess arguments-- to say whether an individual argument is valid or whether it is invalid. In logic, arguments are taken to consist of two components--premises, and a conclusion.

For example,