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)

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)

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.

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)

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)

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.

I presented a sub-classical relating logic based on a relating via an NL-inspired relating relation Rcss. The relation Rcss is motivated by the NL-phenomenon of phrasal (subsentential) coordination, exhibiting an important aspect of contents relating among the arguments of binary connectives. The resulting logic Lcss can be viewed as a relevance logic exhibiting a contents related relevance, stronger than the variable-sharing property of other relevance logics like R. Note that relating here is not “tailored” to justify some predetermined logic; rather, (...) the relating relation is independently justified, and induces a logic not previously investigated. (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.

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)

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 highlights proof-theoretic semantics as providing natural resources for capturing semantic variation in natural language. The semantic variations include:Distinction between extensional predication and attribution to intensional transitive verbs a non-specific object.Omission of a verbal argument in a transitive verb.Obtaining sameness of meaning of sentences with transitive verbs with omitted object and existentially quantified object.Blocking unwarranted entailments in adjective–noun combinations.Capturing quantifier scope ambiguity.Obtaining context dependent quantifier domain restriction. The proof-theoretic resources employed to capture the above semantic variations include:The use of (...) different kinds of formal parameters and different ways of binding them to predicates.Omission of a premise from a proof-rule.Basing meanings on derivations in meaning-conferring proof-systems.Appealing to substructurality of I/E-rules.Controlling the order of rule applications in derivations.Controlling the open formulas participating in a context within a sequent. (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 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)

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)

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 introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: negative introduction and (...) elimination rules, and positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality, 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)

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)

The purpose of this research is to examine how a national minority, in our case Israeli Arabs, perceives its representations in the media during a global pandemic. The importance of this research is in gaining a better understanding of the perceptions of such minorities during global crises so that it can serve as a framework for various similar studies. Israeli Arabs were perceived as those who did not obey the instructions of the Ministry of Health and the government of Israel (...) during the pandemic. Therefore, this study asks: “How and in what ways do Israeli Arabs perceive their representations in the media during the COVID-19 pandemic?” Semi-structured in-depth interviews were used to answer this question. The findings show that the interviewees believe that the media did not represent them properly but in a stereotypical way, and that the government and media should have adjusted health instructions in a way that is compatible with their culture. The research concludes that the media have the responsibility of ensuring an overall representation of minorities that is adequate and positive. (shrink)

In this paper, we show how the problem of accounting for the semanticsof temporal preposition phrases (tPPs) leads us to some surprisinginsights into the semantics of temporal expressions ingeneral. Specifically, we argue that a systematic treatment of EnglishtPPs is greatly facilitated if we endow our meaning assignments with context variables, a device which allows a tPP to restrict domainsof quantification arising elsewhere in a sentence. We observe that theuse of context variables implies that tPPs can modify expressions intwo ways, and (...) we use this observation to predict the behaviour of tPPswhose complements are themselves modified by other tPPs. (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.

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 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.

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)

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 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)

Unification grammars are known to be Turing-equivalent; given a grammar G and a word w, it is undecidable whether w L(G). In order to ensure decidability, several constraints on grammars, commonly known as off-line parsability (OLP), were suggested, such that the recognition problem is decidable for grammars which satisfy OLP. An open question is whether it is decidable if a given grammar satisfies OLP. In this paper we investigate various definitions of OLP and discuss their interrelations, proving that some of (...) the OLP variants are indeed undecidable. We then present a novel, decidable OLP constraint which is more liberal than the existing decidable ones. (shrink)

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.

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)

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.

