Switch to: References

Add citations

You must login to add citations.
  1. Subatomic Negation.Bartosz Więckowski - 2021 - Journal of Logic, Language and Information 30 (1):207-262.
    The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and an additional operator for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The lover of the beautiful and the good: Platonic foundations of aesthetic and moral value.John Neil Martin - 2008 - Synthese 165 (1):31-51.
    Though acknowledged by scholars, Plato’s identification of the Beautiful and the Good has generated little interest, even in aesthetics where the moral concepts are a current topic. The view is suspect because, e.g., it is easy to find examples of ugly saints and beautiful sinners. In this paper the thesis is defended using ideas from Plato’s ancient commentators, the Neoplatonists. Most interesting is Proclus, who applied to value theory a battery of linguistic tools with fixed semantic properties—comparative adjectives, associated gradable (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Existence, Negation, and Abstraction in the Neoplatonic Hierarchy 1.John N. Martin - 1995 - History and Philosophy of Logic 16 (2):169-196.
    The paper is a study of the logic of existence, negation, and order in the Neoplatonic tradition. The central idea is that Neoplatonists assume a logic in which the existence predicate is a comparative adjective and in which monadic predicates function as scalar adjectives that nest the background order. Various scalar predicate negations are then identifiable with various Neoplatonic negations, including a privative negation appropriate for the lower orders of reality and a hyper-negation appropriate for the higher. Reversion to the (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Hypercomparatives.Adam Morton - 1997 - Synthese 111 (1):97-114.
    In natural language we rarely use relation-words with more than three argument places. This paper studies one systematic device, rooted in natural language, by which relations of greater adicity can be expressed. It is based on a higher-order relation between 1-place, 2-place, and 4-place relations (and so on) of which the relation between the positive and comparative degrees of a predicate is a special case. Two formal languages are presented in this connection, one of which represents the language of communication (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • All brutes are subhuman: Aristotle and ockham on private negation.John N. Martin - 2003 - Synthese 134 (3):429 - 461.
    The mediaeval logic of Aristotelian privation, represented by Ockham's expositionof All A is non-P as All S is of a type T that is naturally P and no S is P, iscritically evaluated as an account of privative negation. It is argued that there aretwo senses of privative negation: (1) an intensifier (as in subhuman), the dualof Neoplatonic hypernegation (superhuman), which is studied in linguistics asan operator on scalar adjectives, and (2) a (often lexicalized) Boolean complementrelative to the extension of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Lukasiewicz's Many-valued Logic and Neoplatonic Scalar Modality.John N. Martin - 2002 - History and Philosophy of Logic 23 (2):95-120.
    This paper explores the modal interpretation of ?ukasiewicz's n -truth-values, his conditional and the puzzles they generate by exploring his suggestion that by ?necessity? he intends the concept used in traditional philosophy. Scalar adjectives form families with nested extensions over the left and right fields of an ordering relation described by an associated comparative adjective. Associated is a privative negation that reverses the ?rank? of a predicate within the field. If the scalar semantics is interpreted over a totally ordered domain (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Attributive adjectives and the predicate calculus.Hanoch Ben-Yami - 1996 - Philosophical Studies 83 (3):277 - 289.
    I have attempted to show that many attributive adjectives can be dealt with within the framework of first-order predicate calculus by the method suggested in this paper. I've also supplied independent reasons for the claim that attributive adjectives that are not responsive to this method require a formal treatment different from the one that the adjectives successfully dealt with by that method require. Thus, if the method I've argued for is sound, then the scope of first-order predicate calculus was shown (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation