Results for 'Dag Westerst��hl'

876 found
Order:
  1. Generalized quantifiers in natural language semantics.Dag Westerstêahl - 2015 - In Shalom Lappin & Chris Fox (eds.), Handbook of Contemporary Semantic Theory. Wiley-Blackwell.
  2. Foundations of logic: completeness, incompleteness, computability.Dag Westerståhl - 2022 - Beijing: CSLI Publications & Tsinghua University.
    This book covers completeness of first-order logic, some model theory, Gödel's incompleteness theorems and related results, and a smattering of computability theory. The text is self-contained and provides full proofs of the main facts. Ideally, the reader of this work has already taken at least one introductory logic course; however, everything needed to understand the syntax and semantics of first-order logic is presented herein. Students from philosophy, linguistics, computer science, physics, and other related subjects will find this work useful and (...)
     
    Export citation  
     
    Bookmark  
  3.  46
    Logic, methodology, and philosophy of science IX: proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991.Dag Prawitz, Brian Skyrms & Dag Westerståhl (eds.) - 1994 - New York: Elsevier.
    This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Compositionality.Peter Pagin & Dag Westersã̃hl - 2019 - In Claudia Maienborn, Klaus von Heusinger & Paul Portner (eds.), Semantics: foundations, history and methods. De Gruyter.
     
    Export citation  
     
    Bookmark  
  5. Compositionality inductively, co-inductively and contextually.Tim Fernando - manuscript
    with the meaning function [[·]] appearing on both sides. (1) is commonly construed as a prescription for computing the meaning of a based on the parts of a and their mode of combination. As equality is symmetric, however, we can also read (1) from right to left, as a constraint on the meaning [[b]] of a term b that brings in the wider context where b may occur, in accordance with what Dag Westerst˚ahl has recently described as “one version of (...)
     
    Export citation  
     
    Bookmark   1 citation  
  6. Michael Walzer’Un Eşi̇Tli̇K Anlayişi Üzeri̇Ne Bi̇R İNceleme.Umut Dağ - forthcoming - Arete Political Philosophy Journal.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  54
    Dag Prawitz on Proofs, Operations and Grounding.Antonio Piccolomini D’ Aragona - 2019 - Topoi 38 (3):531-550.
    Dag Prawitz’s theory of grounds proposes a fresh approach to valid inferences. Its main aim is to clarify nature and reasons of their epistemic power. The notion of ground is taken to denote what one is in possession of when in a state of evidence, and valid inferences are described in terms of operations that make us pass from grounds we already have to new grounds. Thanks to a rigorously developed proof-as-chains conception, the ground-theoretic framework permits Prawitz to overcome some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  12
    The exteriority of ethics in management and its transition into justice: a Levinasian approach to ethics in business.Dag G. Aasland - 2007 - Business Ethics, the Environment and Responsibility 16 (3):220-226.
    Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9. Sven Lindman: hans vetenskapssyn och vetenskapliga gärning.Dag Anckar - 1986 - Åbo: Åbo akademi.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10. On the ethics behind “business ethics”.Dag G. Aasland - 2004 - Journal of Business Ethics 53 (1-2):3-8.
    Ethics in business and economics is often attacked for being too superficial. By elaborating the conclusions of two such critics of business ethics and welfare economics respectively, this article will draw the attention to the ethics behind these apparently well-intended, but not always convincing constructions, by help of the fundamental ethics of Emmanuel Levinas. To Levinas, responsibility is more basic than language, and thus also more basic than all social constructions. Co-operation relations in organizations, markets and value networks are generated (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  11. Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
    This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.
  12.  52
    The exteriority of ethics in management and its transition into justice: A Levinasian approach to ethics in business.Dag G. Aasland - 2007 - Business Ethics, the Environment and Responsibility 16 (3):220–226.
    Levinas did not present any new ethical theories; he did not even give any normative recommendations. But his phenomenological investigations help us to understand how the idea of ethics emerges and how we try to cope with it. The purpose of this paper is to suggest some implications from a reading of Levinas on how ethical challenges are handled within a management perspective. The paper claims that management, both in theory and in practice, is necessarily egocentric and thus ethically biased. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  13. Selbstgefühl: eine historisch-systematische Erkundung.Manfred Frank - 2002 - Frankfurt am Main: Suhrkamp.
     
    Export citation  
     
    Bookmark   2 citations  
  14. “Oplysningens dag er ovre”– Affekt som rationalitetskritik i Weimarrepublikkens intellektuelle miljø.Johan Falke Cederfeldt Mendes - 2020 - Slagmark - Tidsskrift for Idéhistorie 80:117-132.
    _“Emotion as an element of contemporary Criticism in the intellectual Environment of the Weimar Republic – A contextual Reading of the Presentation of the Affective in Martin Heidegger and Carl Schmitt”_ This article examines a specific use of emotional concepts as well as a particular understanding of the affective in general in the work of Heidegger and Schmitt during the years 1919-1933. The general character of this idea of the affective is that it is developed as an element of a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  19
    HL Dreyfus (ed.), A Companion to Heidegger.Erik Meganck - 2009 - Tijdschrift Voor Filosofie 71 (4):815-816.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Determiners and context sets.Dag Westerståhl - 1985 - In Generalized Quantifiers in Natural Language. Foris Publications. pp. 45--71.
     
    Export citation  
     
    Bookmark   71 citations  
  17.  10
    Dreyfus, HL, 3% Dreyfus, SE, 396.J. W. Cornman, G. Cottrell, R. Cummins, A. Cussins, L. Darden, C. Darwin, W. Demopoulos, M. Derthick, H. Gardner & M. S. Gazzaniga - 1993 - In Scott M. Christensen & Dale R. Turner (eds.), Folk Psychology and the Philosophy of Mind. L. Erlbaum.
  18.  36
    Quantifiers in formal and natural languages.Dag Westerståhl - 1989 - In Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Kluwer Academic Publishers. pp. 1--131.
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  19.  3
    Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.
    This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Inquiry into the doctrinal system of confucius from the Lun-yu.Hl Lo - 1976 - Chinese Studies in Philosophy 8 (1):57-76.
     
    Export citation  
     
    Bookmark  
  21. Logical constants in quantifier languages.Dag Westerståhl - 1985 - Linguistics and Philosophy 8 (4):387 - 413.
  22.  2
    Review of Aasland, D. (2009) Ethics and Economy: After Levinas. London: MayFlyBooks. [REVIEW]Dag Aasland - 2009 - Journal of Business Ethics 87 (3):437-439.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  23.  35
    Some Results on Quantifiers.Dag Westerståhl - 1984 - Notre Dame Journal of Formal Logic 25 (2):152--169.
  24. Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2015 - Cham, Switzerland: Springer.
    This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...)
  25. The modal logic of agency.Dag Elgesem - 1997 - Nordic Journal of Philosophical Logic 2:1-46.
  26.  17
    Des hl. Johannes chhrysostomus De Sacerdotio libri sex. Mit Anmerkungen neu herausgegeben von Carl Seltmann, Domcapitular in Breslau. Mit Genehmigung des Fürstbischöflichen Ordinariats zu Breslau. Münster und Paderborn, 1887. 2 Mk. 50. [REVIEW]P. A. - 1887 - The Classical Review 1 (10):303-.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  15
    Algebraic Recursion Theory.Dag Normann - 1988 - Journal of Symbolic Logic 53 (3):986-987.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  28.  25
    “Guardarsi dagli amici” nella storia del libro filosofico di Ramon Llull.Francesco Santi - 2011 - Quaestio 11:209-224.
    The paper focuses on the following points:1. A survey of the characteristics of the philosophic book during the XIIIthcentury, with a special attention to the standard book-format developed for the Scholastic philosophy.2. The innovations introduced by Ramon Llull, going beyond the standard model of the Scholastic book. Llull is a merchant and, because of his education, he is not able to write a book of philosophy; but he has been inspired by God, who asked him to write a book which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  37
    Is the use of cholesterol in mortality risk algorithms in clinical guidelines valid? Ten years prospective data from the Norwegian HUNT 2 study.Dag S. Thelle, Aage Tverdal & Randi Selmer - 2012 - Journal of Evaluation in Clinical Practice 18 (1):169-169.
  30. Die Gerechtigkeitstheorie des Aristoteles aus der Sicht sozialpsychologischer Gerechtigkeitsforschung.Klaus F. Röhl - 1992 - Baden-Baden: Nomos.
     
    Export citation  
     
    Bookmark  
  31. Des hl. Anselm cur Deus homo auf dem Boden derjüdisch-christlichen Polemik des Mittelalters.Pg van der Plaas - 1929 - Divus Thomas 7:446-67.
    No categories
     
    Export citation  
     
    Bookmark  
  32. Kants Gesinnungsethik.Harald Köhl - 1990 - New York: W. Gruyter.
    In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), Günther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.
  33.  44
    Dag Prawitz. Hauptsatz for higher order logic. The journal of symbolic logic, Bd. 33 , S. 452–457. - Dag Prawitz. Completeness and Hauptsatz for second order logic. Theoria , Bd. 33 , S. 246–258. - Moto-o Takahashi. A proof of cut-elimination in simple type-theory. Journal of the Mathematical Society of Japan, Bd. 19 , S. 399–410. [REVIEW]K. Schutte - 1974 - Journal of Symbolic Logic 39 (3):607-607.
  34.  6
    Gefühl und Gefüge: Studien zum Entstehen der Philosophie Wittgensteins.János Kristóf Nyíri (ed.) - 1986 - Amsterdam: Rodopi.
    Studien zum Entstehen der Philosophie Wittgensteins János Kristóf Nyíri. BEIM STERNENLICHT DER NICHTEXISTIERENDEN: ZUR IDEOLOGIEKRITISCHEN INTERPRETATION DES PLA- TONISIERENDEN ANTIPSYCHOLOGISMUS* ...
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  85
    Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.
  36.  56
    On mathematical proofs of the vacuity of compositionality.dag westerståhl - 1998 - Linguistics and Philosophy 21 (6):635-643.
  37. Jakten på den estetiske erfaring.Dag Eivind Undheim Larsen - 2010 - Agora Journal for metafysisk spekulasjon 28 (3):256-263.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  60
    Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
  39. Ibn al-ʻArabi and Islamic intellectual culture: from mysticism to philosophy.Caner K. Dagli - 2016 - New York: Routledge, Taylor & Francis Group.
    Ibn al-'Arabī (d. 1240) was one of the towering figures of Islamic intellectual history, and among Sufis still bears the title of al-shaykh al-akbar, or "the greatest master." Ibn al-'Arabī and Islamic Intellectual Culturetraces the history of the concept of "oneness of being" (wahdat al-wujūd) in the school of Ibn al- 'Arabī, in order to explore the relationship between mysticism and philosophy in Islamic intellectual life. It examines how the conceptual language used by early mystical writers became increasingly engaged over (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Review: Dag Normann, Recursion on the Countable Functionals; Dag Normann, The Continuous Functionals; Computations, Recursions and Degrees. [REVIEW]Peter G. Hinman - 1984 - Journal of Symbolic Logic 49 (2):668-670.
     
    Export citation  
     
    Bookmark  
  41. New chapter of materialist dialectics.Hl Li - 1979 - Chinese Studies in Philosophy 10 (2):54-75.
     
    Export citation  
     
    Bookmark  
  42. The poverty of philosophy and the philosophy of poverty+ Marx and proudhon.Hl Liu - 1980 - Chinese Studies in Philosophy 11 (2):55-76.
     
    Export citation  
     
    Bookmark  
  43. Towards a re-interpretation of business: a Levinasian approach to ethics in business.Dag Aasland - forthcoming - Levinas, Business Ethics.
     
    Export citation  
     
    Bookmark   1 citation  
  44. Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.
    According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   66 citations  
  45.  8
    Law and algorithms in the public domain.Dag Wiese Schartum - 2016 - Etikk I Praksis - Nordic Journal of Applied Ethics 1 (1):15-26.
    This article explains and discusses the relationship between traditional legislative processes and the development of automated government decision-making systems. The juridical aspects of systems development should be regarded as invisible quasi-legislation. The author investigates and discusses possible ways of changing the legislative process with a view to increasing and improving political involvement in processes today often regarded as mere implementation, and thereby safeguard that important parts of the law of our computerised society is situated in the public domain.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  21
    Normann Dag. Recursion on the countable functionals. Lecture notes in mathematics, vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 pp.Normann Dag. The continuous functionals; computations, recursions and degrees. Annals of mathematical logic, vol. 21 , pp. 1–26. [REVIEW]Peter G. Hinman - 1984 - Journal of Symbolic Logic 49 (2):668-670.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  1
    Das Wie am Was: Beratung und Kunst: das Kunstkonzept von Droege & Comp.Michael Bockemühl - 2007 - Frankfurt am Main: Frankfurter Allgemeine Buch. Edited by Thomas K. Scheffold.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  10
    Prawitz Dag. Hauptsatz for higher order logic.K. Schütte - 1974 - Journal of Symbolic Logic 39 (3):607.
  49.  4
    Spinoza Etiğinde Upuygun Bir Fikir Olarak “Ahlaki Farkındalık”: Bilinç mi, Vicdan mı?Enes DAĞ - 2022 - Cumhuriyet İlahiyat Dergisi 26 (3):1181-1196.
    Spinoza, conscientia ve conscius kavramları arasında anlamsal herhangi bir ayırım yapmayıp birini diğerinin yerine kullanmıştır. Ancak geleneksel felsefede conscientia kavramı “ahlaki duyarlılık” ya da “farkındalık” anlamına gelen bir “iç ses” ya da “vicdan” olarak kullanılmakta ve hem rasyonel hem de irrasyonel süreçleri ifade etmektedir. Diğer yandan aynı felsefi gelenekte conscius kavramı ise “bilinç” anlamında kullanılmakta ve rasyonel süreçlere dayalı zihinsel ya da psikolojik bir düşünümsel faaliyeti ifade etmektedir. Bu çalışma, öncelikle Spinoza’nın iki kavramı aynı anlamda kullanmasından hareketle “ahlaki duyarlılık”ın da (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. Quantifiers.Dag Westerståhl - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell. pp. 437--460.
     
    Export citation  
     
    Bookmark   13 citations  
1 — 50 / 876