lecture1

lecture1 - PHILOSOPHY 2420 INTRODUCTION TO SYMBOLIC LOGIC...

Info iconThis preview shows pages 1–11. Sign up to view the full content.

View Full Document Right Arrow Icon
PHILOSOPHY 2420 INTRODUCTION TO SYMBOLIC LOGIC PAUL HUMPHREYS
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Uses of symbolic logic: •Providing a precise apparatus for the logical form of sentences in a natural language such as English •Providing a precise apparatus to assess the correctness of arguments, independently of subject matter As a foundation for mathematics (the logicist program) •As a foundation for recursion theory and hence of theories of computation •The basis of many programming languages
Background image of page 2
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 4
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 6
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Conventions Which side of the road we drive on. What the word `pain’ or `mist’ means. (The former means `bread’ in French; the latter `manure’ in German.) Not Conventions Laws of nature, such as `All gases heated at constant pressure expand’ Logical truths such as `If a is identical to b and b is identical to c, then a is identical to c’.
Background image of page 8
The rules of valid argumentation are not conventions , even though arbitrary formal systems can be constructed
Background image of page 9

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Logical consequence: A claim C is a logical consequence of a claim B if and only if it is
Background image of page 10
Image of page 11
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/10/2009 for the course CS 2102 taught by Professor Knight during the Spring '08 term at UVA.

Page1 / 15

lecture1 - PHILOSOPHY 2420 INTRODUCTION TO SYMBOLIC LOGIC...

This preview shows document pages 1 - 11. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online