Existential Import and an Unnecessary Restriction on Predicate Logics

Contemporary logicians continue to address problems associated with the existential import of categorical propositions. One notable problem concerns invalid instances of subalternation in the case of a universal proposition with an empty subject term. To remedy problems, logicians restrict first-order predicate logics to exclude such terms. Examining the historical origins of contemporary discussions reveals that logicians continue to make various category mistakes. We now believe that no proposition per se has existential import as commonly understood and thus it is unnecessary to restrict first-order predicate logics to non-empty classes. After introducing the problem, we trace some nineteenth century treatments of the issue to locate a source of misconstruing propositional import (1) in misconceptions of ‘implies’ and ‘affirms’ and name the process/product fallacy, along with (2) the translation of categorical sentences using quantifiers and accommodating an empty class. Next we treat some metalogical matters to orient our discussion by which we provide a more precise nomenclature about ‘sentence’ and ‘proposition’ to correct previous misconceptions; here we uncover a common category mistake in respect of a proposition’s efficacy. The semantic distinction between agent and force is helpful in this connection. We conclude by showing that logicians have reinserted existence as a predicate, a position previously excised by Kant, and that the Frege-Russell ambiguity thesis applies only to relationships within a categorical sentence between grammatical predicate and subject.     

The Cube,the Square and the Problem of Existential Import

One of the claims made for C. S. Peirce's existential graphs has been that they are a deductively complete formulation of first-order logic with identity. As Peirce presented them, this is true only for certain versions of first-order logic :those which do not include terms for individuals. I amend Peirce's rules here, showing, in particular, how they are capable of demonstrating that, for instance, ‘Jack is in the kitchen’ contradicts ‘Jack is not in the kitchen’     

Existential Import Today: New Metatheorems; Historical,Philosophical, and Pedagogical Misconceptions

We assemble material from the literature on matrix methodology for sentential logic—without claiming to present any new logical results—in order to show that Gödel once made (or at least, is quoted as having made) an uncharacteristically ill-considered remark in this area.     

Existential Assessment

Present day psychological assessment stems from a philosophy of sicence that values objectivity but fails to comprehend the existence of the person being evaluated. A humanistic-existential model shifts the focus from omnipotence to encounter and encourages client responsibility. The vehicle for this conceptualization is the nature and meaning of the encounter between clinician and client. New questions are posed for the assessor by altering the assessment goals, the stance toward interpretation, and the criterion for validation.     

Pragmatic Existential Therapy

A pragmatic model of existential therapy is offered to support the thesis that brief, solution focused therapy is a clinical application of existential psychology. Superseding pioneering existential therapies more concerned with insight than with clinical technique, pragmatic existential therapy is a dynamic clinical intervention facilitating in patients, decision, choice, self-commitment, and concrete action, the goal of which is movement toward the future and fulfillment of patients' latent potentials. In addition to clarifying the model's theoretical focus on (a) lived experience, (b) self-creation, and (c) existential anxiety, practical guides to brief existential treatment are offered. Sources from existential philosophy and psychology, as well as brief solution focused treatment, are used to evidence core elements of an existential therapy that is not contemplative and insight-focused, but pragmatic and action-based.     

Kripke Bundle Semantics and C-set Semantics

Kripke bundle [3] and C-set semantics [1] [2] are known as semantics which generalize standard Kripke semantics. In [3] and in [1], [2] it is shown that Kripke bundle and C-set semantics are stronger than standard Kripke semantics. Also it is true that C-set semantics for superintuitionistic logics is stronger than Kripke bundle semantics [5].In this paper, we show that Q-S4.1 is not Kripke bundle complete via C-set models. As a corollary we can give a simple proof showing that C-set semantics for modal logics are stronger than Kripke bundle semantics.     

Existential issues in group psychotherapy

Existential issues in group psychotherapy derive from existential thought both as a philosophy and as a value system. Its origins derive from the weakening of traditional values and the growing alienation of man from himself. The unique features of existentialism can be applied to all forms of therapy. These features are universal to humankind. They are finiteness, aloneness, guilt, responsibility, and freedom. In including existential concerns as part of group psychotherapy, therapist and patients move more closely to bilateral relationships and subjective interactions.     

Abstract Events in Semantics

Philosophia - Here, we defend the thesis whereby the event (conceived as a mental and social abstract entity) plays a main role of sense in the meaning of certain sentences. This thesis is based on...