2 views

Uploaded by Ikki De Queero

Logic Philosophy School University Notes Modal Logic

- Symbol
- Branches of Philosophy
- 4CC503 Tutorial 4 Weeks 8-9
- The Validity of Universal Law
- Physics 1st Year 2019 Punjab Board _ Paper Scheme
- (Boston Studies in the Philosophy of Science 177) Hugues Leblanc (auth.), Mathieu Marion, Robert S. Cohen (eds.)-Québec Studies in the Philosophy of Science_ Part I_ Logic, Mathematics, Physics and Hi.pdf
- The Essay Paper
- Resolution in FOL
- II SEM B.scb Consolidated IA Marks
- Gregory Moore - The Emergence of First-Order Logic
- Parsons 1
- ME WRITE PRETTY ONE DAY HOW TO WRITE A GOOD SCIENTIFIC PAPER.pdf
- Maths quiz
- An Introduction to Debate NSDC Bantul
- PassiontoLearn.com - Power Thoughts_072
- Attribute Theory – a proposition
- Sentence Completion Questions Practice
- 23.12.14-M.ed-philosophical Foundation of Education by Sudhir S. Kaware
- Toy Axiomatic s
- College Writing Tips

You are on page 1of 4

uk

Lecture 14: Quantificational Logic II

Recap

Names: Names in QL are lower-case italic letters from the first part of the English alphabet which denote specific, individual things. Predicate-letters: Predicate-letters are upper-case italic letters from F onwards in the English alphabet which translate predicates such as ...is mortal, ...is red, etc. Universal quantifier: . This means all, any, or every. Existential quantifier: . This means some or at least one. The quantifiers are always used together with variables to form general formulas. Variables: Variables are lower-case italic letters from the end of the English alphabet, e.g. x, y, z, etc. We can think of such a variable as meaning thing. General formulas: An example of a general formula would be: x [Fx]. If we take F to translate ...is mortal, then we can read this as everything is mortal or all things are mortal. Connectives in QL: &, v, , , and ~ can be used to connect formulas, e.g. Fa & x [Gx]. But they can also be used within a matrix governed by a quantifier, e.g. x [Fx & Gx]. QL-interpretations: QL-interpretations are used (i) to specify what the various elements of a formalization stand for, and (ii) to make clear ones choice of a domain. Domains: A domain consists of the set of elements which were talking about in the general formulas were concerned with. Validity in QL: A sequent of QL is valid if and only if there is no possible interpretation under which all the premises are true and the conclusion is false.

The two quantifiers and are closely related, more so than one might initially realize. A key point is that they are interdefinable, i.e. either can be defined in terms of the other. In particular: Any formula of the form x [...] is equivalent to a corresponding formula of the form ~ x [~ (...)]. Example: x [Fx] is equivalent to ~ x [~Fx]. Moreover, any formula of the form x [...] is equivalent to a corresponding formula of the form ~ x [~ (...)]. Example: x [Fx] is equivalent to ~ x [~Fx].

c.pelling@bbk.ac.uk More generally, any universally quantified formula can be rewritten as some kind of existentially quantified formula; and any existentially quantified formula can be rewritten as some kind of universally quantified formula. Here are some examples: Something is F Nothing is F Everything is F Some Fs are Gs All Fs are Gs No Fs are Gs x [Fx] ~ x [Fx] x [Fx] x [Fx & Gx] x [Fx Gx] ~ x [Fx & Gx] ~ x [~Fx] x [~Fx] ~ x [~Fx] ~ x [~ (Fx & Gx)] ~ x [Fx & ~ Gx] x [Fx ~ Gx]

Relations

Predicate-letters allow us to translate sentences such as John is tall, which ascribe a property to a single thing. But we cant use predicate-letters to translate sentences such as John loves Mary, which say that a relation holds between more than one thing. In QL, there is a different kind of expression which we can use to translate such sentences, namely relational expressions: Relational expressions: Relational expressions are upper-case italic letters from R onwards in the English alphabet which translate expressions such as ...loves, ...is taller than, is located to the left of, etc. The main formal difference between relational expressions and predicate-letters is this: while predicate-letters have only one gap or place of the sort that can be filled by a name or variable, relational expressions have more than one such place. For example, if we take a to denote John, b to denote Mary, and R to translate loves, then we can formalize John loves Mary as Rab. Important points about relational expressions: The convention is to write the relational expression first, followed by the names or variables. So we would write Rab rather than aRb, for example. The order in which the names or variables are written does matter. For example, if Rab formalizes John loves Mary then Rba formalizes Mary loves John. In some cases, one may need to write the same name or variable more than once after the relational expression. For example, one might formalize John loves himself as Raa. In principle, relations can have any number of places. However, well focus mainly on twoplace (or dyadic) relations.

