8 views

Uploaded by Oli Xvii

save

You are on page 1of 14

A rule of inference applies only if the main operator of the line is the right main operator.

So if the line is a simple statement, with a quantifier as the main operator, no rule of inference can be applied (except AD).

New Rules:

For removing quantifiers or For introducing quantifiers

so the main operator is now the “>. The quantifier tells you how to read the occurrences of “x” inside the parentheses. Bound Variables (x) (Px > Cx) Here the “x” in “Px” and in “Cx” is bound (governed/ regulated) by the quantifier out front.” which means it is not bound or controlled by anything that determines its meaning. The value of a statement form like this is: that the quantifier is gone. you can’t read this statement form. ” So now rules like MP and MT might be applied.Free Variables Px > Cx Here the “x” is called “free. it doesn’t really say anything. . In a sense.

will be justified. and making it into a universal statement. we know it came from a universal statement before – this is important because it means that adding a universal quantifier to such a statement form. So only A and E statements can be rewritten with free variables. . So whenever we see a free variable. (UI).Free variables can only result from invoking the rule called Universal Instantiation.

Universal statements can be instantiated in two ways: To free variables Or to constants. Ra > ~Ba If Adam’s a rabbit. he’s not a bear. etc. she’s not a bear Rc > ~Bc If Colbert’s a rabbit. he’s not a bear Rb > ~Bb If Betty’s a rabbit. “b” for Betty. (x) (Rx > ~Bx) Rx > ~Bx This is a free variable No rabbits are bears Let “a” stand for Adam. .

or Colbert. so you can spell out inferences about them. If your conclusion is about Adam. . so you can return to the universal level of predication.How do we know which to instantiate to: the free variable or the constant? It depends on where you are trying to go: If your conclusion is a universal statement. you’ll want to instantiate quantified statements to their names. chances are you want the free variable instantiation. or Eve.

and he’s a man. because all men are.2 Given the conclusion (not a universal statement) there is nothing to be gained by instantiation to a free variable. . obviously. he’s mortal Socrates is mortal 4 Os MP 3. 1 (x) (Mx > Ox) 2 Ms / Os 3 Ms > Os UI 1 If Socrates is a man. the instantiated sentence has to be about Aristotle’s teacher’s teacher.Socrates must be mortal.

Universal Instantiation UI (x) Fx Fx or (x) Fx Fa .

Since you can’t encounter a statement that looks like this: Cx > Bx unless… Unless UI has been done to a universal that was already given or proven to be true… It will be legitimate to GENERALIZE from such a statement. To Generalize is to predicate at the level of the Universal UG: Fx (x) Fx But this would not be valid: HG Fa . Ga / (x) (Fx . Gx) .

