Results for 'A. Feys'

955 found
Order:
  1.  5
    Grounded in Reality: Integrating Community Values and Priorities of End Users in Human Gene Editing.Kirsten A. Riggan, Roel Feys, Assata Kokayi, Karen M. Meagher, Marsha Michie, Kiran Musunuru, Kelly E. Ormond, Andrea J. Schelhaas, Jane Q. Yap, Rosario Isasi & Megan A. Allyse - 2024 - American Journal of Bioethics 24 (8):43-45.
    Volume 24, Issue 8, August 2024, Page 43-45.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  18
    Un Procédé Maniable de Décision pour la Logique Propositionelle Intuitionniste.H. Arnold Schmidt, A. Mostowski, Arnold Schmidt, A. Tarski & R. Feys - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Evolution toward Divinity. Teilhard de Chardin and the Hindu Traditions.Beatrice Bruteau, Jan Feys, K. D. Sethna & Robert A. Mcdermott - 1976 - Religious Studies 12 (2):249-251.
     
    Export citation  
     
    Bookmark   2 citations  
  4.  71
    ModèLes à variabLes de différentes sortes pour Les logiques modaLes m" ou S 5.Robert Feys - 1960 - Synthese 12 (2/3):182.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  9
    The Development of Logical Thought.R. Feys & A. Borgers - 1951 - Journal of Symbolic Logic 16 (1):55-56.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  4
    The life of a yogi.Jan Feys - 1976 - Calcutta: Firma KLM.
    Biography of the Indian philosopher Aurobindo Ghose, 1872-1950.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  9
    Estudio documental de la filosofía en el bachillerato español, (1807-1957).Eduard Fey - 1975 - Madrid: Consejo Superior de Investigaciones Científicas, Instituto de Pedagogía San José de Calasanz.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  48
    Lloyd A. C.. The logical form of law statements. Mind, n.s. vol. 64 , pp 312–318.Robert Feys - 1957 - Journal of Symbolic Logic 22 (1):92-92.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9. Animals: A History.Peter Adamson & Fey Edwards (eds.) - 2018
    No categories
     
    Export citation  
     
    Bookmark  
  10.  39
    (1 other version)Gestures of the abstract.Fey Parrill & Kashmiri Stec - 2017 - Pragmatics and Cognition 24 (1):33-61.
    Speakers perform manual gestures in the physical space nearest them, called gesture space. We used a controlled elicitation task to explore whether speakers use gesture space in a consistent way and whether they use space in a contrastive way when talking about abstract referents. Participants answered two questions designed to elicit contrastive, abstract discourse. We investigated manual gesture behavior. Gesture hand, location on the horizontal axis, and referent in corresponding speech were coded. We also coded contrast in speech. Participants’ overall (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  13
    (1 other version)Gesture Influences Resolution of Ambiguous Statements of Neutral and Moral Preferences.Jennifer Hinnell & Fey Parrill - 2020 - Frontiers in Psychology 11.
    When faced with an ambiguous pronoun, comprehenders use both multimodal cues and linguistic cues to identify the antecedent. While research has shown that gestures facilitate language comprehension, improve reference tracking, and influence the interpretation of ambiguous pronouns, literature on reference resolution suggests that a wide set of linguistic constraints influences the successful resolution of ambiguous pronouns and that linguistic cues are more powerful than some multimodal cues. To address the outstanding question of the importance of gesture as a cue in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. 9. Cap., Taking Seriously Our Bodily Being.O. William Fey - 2001 - Logos: A Journal of Catholic Thought and Culture 4 (4).
     
    Export citation  
     
    Bookmark  
  13.  9
    A Simple Notation for Relations.Robert Feys - 1950 - Journal of Symbolic Logic 15 (1):71-72.
  14.  9
    A Simplified Proof of the Reduction of all Modalities to 42 in S3.Robert Feys - 1955 - Journal of Symbolic Logic 20 (1):66-66.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  47
    Signers and Co‐speech Gesturers Adopt Similar Strategies for Portraying Viewpoint in Narratives.David Quinto-Pozos & Fey Parrill - 2015 - Topics in Cognitive Science 7 (1):12-35.
    Gestural viewpoint research suggests that several dimensions determine which perspective a narrator takes, including properties of the event described. Events can evoke gestures from the point of view of a character , an observer , or both perspectives. CVPT and OVPT gestures have been compared to constructed action and classifiers in signed languages. We ask how CA and CL, as represented in ASL productions, compare to previous results for CVPT and OVPT from English-speaking co-speech gesturers. Ten ASL signers described cartoon (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  56
    H. A. Weersma. Bezwaren tegen H. Scholz' Metaphysik als strenge Wissenschaft Algemeen Nederlands tijdschrift voor wijsbegeerte en psychologie, vol. 39 , pp. 151–158. [REVIEW]Robert Feys - 1949 - Journal of Symbolic Logic 14 (1):62-62.
  17.  20
    A. N. Whitehead. Indication, classes, numbers, validation. Essays in science and philosophy, by A. N. Whitehead, Rider and Company, London1948, pp. 227–240. [REVIEW]Robert Feys - 1950 - Journal of Symbolic Logic 15 (2):157-157.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  47
    Boehner Phtlotheus. The Tractatus de praedestinatione et de praescientia Dei et defuturis contingentibus of William Ockham, edited with a study on the mediaeval problem of a three-valued logic. Franciscan Institute publications, no. 2. The Franciscan Institute, St. Bonaventure College, St. Bonaventure, N. Y., 1945, XI + 139 pp. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):90-91.
  19.  51
    Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
  20.  51
    Rosser J. B. et Turquette A. R.. Axiom schemes for m-valued propositional calculi. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):86-89.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  20
    Entrainment and Synchronization to Auditory Stimuli During Walking in Healthy and Neurological Populations: A Methodological Systematic Review.Lousin Moumdjian, Jeska Buhmann, Iris Willems, Peter Feys & Marc Leman - 2018 - Frontiers in Human Neuroscience 12.
  22.  2
    Biopreservation Beyond the Biosphere: Exploring the Ethical, Legal & Social Implications of Suspended Animation in Space.Roel Feys, Korkut Uygun, Irina Filz von Reiterdank, Susan M. Wolf & Rosario Isasi - 2024 - Journal of Law, Medicine and Ethics 52 (3):648-665.
    In the evolving field of advanced biopreservation technologies, the development of suspended animation (SA) is inspired by real-world challenges. In the context of space exploration, SA is seen as a solution to enable humans to undertake missions far beyond low Earth orbit, including routine travel to other planets in our solar system and beyond. While work on the socio-ethical and legal implications (ELSI) of space exploration continues to evolve, NASA has committed to make ethics a priority issue, making this a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  28
    Enhancing farmers’ agency in the global crop commons through use of biocultural community protocols.Michael Halewood, Ana Bedmar Villanueva, Jazzy Rasolojaona, Michelle Andriamahazo, Naritiana Rakotoniaina, Bienvenu Bossou, Toussaint Mikpon, Raymond Vodouhe, Lena Fey, Andreas Drews, P. Lava Kumar, Bernadette Rasoanirina, Thérèse Rasoazafindrabe, Marcellin Aigbe, Blaise Agbahounzo, Gloria Otieno, Kathryn Garforth, Tobias Kiene & Kent Nnadozie - 2021 - Agriculture and Human Values 38 (2):579-594.
    Crop genetic resources constitute a ‘new’ global commons, characterized by multiple layers of activities of farmers, genebanks, public and private research and development organizations, and regulatory agencies operating from local to global levels. This paper presents sui generis biocultural community protocols that were developed by four communities in Benin and Madagascar to improve their ability to contribute to, and benefit from, the crop commons. The communities were motivated in part by the fact that their national governments’ had recently ratified the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  26
    A philosophy of mathematics. Louis O. Kattsoff. A philosophy of mathematics. The Iowa State College Press, Ames, Iowa, 1948, ix + 266 pp. [REVIEW]Robert Feys - 1948 - Journal of Symbolic Logic 13 (4):208-212.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  25.  21
    Heyting A.. Les fondements des mathématiques. Intuitionnisme. Théorie de la démonstration. Collection de logique mathématique, ser. A no. 9. Dactyloffset. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1955, title pages + 91 pp. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (1):33-33.
  26.  34
    Michalski Konstanty. Le problème de la volonté à Oxford et à Paris au XIVe siècle. Studia philosophica, t. 2 , pp. 233–365. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):91-91.
  27.  33
    Boekbesprekingen. [REVIEW]J. De Fraine, O. Vercruysse, I. de la Potterie, P. Smulders, J. Rupert, P. Fransen, P. Grootens, P. van Doornik, J. Van Torre, A. van Kol, A. Snoeck, M. Dykmans, J. Mulders, H. Smets, H. Jans, M. Dierickx, A. Feys, J. Houben, J. Nota, H. Geurtsen, L. Vander Kerken, F. Bertiau, P. Roberts, De Tollenaere, M. De Tollenaere, A. Poncelet, F. De Raedemaeker, H. Verbeek, R. Hostie & G. Zaat - 1956 - Bijdragen 17 (4):437-464.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  16
    Reliable and Valid Robotic Assessments of Hand Active and Passive Position Sense in Children With Unilateral Cerebral Palsy.Monika Zbytniewska-Mégret, Lisa Decraene, Lisa Mailleux, Lize Kleeren, Christoph M. Kanzler, Roger Gassert, Els Ortibus, Hilde Feys, Olivier Lambercy & Katrijn Klingels - 2022 - Frontiers in Human Neuroscience 16.
    Impaired hand proprioception can lead to difficulties in performing fine motor tasks, thereby affecting activities of daily living. The majority of children with unilateral cerebral palsy experience proprioceptive deficits, but accurately quantifying these deficits is challenging due to the lack of sensitive measurement methods. Robot-assisted assessments provide a promising alternative, however, there is a need for solutions that specifically target children and their needs. We propose two novel robotics-based assessments to sensitively evaluate active and passive position sense of the index (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  85
    Robert Feys. Logique formalisée et raisonnement juridique. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem 1961, and North-Holland Publishing Company, Amsterdam1962, pp. 312–321. - Jan Gregorowicz. L'argument a maiori ad minus et le problème de la logique juridique. Logique et analyse, n.s. vol. 5 , pp. 66–75. - Ch. Perelman. Logique formelle, logique juridique. Logique et analyse, n.s. vol. 3 , pp. 226–230. - Robert Feys and Marie-Thérèse Motte. Logique juridique, systèmes juridiques. Logique et analyse, n.s. vol. 2 , pp. 143–147. - Georges Kalinowski. ‘Interprétation juridique et logique des propositions normatives. Logique et analyse, n.s. vol. 2 , pp. 128–142. [REVIEW]Nicholas A. Vonneuman - 1968 - Journal of Symbolic Logic 33 (1):141-142.
  30.  65
    Negative Influence of Motor Impairments on Upper Limb Movement Patterns in Children with Unilateral Cerebral Palsy. A Statistical Parametric Mapping Study.Cristina Simon-Martinez, Ellen Jaspers, Lisa Mailleux, Kaat Desloovere, Jos Vanrenterghem, Els Ortibus, Guy Molenaers, Hilde Feys & Katrijn Klingels - 2017 - Frontiers in Human Neuroscience 11.
  31.  12
    Feys R.. Les logiques nouvelles des modalités. Revue néoscolastique de philotophie, vol. 40 , pp. 517–553, and vol. 41 , pp. 217–252. [REVIEW]Charles A. Baylis - 1938 - Journal of Symbolic Logic 3 (2):120-120.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  21
    Feys Robert. Nature et possibilités de la logique formalisée. Congrès International de Philosophie des Sciences, Paris, 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & C1e, Paris, 1951, pp. 69–80.Feys Robert. La formalisation comme suggestion rigoureuse. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques intemationaux du Centre National de la Recherche Scientifique no. 36, Paris, 1953, pp. 53–58. [REVIEW]A. R. Turquette - 1955 - Journal of Symbolic Logic 20 (1):66-66.
  33.  28
    Feys Robert. Logistique. Philosophie , XI Philosophie des sciences—psychologie, publiéo par l'Institu t International de Philosophie, publication entreprise sous les auspices de l'U.N.E.S.C.O., Actuality scientifiques et industrielles 1089, Hermann & Cie, Paris 1950, pp. 17–40. [REVIEW]Charles A. Baylis - 1950 - Journal of Symbolic Logic 15 (3):234-234.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34.  16
    Review: R. Feys, Les Logiques Nouvelles des Modalites. [REVIEW]Charles A. Baylis - 1938 - Journal of Symbolic Logic 3 (3):120-120.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  20
    Feys Robert. A simple notation for relations. Methodos , vol. 1 no. 1 , pp. 79–93.W. V. Quine - 1950 - Journal of Symbolic Logic 15 (1):71-72.
  36.  39
    Feys Robert. Logique formalisée moderne et philosophie des sciences. Atti del IX Convegno del Centro di Studi Filosofici tra Professori Universitari Gallarate 1953, Il problema della scienza, Morcelliana, Brescia 1954, pp. 58–60. [REVIEW]Charles A. Baylis - 1957 - Journal of Symbolic Logic 22 (4):400-401.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. A. N. Prior. A note on the logic of obligation. Revue philosophique de Louvain, vol. 54 , pp. 86–87. - Robert Feys. Reply . A note on modal systems, von Wright's M and Lewis's SI. Memoirs of the Osaka University of the Liberal Arts and Education, B. Natural science, no. 4 , pp. 88–89. [REVIEW]Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (4):379-379.
  38.  43
    Feys R.. De ontwikkeling van het logisch denken . Prepared for publication by A. Borgers. Philosophische bibliotheek. Standaard-Boekhandel, Antwerp; Dekker & van de Vegt, Nijmegen; 1949, 220 pp. [REVIEW]Paul Bernays - 1951 - Journal of Symbolic Logic 16 (1):55-56.
  39.  31
    Feys Robert. A simplified proof of the reduction of all modalities to 42 in S3. Boletin de la Sociedad Matemática Mexicana, vol. 10 nos. 1–2 , pp. 53–57. [REVIEW]William T. Parry - 1955 - Journal of Symbolic Logic 20 (1):66-66.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40. Review: Robert Feys, Expression de la Verifiabilite Experimentale dans le Raisonnement Formalise; J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):288-288.
  41.  7
    Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions. [REVIEW]Martin Davis - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  40
    (1 other version)Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.Feys Robert. Préface. Therein, pp. VII–XI.Feys Robert. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2.Feys Robert. Note B. Notation explicite des suppositions. Therein, pp. 29–34.Feys Robert. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39.Feys Robert. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83.Ladrière Jean. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89.Feys Robert. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92.Ladriére Jean. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97.Ladriére Jean. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100.Ladriére Jean. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. [REVIEW]John van Heijenoort - 1957 - Journal of Symbolic Logic 22 (4):350-351.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  39
    Arne Næss. Nokre elementære logiske emne . 1. nynorske utg. Mimeographed. Universitetets Studentkontor, Oslo 1949, 91 pp. - E. J. E. Huffer. Logistiek en wetenschapsleer . Tijdschrift voor philosophie, vol. 11 , pp. 100–116. - R. Feys. Logica en wijsbegeerte van de wiskunde . Tijdschrift voor philosophie, vol. 13 , pp. 303–314. - John Oulton Wisdom. Foundations of inference in natural science. Methuen & Co., London 1952, x + 240 pp. - Charles E. Bures. A critique of Hayakawa's ‘Language in thought and action.’ ETC.: A review of general semantics, vol. 9 no. 1 , pp. 35–43. - S. I. Hayakawa. Reply to Professor Bures. ETC.: A review of general semantics, vol. 9 no. 1 , pp. 43–50. - Anonymous. Inexhaustible. The New Yorker, 08 23, 1952, pp. 13–15. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (4):288-289.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  16
    Guillaume Marcel. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système de Feys-von Wright. Comptes rendus des séances de l'Académie des Sciences , vol. 246 , pp. 1140–1142.Guillaume Marcel. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S4 de Lewis. Comptes rendus des séances de l'Académie des Sciences , vol. 246 , pp. 2207–2210.Guillaume Marcel. Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S5 de Lewis. Comptes rendus des séances de l'Académie des Sciences , vol. 247 , pp. 1282–1283.Guillaume Marcel. Calculs de consequences et tableaux d'épreuve pour les classes algébriques générales d'anneaux booléiens à opérateurs. Comptes rendus des séances de l'Académie des Sciences , vol. 246 , pp. 1542–1544. [REVIEW]Jaakko Hintikka - 1960 - Journal of Symbolic Logic 25 (3):296-297.
  45.  35
    Curry Haskell B.. Leçons de logique algébrique. With a preface by Robert Feys. Collection de logique mathématique, série A. Lithographed. Gauthier-Villars, Paris; E. Nauwelaerts, Louvain; 1952, 163 pp. [REVIEW]Hugo Ribeiro - 1954 - Journal of Symbolic Logic 19 (2):146-147.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46. Essays on the foundations of mathematics: dedicated to A. A. Fraenkel on his seventieth anniversary.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel (eds.) - 1966 - Jerusalem: Magnes Press Hebrew University.
    Bibliography of A. A. Fraenkel (p. ix-x)--Axiomatic set theory. Zur Frage der Unendlichkeitsschemata in der axiomatischen Mengenlehre, von P. Bernays.--On some problems involving inaccessible cardinals, by P. Erdös and A. Tarski.--Comparing the axioms of local and universal choice, by A. Lévy.--Frankel's addition to the axioms of Zermelo, by R. Mantague.--More on the axiom of extensionality, by D. Scott.--The problem of predicativity, by J. R. Shoenfield.--Mathematical logic. Grundgedanken einer typenfreien Logik, von W. Ackermann.--On the use of Hilbert's [epsilon]-operator in scientific theories, (...)
     
    Export citation  
     
    Bookmark  
  47. Modalities in Ackermann's “rigorous implication”.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (2):107-111.
    Following a suggestion of Feys, we use “rigorous implication” as a translation of Ackermann's strenge Implikation ([1]). Interest in Ackermann's system stems in part from the fact that it formalizes the properties of a strong, natural sort of implication which provably avoids standard implicational paradoxes, and which is consequently a good candidate for a formalization of entailment (considered as a narrower relation than that of strict implication). Our present purpose will not be to defend this suggestion, but rather to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  48.  43
    An Introduction to Modal Logic. [REVIEW]H. K. R. - 1970 - Review of Metaphysics 23 (4):739-740.
    A comprehensive introduction to modal logic is long overdue and this one has many virtues. It is clearly written and should be accessible to any student who has at least one semester of basic logic and is willing to read carefully and think abstractly. The first part, on modal propositional logic, begins with a summary account of classical propositional logic, the axiomatization of Principia Mathematica being the basis for the development of modal logics throughout the book. The transition to modal (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  7
    30 Rock and Philosophy: We Want to Go to There.William Irwin - 2010 - Wiley.
    _A fascinating exploration of the philosophy behind NBC’s hit TV series, _30 Rock__ With edgy writing and a great cast, _30 Rock_ is one of the funniest television shows on the air—and where hilarity ensues, philosophical questions abound: Are Liz Lemon and Jack Donaghy ethical heroes? Kenneth redefines "goody two shoes", but what does it really mean to be good? Dr. Leo Spaceman routinely demonstrates that medicine is not a science, so what _is_ the role of the incompetent professional in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Binding On the Fly: Cross-Sentential Anaphora in Variable— Free Semantics.Anna Szabolcsi - 2003 - In R. Oehrle & J. Kruijff (eds.), resource sensitivity, binding, and anaphora. kluwer. pp. 215--227.
    Combinatory logic (Curry and Feys 1958) is a “variable-free” alternative to the lambda calculus. The two have the same expressive power but build their expressions differently. “Variable-free” semantics is, more precisely, “free of variable binding”: it has no operation like abstraction that turns a free variable into a bound one; it uses combinators—operations on functions—instead. For the general linguistic motivation of this approach, see the works of Steedman, Szabolcsi, and Jacobson, among others. The standard view in linguistics is that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 955