The lover of the beautiful and the good: Platonic foundations of aesthetic and moral value

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 adjectives, mass nouns, and predicate negations—all with a semantics that demand a privative scale of value. It is shown how it is perfectly possible to interpret value terms Platonically over privative Boolean algebras so that beautifuland good diverge while at higher levels other value terms are coextensional. Considerations are offered that this structure conforms to actual usage.     

The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant

The logic B_Kc1 is the basic constructive logic in the ternaryrelational semantics (without a set of designated points) adequateto consistency understood as the absence of the negation ofany theorem. Negation is introduced in B_Kc1 with a negationconnective. The aim of this paper is to define the logic B_Kc1F.In this logic negation is introduced via a propositional falsityconstant. We prove that B_Kc1 and B_Kc1F are definitionally equivalent.     

汉语简单否定陈述句理解的心理模拟过程

采用自定步速阅读的方法, 从体验认知的角度探索了汉语简单否定句的动态理解过程。以具有对立谓词的汉语陈述性的肯定句和否定句为实验句, 以与否定句的两种状态相对应的图片为实验图片, 并构成句子-图片匹配/不匹配两种匹配状态。研究结果表明, 实验1在以250 ms为间隔时间的条件下, 肯定句和否定句的理解有显著的匹配效应; 实验2以750 ms为间隔时间, 则未表现出匹配效应, 而实验3以1500 ms为间隔时间, 肯定句和否定句的理解又表现出显著的匹配效应。实验结果证明, 具有对立谓词的简单的汉语否定句理解的心理模拟过程, 并不像两步模拟假设所设想的那样遵循着先模拟被否定状态再模拟实际状态的顺序, 而是在理解的初期就完成了对事件的实际状态的模拟。     

Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation

The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation,–intuitionistic negation and some of its generalizations: minimal negation of Johansson and semi-negation.We discuss also the impact of Rasiowa works on the theory of non-classical negation.A lecture presented at the International Conference Trends in Logic III : A. Mostowski, H. Rasiowa and C. Rauszer in memoriam, Warsaw, Ruciane-Nida September 23-26, 2005.     

Canonical Extensions and Relational Representations of Lattices with Negation

This work is part of a wider investigation into lattice-structured algebras and associated dual representations obtained via the methodology of canonical extensions. To this end, here we study lattices, not necessarily distributive, with negation operations.We consider equational classes of lattices equipped with a negation operation ¬ which is dually self-adjoint (the pair (¬,¬) is a Galois connection) and other axioms are added so as to give classes of lattices in which the negation is De Morgan, orthonegation, antilogism, pseudocomplementation or weak pseudocomplementation. These classes are shown to be canonical and dual relational structures are given in a generalized Kripke-style. The fact that the negation is dually self-adjoint plays an important role here, as it implies that it sends arbitrary joins to meets and that will allow us to define the dual structures in a uniform way.Among these classes, all but one—that of lattices with a negation which is an antilogism—were previously studied by W. Dzik, E. Or?owska and C. van Alten using Urquhart duality.In some cases in which a given axiom does not imply that negation is dually self-adjoint, canonicity is proven with the weaker assumption of antitonicity of the negation.     

Proof Systems Combining Classical and Paraconsistent Negations

New propositional and first-order paraconsistent logics (called L _ω and FL _ω , respectively) are introduced as Gentzen-type sequent calculi with classical and paraconsistent negations. The embedding theorems of L _ω and FL _ω into propositional (first-order, respectively) classical logic are shown, and the completeness theorems with respect to simple semantics for L _ω and FL _ω are proved. The cut-elimination theorems for L _ω and FL _ω are shown using both syntactical ways via the embedding theorems and semantical ways via the completeness theorems. Presented by Yaroslav Shramko and Heinrich Wansing     

Memory issues pertaining to social marketing messages about behavior enactment versus non-enactment

This article examines efficiency issues pertaining to social marketing messages about behavior enactment (e.g., smoker) vs. non-enactment (e.g., nonsmoker). Building on a wealth of psycholinguistics research, we posit that underlying differences in the processing and storage of word concepts with affixal negations affect learning and memory for these concepts (i.e., associations with non-enactment concepts will be harder to learn and remember than associations with enactment concepts). Two experiments support our predictions, suggesting that messages about enactment will demonstrate superior efficiency. Implications of study findings are discussed in terms of possibilities for improving the efficiency of social marketing messages about non-enactment.     

The Revival of Rejective Negation

Whether assent (acceptance) and dissent (rejection) are thought of as speech acts or as propositional attitudes, the leading idea of rejectivism is that a grasp of the distinction between them is prior to our understanding of negation as a sentence operator, this operator then being explicable as applying to A to yield something assent to which is tantamount to dissent from A. Widely thought to have been refuted by an argument of Frege"s, rejectivism has undergone something of a revival in recent years, especially in writings by Huw Price and Timothy Smiley. While agreeing that Frege"s argument does not refute the position, we shall air some philosophical qualms about it in Section 5, after a thorough examination of the formal issues in Sections 1–4. This discussion draws on – and seeks to draw attention to – some pertinent work of Kent Bendall in the 1970s.