Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Institution
Articles 1 - 2 of 2
Full-Text Articles in Logic and Foundations of Mathematics
A Groundwork For A Logic Of Objects, David Winters
A Groundwork For A Logic Of Objects, David Winters
Electronic Thesis and Dissertation Repository
The history of philosophy is rich with theories about objects; theories of object kinds, their nature, the status of their existence, etc. In recent years philosophical logicians have attempted to formalize some of these theories, yielding many fruitful results. My thesis intends to add to this tradition in philosophical logic by developing a second-order logical system that may serve as a groundwork for a multitude of theories of objects (e.g. concrete and abstract objects, impossible objects, fictional objects, and others). Through the addition of what we may call sortal quantifiers (i.e. quantifiers that bind individual variables ranging over objects of …
Counterfactual Conditional Analysis Using The Centipede Game, Ahmed Bilal
Counterfactual Conditional Analysis Using The Centipede Game, Ahmed Bilal
CMC Senior Theses
The Backward Induction strategy for the Centipede Game leads us to a counterfactual reasoning paradox, The Centipede Game paradox. The counterfactual reasoning proving the backward induction strategy for the game appears to rely on the players in the game not choosing that very same backward induction strategy. The paradox is a general paradox that applies to backward induction reasoning in sequential, perfect information games. Therefore, the paradox is not only problematic for the Centipede Game, but it also affects counterfactual reasoning solutions in games similar to the Centipede Game. The Centipede Game is a prime illustration of this paradox in …