The outbreak of the COVID-19 pandemic has accelerated the need for online counseling to preserve therapeutic processes that have begun face to face and to provide service to others in need during lockdowns. Previous studies underscored the importance of providing updated training as counselors frequently hesitate to use technological advances in therapeutic sessions. This study aims at reducing such barriers by revealing personal characteristics of future professionals that might inhibit or encourage their openness toward providing online counseling. To this end, (...) this study is focused on several precursors of openness to provide online counseling: preference to communicate emotions online, identification of emotional expressiveness advantages in providing online counseling, innovative behavior, creativity, and future problem-solving thinking skills. The question at focus is which constructs would be found contributive to students’ openness to provide online counseling. The sample included 277 undergraduate students who filled out questionnaires. Data were analyzed using Partial Least Squares Structural Equation Modeling. Our findings pointed to the centrality of students’ preference to communicate their emotions online in explaining their openness to conducting online counseling. This study might help pinpointing the adjustments curriculum designers should address to better reflect the intensive changes within the counseling field that necessitate transferring face-to-face skills to online settings. (shrink)

The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...) obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)

Technopoiesis was previously identified as the juvenile phase of expression of a technique that spontaneously evolves towards technopraxis as soon as the perspectives of practical use of the end-products overcome the cosmological resonance of the process itself. This view is re-examined considering the data and analyses exposed in “Refining technopoiesis: Measures and Measuring Thinking in Ancient China,” in which a coexistence of the technopoiesis and technopraxis approaches of technics is suggested.

I argue in favour of object languages of logics to be diversely-generated, that is, not having identical immediate sub-formulas. In addition to diversely-generated object languages constituting a more appropriate abstraction of the use of sentential connectives in natural language, I show that such language lead to a simplifications w.r.t. some specific issues: the identity of proofs, the factual equivalence and the Mingle axiom in Relevance logics. I also point out that some of the properties of classical logic based on freely-generated (...) object languagest. (shrink)

The paper proposes a semantic value for the logical constants (connectives and quantifiers) within the framework of proof-theoretic semantics, basic meaning on the introduction rules of a meaning conferring natural deduction proof system. The semantic value is defined based on Fregecontributions” to sentential meanings as determined by the function-argument structure as induced by a type-logical grammar. In doing so, the paper proposes a novel proof-theoretic interpretation of the semantic types, traditionally interpreted in Henkin models. The compositionality of the resulting attribution (...) of semantic values is discussed. Elsewhere, the same method was used for defining proof-theoretic meaning of subsentential phrases in a fragment of natural language. Doing the same for (the simpler and clearer case of) logic sheds more light on the proposal. (shrink)

The paper exposes the relevance of permuting conversions (in natural-deduction systems) to the role of such systems in the theory of meaning known as proof-theoretic semantics, by relating permuting conversion to harmony, hitherto related to normalisation only. This is achieved by showing the connection of permuting conversion to the general notion of canonicity, once applied to arbitrary derivations from open assumption. In the course of exposing the relationship of permuting conversions to harmony, a general definition of the former is proposed, (...) generalising the specific cases of disjunction and existential quantifiers considered in the literature. (shrink)

This paper motivates the logic PCON, an extension of connexivity to conjunction and disjunction, called poly-connexivity. The motivation arises from differences in intonational stress patterns due to focus, where PCON turns out to be a logic of intentionally stressed connectives in focus.

Inspired by the grammar of natural language, the paper presents a variant of first-order logic, in which quantifiers are not sentential operators, but are used as subnectors . A quantified term formed by a subnector is an argument of a predicate. The logic is defined by means of a meaning-conferring natural-deduction proof-system, according to the proof-theoretic semantics program. The harmony of the I/E-rules is shown. The paper then presents a translation, called the Frege translation, from the defined logic to standard (...) first-order logic, and shows that the proof-theoretic meanings of both logics coincide. The paper criticizes Frege’s original regimentation of quantified sentences of natural language, and argues for advantages of the proposed variant. (shrink)

