5. Formalize the following arguments in L2 or L= (whichever is most appropriate) providing a suitable dictionary. Make your formalization as detailed as possible. If you find an ambiguity in the argument, explain it to justify your choice of formalization. Once formalized, say whether the argument is valid in the language chosen. If it is, provide a natural deduction proof. If it is not, provide a counterexample. (a) Some physical properties are not mental. One can therefore conclude that not everything physical is mental. (b) Every philosopher that Anscombe doesn't like is an existentialist. Therefore, if Anscombe likes some philosopher, then some philosophers aren't existentialists. (c) The car is working. So every car is working.

Elements Of Electromagnetics
7th Edition
ISBN:9780190698614
Author:Sadiku, Matthew N. O.
Publisher:Sadiku, Matthew N. O.
ChapterMA: Math Assessment
Section: Chapter Questions
Problem 1.1MA
icon
Related questions
Question
please send complete handwritten solution
5. Formalize the following arguments in L2 or L= (whichever is
most appropriate) providing a suitable dictionary. Make your
formalization as detailed as possible. If you find an ambiguity
in the argument, explain it to justify your choice of
formalization.
Once formalized, say whether the argument is valid in the
language chosen. If it is, provide a natural deduction proof. If
it is not, provide a counterexample.
(a) Some physical properties are not mental. One can
therefore conclude that not everything physical is mental.
(b) Every philosopher that Anscombe doesn't like is an
existentialist. Therefore, if Anscombe likes some
philosopher, then some philosophers aren't
existentialists.
(c) The car is working. So every car is working.
Transcribed Image Text:5. Formalize the following arguments in L2 or L= (whichever is most appropriate) providing a suitable dictionary. Make your formalization as detailed as possible. If you find an ambiguity in the argument, explain it to justify your choice of formalization. Once formalized, say whether the argument is valid in the language chosen. If it is, provide a natural deduction proof. If it is not, provide a counterexample. (a) Some physical properties are not mental. One can therefore conclude that not everything physical is mental. (b) Every philosopher that Anscombe doesn't like is an existentialist. Therefore, if Anscombe likes some philosopher, then some philosophers aren't existentialists. (c) The car is working. So every car is working.
Expert Solution
steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
Knowledge Booster
Entropy
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, mechanical-engineering and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Elements Of Electromagnetics
Elements Of Electromagnetics
Mechanical Engineering
ISBN:
9780190698614
Author:
Sadiku, Matthew N. O.
Publisher:
Oxford University Press
Mechanics of Materials (10th Edition)
Mechanics of Materials (10th Edition)
Mechanical Engineering
ISBN:
9780134319650
Author:
Russell C. Hibbeler
Publisher:
PEARSON
Thermodynamics: An Engineering Approach
Thermodynamics: An Engineering Approach
Mechanical Engineering
ISBN:
9781259822674
Author:
Yunus A. Cengel Dr., Michael A. Boles
Publisher:
McGraw-Hill Education
Control Systems Engineering
Control Systems Engineering
Mechanical Engineering
ISBN:
9781118170519
Author:
Norman S. Nise
Publisher:
WILEY
Mechanics of Materials (MindTap Course List)
Mechanics of Materials (MindTap Course List)
Mechanical Engineering
ISBN:
9781337093347
Author:
Barry J. Goodno, James M. Gere
Publisher:
Cengage Learning
Engineering Mechanics: Statics
Engineering Mechanics: Statics
Mechanical Engineering
ISBN:
9781118807330
Author:
James L. Meriam, L. G. Kraige, J. N. Bolton
Publisher:
WILEY