HYPE: A System of Hyperintensional Logic (with an Application to Semantic Paradoxes)

Journal of Philosophical Logic - This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit...     

A Revenge-Immune Solution to the Semantic Paradoxes

The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema True(A)A, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in ordinary contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with A within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are defective. We can in fact define a hierarchy of defectiveness predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (revenge problems) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various levels of defectiveness can all be made coherent together within a single object language.     

Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes

Kripke-completeness of every classical modal logic with Sahlqvist formulas is one of the basic general results on completeness of classical modal logics. This paper shows a Sahlqvist theorem for modal logic over the relevant logic Bin terms of Routley-Meyer semantics. It is shown that usual Sahlqvist theorem for classical modal logics can be obtained as a special case of our theorem.     

Against Stepping Back: A Critique of Contextualist Approaches to the Semantic Paradoxes

A number of philosophers have argued that the key to understanding the semantic paradoxes is to recognize that truth is essentially relative to context. All of these philosophers have been motivated by the idea that once a liar sentence has been uttered we can ‘step back’ and, from the point of view of a different context, judge that the liar sentence is true. This paper argues that this ‘stepping back’ idea is a mistake that results from failing to relativize truth to context in the first place. Moreover, context-relative liar sentences, such as ‘This sentence is not true in any context’ present a paradox even after truth has been relativized to context. Nonetheless, the relativization of truth to context may offer us the means to avoid paradox, if we can justifiably deny that a sentence about a context can be true in the very context it is about.     

Correction to: Deflationism About Logic

Journal of Philosophical Logic - The original version of this article unfortunately contains mistakes introduced by the publisher during the production process. The mistakes and corrections are...     

Conjunction-based Sorites: A Misguided Objection to Degree-Theoretic (Fuzzy) Solutions to Sorites Paradoxes

In 1987, Crispin Wright argued that degree-theoretic (fuzzy) solutions to the Sorites paradox fail because the solutions do not work when the paradox is restated using a conjunctive major premise. I show that Wright is incorrect: degree-theoretic solutions also work when the paradox is stated with a conjunctive major premise.     

从动态命题逻辑PDL到动态道义逻辑DDL

一动态命题逻辑的来源和基本构想动态逻辑DL(DYNAM IC LOGIC)是关于行动和程序推理的形式系统。DL可以描述为三个经典逻辑的合成:一是一阶谓词逻辑;二是模态逻辑;三是正则事件(REGULAR EVENT)的代数。DL区分于经典逻辑的地方是其真值的特性:经典逻辑的真值是静态的,一公式Φ的真值由其结构中自由变元的取值所决定,公式Φ导致的真值和赋值被看做不可改变的。[1]而动态逻辑在这点上正好相反,在DL中,有清晰的被称做程序的语形结构,这些程序的作用就是改变变元的值,由此进而改变公式的值。这些改变在经典谓词逻辑中,是在元逻辑的层…     

A Semantic Network Approach to the Creativity Quotient (CQ)

The Creativity Quotient (CQ) is a novel metric building on ideational fluency that accounts for both the number of novel ideas (ideation) and the number of distinct categories (fluency) these ideas fall into. Categories are, however, difficult to define unambiguously and objectively. We propose that the principal contribution of this article is an entirely algorithmic approach based on concept networks, and an information metric defined thereon. It requires only measures of the similarity between concepts, which may come from databases such as Wordnet, Wikipedia, Google, or corpus analysis tools. In the special case of strong, unique categories it reduces directly to CQ.     

Correction to gonzalez (2012)

