Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono's Kripke semantics for the predicate version of FL_ew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order.     

Logic, Formal Methodology and Semantics in Works of Ryszard W��jcicki

For decades Ryszard Wójcicki has been a highly influential scholar in the community of logicians and philosophers. Our aim is to outline and comment on some essential issues on logic, methodology of science and semantics as seen from the perspective of distinguished contributions of Wójcicki to these areas of philosophical investigations.     

Compositional Semantics and Normative ‘Ought’

According to the paradigm view in linguistics and philosophical semantics, it is lexical semantics (LS) plus the principle of compositionality (PC) that allows us to compute the meaning of an arbitrary sentence. The job of LS is to assign meaning to individual expressions, whereas PC says how to combine these individual meanings into larger ones. In this paper I argue that the pair LS?+?PC fails to account for the discourse-relevant meaning of normative ‘ought’. If my hypothesis is tenable, then the failure of LS?+?CS extends to normative language in general. The reason I offer that this is so is that semantics for normative language is, in an important respect, a substantive semantics (SS). The ‘substantive’ in question means that the meaning of normative vocabulary in use is driven by metanormative views associated with a particular normative concept. SS rejects the model LS?+?CS and replaces it with a discourse-relevant semantics built around an interactional principle that ascribes to a particular surface syntactical form of ‘ought’ sentences a logical form that represents its discourse-salient normative content. In the paper I shall sketch how SS works and why it is worth serious consideration.

     

Proofs,Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics

Journal of Philosophical Logic - Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative...     

Some Notes on Boolos’ Semantics: Genesis,Ontological Quests and Model-Theoretic Equivalence to Standard Semantics

The main aim of this work is to evaluate whether Boolos’ semantics for second-order languages is model-theoretically equivalent to standard model-theoretic semantics. Such an equivalence result is, actually, directly proved in the “Appendix”. I argue that Boolos’ intent in developing such a semantics is not to avoid set-theoretic notions in favor of pluralities. It is, rather, to prevent that predicates, in the sense of functions, refer to classes of classes. Boolos’ formal semantics differs from a semantics of pluralities for Boolos’ plural reading of second-order quantifiers, for the notion of plurality is much more general, not only of that set, but also of class. In fact, by showing that a plurality is equivalent to sub-sets of a power set, the notion of plurality comes to suffer a loss of generality. Despite of this equivalence result, I maintain that Boolos’ formal semantics does not committ (directly) second-order languages (theories) to second-order entities (and to set theory), contrary to standard semantics. Further, such an equivalence result provides a rationale for many criticisms to Boolos’ formal semantics, in particular those by Resnik and Parsons against its alleged ontological innocence and on its Platonistic presupposition. The key set-theoretic notion involved in the equivalence proof is that of many-valued function. But, first, I will provide a clarification of the philosophical context and theoretical grounds of the genesis of Boolos’ formal semantics.     

On “Interactional Semantics” and Problems of Meaning

This article is a comment on papers being published in this special issue concerned with interactional semantics. As these papers are concerned with abstractions, formulations, generalizations, and other uses of categorizations whereby participants’ everyday understandings and interpretations come to the foreground of analysis, I explore the wider issue with which the papers wrestle. That issue is whether problems of meaning—related to subjectivity, intersubjectivity, mutual comprehension, and the like—are pervasive in interaction, or are limited and situational. I examine problems of meaning through the lenses of social theory and ethnomethodology, and take the position that analytic preoccupation with interpretation should be one that follows participants’ own orientations to problems of meaning. This is different from but related to what each author argues in his own paper.     

The Bricot–Mair Dispute: Scholastic Prolegomena to Non-Compositional Semantics

From a general semantic point of view, Thomas Bricot (d. 1516) and John Mair (1467–1550) are proponents of the solution to semantic paradoxes based on appreciation of the contextuality of truth, who differ in their approach to the relations of logical consequence and contradiction. The core of the study is the analysis of Mair's criticism of Bricot presented in the sixth quaestio of his Tractatus insolubilium where the consequences of non-compositional semantics for the concepts of synonymy and logical form are addressed. The polemic between John Mair and Thomas Bricot is construed as having immediate consequences for research in the area of non-compositional semantics.     

What Should a Correspondence Theory Be and Do?

Correspondence theories are frequently either too vaguely expressed – “true statements correspond to the way things are in the world,” or implausible – “true statements mirror raw, mind-independent reality.” I address this problem by developing features and roles that ought to characterize what I call ldquo;modest” correspondence theories. Of special importance is the role of correspondence in directing our responses to cases of suspected non-factuality; lack of straightforward correspondence shows the need for, and guides us in our choice of, various kinds of reconstrual projects. This, I argue, is in contrast to the approaches suggested by deflationism and coherence, and thus modest correspondence theories are appropriately distinct from rivals     

Rabern’s Semantics for Metaphysical and Epistemic Modalities and the Nesting Problem

