Engaging with Buddhism

In his new book, Jay Garfield invites philosophers of all persuasions to engage with Buddhist philosophy. In part I of this paper, I raise some questions on behalf of the philosopher working in the analytic tradition about the way in which Buddhist philosophy understands itself. I then turn, in part II, to look at what Orthodox Buddhism has to say about the self. I examine the debate between the Buddhist position discussed and endorsed by Garfield and that of a lesser-known school that he mentions only briefly, the Pudgalavāda (“Personalists”). I suggest that the views of the Pudgalavādins are strikingly similar to a position held, in the twentieth century analytic philosophy, by Peter Strawson.     

Propositional Epistemic Logics with Quantification Over Agents of Knowledge

The paper presents a family of propositional epistemic logics such that languages of these logics are extended by quantification over modal (epistemic) operators or over agents of knowledge and extended by predicate symbols that take modal (epistemic) operators (or agents) as arguments. Denote this family by \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\). There exist epistemic logics whose languages have the above mentioned properties (see, for example Corsi and Orlandelli in Stud Log 101:1159–1183, 2013; Fitting et al. in Stud Log 69:133–169, 2001; Grove in Artif Intell 74(2):311–350, 1995; Lomuscio and Colombetti in Proceedings of ATAL 1996. Lecture Notes in Computer Science (LNCS), vol 1193, pp 71–85, 1996). But these logics are obtained from first-order modal logics, while a logic of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) can be regarded as a propositional multi-modal logic whose language includes quantifiers over modal (epistemic) operators and predicate symbols that take modal (epistemic) operators as arguments. Among the logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) there are logics with a syntactical distinction between two readings of epistemic sentences: de dicto and de re (between ‘knowing that’ and ‘knowing of’). We show the decidability of logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) with the help of the loosely guarded fragment (LGF) of first-order logic. Namely, we generalize LGF to a higher-order decidable loosely guarded fragment. The latter fragment allows us to construct various decidable propositional epistemic logics with quantification over modal (epistemic) operators. The family of this logics coincides with \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\). There are decidable propositional logics such that these logics implicitly contain quantification over agents of knowledge, but languages of these logics are usual propositional epistemic languages without quantifiers and predicate symbols (see Grove and Halpern in J Log Comput 3(4):345–378, 1993). Some logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) can be regarded as counterparts of logics defined in Grove and Halpern (J Log Comput 3(4):345–378, 1993). We prove that the satisfiability problem for these logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) is Pspace-complete using their counterparts in Grove and Halpern (J Log Comput 3(4):345–378, 1993).     

Interpolation in 16-Valued Trilattice Logics

In a recent paper we have defined an analytic tableau calculus \({{\mathbf {\mathsf{{PL}}}}}_{\mathbf {16}}\) for a functionally complete extension of Shramko and Wansing’s logic based on the trilattice \({SIXTEEN}_3\). This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic—such as the relations Open image in new window , Open image in new window , and Open image in new window that each correspond to a lattice order in \({SIXTEEN}_3\); and Open image in new window , the intersection of Open image in new window and Open image in new window . It turns out that our method of characterising these semantic relations—as intersections of auxiliary relations that can be captured with the help of a single calculus—lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that Open image in new window , when restricted to \(\mathcal {L}_{tf}\), the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano.     

Proof Theory for Functional Modal Logic

We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \(\mathord {\sim }\mathord {\Box }A\equiv \mathord {\Box }\mathord {\sim }A\). We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.     

On Argumentation Logic and Propositional Logic

This paper studies the relationship between Argumentation Logic (AL), a recently defined logic based on the study of argumentation in AI, and classical Propositional Logic (PL). In particular, it shows that AL and PL are logically equivalent in that they have the same entailment relation from any given classically consistent theory. This equivalence follows from a correspondence between the non-acceptability of (arguments for) sentences in AL and Natural Deduction (ND) proofs of the complement of these sentences. The proof of this equivalence uses a restricted form of ND proofs, where hypotheses in the application of the Reductio of Absurdum inference rule are required to be “relevant” to the absurdity derived in the rule. The paper also discusses how the argumentative re-interpretation of PL could help control the application of ex-falso quodlibet in the presence of inconsistencies.     