Relational expressions often feature in general formulas, when suitably combined with quantifier/variable constructions. Here are some examples, together with an interpretation:

c.pelling@bbk.ac.uk

D: R: a:

Someone loves John John loves someone Everyone loves John John loves everyone Nobody loves John John doesnt love anybody

Relational expressions can also feature in complex matrices, i.e. ones which involve one or more connectives. Here are some examples, each of which uses the same interpretation as above except that in addition, F translates is a woman: Some woman loves John John loves some woman John loves every woman Not every woman loves John There is some woman who does not love John There is some woman whom John does not love x [Fx & Rxa] x [Fx & Rax] x [Fx Rax] ~ x [Fx Rxa] x [Fx & ~ Rxa] x [Fx & ~ Rax]

Some relational sentences in natural languages involve multiple generality, e.g. everyone loves someone, someone loves everyone, everyone loves everyone, etc. To translate sentences like these into QL, we need to use more than one quantifier. Here are some examples: Everyone loves everyone Someone loves someone Everyone loves someone (i.e. someone or other) Everyone has someone who loves them There is someone whom everyone loves x [y [Rxy]] x [y [Rxy]] x [y [Rxy]] x [y [Ryx]] y [x [Rxy]] 3

c.pelling@bbk.ac.uk

Important points about formulas involving multiple generality: We really do need two separate quantifiers to translate sentences such as those above. For example, we couldnt translate everyone loves everyone as x [Rxx], since this would mean everyone loves themselves. Notice that each quantifier has its own set of brackets, to indicate the differences in scope. Notice the difference between examples 3 & 4: these show that when the quantifiers involved are different (i.e. one is the existential quantifier and the other is the universal quantifier), then the order of the variables after the relational expression does matter. Notice the difference between examples 3 & 5: these show that when the quantifiers involved are different, the order of the quantifiers themselves does matter.

Reading

Tomassi, P. Logic. Chapter 5, VI - IX.

Exercises

Exercises 5.5, 5.6.

http://fundraise.unicef.org.uk/MyPage/Charlie-KP-Marathon 4

- SymbolUploaded byRaymond Ruther
- Branches of PhilosophyUploaded byArimarc Codillo
- 4CC503 Tutorial 4 Weeks 8-9Uploaded byAnonymous bk7we8
- The Validity of Universal LawUploaded byAnthony Fejfar
- Physics 1st Year 2019 Punjab Board _ Paper SchemeUploaded byBasharat Jutt
- (Boston Studies in the Philosophy of Science 177) Hugues Leblanc (auth.), Mathieu Marion, Robert S. Cohen (eds.)-Québec Studies in the Philosophy of Science_ Part I_ Logic, Mathematics, Physics and Hi.pdfUploaded byYuriLima
- The Essay PaperUploaded bySauri Patra
- Resolution in FOLUploaded bykarthiktoyou
- II SEM B.scb Consolidated IA MarksUploaded byShireen Nedungadi
- Gregory Moore - The Emergence of First-Order LogicUploaded byJair Gallegos
- Parsons 1Uploaded bymark_torreon
- ME WRITE PRETTY ONE DAY HOW TO WRITE A GOOD SCIENTIFIC PAPER.pdfUploaded byjazorel
- Maths quizUploaded bymk
- An Introduction to Debate NSDC BantulUploaded byTri Anggun Utami
- PassiontoLearn.com - Power Thoughts_072Uploaded bykwoolsey4
- Attribute Theory – a propositionUploaded bysam iam / Salvatore Gerard Micheal
- Sentence Completion Questions PracticeUploaded byKrishna Chaitanya
- 23.12.14-M.ed-philosophical Foundation of Education by Sudhir S. KawareUploaded bysubhas9804009247
- Toy Axiomatic sUploaded bymarianalarra
- College Writing TipsUploaded byNoel Cagigas Felongco
- Quine on DeductionUploaded byLarry Fjc
- water fountainUploaded byapi-269265541
- w10094Uploaded byLume Spento
- 48933 a Road Map to the Argumentative EssayUploaded bygiselacrz24
- Logic (Moods and Figures)Uploaded byAngelica Joyce Visaya Ignacio
- Essay Qu Terms ColourUploaded byJade Stevens
- LogicHome School CurriculumUploaded bynazeerahmad
- chapter09.pdfUploaded byscribddmail
- Kfgdfhdfhdfh.txtUploaded byRajanikant Tagarrati Venkata
- Awa Templates NewUploaded bypherenetik