Reports an error in "Association of solitary binge drinking and suicidal behavior among emerging adult college students" by Vivian M. Gonzalez (Psychology of Addictive Behaviors, Advanced Online Publication, Jan 30, 2012, np). In the article, there is an error in the introductory paragraph. The number of students who had seriously considered attempting suicide in the Barrios, Everett, Simon, & Brener (2000) study should have been reported as 11.4%, not 1.4%. Additionally, in the Participants section, data for the study were collected from March 2009 to September 2010, not March 2009 to January 2010 as reported. (The following abstract of the original article appeared in record 2012-02608-001.) Emerging adult college students who binge drink in solitary contexts (i.e., while alone) experience greater depression and suicidal ideation than do students who only binge drink in social contexts, suggesting that they may be at greater risk for suicidal behavior. This study examined the association of a previous suicide attempt, one of the best predictors of future suicide attempts and suicide, and severity of recent suicidal ideation with drinking in solitary and social contexts. Participants were binge drinking, emerging adult (18- to 25-year-old) college students (N = 182) drawn from two studies of college drinkers. A logistic regression analysis revealed that both suicide attempt history and severity of suicidal ideation were significantly associated with a greater likelihood of being a solitary binge drinker as opposed to only a social binge drinker. Students with a previous suicide attempt were nearly four times more likely to be solitary binge drinkers. Multiple regression analyses revealed that suicide attempt history was significantly associated with greater frequency and quantity of drinking in solitary, but not social contexts. Suicidal ideation was significantly associated with drinks per solitary drinking day, but not frequency of solitary drinking once suicide attempt history was accounted for. Given the associations found between solitary binge drinking and a history of suicide attempts, as well as greater severity of recent suicidal ideation, it appears that these students are in need of suicide prevention efforts, including treatment efforts aimed at reducing binge drinking. (PsycINFO Database Record (c) 2012 APA, all rights reserved).     

A Splitting Logic in NExt(KTB)

It is shown that the normal modal logic of two reflexive points jointed with a symmetric binary relation splits the lattice of normal extensions of the logic KTB. By this fact, it is easily seen that there exists the third largest logic in the class of all normal extensions of KTB. Presented by Michael Zakharyaschev Received February 17, 2006     

Semantic distance norms computed from an electronic dictionary (WordNet)

WordNet, an electronic dictionary (or lexical database), is a valuable resource for computational and cognitive scientists. Recent work on the computing of semantic distances among nodes (synsets) in WordNet has made it possible to build a large database of semantic distances for use in selecting word pairs for psychological research. The database now contains nearly 50,000 pairs of words that have values for semantic distance, associative strength, and similarity based on co-occurrence. Semantic distance was found to correlate weakly with these other measures but to correlate more strongly with another measure of semantic relatedness, featural similarity. Hierarchical clustering analysis suggested that the knowledge structure underlying semantic distance is similar in gross form to that underlying featural similarity. In experiments in which semantic similarity ratings were used, human participants were able to discriminate semantic distance. Thus, semantic distance as derived from WordNet appears distinct from other measures of word pair relatedness and is psychologically functional. This database may be downloaded fromwww.psychonomic.org/archive/.     

Correction to gorelik and shackelford (2011)

Regarding Gorelik, G., & Shackelford, T.K. (2011). Human sexual conflict from molecules to culture. Evolutionary Psychology, 9, 564-587: The authors wish to correct an omission in citation to the existing literature. In the final paragraph on p. 570, we neglected to cite Burch and Gallup (2006) [Burch, R. L., & Gallup, G. G., Jr. (2006). The psychobiology of human semen. In S. M. Platek & T. K. Shackelford (Eds.), Female infidelity and paternal uncertainty (pp. 141-172). New York: Cambridge University Press.]. Burch and Gallup (2006) reviewed the relevant literature on FSH and LH discussed in this paragraph, and should have been cited accordingly. In addition, Burch and Gallup (2006) should have been cited as the originators of the hypothesis regarding the role of FSH and LH in the semen of rapists. The authors apologize for this oversight.     

Loving Paradoxes: A Feminist Reclamation of the Goddess Kali

The feminist significance of the Goddess Kali lies in an indigenous worshipful attitude of “Kali‐bhakti” rather than in the mere image of the Goddess. The peculiar mother‐child motif at the core of the poet Ramprasad Sen's Kali‐bhakti represents, I argue, not only a dramatic reconstruction of femininity but of selfhood in general. The spiritual goal of a devotee here involves a deconstruction of “master identity” necessary also for ethico‐political struggles for justice.