The paper introduces a variant of connexive logic in which connexivity is extended from the interaction of negation with implication to the interaction of negation also with conjunction and disjunction. The logic is presented by two deductively equivalent methods: an axiomatic one and a natural-deduction one. Both are shown to be complete for a four-valued model theory.

The paper has two parts: 1. A brief exposition of proof-theoretic semantics, not necessarily in connection to natural language. 2. A review, with a contrastive flavour, of some of the applications of PTS to NL with an indication of advantages of PTS as a theory of meaning for NL.

It is argued in this study that ʿāpār, in the context of mining expressed in Job 28:2, 6, probably denotes neither ‘dust’ nor related materials, as is generally assumed, but ‘metallic ore’. A similar designation of ʿāpār as ore is identified in Job 30:6 and Ezek. 26:12. Further examination reveals the figurative use of ʿāpār as ore in Job 22:24, Isa. 34:9, and Isa. 41:2. In contrast to the abasement, humiliation, and worthlessness that are closely related to dust, metallic ore (...) is associated with preciousness, rarity, and wisdom. Consequently, disregard of the figurative meaning of ʿāpār as ore may generate misunderstandings of the biblical text. It may also conceal a theological reality. For example, the identification of ʿāpār as ore in Prov. 8:26 promotes homology between Lady Wisdom and the Egyptian goddess Hathor in Prov. 8:22–31. In Gen. 3:14, it stresses the metallurgical background of the Hebrew myth of origin and helps to clarify its significance. The meaning of ʿāpār as ore in Isa. 65:25 even transforms the metallurgical theological component into the source of eschatological developments. It is concluded that the ‘ore’ dimension of meaning of ʿāpār coexists in Biblical Hebrew with the traditional association of ʿāpār with dust and that the disregard of this dimension overlooks the meaning of these verses and the theology that inspires them; it also reflects misunderstandings of Biblical Hebrew after the Persian period. (shrink)