Rx) / (Эx) ~Vx 3 Cc . so some people who are running for president are not viable candidates.5 EG 6 . and he’s running If Colbert’s a comedian. 1 (x) (Cx > ~ Vx) 2 Эx (Cx . Rc 4 Cc > ~Vc 5 Cc EI 2 UI 1 SM 3 Colbert’s a comedian.Instantiation and Generalization for Existential Statements EI and EG No comedians are viable candidates for president. but some comedians are running. he’s not viable Colbert’s a comedian Colbert’s not viable At least one candidate is not viable (some candidates are not viable) 6 ~Vc 7 (Эx) ~Vx MP 4.

EI has an important restriction: You cannot use a constant in an EI line if that constant has already been in play in the proof. So the rule EI is: (Эx) Fx ---------Fa (where “a” is new) This means that if you have to instantiate twice (see previous slide) you must do the EI before you do the UI. even in the premises. . There are no restrictions on UI.

There are no restrictions on EG: you can generalize to a “Some” statement from either a constant. or from a free variable. Fa (Эx) Fx or Fx (Эx) Fx .

Ba or Ax . Bx) ------------------Ax .UI --Universal Instantiation (x) (Ax > Bx) --------------------Ax > Bx or Aa > Ba Instantiate to a free variable or to a name. EI --Existential Instantiation Not allowed: (Зx) (Ax . Restriction: The name must be a new name EG --Existential Generalization Aa . Ba Only instantiate to a name. Bx --------------------(Зx) (Ax . Bx) Generalize to a particular from a name or a free variable. . Bx (Зx) (Ax . Bx) -----------------Aa . UG --Universal Generalization Ax > Bx not allowed: Aa > Ba ------------------------(x) (Ax > Bx) (x) (Ax > Bx) Generalize to a universal only from a free variable.

1 (x) [(Ax v Px) > Gx] 2 (Ax v Px) > Gx 3 Px 4 Ax v Px 5 Gx ACP AD. 4 / (x) (Px > Gx) UI 1 6 Px > Gx 7 (x) (Px > Gx) CP 3-5 UG 6 . so pears grow on trees.Apples and pears grow on trees. CM 3 MP 2.

Only philosophers are logicians. SM UI 3 5 Lf > Pf 6 Pf > Tf 7 Lf 8 Pf 12 Lr > Tr 13 Lr 14 Tr HS 10. 13 UI 4 SM 2 MP 5. 11 CM. Lr / Tf . 8 15 Tf . 1 (x) (Lx > Px) . and anyone who's a philosopher is a thinker. Tr 10 Lr > Pr 11 Pr > Tr UI UI 3 4 (x) (Lx > Px) 1 SM (x) (Px > Tx) 1 CM. SM 2 MP 12. Tr CN 9. 14 . Frege and Russell are logicians. so they're also thinkers. 7 9 Tf MP 6. (x) (Px > Tx) 2 3 4 Lf .

- Aspnes 2016lect DM Fall 2013Uploaded bysuzuki50
- DSGT SYALLBUS.docxUploaded byvarsha gupta
- walther2013.pdfUploaded byMahmoud Abdel-Salam
- Book Review. Everything That Linguists Have Always Wanted to Know About LogicUploaded byJack Samson
- notes in descrete math.pdfUploaded bylog man
- Tugas Matdis - Kel. 4Uploaded byEka Darma Hidayati
- 기본 수학 기호Uploaded byYoungtae Kim
- ExercisesUploaded byMazter Cho
- Thomas Forster Reasoning about Theoretical Entities Advances in Logic, 3 2003.pdfUploaded byVincent Colonna

- ASIO4ALL v2 Instruction ManualUploaded byAndrew Dprssn GavriLuv
- David Ray Griffin - Parasychology and Philosophy a Whiteheadian Postmodern PerspectiveUploaded byOli Xvii
- SANDRA HARDING ¿Existe un método feminista?Uploaded bydiego portilla miranda
- Fung Yulan - A Short History of Chinese PhilosophyUploaded byandreidirlau1
- Malatesta - The Anarchist RevolutionUploaded byZoran Petakov
- Social Anarchism and ion Farj EnUploaded byOccupy May First
- Alex Djedovic - A Critical Refutation of Eliminative MaterialismUploaded byOli Xvii
- Izquierda Bol Que Vi QueUploaded byRobi Yánez
- Quien Le Teme a Virginia Woolf Edward AlbeeUploaded byhermosabdb
- Jung Carl Gustav - Recuerdos Sueños PensamientosUploaded byAurea813
- Resumen - Examen Teorico de Manejo - Cosevi-costa RicaUploaded byErnesto Blanko
- Las Palabras y Las Cosas EL Problema de La Referencia en Mill Frege Russell y KripkeUploaded byAreli B. Pataki
- Las Palabras y Las Cosas EL Problema de La Referencia en Mill Frege Russell y KripkeUploaded byAreli B. Pataki
- Boecio - La consolación de la FilosofíaUploaded byAlba Marina Zapata Morales
- Henri Bergson - La risaUploaded byHeliogeorgos Caro

- Knowledge Representation in AI FieldUploaded byEmad Elsaid
- 64162-230001-1-SM-RevisionUploaded bymuliawan firdaus
- Lógica Unid IVUploaded byAntonio Barreto
- Fuzzy LogicUploaded bySubitsha Parameswaran
- Logic 2Uploaded byAmber Habib
- ProofsUploaded byAhmed Said
- Questão de Raciocíno Lógico Resolvida e ComentadaUploaded byvmtmaster
- First-order_logic.pdfUploaded bymars
- C1U2LomcUploaded bySadeep Madhushan
- Course NotesUploaded byevilgirl79
- Chapter 5 MeaningUploaded byMesha Gilang Pratama
- [Imre Ruzsa] Introduction to Metalogic With an AP(BookZa.org) (1)Uploaded bygiancarlo7mantero7as
- Classical and Fuzzy Logic VtuUploaded byNatarajan Subramanyam
- MaterialUploaded byVinicius Duarte
- Variables and Quantifiers.pdfUploaded bySebastián Silva
- Mast217 Notes Ch1Uploaded bykiza66
- Goldfarb. Freges-conception-logic-2001.pdfUploaded byMarcello Faiazza
- ANU Notes on Analysis 1Uploaded byJames King
- Discrete SturctureUploaded byIrene Gregorio Salindong
- AI Agents Deal With Knowledge (Data)Uploaded byom18sahu
- mat_a_ca10_1383815239.pdfUploaded bySyleide Dias
- The Notation of Principia MathematicaUploaded bysextusempiricus
- 9789491216107-c2 (1)Uploaded byEldin Engg
- UNIT-III-AI-1351Uploaded byPuspha Vasanth R
- Solution 4Uploaded bySamuel Alfred Foreman
- Relations and Functions (40)Uploaded byAvnish Bhasin
- 02.Reading-Contracts.pdfUploaded bystewartkordell
- Lecture Notes in Discrete MathematicsUploaded byjpaulino
- Sllp PracticalUploaded bysamshr
- A.I.question BankUploaded byThiruveedula Deepthi