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
Filter
Datenlieferant
Materialart
Erscheinungszeitraum
Fachgebiete(RVK)
  • 1
    ISBN: 9783319977546
    Sprache: Englisch
    Seiten: xiii, 377 Seiten , Diagramme
    Ausgabe: Second edition
    Angaben zur Quelle: Volume 18
    Anmerkung: Literaturangaben
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Buch
    Buch
    Dordrecht [u.a.] : Kluwer
    Dazugehörige Bände/Artikel
    Sprache: Englisch
    Ausgabe: 2. ed.
    DDC: 160
    Schlagwort(e): Logic ; Logik
    Anmerkung: Ab Vol. 12 im Verl. Springer, Dordrecht [u.a.], erschienen
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    Dordrecht : Springer Netherlands
    ISBN: 9789400704855
    Sprache: Englisch
    Seiten: Online-Ressource (V, 395p, digital)
    Serie: Handbook of Philosophical Logic 15
    Serie: SpringerLink
    Serie: Bücher
    Serie: Springer eBook Collection
    Serie: Humanities, Social Science and Law
    Paralleltitel: Buchausg. u.d.T. Handbook of philosophical logic ; 15
    RVK:
    Schlagwort(e): Computer science ; Computer vision ; Computer Science
    Kurzfassung: Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Online-Ressource
    Online-Ressource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789048195886
    Sprache: Englisch
    Seiten: Online-Ressource (IX, 422p, digital)
    Serie: Logic, Epistemology, and the Unity of Science 20
    Serie: SpringerLink
    Serie: Bücher
    Paralleltitel: Buchausg. u.d.T. Approaches to legal rationality
    RVK:
    RVK:
    RVK:
    RVK:
    Schlagwort(e): Philosophy (General) ; Logic ; Artificial intelligence ; Political science ; Law ; Law ; Philosophy (General) ; Logic ; Artificial intelligence ; Law Philosophy ; Political science ; Aufsatzsammlung ; Logik ; Recht ; Recht ; Vernunft ; Rechtsphilosophie
    Kurzfassung: Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context.
    Beschreibung / Inhaltsverzeichnis: Introduction; Contents; Contributors; Part I The Specificity of Legal Reasoning; 1 Aristotle on the Ways and Means of Rhetoric; 2 Cicero on Conditional Right; 3 Inductive Topics and Reorganization of a Classification; 4 Formal and Informal in Legal Logic; Part II Legal Reasoning and Public Reason; 5 Public Reason and Constitutional Interpretation; 6 Democracy and Compromise; 7 Reasons for Reasons; 8 Argumentation and Legitimation of Judicial Decisions; Part III Logic and Law; 9 Logic and the Law: Crossing the Lines of Discipline
    Beschreibung / Inhaltsverzeichnis: 10 Epistemic and Practical Aspects of Conditionals in Leibniz's Legal Theory of Conditions11 Abduction and Proof: A Criminal Paradox; 12 Relevance in the Law; Part IV New Formal Approaches to Legal Reasoning; 13 The Logical Structure of Legal Justification: Dialogue or "Trialogue"?; 14 Explanation and Production: Two Ways of Using and Constructing Legal Argumentation; 15 The Law of Evidence and Labelled Deduction: A Position Paper; Part V Logic in the Law; 16 How Logic Is Spoken of at the European Court of Justice: A Preliminary Exploration; Index;
    Anmerkung: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Online-Ressource
    Online-Ressource
    Dordrecht : Springer Netherlands
    ISBN: 9789400766006
    Sprache: Englisch
    Seiten: Online-Ressource (XIII, 269 p. 156 illus, online resource)
    Serie: Handbook of Philosophical Logic 17
    Serie: SpringerLink
    Serie: Bücher
    Paralleltitel: Druckausg. Handbook of philosophical logic ; 17
    RVK:
    Schlagwort(e): Philosophy (General) ; Logic ; Philosophy ; Philosophy (General) ; Logic
    Kurzfassung: This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas becameestablished and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times
    Beschreibung / Inhaltsverzeichnis: Editorial Preface; Dov M. GabbayHybrid Logic; Torben Braüner -- Nominal Terms and Nominal Logics: From Foundations to Meta-mathematics; Murdoch J. Gabbay -- Introduction to Labelled Deductive Systems; Dov M. Gabbay -- Index.
    Anmerkung: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Online-Ressource
    Online-Ressource
    Burlington : Elsevier Science
    ISBN: 9780444515421 , 9780080466644
    Sprache: Englisch
    Seiten: Online-Ressource (901 p)
    Serie: Handbook of the Philosophy of Science
    Paralleltitel: Print version Philosophy of Anthropology and Sociology
    DDC: 301.01
    Schlagwort(e): Electronic books
    Kurzfassung: This volume concerns philosophical issues that arise from the practice of anthropology and sociology. The essays cover a wide range of issues, including traditional questions in the philosophy of social science as well as those specific to these disciplines. Authors attend to the historical development of the current debates and set the stage for future work.〈br〉〈br〉· Comprehensive survey of philosophical issues in anthropology and sociology〈br〉· Historical discussion of important debates〈br〉· Applications to current research in anthropology and sociology
    Beschreibung / Inhaltsverzeichnis: Front Cover; Philosophy of Anthropology and Sociology; Copyright Page; General Preface; Table of Contents; Preface; List of Contributors; Part I. Sociology and Quantification; Defining a Discipline: Sociology and its Philosophical Problems, from Its Classics to 1945; Introduction; 1 Statistics, history, and the social question; 2 "Mainstream" american sociology; 3 Weber: Sociology in the language of life; 4 The problems of the a priori; 5 Functionalism and parsons' synthesis; 6 Epilogue: After 1945; Bibliography; Measurement; 1 Measurement in social science
    Beschreibung / Inhaltsverzeichnis: 2 The meaning of measurement in social science3 The representational theory of measurement in the twentieth century; 4 The trajectory of the concept of quantity; 5 The prospects of measurement in social science; 6 Conclusions; Bibliography; The Intersection of Philosophy and Theory Construction: The Problem of the Origin of Elements in a Theory; 1 The intersection of philosophy and theory construction in the social sciences; 2 Variable concepts multi-variate hypotheses and rationalism; 3 Theoretical definitions, linkages and idealism; 4 Operational definitions, linkages and empiricism
    Beschreibung / Inhaltsverzeichnis: 5 ConclusionsBibliography; Causal Models in the Social Sciences; 1 Introduction; 2 Regression; 3 Causal inference in systems of equations; 4 Causal inference without domain specific background knowledge: The SGS program; 5 Conclusion; Bibliography; Part II. Individualism and Holism; Functional Explanation and Evolutionary Social Science; 1 Introduction; 2 History and controversies; 3 Clarifying issues; 4 Rational choice, norms, and institutions; 5 Inequality; 6 Selectionist mechanisms; 7 Functional explanations as systems analysis; 8 Concluding morals and open questions; Bibliography
    Beschreibung / Inhaltsverzeichnis: Evolutionary Explanations1 Central theoretical concepts - Some terminology from evolutionary biology; 2 The evolutionary explanations of herbert spencer; 3 The eclipse of evolutionary explanations in sociology and anthropology; 4 From evolutionary explanations to evolutionary analogies; 5 The human sociobiology debate; 6 More evolutionary analogies; 7 The return of evolutionary explanations; 8 Human behavioral ecology; 9 Evolutionary psychology; 10 Gene-culture coevolutionary theories; 11 Using evolutionary history to answer "why?" questions
    Beschreibung / Inhaltsverzeichnis: 12 Unsettled issues in evolutionary theorizing in sociology and anthropologyBibliography; Holism and Supervenience; 1 Introduction; 2 The ontological disagreement; 3 The methodological disagreement; 4 Holism and supervenience; 5 A discussion of the argument from multiple realization; 6 Where should the debate go from here?; Acknowledgements; Bibliography; Levels of the Social; 1 The frame; 2 An example: A farming village; 3 What is the "social world"?; 4 Causal mechanisms and microfoundations; 5 Methodological localism; 6 Conclusions: Levels and layers within the social; Bibliography
    Beschreibung / Inhaltsverzeichnis: Rational Choice
    Anmerkung: Description based upon print version of record
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Online-Ressource
    Online-Ressource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789400704794
    Sprache: Englisch
    Seiten: Online-Ressource , v.: digital
    Ausgabe: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law
    Serie: Handbook of Philosophical Logic 16
    DDC: 160
    RVK:
    Schlagwort(e): Philosophy (General) ; Logic
    Kurzfassung: This title includes: Belief Revision, Refutation and systems in Propositional Logic, a Quantifier Scope in Formal Linguistics, and Non-deterministic Semantics for Logical Systems
    Beschreibung / Inhaltsverzeichnis: CONTENTS; PREFACE TO THE SECOND EDITION; ODINALDO RODRIGUES, DOV GABBAY ANDALESSANDRA RUSSO; 1 INTRODUCTION AND HISTORICAL PERSPECTIVE; 2 FORMALISATION OF THE PROBLEM OF BELIEF REVISION; 2.1 AGM postulates for belief revision; 2.2 Counterfactual statements and the Ramsey Test; 2.3 Grove's systems of spheres; 2.4 AGM revision for finite belief bases; 2.5 Epistemic entrenchment; 2.6 Discussion; 3 BELIEF REVISION OPERATORS; 3.1 Measuring information change; 3.2 Dalal's revision operator; 4 ITERATION OF THE REVISION PROCESS
    Beschreibung / Inhaltsverzeichnis: 4.1 The problem of iteration and the need for extralogical informationto guide the process4.2 Darwiche and Pearl's approach; 4.3 Lehmann's approach: belief revision, revised; 4.4 Iterated revision according to Boutilier; 4.5 Prioritised base revision; 4.6 Prioritised databases; 4.7 Ordered theory presentations; 5 SPECIALISED BELIEF REVISION; 5.1 Resource-bounded revision; 5.2 Controlled revision; 5.3 Multiple belief revision; 5.4 Revision by translation; 6 COMPLEXITY ISSUES; 7 APPLICATIONS; 7.1 Belief Revision in Requirements Engineering; 8 CONCLUSIONS; BIBLIOGRAPHY
    Beschreibung / Inhaltsverzeichnis: REFUTATION SYSTEMS IN PROPOSITIONALLOGIC1 INTRODUCTION; 1.1 Basic Concepts; 1.2 A Problem; 1.3 Proving Syntactic Completeness; 1.4 Reduction Procedures; 1.5 General Remarks; 2 INTUITIONISTIC LOGIC; 2.1 Preliminaries; 2.2 Proof System; 2.3 Normal Forms; 2.4 Refutation System; 2.5 Syntactic Completeness; 2.6 Classical Logic; 3 THE MODAL LOGIC S4; 3.1 Preliminaries; 3.2 Proof System; 3.3 Normal Forms; 3.4 Refutation System; 3.5 Syntactic Completeness; 4 REDUCTION PROCEDURES; 4.1 Reduction Rules; 4.2 Reduction Systems; 4.3 Intuitionistic Logic; 4.4 Classical Logic; 4.5 The Modal Logic S4
    Beschreibung / Inhaltsverzeichnis: 5 SYMMETRIC INFERENCE SYSTEMS5.1 Preliminaries; 5.2 Syntactic Refutability; 5.3 Syntactic Properties; BIBLIOGRAPHY; QUANTIFIER SCOPE IN FORMALLINGUISTICS; 1 INTRODUCTION; 2 CHARACTERIZING INVERSE SCOPE EFFECTS; 2.1 A "direct scope" grammar for a fragment of English; 2.2 Incompleteness of the grammar's "direct scope" strategy; 2.3 Methodological and empirical principles in the study of quantifierscope; 2.3.1 Pragmatic effects; 2.3.2 Logical dependence between readings; 2.3.3 A note on cross-linguistic variation; 3 SOME PROBLEMS OF QNP SCOPE; 3.1 Overview of some scope phenomena
    Beschreibung / Inhaltsverzeichnis: 3.2 Restrictions on scope3.3 Unexpected wide scope: simple indefinites; 3.4 Absence of inverse scope; 3.5 Mixed scope; 3.6 Summary of QNP scope problems; 4 LOGICAL AND LINGUISTIC THEORIES OF QUANTIFIERSCOPE; 4.1 Preliminaries on quantifier scope; 4.2 "Standard scope" mechanisms; 4.2.1 Quantifier Raising; 4.2.2 Quantifying-in; 4.2.3 Cooper Storage; 4.2.4 Type Flexibility; 4.2.5 Categorial approaches; 4.2.6 Discussion - different emphases by different approaches to QNPscope; 4.3 Non-Standard Scope Mechanisms; 4.3.1 Branching quantification; 4.3.2 Cumulative quantification
    Beschreibung / Inhaltsverzeichnis: 4.3.3 Wide-scope indefinites and quantification over Skolem functions
    Anmerkung: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Online-Ressource
    Online-Ressource
    [Erscheinungsort nicht ermittelbar] : Amsterdam University Press
    ISBN: 9789053563564
    Sprache: Englisch
    Seiten: 1 Online-Ressource (362 p.)
    Schlagwort(e): Science: general issues
    Kurzfassung: Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic - the domain of logic for both communication and interaction. The main applications of this move are logical approaches to games and social software. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games
    Kurzfassung: In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied; logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logic and Games' ontstaan. Het eerste deel, Interactive Logic, is een collectie uitmuntende onderzoeksopstellen op het gebied van logica, wiskunde, computerwetenschappen en gametheorie
    Anmerkung: English
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    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 ...
  • 10
    ISBN: 9048501121 , 9789048501120
    Sprache: Englisch
    Seiten: 1 Online-Ressource (362 pages)
    Ausgabe: Online-Ausg.
    Serie: Texts in logic and games v. 1
    Paralleltitel: Print version Augustus De Morgan Workshop (7th : 2005 : London, England) Interactive logic
    Schlagwort(e): Game theory Congresses ; Logic, Symbolic and mathematical Congresses ; Game theory Congresses ; Logic, Symbolic and mathematical Congresses ; Logic, Symbolic and mathematical ; Conference papers and proceedings ; MATHEMATICS ; Game Theory ; PHILOSOPHY ; General ; Game theory ; Electronic books
    Kurzfassung: A collection of excellent research papers in logic, mathematics, computer science and game theory
    Kurzfassung: DEMO -- A Demo of Epistemic Modelling.
    Kurzfassung: Table of Contents; Preface; Ch. 1: A Compositional Game Semantics for Multi-Agent Logics of Partial Information; Ch. 2: Quantificational Modal Operators and Their Semantics; Ch. 3: A Note on Kuhn's Theor em; Ch. 4: What Kind of Memory is Needed to Win Infinitary Muller Games?; Ch. 5: Logics of Imperfect Information: Why Sets of Assignments?; Ch. 6: Reasoning about Communication Graphs; Ch. 7: Epistemic Foundations for Backward Induction: An Overview; Ch. 8: Multitape Games; Ch. 9 : The Complexity of Schotland Yard; Ch. 10 : Approaches to Independence Friendly Modal Logic; Ch. 11: Team Logic.
    Anmerkung: Includes bibliographical references
    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...