This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: 12/4/2007 1 Studying the structure of meaning and reasoning LING178LING178 ¬ ¬ ∧∨ ∧∨ →↔ →↔ ¬ ¬ ∧∨ ∧∨ →↔ →↔ (with thanks to Dr. Andrew Carnie) Installing LPL Follow the basic installations that came with your software. If you have problems with the installation, let me know and we’ll figure something out. I will need to know what your computer’s model is. Linux users should follow the instructions on the web page (lpl.stanford.edu). Registering LPL In order to use the grade submission service (obligatory), you must first register your software. In order to do this you need to the following things A valid unregistered copy of the software with a registration number (found on the CD-ROM itself) Your own (@u.arizona.edu) email address My email address. Use [email protected] Do not use the D2L email!! The instructions for registration can be found on page 8 of the textbook You will need to be connected to the Internet to use the Grade Service. You will need to use the Submit Program found in the LPL Software folder that you installed. There is a test program: The file named “World Submit Me 1”. This can be found in the Tarski’s world folder under TW Exercise Files. Reading For Monday, read the Introduction and Chapter 1 of your textbook. When you read these chapters, you will see sections marked “You try it”. They are there for a reason, try them! You will have to do similar things for your upcoming homeworks! Why study logic? Set theory is the foundation of the study of logic. But why should we study logic? A first pass at capturing the meaning of sentences. Provides us with a foundation for understanding reasoning, arguments, and proof. 12/4/2007 2 FOL First Order Logic; FOL A mini-language, not identical to English, but provides us with a model that we can play with without getting into the intricacies of English. FOL is more precise than English; FOL is more limited than English. “First order logic” refers to the combination of sentence logic with predicate logic....
View Full Document
This note was uploaded on 04/02/2008 for the course LING 178 taught by Professor Dehaan during the Spring '08 term at Arizona.
- Spring '08