Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Social and Behavioral Sciences (2)
- Ancient Philosophy (1)
- Art and Design (1)
- Behavioral Economics (1)
- Classics (1)
-
- Cognition and Perception (1)
- Contemporary Art (1)
- Economic Theory (1)
- Economics (1)
- Epistemology (1)
- History of Art, Architecture, and Archaeology (1)
- History of Philosophy (1)
- Interdisciplinary Arts and Media (1)
- Linguistics (1)
- Mathematics (1)
- Other Philosophy (1)
- Other Psychology (1)
- Other Rhetoric and Composition (1)
- Philosophy of Language (1)
- Philosophy of Mind (1)
- Physical Sciences and Mathematics (1)
- Psycholinguistics and Neurolinguistics (1)
- Psychology (1)
- Rhetoric and Composition (1)
- Theory and Philosophy (1)
- Institution
- Keyword
-
- Counterfactuals (2)
- Logic (2)
- Athena (1)
- Centipede game (1)
- Conditional Logic (1)
-
- Conditional Obligation (1)
- Conditionals (1)
- Cosmos (1)
- Counterpossibles (1)
- Cyclic negation (1)
- Depictable (1)
- Energy (1)
- Epistemology (1)
- Epstein lattice (1)
- Expressive arts (1)
- Extant (1)
- Formal-system (1)
- Formulaic creativity (1)
- Game theory (1)
- Hasse diagram (1)
- Imagination (1)
- Logically equivalent formulas (1)
- Many-valued logic (1)
- Modal Logic (1)
- Myth (1)
- Noesis (1)
- Object (1)
- Phenomenology (1)
- Physics (1)
- Poesis (1)
Articles 1 - 5 of 5
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 …
The Poetic Function Of Imagination: The Parallel Process Of Poiêsis, Angela Carlson
The Poetic Function Of Imagination: The Parallel Process Of Poiêsis, Angela Carlson
Expressive Therapies Capstone Theses
In the advent of Postmodernism, modern approaches to understanding the nature of things is being put into question. As the gap between objective and subjective realms of experiences is narrowing, there is an increased need for a more artful approach to science. This paper serves as my attempt to promote the field of Expressive Arts Therapy (ExATh) as a mode of poetic science for understanding the experience of ‘Being’ in the world. Through a critical review of the semantic development of the ancient Greek concepts poiêsis, noêsis, and aisthêsis, the imagination is identified as a function of alêthaic revealing, …
The Systems Of Post And Post Algebras: A Demonstration Of An Obvious Fact, Daviel Leyva
The Systems Of Post And Post Algebras: A Demonstration Of An Obvious Fact, Daviel Leyva
USF Tampa Graduate Theses and Dissertations
In 1942, Paul C. Rosenbloom put out a definition of a Post algebra after Emil L. Post published a collection of systems of many–valued logic. Post algebras became easier to handle following George Epstein’s alternative definition. As conceived by Rosenbloom, Post algebras were meant to capture the algebraic properties of Post’s systems; this fact was not verified by Rosenbloom nor Epstein and has been assumed by others in the field. In this thesis, the long–awaited demonstration of this oft–asserted assertion is given.
After an elemental history of many–valued logic and a review of basic Classical Propositional Logic, the systems given …
Frontiers Of Conditional Logic, Yale Weiss
Frontiers Of Conditional Logic, Yale Weiss
Dissertations, Theses, and Capstone Projects
Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional—especially counterfactual—expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that catalyzed the rapid maturation of the field. Moreover, like modal logic, conditional logic has subsequently found a wide array of uses, from the traditional (e.g. counterfactuals) to the exotic (e.g. conditional obligation). Despite the close connections between conditional and modal logic, both the technical development and philosophical exploitation of the …
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 …