#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1972

2017

- This year (1)
- Last 5 years (5)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- J. C. Beall, Ross T. Brady, Allen P. Hazen, Graham Priest, Greg Restall
- J. Philosophical Logic
- 2006

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

- Allen P. Hazen
- Notre Dame Journal of Formal Logic
- 1990

- Allen P. Hazen
- J. Philosophical Logic
- 1976

It is a task of philosophical logic to investigate the concepts central to our reasoning. This is a matter of conceptual analysis, distinguished by the fact that the concepts analyzed are basic ones, occurring in reasoning about a wide range of topics. Since reasoning is generally expressible in speech or writing (this seems a necessary truth, though some… (More)

- J. C. Beall, Ross T. Brady, +8 authors Richard Sylvan
- J. Philosophical Logic
- 2012

Here is a familiar history: modal logics (see [13]) were around for some time before a semantic framework was found for them (by Kripke and others).1 This framework did at least two Very Good Things for modal logics: 1) it connected the powerful mathematical tools of model theory to these logics, allowing a variety of technical results to be proven, and 2)… (More)

- Allen P. Hazen, Lloyd Humberstone
- Journal of Logic, Language and Information
- 2004

- Allen P. Hazen
- J. Philosophical Logic
- 1997

The representation of quantification over relations in monadic third-order logic is discussed; it is shown to be possible in numerous special cases of foundational interest, but not in general unless something akin to the Axiom of Choice is assumed.

- Allen P. Hazen
- Notre Dame Journal of Formal Logic
- 1978

- John P. Burgess, Allen P. Hazen
- Notre Dame Journal of Formal Logic
- 1998

After a summary of earlier work it is shown that elementary or Kalmar arithmetic can be interpreted within the system of Russell’s Principia Mathematica with the axiom of infinity but without the axiom of reducibility. 1 Historical introduction After discovering the inconsistency in Frege’s Grundgesetze der Arithmetik, Russell proposed two changes: first,… (More)

- Allen P. Hazen
- Notre Dame Journal of Formal Logic
- 1992

- Allen P. Hazen, Benjamin G. Rin, Kai Frederick Wehmeier
- Studia Logica
- 2013

We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula φ in the propositional modal language with A, there is a formula ψ not containing A such that φ and ψ are materially equivalent at the actual world in… (More)