Existential import in logic
-
Upload
university-of-gujrat -
Category
Education
-
view
154 -
download
2
Transcript of Existential import in logic
![Page 1: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/1.jpg)
ےشروع الل ک پاک نام س ے ہا ر بان ن ہجو بڑا م ت رحم ی�ہ
۔واال ہے
ہہبسم الل ح حمن الر می�الر
![Page 2: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/2.jpg)
Group # 9
Danish Raza 13170920-072Ali Asghar 14220920-017
![Page 3: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/3.jpg)
Existential import
![Page 4: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/4.jpg)
A statement has existential import when its truth depends on evidence for the existence of things in a certain category--in the case of categorical propositions, the existence of things in the categories signified by its subject and predicate terms.
![Page 5: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/5.jpg)
Example: 1: All buttercups are blueBlue buttercups exist
2: Some dragons are fire-breathing fire-breathing dragons exist
![Page 6: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/6.jpg)
Different forms of Existential Import
Formal & Material Import Bivalence Import Traditional Views The Golden Age of Logic Fred Sommer and Existential Import Material Implication
![Page 7: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/7.jpg)
Formal & Material Import Formal The structure of arguments in order to see how
reasoning proceeds from premises to a conclusion.
Material It does not deal with the form or structure of
arguments, but rather with their content. While formal logic deals with how you get from one truth to another.
![Page 8: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/8.jpg)
Example
All men are mortal Socrates is a man Therefore, Socrates is mortal
![Page 9: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/9.jpg)
Bivelence Logic logic philosophy the semantic principle that
there are exactly two truth values, so that every meaningful statement is either true or false.
Example T & T =T F & T= F T & F= F F &F= T
![Page 10: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/10.jpg)
Traditional Views Traditional logic involves mostly the study of the classical syllogism.
Example Murder is wrong. Some times murder is not wrong. Therefore murder is always wrong.
![Page 11: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/11.jpg)
The Golden Age of Logic The golden age of logic occurred during the
19th century, when such giants as Boole, ideal precisely because there are none who fit the ideal,
Example “perfect men do not break the rules.” This does not imply that even if a man were to
refrain from breaking the rules, that perfect men actually exist.
![Page 12: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/12.jpg)
It is ideal precisely for that
reason. Venn says, however, that
in popular usage we do not
“without warning” make predicates
of non-existence subjects.
![Page 13: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/13.jpg)
Fred Sommers and Existential Import
Fred Sommers discussed P. F. Strawson’s
attempt to use “truth-value gaps” as a way of
interpreting such expressions as, (1) “the
present king of France is bald.” The “present
king of France” has no existence, so under
Russell’s view of existential import,
![Page 14: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/14.jpg)
The proposition would be false merely
because its subject term was vacuous
Russell regarded the subject term as
entailing that there was a present king of
France and the proposition was false for
that reason.
![Page 15: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/15.jpg)
Material implication
A conditional statement describes a relationship between the antecedent and the consequent. This relationship is called "material implication"
Denoted by: “=>” or
![Page 16: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/16.jpg)
For Example If you study hard, then you will pass.
Antecedent Consequent
=> If p, then q.
![Page 17: Existential import in logic](https://reader037.fdocuments.in/reader037/viewer/2022100200/58ef70d01a28ab50618b4595/html5/thumbnails/17.jpg)
Thank you