- Logic 2Uploaded bya967t
- BA Logic 12Uploaded byIkki De Queero
- BA Logic 9Uploaded byIkki De Queero
- PoemUploaded byIkki De Queero
- BA Logic 5Uploaded byIkki De Queero
- Why be moralUploaded byIkki De Queero
- BA Logic 3Uploaded byIkki De Queero
- BA Logic 7Uploaded byIkki De Queero
- BA Logic 6Uploaded byIkki De Queero
- BA Logic 4Uploaded byIkki De Queero
- BA Logic 11Uploaded byIkki De Queero
- BA Logic 8Uploaded byIkki De Queero
- BA Lectures on Epistemology Week 8 2012-13Uploaded byIkki De Queero
- BA Logic 10Uploaded byIkki De Queero
- Drawing Manga Weapons Vehicles and Accessories.rUploaded byIkki De Queero
- Assess the Strengths and Weaknessess of Using Structured Interviews to Investigate the Real Rate of Street Crime NotesUploaded byIkki De Queero
- BA Lectures on Epistemology Week 1 2012-2013Uploaded byIkki De Queero
- BA Lectures on Epistemology Week 1 2012-2013Uploaded byIkki De Queero
- BA Logic 12Uploaded byIkki De Queero
- BA Logic 13Uploaded byIkki De Queero
- Assess the Relationship Between Law and RightsUploaded byIkki De Queero
- BA Logic 18Uploaded byIkki De Queero
- BA Logic 16Uploaded byIkki De Queero
- Assess the Strengths and Weaknessess of Using Structured Interviews to Investigate the Real Rate of Street CrimeUploaded byIkki De Queero
- BA Logic 19Uploaded byIkki De Queero
- BA Logic 15Uploaded byIkki De Queero
- As Level Sociology Childhood NotionUploaded byIkki De Queero

- 1st year FULL BOOK IMPORTANT QUESTIONS.pdfUploaded bySyed Zain Hussain Zaidi
- Real AnalysisUploaded byAkash Mahalik
- Ma 124 Long Test 1Uploaded byIanne Fontanilla
- Advanced Discrete Mathematics-finalUploaded byParvesh Nain
- Issues in KRUploaded bySenthil Murugan
- Table of Mathematical SymbolsUploaded byDeepa Devaraj
- MC0063(A)-unit8-fiUploaded bySanjeev Malik
- Discrete MathematicUploaded bysh_sakinah
- First Order LogicUploaded byed2010a
- On Godel's Theorems on Lengths of Proofs I - Number of Lines and Speedup for ArithmeticsUploaded byBalázs Dávid
- Quine's Platonism and Antiplatonism (Srecko Kovac)Uploaded byGramo S World
- Lecture 02 - Axioms of Set Theory (Schuller's Geometric Anatomy of Theoretical Physics)Uploaded bySimon Rea
- 18_ Katz- ATD ModifiersUploaded bycarmencrisan
- De Swart Predication and QuantificationUploaded byYuiza Tjc Martinez Rivera
- Schuller's Geometric Anatomy of Theoretical Physics, Lectures 1-25Uploaded bySimon Rea
- PredCalculusPracticeUploaded byBenedict Liang
- SyntheticUploaded byccs1953
- NumberTheory by Frances Odumodu NAUUploaded byIkechukwu Solomonwise Elili
- English-Speaking Children's Interpretation of Disjunction in the Scope of 'not every' (Anna Notley, Rosalind Thornton, Stephen Crain).pdfUploaded byRon Gonzales
- Beauty in MathematicsUploaded bySamuel Alfred Foreman
- Relational Logic by Michael Genesereth 2016Uploaded byadam
- ppt_IT_Discretemaths.pdfUploaded byAnonymous DFpzhrR
- Validity TestingUploaded byHumayun Khalid
- Discrete Mathematics 2005Uploaded byankur2583008
- SIT 410 Knowledge Based SystemsUploaded bychegehigi
- CS70-Rao, n0Uploaded byamanda3210
- lecture02 (1)Uploaded bySaiful Rahman
- Selection SortUploaded byRadu Stoenescu
- 기본 수학 기호Uploaded byYoungtae Kim
- 07Uploaded bySayeth Saabith