#### Filter Results:

- Full text PDF available (4)

#### Publication Year

2007

2017

- This year (2)
- Last 5 years (4)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Shawn Standefer
- Rew. Symb. Logic
- 2015

We present an extension of the basic revision theory of circular definitions with a unary operator, 2. We present a Fitch-style proof system that is sound and complete with respect to the extended semantics. The logic of the box gives rise to a simple modal logic, and we relate provability in the extended proof system to this modal logic via a completeness… (More)

- Greg Restall, Shawn Standefer, Shawn Stande
- 2015

Course outline: Proof theory is the study of formal proof systems. We will focus on sequent systems, which are proof systems in which one reasons about consequence statements, e.g. A,B ` C. Sequent systems, in contrast to some proof systems, usually contain few axioms but have many rules. In this course, we present an introduction to the proof theory, with… (More)

- Rohan French, Shawn Standefer
- LORI
- 2017

- Anil Gupta, Shawn Standefer
- J. Philosophical Logic
- 2017

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

- Anatoly Nichvoloda, Tan Pei-En, +33 authors James Patterson
- 2007

The general idea of perception is the recognition and interpretation of sensory stimuli based on memory and neurological processes that underlie this ability. In this paper I will review and contrast two major approaches to understanding perception: the AI inspired view of perception as passive computational processing of environmental sensory input and the… (More)

- ‹
- 1
- ›