Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    ISBN: 9781402084683
    Sprache: Englisch
    Seiten: Online-Ressource , v.: digital
    Ausgabe: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Serie: Logic, Epistemology, and the Unity of Science 8
    RVK:
    Schlagwort(e): Logic ; Philosophy, medieval ; Linguistics Semantics ; Semantics ; Philosophy (General) ; Aufsatzsammlung ; Lügner-Paradoxie ; Geschichte 1300-1400
    Anmerkung: Includes bibliographical references and indexes , Electronic reproduction; Available via World Wide Web
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    ISBN: 9781402084058
    Sprache: Englisch
    Seiten: Online-Ressource , v.: digital
    Ausgabe: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Serie: Logic, Epistemology, and The Unity of Science 11
    DDC: 509.174927
    Schlagwort(e): Science History ; Philosophy (General) ; Logic ; Philosophy, medieval ; Arabic languages ; Aufsatzsammlung ; Islamische Philosophie ; Wissenschaft ; Einheit ; Geschichte
    Anmerkung: Includes bibliographical references and indexes , Electronic reproduction; Available via World Wide Web
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789400719231
    Sprache: Englisch
    Seiten: Online-Ressource (XVI, 346p. 59 illus, digital)
    Serie: Logic, Epistemology, and the Unity of Science 23
    Serie: SpringerLink
    Serie: Bücher
    Paralleltitel: Buchausg. u.d.T.
    RVK:
    Schlagwort(e): Philosophy (General) ; Genetic epistemology ; Logic ; Information theory ; Philosophy ; Philosophy (General) ; Genetic epistemology ; Logic ; Information theory
    Kurzfassung: The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves 'antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as 'explicit epistemic logic'. Under this view, epistemic contents are in
    Kurzfassung: The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves 'antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as 'explicit epistemic logic'. Under this view, epistemic contents are in
    Beschreibung / Inhaltsverzeichnis: Preface; Acknowledgements; Contents; Contributors; 1 On When a Disjunction Is Informative; Patrick Allo; 1.1 Pluralism About Consequence and Content; 1.2 Situated and Worldly Content; 1.3 Factual and Constraining Content; 1.4 Modelling Content; 1.5 Three Objections Revisited; 1.5.1 Burgess' Objection; 1.5.2 Read's Objection; 1.5.3 Priest's Objection; 1.6 Conclusion: A Realist's Pluralism; References; 2 My Own Truth; Alexandre Billon; 2.1 Introduction; 2.2 The Truth-Teller Is Context-Sensitive; 2.3 The Truth-Teller Is Relative; 2.4 Other Pathologies of Self-Reference
    Beschreibung / Inhaltsverzeichnis: 2.4.1 The Liar2.4.2 Other Semantic Pathologies; 2.4.3 Immunity to Revenge Problems; 2.5 Dissolutions, Cassations and Resolutions; References; 3 Which Logic for the Radical Anti-realist?; Denis Bonnay and Mikaël Cozic; 3.1 Introduction; 3.2 From Anti-realism to Substructural Logic; 3.2.1 Moderate Anti-realism; 3.2.2 Radical Anti-realism; 3.3 Life Without Structural Rules; 3.4 The Anti-realist Justification of Substructural Logic; 3.4.1 High-Level Revisionism; 3.4.2 Low-Level Revisionism; 3.5 A Way Out for Radical Anti-realism?; 3.6 Conclusion; References
    Beschreibung / Inhaltsverzeichnis: 4 Moore's Paradox as an Argument Against Anti-realismJon Cogburn; 4.1 Introduction; 4.2 Moorean Validity and Proof Theoretic Semantics; 4.3 On the Inadvisability of Biting the Bullett; 4.3.1 Antirealists Should Reject Unrestricted Moorean Validity; 4.4 A New Restriction Strategy; 4.4.1 Proof That i's Conclusion Is Inconsistent with Unrestricted Moorean Validity; 4.4.2 The Classicist Also Needs the Proposed Restriction; 4.5 Is Antirealism a Moorean Validity? Reflections on Fitch's Proof and Dummett's Program; 4.5.1 Fitch Style Proof of Fitch's Paradox
    Beschreibung / Inhaltsverzeichnis: 4.6 Further Reflections on Fitch's Proof4.6.1 A Regimentation of Brogaard and Salerno's Argument Against Tennant; 4.6.2 The Same Argument Without Tennant's Principle; 4.7 Berkeley and Davidson's Use of Moorean Validities; References; 5 The Neutrality of Truth in the Debate Realism vs. Anti-realism; María J. Frápolli; 5.1 Introduction; 5.2 Truth; 5.3 Realism and Antirealism; 5.4 The Prosentential View; 5.4.1 The Semantic Functions of the Truth Predicate; 5.5 The Syntactic Function of the Truth Predicate; 5.6 The Pragmatic Function of the Truth Predicate
    Beschreibung / Inhaltsverzeichnis: 5.7 Epistemology and MetaphysicsReferences; 6 Modalities Without Worlds; Reinhard Kahle; 6.1 Modal Logic; 6.2 Possible Worlds Semantics; 6.3 The Role of Semantics; 6.4 Criticism of Modal Logic; 6.5 An Alternative Analysis of Modalities: Possibility; 6.5.1 Possibility as Independence; 6.5.2 Epistemic Possibility; 6.5.3 The Future; 6.5.4 Ontological Modesty; 6.5.5 A Cross Check; 6.6 An Alternative Analysis of Modalities: Necessity; 6.6.1 Necessity as Binary Relation; 6.6.2 Variety of Alternatives; 6.6.3 Unary Necessity; 6.6.4 The Normative Nature of Unary Necessity
    Beschreibung / Inhaltsverzeichnis: 6.7 The Temporal Aspect
    Anmerkung: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Online-Ressource
    Online-Ressource
    [Dordrecht] : Springer | [Heidelberg] : Springer
    ISBN: 9781402086687
    Sprache: Englisch
    Seiten: Online-Ressource , v.: digital
    Ausgabe: Online-Ausg. 2008 Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Serie: Logic, Epistemology, and The Unity Of Science 13
    DDC: 100
    RVK:
    Schlagwort(e): Science History ; Ethics ; Philosophy, modern ; Philosophy of law ; Philosophy ; Philosophy (General) ; Leibniz, Gottfried Wilhelm 1646-1716
    Anmerkung: Includes index , Electronic reproduction; Available via World Wide Web
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    ISBN: 9781402093845
    Sprache: Englisch
    Seiten: Online-Ressource , v.: digital
    Ausgabe: Online-Ausg. 2009 Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Serie: Logic, Epistemology, and the Unity of Science 14
    Paralleltitel: Print version From a Geometrical Point of View
    RVK:
    Schlagwort(e): Algebraic topology ; Logic, Symbolic and mathematical ; Science Algebra ; Mathematics_$xHistory ; Algebra ; Philosophy (General) ; Kategorientheorie ; Geschichte
    Kurzfassung: From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein’s Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane’s work in the early 1940’s and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics. From a Geometrical Point of View aims to provide its readers with a conceptual perspective on category theory and categorical logic, in order to gain insight into their role and nature in contemporary mathematics. It should be of interest to mathematicians, logicians, philosophers of mathematics and science in general, historians of contemporary mathematics, physicists and computer scientists.
    Beschreibung / Inhaltsverzeichnis: Introduction; Category Theory and Klein's Erlangen Program; Introducing Categories, Functors and Natural Transformations; Categories as Spaces, Functors as Transformations; Discovering Fundamental Categorical Transformations: Adjoint Functors; Adjoint Functors: What They are, What They Mean; Invariants in Foundations: Algebraic Logic; Invariants in Foundations: Geometric Logic; Conclusion.
    Anmerkung: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Online-Ressource
    Online-Ressource
    [Dordrecht] : Springer | [Heidelberg] : Springer
    ISBN: 9781402093746
    Sprache: Englisch
    Seiten: Online-Ressource , v.: digital
    Ausgabe: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Serie: Logic, Epistemology, and the Unity of Science 15
    Schlagwort(e): Computer science ; Linguistics Philosophy ; Logic ; Logic, Symbolic and mathematical ; Mathematics ; Semantics ; Philosophy (General)
    Kurzfassung: This volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covering new technical results and examining the philosophical insights that these have yielded. Organized in four sections it offers a balanced mix of papers dedicated to the major trends in the field: the dialogical approach to logic, Hintikka-style game-theoretic semantics, game-theoretic models of various domains (including computation and natural language) and logical analyses of game-theoretic situations. This volume will be of interest to any philosopher concerned with logic and language. It is also relevant to the work of argumentation theorists, linguists, economists, computer scientists and all those concerned with the foundational aspects of these disciplines.
    Beschreibung / Inhaltsverzeichnis: Why Play Logical Games?; On The Narrow Epistemology of Game-Theoretic Agents; Interpretation, Coordination and Conformity; Fallacies as Cognitive Virtues; A Strategic Perspective on if Games; Towards Evaluation Games for Fuzzy Logics; Games, Quantification and Discourse Structure; From Games to Dialogues and Back; Revisiting Giles's Game; Implicit Versus Explicit Knowledge in Dialogical Logic; In the Beginning was Game Semantics?; The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View;
    Anmerkung: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    ISBN: 9783030700843
    Sprache: Englisch
    Seiten: 1 Online-Ressource (XIV, 433 p. 1 illus.)
    Serie: Logic, Argumentation & Reasoning Volume 23
    Serie: Springer eBook Collection
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Schlagwort(e): Logic. ; Law—Philosophy. ; Law. ; Political science. ; Artificial intelligence. ; Computer logic. ; Computers. ; Law and legislation. ; Logic design.
    Kurzfassung: Part 1. Historic Roots -- 1. What is to have Knowledge of Roman Legal Methods and Reasoning? (Geoffrey Samuel) -- 2. The Use of Logic for Creating Fact Patterns in Roman Legal Writings (Markus Winkler) -- 3. A Logical Framework for The Islamic Law (Mohammad Ardeshir & Fatemeh Nabavi) -- 4. The Formal Evolution of Islamic Juridical Dialectic: a Brief Glimpse (Walter Edward Young) -- 5. Independent Reasoning in Law: The Jewish Tradition (Joseph E. David) -- Part 2. Contemporary Law -- 6. Rethinking Interpretative Arguments (Hális Alves do Nascimento França) -- 7. A Logic for the Interpretation of Private International Law (Alessandra Malerba, Antonino Rotolob, and Guido Governatori) -- 8. A Formal Model for Analogies in Civil Law Reasoning (Matthias Armgardt) -- 9. Approaching an Analysis of Reasoning by Analogy (Hans Christian Nordtveit Kvernenes) -- 10. Elements for a Dialogical Approach on Parallel Reasoning. A Case Study of Spanish Civil Law (Maria Dolors Martínez -Cazalla; Tania Menéndez-Martín) -- 11. Abductive Inference in Legal Reasoning: Resolving the Question of Res Ipsa Loquitur’s Procedural Effect (Douglas Lind) -- Part 3. Deontic Logic, Legal Reasoning, Normativity) -- 12. Common Law Precedent and the Logic of Reasons (Federico L.G. Faroldi) -- 13. Reasoning with Rules and Rights: Term-Modal Deontic Logic (Stef Frijters & Joke Meheus; Frederik Van De Putte„) -- 14. Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments (Christoph Benzmüller, Ali Farjami, and Xavier Parent) -- 15. On the Role of Past Treatment of Terms From Written Laws in Legal Reasoning (Jaromir Savelka; Kevin D. Ashley) -- 16. Jørgensen’s Dilemma in the interface between Legal Positivism and the Natural Law tradition (Juliele Maria Sievers) -- 17. Coping with inconsistencies in legal reasoning (Max Urchs).
    Kurzfassung: This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science. This combination has resulted in renewed interest in deontic logic and logic of norms that stems from the interaction between artificial intelligence and law and their applications to these areas of logic. The book also aims to motivate and launch a more intense interaction between the historical and philosophical work of Arabic, Talmudic and European jurisprudence. The publication discusses new insights in the interaction between logic and law, and more precisely the study of different answers to the question: what role does logic play in legal reasoning? Varying perspectives include that of foundational studies (such as logical principles and frameworks) to applications, and historical perspectives.
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    ISBN: 9781402085901
    Sprache: Englisch
    Seiten: Online-Ressource (digital)
    Serie: Logic, Epistemology, and the Unity of Science 12
    Serie: SpringerLink
    Serie: Bücher
    Serie: Springer eBook Collection
    Serie: Humanities, Social Science and Law
    Paralleltitel: Buchausg. u.d.T. Carnielli, Walter Modalities and multimodalities
    RVK:
    Schlagwort(e): Philosophy (General) ; Logic ; Computer science ; Logic, Symbolic and mathematical ; Philosophy ; Modallogik ; Temporale Logik ; Epistemische Logik ; Lehrbuch ; Kleinkind ; Kinderpsychologie
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    ISBN: 9789048124015
    Sprache: Englisch
    Seiten: Online-Ressource (digital)
    Serie: Logic, Epistemology, and the Unity of Science 16
    Serie: SpringerLink
    Serie: Bücher
    Serie: Springer eBook Collection
    Serie: Humanities, Social Science and Law
    Paralleltitel: Buchausg. u.d.T. The Golden Age of Polish Philosophy
    RVK:
    Schlagwort(e): Philosophy (General) ; Science History ; Logic ; Linguistics Philosophy ; Science Philosophy ; Philosophy ; Konferenzschrift ; Warschauer Schule
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    ISBN: 9783319190631
    Sprache: Englisch
    Seiten: Online-Ressource (XIX, 99 p. 26 illus, online resource)
    Serie: SpringerBriefs in Philosophy
    Serie: SpringerLink
    Serie: Bücher
    Paralleltitel: Druckausg. Clerbout, Nicolas Linking game-theoretical approaches with constructive type theory
    Schlagwort(e): Philosophy (General) ; Logic ; Computer science ; Mathematics ; Philosophy ; Philosophy (General) ; Logic ; Computer science ; Mathematics ; Computer science ; Logic ; Mathematics ; Philosophy ; Philosophy (General) ; Logik
    Kurzfassung: This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be extended to cover the whole CTT system. The first chapters in the brief offer overviews on the two frameworks discussed in the book with an emphasis on the dialogical framework. The third chapter demonstrates the left-to-right direction of the equivalence result. This is followed by a chapter that demonstrates the use of the algorithm in showing how to transform a specific winning strategy into a CCT-demonstration of the axiom of choice. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies. This brief concludes by introducing elements of discussion which are to be developed in subsequent work
    Beschreibung / Inhaltsverzeichnis: Chapter 1. Brief Reminder of Constructive Type TheoryChapter 2. Dialogues with Play-Objects -- Chapter 3. From dialogical strategies to CTT demonstrations -- Chapter 4. The dialogical take on the Axiom of Choice, and its translation into CTT -- Chapter 5. Building a winning P-strategy out of a CTT demonstration -- Chapter 6. Conclusions and Work in Progress.  .
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...