# Introduction to Logic

Syntax and semantics of propositional and predicate logic; modal and inductive logic; some history and philosophy of logic.

### PHIL 50 - Spring 2014

### Office Hours

- Course Topics
- Propositional Logic
- Predicate Logic
- Modal Logic and Probability

##### Items posted:

Homework - Week # 1, 1-S, 2, 2-S, 3, 3-S, 4, 4-S, MT-S, 5, 5-S, 6, 6-S, 7, 7-S, 8, 8-S, 9, 9-S, 10, 10-S, Final, Final-S

Notes on Derivations Propositional Logic , Derivations Predicate Logic , Modal Logic , and Logic and Probability

Slides - Before midterm - 1-M, 1-W, 1-F, 2-M, 2-W, 2-F, 3-M, 3-W, 3-F, 4-M

Midterm Review - Sample Questions, Syntax and Semantics, Sample Derivations, Derivation guide

Slides - After midterm - 5-M, 5-W, 5-F, 6-M, 6-W, 6-F, 7-M, 7-W, 7-F, 8-M, 8-W, 8-F, 9-W

Final Review - First Part, Second Part

### Propositional Logic

### WEEK 1

### Preliminaries

- Slides: Mon, Wed, Fri
- Homework 1 - Solutions

### WEEK 2

### Syntax and Semantics

- Slides: Mon, Wed, Fri
- Homework 2 - Solutions

### WEEK 3

### Derivations

- Slides: Mon, Wed, Fri
- Notes: Derivations
- Homework 3 - Solutions

### REVIEW

### Midterm Material

### WEEK 4

### Soundness, Completenes, Review

- Slides: Mon
- Homework 4 - Solutions

### Predicate Logic

### WEEK 5

### Syllogistic Logic

- Slides: Mon, Wed, Fri
- Homework 5 - Solutions

### WEEK 6

### Translations

- Slides: Mon, Wed, Fri
- Homework 6 - Solutions

### WEEK 7

### Syntax and Semantics

- Slides: Mon, Wed, Fri
- Homework 7 - Solutions

### WEEK 8

### Derivations

- Slides: Mon, Wed, Fri
- Notes: Derivations in Predicate Logic
- Homework 8 - Solutions

### Modal Logic and Probability

### WEEK 9

### Modal Logic

- Slides: Wed
- Notes: Modal Logic
- The NY Times on Ruth Barcan Marcus
- Homework 9 - Solutions

### WEEK 10

### Logic and Probability

- Notes: Probability and Logic
- Homework 10 - - Solutions