Results for 'A. Hazen'

(not author) ( search as author name )
1000+ found
Order:
  1.  3
    Relations in Lewis's framework without atoms.A. P. Hazen - 1997 - Analysis 57 (4):243-248.
  2. Needs and opportunities in mineral evolution research.R. M. Hazen, A. Bekker, D. L. Bish, W. Bleeker, R. T. Downs, J. Farquhar, J. M. Ferry, E. S. Grew, A. H. Knoll, D. Papineau, J. P. Ralph & J. W. da SverjenskyValley - unknown
    No categories
     
    Export citation  
     
    Bookmark  
  3.  5
    Relations in Lewis's framework without atoms: a correction.A. Hazen - 2000 - Analysis 60 (4):351-353.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  4
    Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order.A. P. Hazen - 1991 - Notre Dame Journal of Formal Logic 33 (1):101-111.
  5.  3
    The Mathematical Philosophy of Contact.A. P. Hazen - 1990 - Philosophy 65 (252):205 - 211.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  21
    Against pluralism.A. P. Hazen - 1993 - Australasian Journal of Philosophy 71 (2):132 – 144.
  7.  25
    Relations in lewis’s framework without atoms.A. P. Hazen - 1997 - Analysis 57 (4):243–248.
  8.  7
    Similarity relations and the preservation of solidity.A. P. Hazen & Lloyd Humberstone - 2004 - Journal of Logic, Language and Information 13 (1):25-46.
    The partitions of a given set stand in a well known one-to-onecorrespondence with the equivalence relations on that set. We askwhether anything analogous to partitions can be found which correspondin a like manner to the similarity relations (reflexive, symmetricrelations) on a set, and show that (what we call) decompositions – of acertain kind – play this role. A key ingredient in the discussion is akind of closure relation (analogous to the consequence relationsconsidered in formal logic) having nothing especially to do (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  11
    On gödel's ontological proof.A. P. Hazen - 1998 - Australasian Journal of Philosophy 76 (3):361 – 377.
  10.  3
    Is Even Minimal Negation Constructive?A. P. Hazen - 1995 - Analysis 55 (2):105 - 107.
  11.  3
    Actualism again.A. P. Hazen - 1996 - Philosophical Studies 84 (2-3):155 - 181.
  12.  1
    On quantifying out.A. P. Hazen - 1995 - Journal of Philosophical Logic 24 (3):291 - 319.
  13.  7
    Russell's 1925 logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.
  14.  4
    Predicative Logic and Formal Arithmetic.John P. Burgess & A. P. Hazen - 1998 - Notre Dame Journal of Formal Logic 39 (1):1-17.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  15.  1
    Relations in monadic third-order logic.A. P. Hazen - 1997 - Journal of Philosophical Logic 26 (6):619-628.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  4
    Worlds as complete novels.A. P. Hazen - 1996 - Analysis 56 (1):33–38.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17.  6
    On naming the colours.A. P. Hazen - 1999 - Australasian Journal of Philosophy 77 (2):224-231.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  2
    Slicing It Thin.A. P. Hazen - 1993 - Analysis 53 (3):189 - 192.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  1
    The myth of the intuitionistic “Or”.A. P. Hazen - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 177--195.
  20.  3
    WRIGHT, C.: "Frege's Conception of Numbers as Objects". [REVIEW]A. Hazen - 1985 - Australasian Journal of Philosophy 63:251.
  21. Brown, J. R.: "The Rational and The Social". [REVIEW]A. P. Hazen - 1990 - Australasian Journal of Philosophy 68:347.
    No categories
     
    Export citation  
     
    Bookmark  
  22. RESSWELL, M. J.: "Structured Meanings: The Semantics of Propositional Attitudes". [REVIEW]A. Hazen - 1987 - Australasian Journal of Philosophy 65:122.
     
    Export citation  
     
    Bookmark  
  23.  5
    Small sets.A. P. Hazen - 1991 - Philosophical Studies 63 (1):119 - 123.
  24.  6
    WRIGHT, C.: "Frege's Conception of Numbers as Objects". [REVIEW]A. Hazen - 1984 - Australasian Journal of Philosophy 62:299.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  5
    Logical objects and the paradox of burali-Forti.A. Hazen - 1986 - Erkenntnis 24 (3):283 - 291.
  26.  11
    Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.Allen P. Hazen & Francis Jeffry Pelletier - 2014 - Studia Logica 102 (6):1103-1142.
    Gentzen’s and Jaśkowski’s formulations of natural deduction are logically equivalent in the normal sense of those words. However, Gentzen’s formulation more straightforwardly lends itself both to a normalization theorem and to a theory of “meaning” for connectives . The present paper investigates cases where Jaskowski’s formulation seems better suited. These cases range from the phenomenology and epistemology of proof construction to the ways to incorporate novel logical connectives into the language. We close with a demonstration of this latter aspect by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  27.  13
    Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.
    The logic of paradox, LP, is a first-order, three-valued logic that has been advocated by Graham Priest as an appropriate way to represent the possibility of acceptable contradictory statements. Second-order LP is that logic augmented with quantification over predicates. As with classical second-order logic, there are different ways to give the semantic interpretation of sentences of the logic. The different ways give rise to different logical advantages and disadvantages, and we canvass several of these, concluding that it will be extremely (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  14
    When is a Schema Not a Schema? On a Remark by Suszko.Lloyd Humberstone & Allen Hazen - 2020 - Studia Logica 108 (2):199-220.
    A 1971 paper by Roman Suszko, ‘Identity Connective and Modality’, claimed that a certain identity-free schema expressed the condition that there are at most two objects in the domain. Section 1 here gives that schema and enough of the background to this claim to explain Suszko’s own interest in it and related conditions—via non-Fregean logic, in which the objects in question are situations and the aim is to refrain from imposing this condition. Section 3 shows that the claim is false, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  61
    Fathers’ Sensitivity in Infancy and Externalizing Problems in Middle Childhood: The Role of Coparenting.Deborah Jacobvitz, Ashleigh I. Aviles, Gabriela A. Aquino, Ziyu Tian, Shuqi Zhang & Nancy Hazen - 2022 - Frontiers in Psychology 13.
    The present study examined the role of father sensitivity and couple coparenting quality in the first 2 years of life in relation to the development of externalizing behavior problems in middle childhood, focusing on the unique role of fathers. In this study, 125 mothers, fathers, and their first-born children were followed from 8 months to age 7 years. Paternal sensitivity was rated when infants were 8 and 24 months old. Fathers were videotaped at home playing, feeding, and changing their 8-month-old (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  30
    On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.
    One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  31.  29
    Relevant Restricted Quantification.J. C. Beall, Ross T. Brady, A. P. Hazen, Graham Priest & Greg Restall - 2006 - Journal of Philosophical Logic 35 (6):587-598.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  32.  13
    Pecularities of Some Three- and Four-Valued Second Order Logics.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Logica Universalis 12 (3-4):493-509.
    Logics that have many truth values—more than just True and False—have been argued to be useful in the analysis of very many philosophical and linguistic puzzles. In this paper, which is a followup to, we will start with a particularly well-motivated four-valued logic that has been studied mainly in its propositional and first-order versions. And we will then investigate its second-order version. This four-valued logic has two natural three-valued extensions: what is called a “gap logic”, and what is called a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Comments On The Logic Of Constructible Falsity.Allen Hazen - 1980 - Bulletin of the Section of Logic 9 (1):10-13.
    Nelson has presented a constructive arithmetic with a negation opera- tion () dierent from the ordinary intuitionistic one . In [5] he presents a variant of Kleene's realization semantics for intuitionistic arithmetic, and proves that relative to this interpretation the arithmetic language with { has the same expressive power as the usual intuitionistic one, and fact certain theories of arithmetic incorporating his negation are equivalent to corresponding systems of intuitionistic arithmetic. A Fitch style natural deduction formulation ) of the pure (...)
     
    Export citation  
     
    Bookmark   2 citations  
  34.  6
    Book reviews. [REVIEW]A. P. Hazen - 1993 - Philosophia Mathematica 1 (2):173-179.
  35.  6
    On a Possible Misinterpretation of Kripke's Semantics for Intuitionistic Logic.Allen Hazen - 1982 - Analysis 42 (3):128 - 133.
  36.  3
    Expressive completeness in modal language.Allen Hazen - 1976 - Journal of Philosophical Logic 5 (1):25--46.
    The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, and I think (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  37.  2
    A fallacy in Ramsey.Allen Hazen - 1986 - Mind 95 (380):496-498.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  1
    A Variation on a Paradox.Allen Hazen - 1990 - Analysis 50 (1):7 - 8.
  39.  19
    Actuality in Propositional Modal Logic.Allen P. Hazen, Benjamin G. Rin & Kai F. Wehmeier - 2013 - Studia Logica 101 (3):487-503.
    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 ${\phi}$ in the propositional modal language with A, there is a formula ${\psi}$ not containing A such that ${\phi}$ and ${\psi}$ are materially equivalent at the actual world in every Kripke model (respectively, neighborhood model). Inspection of the proofs leads to corresponding proof-theoretic results concerning the eliminability of the actuality (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  40.  1
    An Example Of A Language With Classical Logic For Which Bivalence Cannot Be Assumed.Allen Hazen - 1983 - Analysis 43 (January):1-5.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  41.  21
    Relations in Lewis's framework without atoms: A correction.Allen Hazen - 2000 - Analysis 60 (4):351–353.
  42.  12
    Hypergunk.Allen Hazen - 2004 - The Monist 87 (3):322-338.
    Not the least admirable of the late David Lewis’s attributes was his disdain for technical terminology and jargon. His writings are a model demonstrating that, with skill and care, it is possible to discuss even the most mathematical aspects of logic and semantics in clear English prose, and with only a minimum of symbolism. The main text of Parts of Classes [1, hereafter: PoC], a 120-page essay on the foundations of set theory, follows Aristotle in using letters as variables, and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  43.  13
    Contra Buridanum.Allen Hazen - 1987 - Canadian Journal of Philosophy 17 (4):875 - 880.
    The French philosopher Jean Buridan's work on the logical paradoxes is currently attracting more attention than it has for several centuries. In part this is due to a general resurgence of interest in the paradoxes, but the immediate occasion is the recent publication of G. E. Hughes's edition, translation, and commentary on the chapter of Buridan's Sophismata most immediately concerned with the paradoxes. It is worth noting, therefore, that Buridan's theory fails, and in a way that makes it seem unlikely (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44.  6
    On the Reality of Existence and Identity.Allen Hazen - 1985 - Canadian Journal of Philosophy 15 (1):25 - 35.
    Ian Hacking's [6] is a spirited romp though a broad field of metaphysics, touching on a variety of important questions, and appealing to deep results in mathematical logic while remaining free of logical pedantry. Philosophical journals might be more fun to read if others could write in his style. It is an essay in applying the theory of logic expounded in more detail in his very interesting [7]. Unfortunately, despite my sympathy for his project, I have a number of criticisms (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45.  5
    Platonismo e Convenzioni.Allen P. Hazen - 2009 - Rivista di Estetica 41:171-187.
    Il platonista sostiene che le verità della matematica e della logica siano letteralmente vere, ossia che descrivano (in qualche modo: non voglio legare la definizione a una particolare teoria semantica) realtà che non sono create o decise da noi. Il convenzionalista sostiene invece che le proposizioni che chiamiamo verità della matematica siano in qualche misura convenzionali: esse esprimerebbero convenzioni che abbiamo adottato noi, o certe loro conseguenze. Le due posizioni sono apparenteme...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  4
    Davis's formulation of Kripke's theory of truth: A correction. [REVIEW]Allen Hazen - 1981 - Journal of Philosophical Logic 10 (3):309 - 311.
  47.  6
    Margaret Hindle Hazen;, James Trefil. Good Seeing: A Century of Science at the Carnegie Institution of Washington. x + 256 pp., illus., bibl., index. Washington, D.C.: Joseph Henry Press, 2002. $45. [REVIEW]Gregory A. Good - 2002 - Isis 93 (3):467-467.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  7
    Possibility relative to a sortal.Delia Graff Fara - 2012 - In Karen Bennett & Dean W. Zimmerman (eds.), Oxford Studies in Metaphysics volume 7. Oxford, GB: Oxford University Press. pp. 1.
    This paper is an informal presentation of the ideas presented formally in ”Relative-Sameness Counterpart Theory”. Relative-sameness relations -- such as being the same person as -- are like David Lewis’s “counterpart” relations in the following respects: (i) they may hold over time or across worlds between objects that aren’t cross-time or cross-world identical (I propose), and (ii) there are a multiplicity of them, different ones of which may be variously invoked in different contexts. They differ from his counterpart relations, however, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  8
    Ai, me and Lewis (abelian implication, material equivalence and C I Lewis 1920).Robert K. Meyer - 2008 - Journal of Philosophical Logic 37 (2):169 - 181.
    C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  28
    Canonical Counterpart Theory.Graeme Forbes - 1982 - Analysis 42 (1):33 - 37.
    In a recent article in Analysis, Graeme Hunter and William Seager (1981) attempt to rescue counterpart theory (CT) from some objections of Hazen 1979. They see these objections as arising from ‘uncritical use of the translation scheme originally proposed by Lewis’, and intend to meet them by refraining from use of that scheme. But they do not offer a new scheme; they say ‘…it is no more necessary to have one to capture the sense of modal idiom than it (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   25 citations  
1 — 50 / 1000