Journal of Philosophical Logic - In a recent paper, Brian Rabern suggests a semantics for languages with two kinds of modality, standard Kripkean metaphysical modality as well as epistemic...     

Mobbing–prevention and management in organizations

Abstract

So far, only a few companies have dealt with the issue of “mobbing”. This article describes some of the variables required for a successful implementation of an anti-mobbing programme, as well as measures of prevention and intervention. A successful anti-mobbing programme depends on the pressure the problem exerts on the company, the competition with other company programmes, the negative image of mobbing, and the slow diffusion of social issues in companies. Various prevention measures are outlined and suggested in connection with the causes of mobbing: changes in work design, changes in leadership behaviour, the protection of the individual social position, and the moral standard of employees. Depending on the stage of conflict escalation, different intervention measures apply. The concepts of appointing contact people for mobbing victims and the setting up of neutral clearing posts are discussed.     

Real-Time Processing Implications of Enriched Composition at the Syntax–Semantics Interface

This study reports results on the real-time consequences of aspectual coercion. We define aspectual coercion as a combinatorial semantic operation requiring computation over and above that provided by combining lexical items through expected syntactic processes. An experiment is described assessing whether or not parsing of a string requiring coercion—in addition to syntactic composition—is more computationally costly than parsing a syntactically transparent counterpart, a string that provides for an interpretable representation via syntactic composition alone. The prediction of a higher computational cost for this process is borne out by the results.     

Intensional Completeness in an Extension of Gödel/Dummett Logic

We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives a natural extension by lax modality of the well-known G: odel/Dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : | L |= p : } characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of and completely recovered by a suitable semantic interpretation of proofs.     

Tense and Agreement Impairment in Ibero–Romance

We examine the inflectional productions of seven Catalan, seven Galician, and seven Spanish speaking agrammatic subjects in an elicitation and a sentence repetition task and consider them in the light of the Tree Pruning Hypothesis (TPH). The results show relatively spared subject person/number agreement with the verb and impaired tense marking for all subjects in all the languages. Recent reformulations of syntactic theory [Chomsky (1999) MIT Occasional Papers in Linguistics (vol. 18). MA: The MIT Press; (2000). Step by Step: Essays on Minimalist Syntax in Honor of Howard Lasnik (pp. 89–155). Cambridge, MA: The MIT Press] regarding the locus of agreement force a reconsideration of the TPH for it to make the desired predictions; we adopt Cinque’s [(1999) Adverbs and Functional Heads: A Cross-linguistic Perspective. Oxford: Oxford University Press] array of functional mood/tense/aspect projections and we show that subject agreement must occur between the subject DP and a low functional head for selective impairment to result. Feature underspecification, formerly considered, is rendered unnecessary.     

Transsexuals in Sport–Fairness and Freedom,Regulation and Law

The question of if, and under what conditions transsexuals should be allowed to participate in sports in their acquired sex is becoming increasingly relevant partly because the number of transsexuals is increasing partly because many countries now provide mechanisms for achieving legal recognition as belonging to the new acquired sex. This paper develops (1) an analysis of the justification for maintaining sex segregation in some sports and (2) an account of the rights of transsexuals to be recognised in their new sex. On the basis of these two analyses it critically evaluates two set of rules for the participation of transsexuals in elite sports: the UK guidelines issued in pursuance of the Gender Recognition Act 2004 and the International Olympic Committee's guidelines. It is argued that these guidelines are conflicting and that a modified set of criteria is more justifiable.     

Negotiating faith and identity in Muslim–Christian marriages in Britain

Marriage between Muslim men and Christian or Jewish women has been a recognized though controversial phenomenon through Islamic history. Qur'anic permission is given (Q 5:5) but the normative condition in Shari^ca is that Islam should predominate over another faith, particularly in the identification of children.

In Britain and other Western countries the prevailing cultural and legal context of autonomy in relationship formation and choice of marriage partner means that Muslim–Christian marriages may happen without conformity to religious rules or familial preference, for example in the case of Muslim women marrying non-Muslim men. Nevertheless, amongst those surveyed, Muslim identification remained strong even where marriages were deemed transgressive.

Amongst Christian partners, faith identification (of parents and children) was more likely to be treated as autonomous and personally negotiable in the context of marriage.

The experience of hybridity and liminality in these marriages may influence attitudes to faith itself and there was evidence of both ‘universalizing’ and ‘particularist’ faith responses amongst couples.     

Trauma and Aggression in the DSM–5

Psychological trauma, stress, childhood abuse, neglect, and loss are mentioned as important features or risk factors for mental disorders in 15 out of 19 sections of the Diagnostic and Statistical Manual of Mental Disorders (5th ed. [DSM-5]). This means that, according to the DSM–5, trauma and stress are relevant themes throughout the mental health field, not solely an area of subspecialty. Despite the recognition of the widespread role of trauma and stress in the DSM–5, there are inconsistencies in the discussion of trauma, including its relationship to anger and aggression, that should be corrected in future editions of the manual.