This paper focuses on postcolonial theory’s engagement with modernity. It argues that postcolonialism’s problematization of modernity is significant and has to be contended with seriously. In seeking to question the predatory universalism of western modernity, postcolonial theory aspires to open up paths for different modernities that have the promise of emancipation and liberation for all cultures and societies. But the crux of this paper is that this promise is hardly fulfilled. Using critical realism, it interrogates postcolonialism’s understanding of modernity. It (...) demonstrates that, with regard to various aspects such as the material dimension, structural conditions, binaries and dualisms, relativism, fallibilism, temporality and structure/agency, postcolonialism’s formulations are incomplete and inadequate. Ultimately, from a critical realist perspective, the non-fulfilment of postcolonialism’s initial promise has serious consequences for the subjects of the ‘Third World’ that the theory claims to represent. (shrink)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Husserlian Phenomenology and the Treatment of DepressionCommentary and CritiqueMarilyn Nissim-Sabat (bio)KeywordsHusserl, phenomenology, psychotherapy, drug therapyProfessor Hadreas begins his interesting and challenging essay by saying that, "This paper is concerned with a model of self-awareness which fits the testimony of subjects' reactions to selective serotonin reuptake inhibitors (SSRIs), of which fluoxetine (Prozac, Lilly, Indianapolis, IN) is probably the best known" (2010, 43). Several important features of Dr. Hadreas' approach (...) can be inferred from this statement. Most important, the verbatim testimony of subjects regarding their states of self-awareness is analyzed and interpreted for its compatibility with three philosophical models of self-awareness: Empiricism, rationalism, and Husserlian phenomenology. This is the methodology through which the author aims to show that one of the three models is more adequate than the others as a model of the self-awareness of the subjects, and that model is that of Husserlian phenomenology (hereinafter, phenomenology, with the understanding that only phenomenology according to Husserl is intended by both Dr. Hadreas and myself). In formulating this as the aim of his paper and his research, Dr. Hadreas has taken on an extremely difficult task.In general, attempts to show that any philosophical stance bears directly and immediately on the understanding of patients' symptoms, as well as on both theoretical and therapeutic work with people with mental disorders, is, owing to the ostensible gap in levels of conceptualization and systematicity, that is, the theory/praxis divide ostensibly separating the two realms, extraordinarily difficult. The task is rendered even more difficult in work like that of Prof. Hadreas,' in which, I believe, the researcher does not want to "apply" philosophy parasitically, as if research into psychiatric phenomena in relation to philosophy is just a matter of cannibalizing philosophy for self-justification, or vice versa; rather, Hadreas wants to preserve the integrity of both research into the phenomenology of psychiatric disorders and of [End Page 53] the philosophical perspective that may improve understanding of those disorders. In undertaking an effort along these lines, Hadreas breaks new ground.In particular, for this commentator, bringing Husserlian phenomenology to bear on these issues is particularly gratifying. Moreover, and most important, Hadreas bases his critique of classical empiricist and rationalist models of self-awareness on bringing to the fore Husserl's views on pre-reflective consciousness. This is extremely important for, as Dan Zahavi, noted Husserlian phenomenologist and philosopher of the phenomenology–psychiatry interface, points out, not only in the book cited by Hadreas but in a more recent article (Zahavi 2003), Husserl's notion of self-awareness has been critiqued by many who claim that he lacked a notion of pre-reflective consciousness. Indeed, Zahavi's (2003) work in this area quite effectively refutes these claims, and he does so by drawing on a large body of evidence from Husserl's posthumous writings. Thus, Hadreas is to be congratulated for using Husserl's long-neglected notion of pre-reflective consciousness as a means of approaching phenomenologically the testimony of patients who discussed changes in their self-awareness owing to their experiences with SSRI medications, chiefly fluoxetine. However, it is just because I share with Hadreas the conviction that Husserlian phenomenology is the best philosophical approach to understanding, and indeed, possibly improving the treatment of mental disorders, that I think it is vital to raise some questions regarding Hadreas' approach.My first critical comment is this: Hadreas' aim in writing his paper is unclear in a way that calls his project into question. In the conclusion of his paper, he indicates that his findings can enable psychiatrists to determine which patients are more likely to experience "SSRI cures." Given this, it would seem that his purpose in introducing Husserlian phenomenology is to facilitate this goal. Those subjects, he finds (based on his phenomenological analysis of the subjects' own testimony), who "have lived enough of life to have formed, for better or worse, an abiding empirical ego" are more likely to be "good responders" to SSRIs. It would seem, then, that this finding would aid psychiatrists in evaluating patients who have been treated, or who might be treated, with SSRIs. This, then, if correct, would be a considerable... (shrink)

In Neither Victim nor Survivor: Thinking toward a New Humanity, Marilyn Nissim-Sabat offers a comprehensive critique of the interrelated concepts of "victim" and "survivor" as they have been ideologically distorted in Western thought. Nissim-Sabat proposes that a phenomenological attitude empowers us to overcome the anti-human consequences of both victimization of individuals and peoples and the ideological distortions of concepts that help to perpetuate that victimization.

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

A brief survey of the development of some techniques from antiquity to recent times reveals that their initial phase was stimulated not by perspectives of exploiting their outcome, as is usually expected for technology, but by the valorization of the process itself. This initial phase, defined here as technopoiesis, is conceptually and practically distinct from what subsequently becomes technology in respect of inventiveness, standardization, technical skill, level of ornamentation, practical use, integration into systems of exchange, and ritualized versus secular uses. (...) It is shown that technopoiesis may profoundly modify the cultural environment by shaping the universe of beliefs, rituals, and values and that this influence may persist even after the transition to technology. It makes the distinction between technology and technopoiesis essential for evaluating the cultural influence of techniques, from the Paleolithic era to modern times. (shrink)

The paper studies the extension of harmony and stability, major themes in proof-theoretic semantics, from single-conclusion natural-deduction systems to multiple -conclusions natural-deduction, independently of classical logic. An extension of the method of obtaining harmoniously-induced general elimination rules from given introduction rules is suggested, taking into account sub-structurality. Finally, the reductions and expansions of the multiple -conclusions natural-deduction representation of classical logic are formulated.

The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative (...) introduction and elimination rules, and (ii) positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality (not referring to truthtables), using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible. (shrink)

We study structural rules in the context of multi-valued logics with finitely-many truth-values. We first extend Gentzen’s traditional structural rules to a multi-valued logic context; in addition, we propos some novel structural rules, fitting only multi-valued logics. Then, we propose a novel definition, namely, structural rules completeness of a collection of structural rules, requiring derivability of the restriction of consequence to atomic formulas by structural rules only. The restriction to atomic formulas relieves the need to concern logical rules in the (...) derivation. (shrink)

Tranquillity and Insight. An Introduction to the Oldest Form of Buddhist Meditation. Amadeo Solé-Leris. Century Hutchinson, London, and Shambhala, Boston 1986. 176 pp. £6.95 / $7.95.

The paper introduces a proof-theoretic semantics for adjectival modification as an alternative to the traditional model-theoretic semantics basing meaning on truth-conditions. The paper considers the proof-theoretic meaning of modification by means of the three traditional adjective classes: intersective, subsective and privative. It does so by introducing a meaning-conferring natural-deduction proof system for such modification. The PTS theory of meaning is not polluted by ontological commitments, for example, a scale for beauty and a yardstick for being beautiful. It only uses syntactic (...) artefacts of the proof language. The paper also defines, by suitable rules, iterated modification, shedding light on the relationship between iteration and adjectival classes. Modification via coordinated adjectives is covered too. An appendix delineates briefly the main ingredients of PTS. (shrink)

This paper investigates the meaning of restricted quantification when the embedded conditional is taken as the conditional of some first-order connexive logics. The study is carried out by checking the suitability of RQ for defining a connexive class theory, in analogy to the definition of Boolean class theory by using RQ in classical logic. Negative results are obtained for Wansing’s first-order connexive logic QC and one variant of Priest’s first-order connexive logic QP. A positive result is obtained for another variant (...) of QP. (shrink)

In some presentations of classical and intuitionistic logics, the objectlanguage is assumed to contain (two) truth-value constants: ⊤ (verum) and ⊥ (falsum), that are, respectively, true and false under every bivalent valuation. We are interested to define and study analogical constants ‡, 1 ≤ i ≤ n, that in an arbitrary multi-valued logic over truth-values V = {v1,..., vn} have the truth-value vi under every (multi-valued) valuation. As is well known, the absence or presence of such constants has a significant (...) deductive impact on the logics studied. We define such constants proof-theoretically via their associated I/E-rules in a natural-deduction proof system. In particular, we propose a generalization of the notions of contradiction and explosiveness of a logic to the context of multi-valued logics. (shrink)

I argue that a recent philosophical interpretation by Jc Beall of the middle value of Weak Kleene logic as ‘being off-topic’ is untenable. My main claim is that “being off-topic” is a relation, not a property, and as such cannot serve as an interpretation of a truth-value.

The paper presents a contra-classical dialectic logic, inspired and motivated by Hegel s dialectics. Its axiom schemes are 0.1 Thus, in a sense, this dialectic logic is a kind of “mirror image“ of connexive logic. The informal interpretation of ‘ $$\rightarrow $$ ’ emerging from the above four axiom schemes is not of a conditional (or implication); rather, it is the relation of determination in the presence of truth-value gaps: $$\varphi \rightarrow \psi $$ is read as $$\varphi $$ determines $$\psi (...) $$, namely, necessarily, if $$\varphi $$ is true, then $$\psi $$ is either true or false, not gappy. As far as I know, such a connective has not been considered before in the literature. (shrink)

The paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.

The paper introduces the formula structure of poly-sequents, allowing the expression of poly-positions: positions with any number of stances, of which bilateralism and trilateralism are special cases. The paper also puts forward the view that s-coherence of such poly-positions can be defined inferentially, without appealing to their validity under interpretations of the object language.

We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logic.