Arrovian Aggregation of Generalised Expected-Utility Preferences: (Im)possibility Results by Means of Model Theory

Cerreia-Vioglio et al. (Econ Theory 48(2–3):341–375, 2011) have proposed a very general axiomatisation of preferences in the presence of ambiguity, viz. Monotonic Bernoullian Archimedean preference orderings. This paper investigates the problem of Arrovian aggregation of such preferences—and proves dictatorial impossibility results for both finite and infinite populations. Applications for the special case of aggregating expected-utility preferences are given. A novel proof methodology for special aggregation problems, based on model theory (in the sense of mathematical logic), is employed.     

Cannabis and Amphetamine Use and Socio-Ecological Proximal and Distal Factors Among School-Going Adolescents in Six Pacific Island Countries

The study aimed to assess the prevalence of cannabis and amphetamine use and socio-ecological proximal and distal factors among adolescents in six Pacific Island countries. We analyzed cross-sectional survey data from 9,849 adolescents (mean age 14.2 years, SD?=?1.2) from Cook Islands, Kiribati, Samoa, Solomon Islands, Tonga and Tuvalu that participated in the “Global School-Based Student Health Survey (GSHS)” in 2011–2013. The prevalence of past-month cannabis use was 15.5%, and lifetime amphetamine use was 14.5%, with the highest prevalence in Samoa, 37.1% and 34.6%, respectively. In adjusted mixed-effects logistic regression analysis male gender, personal attributes (anxiety, loneliness, current tobacco use, current alcohol use and school truancy) and environmental stressors (having been in a physical fight, been physically attacked, sustained an injury, hunger and being bullied) were associated with past-month cannabis and/or lifetime amphetamine use. Parental substance use was positively and parental involvement negatively associated with past-month cannabis and/or lifetime amphetamine use. Measures to prevent and control cannabis and amphetamine use in this adolescent population should include personal attributes, environmental stressors and parental support.     

Emotion Regulation and the Specific Associations with Health Anxiety

This study investigated two primary research aims surrounding health anxiety: (a) to examine what differences exist in emotion regulation strategies of health anxious and non-health anxious populations and (b) to investigate what emotion regulation strategies predict health anxiety, before and after controlling for trait cognitive and somatic anxiety. A total of 95 participants of the general population completed a series of online questionnaires. A single factor between groups MANOVA revealed that a health anxious group scored significantly higher in several emotion regulation strategies: distraction, external attribution, emotion expression and acting out; anxiety-related variables: trait cognitive and somatic anxiety; and beliefs about the negative consequences of becoming ill. Hierarchical regressions showed that several emotion regulation strategies were significantly associated with higher levels of health anxiety, before: distraction, external attribution, capitalising, positive reappraisal and emotional expression; and after: external attribution and capitalising, the control of trait anxiety. Overall, the results demonstrated that (a) emotional intelligence and behavioural attempts to understand emotional experiences may be associated with specific health anxiety symptomology, while a lack of effective cognitive strategies and worry may be responsible for the associated trait anxiety dimensions.     

Reactionary Deconversion from Mormonism: Polarization of Ideological and Behavioral Religiosity Among Active and Former Mormons

In contrast to a growing body of literature examining the experiences and trends of those who leave their faith tradition—particularly among Christian denominations—relatively little is known about those who specifically disaffiliate from Mormonism, although some evidence suggests that former Mormons may be especially likely to embrace secularity or irreligion rather than other religious beliefs and practices. Pursuant to empirically investigating this reactionary dynamic, the current study compared the relative religiosity and secularity of an online sample of active Mormons (n?=?194) and former Mormons (n?=?109) using the Abbreviated Religiousness Measure (ARM), an updated questionnaire of multidimensional religiosity. Results supported the ARM’s improved psychometrics and its hypothesized three-factor structure with both subsamples. Additionally, multivariate and univariate results indicated that active and former Mormon participants from our sample, significantly polarized in their self-reported level of religious beliefs, rituals, and influence on daily behaviors, with active Mormon reporting high religiosity and former Mormons reporting low religiosity or high secularity. Although these results comport with reactionary deconversion dynamics found in other high cost religions, limits to generalizability are discussed. Reasons for and implications of this reactionary phenomenon are also posited.