This paper develops an inference system for natural language within the ‘Natural Logic’ paradigm as advocated by van Benthem, Sánchez and others. The system that we propose is based on the Lambek calculus and works directly on the Curry-Howard counterparts for syntactic representations of natural language, with no intermediate translation to logical formulae. The Lambek -based system we propose extends the system by Fyodorov et~al., which is based on the Ajdukiewicz/Bar-Hillel calculus Bar Hillel,. This enables the system to deal with (...) new kinds of inferences, involving relative clauses, non-constituent coordination, and meaning postulates that involve complex expressions. Basing the system on the Lambek calculus leads to problems with non-normalized proof terms, which are treated by using normalization axioms. (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.

In this paper, we propose an extension of free pregroups with lower bounds on sets of pregroup elements. Pregroup grammars based on such pregroups provide a kind of an algebraic counterpart to universal quantification over type-variables. In particular, we show how our pregroup extensions can be used for pregroup grammars expressing natural-language coordination and extraction.

We define an automata-theoretic counterpart of grammars based on the Lambek-calculus L, a prominent formalism in computational linguistics. While the usual push-down automaton has the same weak generative power as the L-based grammars , there is no direct relationship between the computations of a PDA for some language L and the derivations of an L-based grammar for L. In the Lambek-automaton, on the other hand, there is a tight relation between automaton computations and grammar derivations. The automaton exhibits a novel (...) mode of operation, using hypothetical steps, directly inspired by the hypothetical reasoning embodied by L. (shrink)

Typed feature structures are used extensively for the specification of linguistic information in many formalisms. The subsumption relation orders TFSs by their information content. We prove that subsumption of acyclic TFSs is well founded, whereas in the presence of cycles general TFS subsumption is not well founded. We show an application of this result for parsing, where the well-foundedness of subsumption is used to guarantee termination for grammars that are off-line parsable. We define a new version of off-line parsability that (...) is less strict than the existing one; thus termination is guaranteed for parsing with a larger set of grammars. (shrink)

This study focuses on how Israeli Arab citizens perceive their media representations on Israeli television and why they consume television broadcasts even though they are marked mostly by negative representations. A new concept – “Communication Boundary Situation” – a development of Jaspers’ “Boundary Situation” theory, is the theoretical framework for the article. The empirical data was collected by conducting semi-structured in-depth interviews. The findings point to different attitudes among the interviewees towards their representation in various television genres, in particular, in (...) advertising as compared to satire and drama. The suggested theoretical framework and its empirical implementation might be useful in examining how various minorities perceive their media representations in other countries. (shrink)

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 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)

The paper proposes a semantics for contextual (i.e., Temporal and Locative) Prepositional Phrases (CPPs) like during every meeting, in the garden, when Harry met Sally and where I’m calling from. The semantics is embodied in a multi-modal extension of Combinatory Categoral Grammar (CCG). The grammar allows the strictly monotonic compositional derivation of multiple correct interpretations for “stacked” or multiple CPPs, including interpretations whose scope relations are not what would be expected on standard assumptions about surfacesyntactic command and monotonic derivation. A (...) type-hierarchy of functional modalities plays a crucial role in the specification of the fragment. (shrink)

The paper presents a generalization of pregroup, by which a freely-generated pregroup is augmented with a finite set of commuting inequations, allowing limited commutativity and cancelability. It is shown that grammars based on the commutation-augmented pregroups generate mildly context-sensitive languages. A version of Lambek’s switching lemma is established for these pregroups. Polynomial parsability and semilinearity are shown for languages generated by these grammars.

The paper presents a plan for negation, proposing a paradigm shift from the Australian plan for negation, leading to a family of contra-classical logics. The two main ideas are the following: Instead of shifting points of evaluation (in a frame), shift the evaluated formula. Introduce an incompatibility set for every atomic formula, extended to any compound formula, and impose the condition on valuations that a formula evaluates to true iff all the formulas in its incompatibility set evaluate to false. Thus, (...) atomic sentences are not independent in their truth-values. The resulting negation, in addition to excluding the negated formula, provides a positive alternative to the negated formula. I also present a sound and complete natural deduction proof systems for those logics. In addition, the kind of negation considered in this paper is shown to provide an innovative notion of grounding negation. (shrink)