Results for 'Nissim Mannathukkaren'

85 found
Order:
  1.  64
    Postcolonialism and Modernity: A Critical Realist Critique.Nissim Mannathukkaren - 2010 - Journal of Critical Realism 9 (3):299-327.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2. Splitting the Reference Time: The Analogy Between Nominal and Temporal Anaphora Revisited1.Nelken Rani & Francez Nissim - 1997 - Journal of Semantics 14 (4).
     
    Export citation  
     
    My bibliography  
  3.  20
    Proof-Theoretic Semantics, by Nissim Francez.Ivo Pezlar - 2017 - Mind 126 (501):299-304.
    Proof-Theoretic Semantics, by FrancezNissim. London: College Publications, 2015. Pp. xx + 415.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  46
    Nissim-Sabat on the the One-Way Velocity of Light.Peter Øhrstrøm - 1986 - British Journal for the Philosophy of Science 37 (1):120-122.
  5.  10
    Neither Victim nor Survivor: Thinking Toward a New Humanity. By Marilyn Nissim-Sabat. Lanham, Md.: Lexington Books, 2009; Andtheorizing Sexual Violence. Edited by Renée J. Heberle and Victoria Grace. New York and London: Routledge, 2009. [REVIEW]Robin May Schott - 2012 - Hypatia 27 (3):929-935.
  6.  14
    Retrocausation and the Formal Assimilation of Classical Electrodynamics to Newtonian Mechanics: A Reply to Nissim-Sabat's "on Grunbaum and Retrocausation".Adolf Grunbaum & Allen I. Janis - 1979 - Philosophy of Science 46 (1):136-160.
    Dirac's classical electrodynamics countenances "preaccelerations" of charged particles at a time t as mathematical functions of external forces applied after the time t. These preaccelerations have been interpreted as evidence for physical retrocausation upon assuming that, in electrodynamics no less than in Newton's second law, external forces sustain an asymmetric causal relation to accelerations. And this retrocausal interpretation has just been defended against the critiques in (Grunbaum 1976), (Grunbaum and Janis, 1977 and 1978) by appeal to the formal assimilation of (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Studies in Islam and Judaism: The Arabic Original of Ibn Shāhīn's Book of Comfort, Known as the Ḥibbūr Yaphē of R. Nissīm B. Ya'aqobhStudies in Islam and Judaism: The Arabic Original of Ibn Shahin's Book of Comfort, Known as the Hibbur Yaphe of R. Nissim B. Ya'aqobh. [REVIEW]Solomon L. Skoss & Julian Obermann - 1936 - Journal of the American Oriental Society 56 (4):506.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  2
    Marilyn Nissim-Sabat's Neither Victim nor Survivor: Thinking Toward a New Humanity.Tracey Nicholls - 2010 - Phaenex 5 (1):129-137.
    Direct download (13 more)  
     
    Export citation  
     
    My bibliography  
  9. Nissim-Sabat On The The One-Way Velocity Of Light. Øhrstrøm - 1986 - British Journal for the Philosophy of Science 37 (1):120-122.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. Nissim-Sabat on the One Way Velocity of Light.Peter Ohrstrom - 1986 - British Journal for the Philosophy of Science 37:120.
  11. Politics and the Limits of Law Secularizing the Political in Medieval Jewish Thought.Menachem Lorberbaum - 2001
     
    Export citation  
     
    My bibliography   3 citations  
  12.  4
    Neither Victim nor Survivor: Thinking Toward a New Humanity.Marilyn Nissim-Sabat - 2009 - Lexington Books.
    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.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. Neither Victim nor Survivor: Thinking Toward a New Humanity.Marilyn Nissim-Sabat - 2011 - Lexington Books.
    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.
     
    Export citation  
     
    My bibliography  
  14. A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  15. Psychiatry, Psychoanalysis, and Race.Marilyn Nissim-Sabat - 2001 - Philosophy Psychiatry and Psychology 8 (1):45-60.
  16. Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  17.  99
    Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  18.  15
    Proof-Theoretic Reconstruction of Generalized Quantifiers.Nissim Francez & Gilad Ben-Avi - 2015 - Journal of Semantics 32 (3):313-371.
  19.  26
    Proof-Theoretic Semantic Values for Logical Operators.Nissim Francez & Gilad Ben-avi - 2011 - Review of Symbolic Logic 4 (3):466-478.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  20.  18
    Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  21.  39
    Categorial Grammar and the Semantics of Contextual Prepositional Phrases.Nissim Francez & Mark Steedman - 2006 - Linguistics and Philosophy 29 (4):381 - 417.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  22.  23
    Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez - 2014 - Logica Universalis 8 (2):215-259.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  24
    Temporal Prepositions and Temporal Generalized Quantifiers.Ian Pratt & Nissim Francez - 2001 - Linguistics and Philosophy 24 (2):187-222.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  24.  9
    Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  25.  46
    Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules.Sharon Shoham & Nissim Francez - 2008 - Studia Logica 90 (2):161-188.
    In this paper, we propose a game semantics for the (associative) Lambek calculus . Compared to the implicational fragment of intuitionistic propositional calculus, the semantics deals with two features of the logic: absence of structural rules, as well as directionality of implication. We investigate the impact of these variations of the logic on its game semantics.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  26.  23
    Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages.Nissim Francez & Michael Kaminski - 2007 - Studia Logica 87 (2-3):295-321.
    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.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  22
    Unification Grammars and Off-Line Parsability.Efrat Jaeger, Nissim Francez & Shuly Wintner - 2005 - Journal of Logic, Language and Information 14 (2):199-234.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28.  28
    E-Type Pronouns, I-Sums, and Donkey Anaphora.Shalom Lappin & Nissim Francez - 1994 - Linguistics and Philosophy 17 (4):391 - 428.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  29.  25
    Extending Free Pregroups with Lower Bounds.Tamar Aizikowitz, Nissim Francez, Daniel Genkin & Michael Kaminski - 2010 - Studia Logica 95 (3):417-441.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  30.  2
    Order-Based Inference in Natural Logic.Yaroslav Fyodorov, Yoad Winter & Nissim Francez - 2003 - Logic Journal of the IGPL 11 (4):385-416.
    This paper develops a version of Natural Logic – an inference system that works directly on natural language syntactic representations, with no intermediate translation to logical formulae. Following work by Sánchez, we develop a small fragment that computes semantic order relations between derivation trees in Categorial Grammar. The proposed system has the following new characteristics: It uses orderings between derivation trees as purely syntactic units, derivable by a formal calculus. The system is extended for conjunctive phenomena like coordination and relative (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  31.  33
    A 'Natural Logic' Inference System Using the Lambek Calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  32.  31
    Plurality and Temporal Modification.Ron Artstein & Nissim Francez - 2006 - Linguistics and Philosophy 29 (3):251 - 276.
    A semantics with plural entitles and plural times accounts for cumulative relations between plural arguments and temporal expressions. The semantics equips nominal, verbal and sentential meanings with temporal context variables and treats temporal modifiers as temporal generalized quantifiers; cumulative conjunction, however, takes place at types lower than generalized quantifiers. The mediation of temporal context variables allows cumulative relations to percolate between an argument in a main clause and one in a temporal clause, in apparent violation of locality restrictions. Plural times (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  5
    A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  17
    Off-Line Parsability and the Well-Foundedness of Subsumption.Shuly Wintner & Nissim Francez - 1999 - Journal of Logic, Language and Information 8 (1):1-16.
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  35.  38
    A Retraction of 'a Gedanken Experiment to Measure the One-Way Velocity of Light'.Charles Nissim-Sabat - 1987 - British Journal for the Philosophy of Science 38 (1):75.
  36.  21
    A Logic Inspired by Natural Language: Quantifiers As Subnectors.Nissim Francez - 2014 - Journal of Philosophical Logic 43 (6):1153-1172.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  19
    The Crisis in Psychoanalysis: Resolution Through Husserlian Phenomenology and Feminism. [REVIEW]Marilyn Nissim-Sabat - 1991 - Human Studies 14 (1):33 - 66.
  38.  48
    A Retraction of ‘a Gedanken Experiment to Measure the One-Way Velocity of Light’.-sabat Charles Nissim - 1987 - British Journal for the Philosophy of Science 38 (1):75-75.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  39.  6
    The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
    We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40.  11
    680 ACKNOWLEDGMENT Fiona Cowie Max Cresswell Mark Crimmins.Oesten Dahl, Mary Dalrymple, Paul Dekker, Josh Dever, Walter Edelberg, Kai von Fintel, Gilles Fauconnier, Nissim Francez, Peter Gärdenfors & Bart Geurts - 1999 - Linguistics and Philosophy 22:679-680.
  41.  9
    On a Distinction of Two Facets of Meaning and its Role in Proof-Theoretic Semantics.Nissim Francez - 2015 - Logica Universalis 9 (1):121-127.
    I show that in the context of proof-theoretic semantics, Dummett’s distinction between the assertoric meaning of a sentence and its ingredient sense can be seen as a distinction between two proof-theoretic meanings of a sentence: 1.Meaning as a conclusion of an introduction rule in a meaning-conferring natural-deduction proof system. 2.Meaning as a premise of an introduction rule in a meaning-conferring natural-deduction proof system. The effect of this distinction on compositionality of proof-theoretic meaning is discussed.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  8
    782 ACKNOWLEDGMENT Veneeta Dayal Regine Eckardt Paul Elbourne.Martina Faller, Hana Filip, Nissim Francez, Angela Friederici, Marc Gawron, Bart Geurts, Anastasia Giannakidou, Jonathan Ginzburg, Paul Gochet & D. Graff - 2003 - Linguistics and Philosophy 26:781-782.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  43.  18
    A Reply to Grunbaum and Janis.Charles Nissim-Sabat - 1981 - Philosophy of Science 48 (1):127-129.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  44.  9
    Bilateral Relevant Logic.Nissim Francez - 2014 - Review of Symbolic Logic 7 (2):250-272.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  19
    Husserlian Phenomenology and the Treatment of Depression: Commentary and Critique.Marilyn Nissim-Sabat - 2010 - Philosophy, Psychiatry, and Psychology 17 (1):53-56.
  46.  2
    Frustration and Homogeneity of Rewards in the Double Runway.Nissim Levy & John P. Seward - 1969 - Journal of Experimental Psychology 81 (3):460.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  8
    Victims No More.Marilyn Nissim-Sabat - 1998 - Radical Philosophy Review 1 (1):17-34.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  3
    Woodworth Scale Values of the Lightfoot Pictures of Facial Expression.Nissim Levy & Harold Schlosberg - 1960 - Journal of Experimental Psychology 60 (2):121.
  49.  13
    Coming Out of the Closet.Marilyn Nissim-Sabat - 2008 - Radical Philosophy Review 11 (2):159-173.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  50.  8
    Lewis Gordon.Marilyn Nissim-Sabat - 2008 - Clr James Journal 14 (1):46-70.
1 — 50 / 85