Search
Skip to Search Results- 7Logic
- 7Reasoning (Psychology)
- 2Reasoning in children
- 1Belief revision
- 1Belief update
- 1Cognition and culture--Canada
- 1Bickersteth, Patrick.
- 1Ferenz, Nicholas
- 1Gavanski, Igor
- 1Lee, Yun Sup.
- 1Malo, Daria Gural.
- 1Ozcevik, Ozkan
-
Fall 2015
The first chapter of the thesis presents Frank P. Ramsey [1960]’s seminal treatment of “If ... , then ...” statements. We also explain how Stalnaker and Thomason [1970] picked up on Ramsey’s idea and undertook the task of giving truth conditions for counterfactual conditionals in contrast to...
-
Fall 2014
Inconsistent and collapse models of arithmetic are presented in the language and semantics of the simple paraconsistent logic LP. I present a logic which extends LP by the addition of a sensible conditional connective and quantifiers. This logic, called A 3 , is specified as a Hilbert style axiom...
-
Spring 2020
Applications of formal logic often require the language of the logics to be sufficiently expressive, capturing notions such as necessity, possibility, subject-predicate sentences, quantified sentences, and identity. To this end, logics employ modal operators, first order quantifiers, and an...