Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • MPI Ethno. Forsch.  (67)
  • English  (67)
  • Finnish
  • Logic  (67)
  • Philosophy  (67)
  • Slavic Studies
Datasource
Material
Language
  • 1
    ISBN: 9783319171098
    Language: English
    Pages: Online-Ressource (XXI, 125 p, online resource)
    Series Statement: Logic, Epistemology, and the Unity of Science 37
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg. Benis-Sinaceur, Hourya Functions and generality of logic
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Logic ; Science Philosophy ; Philosophy ; Philosophy (General) ; Logic ; Science Philosophy ; Dedekind, Richard 1831-1916 ; Logik ; Mathematik ; Lagrange, Joseph Louis de 1736-1813 ; Frege, Gottlob 1848-1925 ; Funktion ; Logik ; Frege, Gottlob 1848-1925 ; Russell, Bertrand 1872-1970 ; Ramsey, Frank Plumpton 1903-1930 ; Funktion ; Logik
    Abstract: This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege’s, Ramsey’s and Russell’s view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind’s and Frege’s logicisms. The first chapter explains how, although he shares Frege’s aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind’s and Frege’s actual ways of doing and thinking. The second chapter reflects on Frege’s notion of a function, in comparison with the notions endorsed by Lagrange and the followers of the program of arithmetization of analysis. It remarks that the foundational programs pursued by Lagrange and Frege are crucially different and based on a different idea of what the foundations of mathematics should be like. However, despite this contrast, the notion of function plays similar roles in the two programs, and this chapter emphasizes the similarities. The third chapter traces the development of thinking about Frege’s program in the foundations of mathematics, and includes comparisons of Frege’s, Russell’s and Ramsey’s views. The chapter discusses earlier papers written by Hintikka, Sandu, Demopoulos and Trueman. Although the chapter’s main focus is on the notion of arbitrary correlation, it starts out by discussing some aspects of the connection between this notion and Dedekind Theorem
    Description / Table of Contents: Chapter 1: Is Dedekind a logicist?; Hourya Benis SinaceurChapter 2: Functions and Expressions; Marco Panza -- Chapter 3: Frege, Russell, Ramsey on arbitrary functions; Gabriel Sandu.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9789401790116
    Language: English
    Pages: Online-Ressource (XII, 283 p. 186 illus, online resource)
    Series Statement: Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social Sciences 5
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Science Philosophy ; Philosophy ; Philosophy (General) ; Logic ; Science Philosophy ; Logik ; Rationalität ; Vernunft
    Abstract: This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference (LRR10) in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far as it is based on (classical) logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality
    Description / Table of Contents: Preface; Erik Weber, Joke Meheus & Dietlinde WoutersChapter 1. Adaptive Logics as a Necessary Tool for Relative Rationality. Including a Section on Logical Pluralism; Diderik Batens -- Chapter 2. A New Approach to Epistemic Logic; Giovanna Corsi and Gabriele Tassi -- Chapter 3. Explaining Capacities: Assessing the Explanatory Power of Models in the Cognitive Sciences; Raoul Gervais -- Chapter 4. Data-driven Induction in Scientific Discovery. A Critical Assessment Based on Kepler’s Discoveries; Albrecht Heeffer -- Chapter 5. Dovetailing Belief Base Revision with (Basic) Truth Approximation; Theo A.F. Kuipers -- Chapter 6. A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence; Marek Nasieniewski and Andrzej Pietruszczak -- Chapter 7. Frontier Theory of Inquiry: Apparent Conflicts between the Ghent Logical Program and the “Darwinian” Selectionist Program; Thomas Nickles -- Chapter 8. On the Propagation of Consistency in Some Systems of Paraconsistent Logic; Hitoshi Omori and Toshiharu Waragai -- Chapter 9. Degrees of Validity and the Logical Paradoxes; Francesco Orilia -- Chapter 10. Contradictory Concepts; Graham Priest -- Chapter 11. Bloody Analogical Reasoning; Dagmar Provijn -- Chapter 12. Another Look at Mathematical Style, as Inspired by Le Lionnais and the OuLiPo; Jean Paul Van Bendegem and Bart Van Kerkhove -- Chapter 13. Internalism Does Entail Scepticism; Jan Willem Wieland -- Chapter 14. Answering by Means of Questions in View of Inferential Erotetic Logic; Andrzej Wiśniewski.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Cham : Springer International Publishing
    ISBN: 9783319047591
    Language: English
    Pages: Online-Ressource (IX, 311 p. 195 illus, online resource)
    Series Statement: The New Synthese Historical Library, Texts and Studies in the History of Philosophy 73
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg. Bäck, Allan Aristotle's theory of abstraction
    RVK:
    Keywords: Philosophy (General) ; Philosophy, classical ; Logic ; Metaphysics ; Philosophy ; Philosophy (General) ; Philosophy, classical ; Logic ; Metaphysics ; Aristoteles v384-v322 ; Abstraktion ; Erkenntnistheorie ; Logik
    Abstract: This book investigates Aristotle’s views on abstraction and explores how he uses it. In this work, the author follows Aristotle in focusing on the scientific detail first and then approaches the metaphysical claims, and so creates a reconstructed theory that explains many puzzles of Aristotle’s thought. Understanding the details of his theory of relations and abstraction further illuminates his theory of universals.   Some of the features of Aristotle’s theory of abstraction developed in this book include: abstraction is a relation; perception and knowledge are types of abstraction; the objects generated by abstractions are relata which can serve as subjects in their own right, whereupon they can appear as items in other categories. The author goes on to look at how Aristotle distinguishes the concrete from the abstract paronym, how induction is a type of abstraction which typically moves from the perceived individuals to universals, and how Aristotle’s metaphysical vocabulary is "relational.’ Beyond those features, this work also looks at how of universals, accidents, forms, causes, and potentialities have being only as abstract aspects of individual substances. An individual substance is identical to its essence; the essence has universal features but is the singularity making the individual substance what it is. These theories are expounded within this book. One main attraction in working out the details of Aristotle’s views on abstraction lies in understanding his metaphysics of universals as abstract objects.  This work reclaims past ground as the main philosophical tradition of abstraction has been ignored in recent times. It gives a modern version of the medieval doctrine of the threefold distinction of essence, made famous by the Islamic philosopher, Avicenna
    Description / Table of Contents: PrefaceIntroduction -- Logic: The Formal Structure of Abstraction -- Chapter 1. The Conception of Abstraction -- Chapter 2. Abstract Relata -- Chapter 3. The Relation of Abstraction -- Science: The Psychological Process of Abstraction -- Chapter 4. Perceiving -- Chapter 5. Thinking -- Chapter 6. The Process of Abstraction -- Metaphysics: Aristotle’s Abstract Ontology -- Chapter 7. The Subject of Metaphysics -- Chapter 8. Aristotle’s Buddhism -- Chapter 9. Parts of Animals -- Chapter 10. Aristotle’s Nominalism -- Appendix -- The Formal Structure of Abstraction.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9789400766006
    Language: English
    Pages: Online-Ressource (XIII, 269 p. 156 illus, online resource)
    Series Statement: Handbook of Philosophical Logic 17
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg. Handbook of philosophical logic ; 17
    RVK:
    Keywords: Philosophy (General) ; Logic ; Philosophy ; Philosophy (General) ; Logic
    Abstract: 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
    Description / Table of Contents: 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.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9789400770461
    Language: English
    Pages: Online-Ressource (XXIX, 335 p. 40 illus, online resource)
    Series Statement: Outstanding Contributions to Logic 1
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Philosophy of mind ; Logic design ; Philosophy ; Philosophy (General) ; Logic ; Philosophy of mind ; Logic design ; Segerberg, Krister 1936- ; Logik
    Abstract: This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as a theory of action, agency, and deontic logics built upon the logics of actions. The second section explores belief revision and update, iterated and irrevocable beliefs change, dynamic doxastic logic and hypertheories. Segerberg has worked for more than thirty years to analyze the intricacies of real and doxastic actions using formal tools - mostly modal (dynamic) logic and its semantics. He has had such a significant impact on modal logic that "It is hard to roam for long in modal logic without finding Krister Segerberg's traces," as Johan van Benthem notes in his chapter of this book
    Description / Table of Contents: Introduction; Robert TrypuzPART I -- 1. "Krister Segerberg’s Philosophy of Action"; Richmond Thomason -- 2. "The concept of a routine in Segerberg’s philosophy of action"; Dag Elgesem -- 3. "On the Reconciliation of Logics of Agency and Logics of Event Types"; Jan Broersen -- 4. "Three traditions in the logic of action: bringing them together"; Andreas Herzig, Tiago de Lima, Emiliano Lorini, and Nicolas Troquard -- 5. "Deontic Logics based on Boolean Algebra"; Pablo Castro and Piotr Kulicki -- 6. "Dynamic Deontic Logic, Segerberg-Style"; John-Jules Meyer -- PART II -- 7. "Contraction, Revision, Expansion - Representing Belief Change Operations"; Sven Ove Hansson -- 8. "Segerberg on the Paradoxes of Introspective Belief Change"; Erik J Olsson and Sebastian Enqvist -- 9. "Equivalent Beliefs in Dynamic Doxastic Logic"; Robert Goldblatt -- 10. "On revocable and irrevocable belief revision"; Hans van Ditmarsch -- 11. "Actions, belief update, and DDL"; Jérôme Lang -- 12. "DDL as an “Internalization” of Dynamic Belief Revision"; Alexandru Baltag, Virginie Fiutek, and Sonja Smets.- 13. "Two logical faces of belief revision"; Johan van Benthem.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    ISBN: 9789400744387
    Language: English
    Pages: Online-Ressource (VIII, 375 p. 31 illus, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 26
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Tanaka, Kōji, 1965 - Paraconsistency
    RVK:
    Keywords: Philosophy (General) ; Logic ; Linguistics Philosophy ; Computer science ; Artificial intelligence ; Philosophy ; Philosophy (General) ; Logic ; Linguistics Philosophy ; Computer science ; Artificial intelligence ; Aufsatzsammlung ; Parakonsistente Logik
    Abstract: A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more "big picture" ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics
    Abstract: A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics.
    Note: Includes bibliographical references and index , Part 2. Applications ; An Approach to Human-Level Commonsense Reasoning , Paraconsistency: Introduction , Distribution in the Logic of Meaning Containment and in Quantum Mechanics , Wittgenstein on Incompleteness Makes Paraconsistent Sense , Pluralism and "Bad" Mathematical Theories: Challenging our Prejudices , Arithmetic Starred , Notes on Inconsistent Set Theory , Sorting out the Sorites , Are the Sorites and Liar Paradox of a Kind? , Vague Inclosures , Part 1. Logic ; Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic , On Discourses Addressed by Infidel Logicians , Information, Negation, and Paraconsistency , Noisy vs. Merely Equivocal Logics , Assertion, Denial and Non-classical Theories , New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency , Consequence as Preservation: Some Refinements , On Modal Logics Defining Jaśkowski's D2-Consequence , FDE: A Logic of Clutters , A Paraconsistent and Substructural Conditional Logic
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789400765344
    Language: English
    Pages: Online-Ressource (X, 393 p. 74 illus, online resource)
    Series Statement: Logic, Epistemology, and the Unity of Science 30
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Computer science ; Logic, Symbolic and mathematical ; Philosophy ; Philosophy (General) ; Logic ; Computer science ; Logic, Symbolic and mathematical
    Abstract: Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. The book begins by first challenging the assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics.
    Description / Table of Contents: IntroductionPart I. What are Mathematical Arguments? -- Chapter 1. Non-Deductive Logic in Mathematics: The Probability of Conjectures; James Franklin -- Chapter 2. Arguments, Proofs, and Dialogues; Erik C. W. Krabbe -- Chapter 3. Argumentation in Mathematics; Jesús Alcolea Banegas -- Chapter 4. Arguing Around Mathematical Proofs; Michel Dufour -- Part II. Argumentation as a Methodology for Studying Mathematical Practice -- Chapter 5. An Argumentative Approach to Ideal Elements in Mathematics; Paola Cantù -- Chapter 6. How Persuaded Are You? A Typology of Responses; Matthew Inglis and Juan Pablo Mejía-Ramos -- Chapter 7. Revealing Structures of Argumentations in Classroom Proving Processes; Christine Knipping and David Reid -- Chapter 8. Checking Proofs; Jesse Alama and Reinhard Kahle -- Part III. Mathematics as a Testbed for Argumentation Theory -- Chapter 9. Dividing by Zero-and Other Mathematical Fallacies; Lawrence H. Powers -- Chapter 10. Strategic Maneuvering in Mathematical Proofs; Erik C. W. Krabbe -- Chapter. 11 Analogical Arguments in Mathematics; Paul Bartha -- Chapter 12. What Philosophy of Mathematical Practice Can Teach Argumentation Theory about Diagrams and Pictures; Brendan Larvor -- Part IV. An Argumentational Turn in the Philosophy of Mathematics -- Chapter 13. Mathematics as the Art of Abstraction; Richard L. Epstein -- Chapter 14. Towards a Theory of Mathematical Argument; Ian J. Dove -- Chapter 15. Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics; Alison Pease, Alan Smaill, Simon Colton and John Lee -- Chapter 16. Mathematical Arguments and Distributed Knowledge; Patrick Allo, Jean Paul Van Bendegem and Bart Van Kerkhove -- Chapter 17. The Parallel Structure of Mathematical Reasoning; Andrew Aberdein -- Index.
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789400753570 , 1283936097 , 9781283936095
    Language: English
    Pages: Online-Ressource (VIII, 215 p. 23 illus, digital)
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 362
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Bayesian argumentation
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Genetic epistemology ; Computer simulation ; Applied linguistics ; Social sciences Methodology ; Applied psychology ; Philosophy ; Philosophy (General) ; Genetic epistemology ; Computer simulation ; Applied linguistics ; Social sciences Methodology ; Applied psychology ; Reasoning (Psychology) ; Congresses ; Logic ; Congresses ; Thought and thinking ; Congresses ; Probabilities ; Congresses ; Bayesian statistical decision theory ; Congresses ; Konferenzschrift ; Argumentationstheorie ; Bayes-Entscheidungstheorie
    Abstract: Relevant to, and drawing from, a range of disciplines, the chapters in this collection show the diversity, and applicability, of research in Bayesian argumentation. Together, they form a challenge to philosophers versed in both the use and criticism of Bayesian models who have largely overlooked their potential in argumentation. Selected from contributions to a multidisciplinary workshop on the topic held in Lund, Sweden, in autumn 2010, the authors count legal scholars and cognitive scientists among their number, in addition to philosophers. They analyze material that includes real-life court cases, experimental research results, and the insights gained from computer models.The volume provides a formal measure of subjective argument strength and argument force, robust enough to allow advocates of opposing sides of an argument to agree on the relative strengths of their supporting reasoning. With papers from leading figures such as Mike Oaksford and Ulrike Hahn, the book comprises recent research conducted at the frontiers of Bayesian argumentation and provides a multitude of examples in which these formal tools can be applied to informal argument. It signals new and impending developments in philosophy, which has seen Bayesian models deployed in formal epistemology and philosophy of science, but has yet to explore the full potential of Bayesian models as a framework in argumentation. In doing so, this revealing anthology looks destined to become a standard teaching text in years to come.
    Description / Table of Contents: Bayesian Argumentation; Foreword; Contents; Bayesian Argumentation: The Practical Side of Probability; 1 Introduction; 2 The Bayesian Approach to Argumentation; 3 Chapter Overview; 3.1 The Bayesian Approach to Argumentation; 3.2 The Legal Domain; 3.3 Modeling Rational Agents; 3.4 Theoretical Issues; References; Part I: The Bayesian Approach to Argumentation; Testimony and Argument: A Bayesian Perspective; 1 Introduction; 2 Testimony, Argumentation and the `Third Way´; 3 Some Problems for MAXMIN; 4 A Bayesian Perspective; 5 Message Content and Message Source: Exploring Norms and Intuitions
    Description / Table of Contents: 6 Rehousing Argumentation Schemes Within a Bayesian Framework7 Concluding Remarks; References; Why Are We Convinced by the Ad Hominem Argument?: Bayesian Source Reliability and Pragma-Dialectical Discussion Rules; 1 Types of the Argumentum Ad Hominem; 2 The Pragma-Dialectical Approach; 3 The Bayesian Approach; 4 An Experiment on the Argument Ad Hominem; 5 Method; 6 Results and Discussion; 7 Conclusion; Appendix: Experimental Materials; Abusive; Circumstantial; Tu Quoque; Control; References; 1 Introduction; 2 Survey of Relevant Uncertainties; Part II: The Legal Domain
    Description / Table of Contents: A Survey of Uncertainties and Their Consequences in Probabilistic Legal Argumentation2.1 The Example Case; 2.2 Factual Uncertainty; 2.3 Normative Uncertainty; 2.4 Moral Uncertainty; 2.5 Empirical Uncertainty; 2.6 Interdependencies; 3 Desirable Attributes for a Probabilistic Argument Model to Assist Litigation Planning; 3.1 Assessment of Utilities; 3.2 Easy Knowledge Engineering; 3.3 Conflict Resolution and Argument Weights; 4 Sample Assessment of Graphical Models; 4.1 A Graphical Structure of the Analysis; 4.2 Casting the Example into a Graphical Model; 4.3 Generic Bayesian Networks
    Description / Table of Contents: 5 Carneades5.1 A Brief Introduction to the Carneades Model; 5.2 Carneades Bayesian Networks; 5.3 Carneades Bayesian Networks with Probabilistic Assumptions; 5.4 Introduction to Argument Weights; 6 Extension of Carneades to Support Probabilistic Argument Weights; 7 Desiderata for Future Developments; 7.1 Weights Subject to Argumentation; 7.2 Inform Weights from Values; 8 Conclusions and Future Work; References; Was It Wrong to Use Statistics in R v Clark? A Case Study of the Use of Statistical Evidence in Criminal Courts; 1 Introduction; 2 Factual Background; 3 Existing Explanations
    Description / Table of Contents: 3.1 The Flaws in Meadow´s Calculation3.2 The Psychological Effect of the Statistical Evidence; 3.3 The Prosecutor´s Fallacy; 3.4 Bayes´ Theorem; 3.5 The Insignificance of the SIDS Statistics; 4 The Contrastive Explanation; 5 Conclusion; References; Part III: Modeling Rational Agents; A Bayesian Simulation Model of Group Deliberation and Polarization; 1 Introduction; 2 The Laputa Simulation Framework; 3 The Underlying Bayesian Model; 4 Interpreting Laputa; 5 Do Bayesian Inquirers Polarize?; 6 Conclusion and Discussion; Appendix; References
    Description / Table of Contents: Degrees of Justification, Bayes´ Rule, and Rationality
    Description / Table of Contents: Introduction: Frank Zenker.​- Part 1 -- The Bayesian Approach to Argumentation -- Chapter 1. Testimony and Argument: A Bayesian Perspective: Ulrike Hahn, Mike Oaksford and Adam J.L. Harris -- Chapter 2. Why are we convinced by the Ad Hominem Argument?: Source Reliability or Pragma-Dialectics: Mike Oaksford and Ulrike Hahn.- Part 2. The Legal Domain.-Chapter 3. A survey of uncertainties and their consequences in Probabilistic Legal Argumentation: Matthias Grabmair and Kevin D. Ashley -- Chapter 4. What went wrong in the case of Sally Clark? A case-study of the use of Statistical Evidence in Court: Amid Pundik -- Part 3. Modeling Rational Agents -- Chapter 5. A Bayesian Simulation Model of Group Deliberation: Erik J. Olsson -- Chapter 6. Degrees of Justification, Bayes' Rule, and Rationality: Gregor Betz -- Chapter 7. Argumentation with (Bounded) Rational Agents: Robert van Rooij and Kris de Jaeghery -- Part 4. Theoretical Issues -- Chapter 8. Reductio, Coherence, and the Myth of Epistemic Circularity: Tomoji Shogenji -- Chapter 9. On Argument Strength: Niki Pfeiffer -- Chapter 10 -- Upping the Stakes and the Preface Paradox: Jonny Blamey -- References.​.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    ISBN: 9789400744646
    Language: English
    Pages: Online-Ressource (X, 156 p, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 29
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Frápolli, María José, 1960 - The nature of truth
    RVK:
    Keywords: Philosophy (General) ; Logic ; Linguistics Philosophy ; Pragmatism ; Semantics ; Philosophy ; Philosophy (General) ; Logic ; Linguistics Philosophy ; Pragmatism ; Semantics ; Truth ; Wahrheit ; Wahrheit
    Abstract: The book offers a characterization of the meaning and role of the notion of truth in natural languages and an explanation of why, in spite of the big amount of proposals about truth, this task has proved to be resistant to the different analyses. The general thesis of the book is that defining truth is perfectly possible and that the average educated philosopher of language has the tools to do it. The book offers an updated treatment of the meaning of truth ascriptions from taking into account the latest views in philosophy of language and linguistics.
    Abstract: The wealth of proposals about truth and its meaning in natural languages everywhere should open it to analysis and definition, but this book makes the startlingly rare assertion that we can define truth using the latest methods in linguistics and philosophy
    Description / Table of Contents: The Nature of Truth; Acknowledgements; Contents; Chapter 1: Some Preliminary Issues; 1.1 The General Purpose; 1.2 Some Features of the Proposal; 1.3 Required Philosophical Assumptions; 1.4 The Content of a Theory of Truth; 1.5 The Pragmatist Ingredient; 1.6 The Structure of the Book; Chapter 2: Syntax: Playing with Building Blocks; 2.1 Does Syntax Matter?; 2.2 The Truth Predicate; 2.3 The Truth Operator; 2.4 Truth and Identity; 2.5 Adverbs, Adjectives and Nouns; Chapter 3: The Meaning and Content of Truth Ascriptions; 3.1 The Distinction; 3.2 Kinds of Proforms; 3.3 Truth-Ascriptions
    Description / Table of Contents: 3.4 A Classification of Truth-Ascriptions3.5 Special Semantic Tasks; Chapter 4: What Do We Do with Truth Ascriptions?; 4.1 Pragmatics and Semantics; 4.2 Assertions; 4.3 Expressivism; 4.4 Particular Pragmatic Functions; Chapter 5: The Liar Paradox (And Other Logico-Semantic Issues); 5.1 Is There a Liar Paradox?; 5.2 Truth Bearers; 5.3 Logical Form; 5.4 The Paradox; Chapter 6: What Do You Mean by "Redundancy"?; 6.1 R amsey's View; 6.2 Redundancy, of What?; 6.3 Syntactic Redundancy; 6.4 Semantic Redundancy; 6.5 Pragmatic Redundancy; Chapter 7: Obvious Answers for Ready-Made Objections
    Description / Table of Contents: 7.1 Standard Objections7.2 The Epistemic Objections; 7.2.1 Definitions vs. Criteria; 7.2.2 The Causal Effect of Truth; 7.3 The Logical Objection; 7.4 The Semantic Objection; 7.5 Mathematical Truth and Other Metaphors; References; Index;
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    ISBN: 9789400749511
    Language: English
    Pages: Online-Ressource (XII, 259 p. 1 illus, digital)
    Series Statement: Studies in History and Philosophy of Science 32
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Science Philosophy ; Philosophy ; Philosophy (General) ; Logic ; Science Philosophy
    Abstract: This book is a radical reappraisal of the importance of Aristotelianism in Britain. Using a full range of manuscripts as well as printed sources, it provides an entirely new interpretation of the impact of the early-modern Aristotelian tradition upon the rise of British Empiricism, and reexamines the fundamental shift from a humanist logic to epistemology and facultative logic. The task is to reconstruct the philosophical background and framework in which the thought of philosophers such Locke, Berkeley and Hume originated: some aspects of their empiricism can be explained only in reference to the academic Aristotelian tradition, even if these authors established themselves as anti-scholastic, anti-Aristotelian philosophers outside the official institutions.
    Description / Table of Contents: 1 Introduction -- 2 Logic in the British Isles during the Sixteenth and Seventeenth Centuries -- 3 Logic in the Universities of the British Isles -- 4 Zabarella’s Empiricism 5 Early Aristotelianism between Humanism and Ramism -- the British School 7 Continental Aristotelians in the British Isles -- 8 The Empiricism of the Seventeenth-Century Aristotelianism -- 9. The Reformers of Aristotelian Logic -- 10 Late Seventeenth-Century Aristotelianism -- 11 Conclusion -- Bibliography.-Index ​.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789400751378
    Language: English
    Pages: Online-Ressource (XVII, 161 p, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 31
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T.
    RVK:
    Keywords: Philosophy (General) ; Chemistry ; Genetic epistemology ; Logic ; Philosophy ; Philosophy (General) ; Chemistry ; Genetic epistemology ; Logic
    Abstract: This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​
    Description / Table of Contents: Judgement and the Epistemic Foundation of Logic; Preface; Contents; Introduction; Bibliography; Part I: Constructivism, Judgement and Reason; Chapter 1: Verificationism Then and Now; Chapter 2: Demonstrations Versus Proofs, Being an Afterword to Constructions, Proofs, and the Meaning of the Logical Constants; Bibliography; Chapter 3: Containment and Variation; Two Strands in the Development of Analyticity from Aristotle to Martin-Löf; Bibliography; Part II: Judgement and Reason in the Seventeenth Century; Chapter 4: Descartes' Theory of Judgement: Warranted Assertions, the Key to Science*
    Description / Table of Contents: 1 Descartes' Debate with Scholastic Logic over the Foundations of Science2 The Rules for the Forming of True Judgements; 3 The Many Uses of the Concept of Judgement in Descartes' Mathesis; Bibliography; Chapter 5: Striving, Oomph, and Intelligibility in Spinoza; 1 Descartes and the Great Intelligibility Trade-Off; 2 Strengthening Intelligibility; 3 Weakening Intelligibility; Bibliography; I. Works by Descartes; II. Works by Spinoza; III. Works by Leibniz; IV. Works by Hume; V. Other Works; Part III: Kant, Neo-Kantianism, and Bolzano
    Description / Table of Contents: Chapter 6: The Role of Wolff's Analysis of Judgements in Kant's Inaugural Dissertation1 Wolff's Analysis of Judgements; 2 Meier's Notion of Condition; 3 The Strategy of Kant's Dissertation; 4 Three Classes of Subreption; Bibliography; Chapter 7: Windelband on Beurteilung; 1 Windelband's Definition of Judgement; 2 Windelband's Three-Step Argument; 3 Judgeable Content; 4 Assessing Under Assumption of Epistemic Values; 5 The Nature of Epistemic Assessment; Bibliography; I. Primary; II. Secondary; Chapter 8: A Priori Knowledge in Bolzano, Conceptual Truths, and Judgements
    Description / Table of Contents: 1 The Apriori in Bolzano1.1 Concepts and Conceptual Truths; 1.2 Conceptual Truths and Judgements A Priori; 1.2.1 Conceptual Truths and Analytic Truths; 1.2.2 Empirical Analytic Truths; 1.2.3 Synthetic Conceptual Truths; 1.3 How Are Synthetic Judgements A Priori Possible?; 2 Understanding (C1): Bolzano's Epistemology; 2.1 Judgements and Subjective Representations; 2.2 Bolzano's Analysis of the Concept of Knowledge; 2.2.1 Confidence; 2.2.2 How Much Confidence?; 3 Understanding (C2): Knowing a Concept; 3.1 The Correspondence Assumption; 3.2 Having a Representation, Clarity, and Distinctness
    Description / Table of Contents: 4 Definitions, Proofs, and Synthetic Truths4.1 Knowledge and Proof; 4.2 Two Remaining Problems; 4.3 The Case of Fundamental Truths; 5 Conclusion; Bibliography; Part IV: Husserl, Frege and Russell; Chapter 9: Immanent and Real States of Affairs in Husserl's Early Theory of Judgement: Reflections on Manuscripts from 1893/1894 and Their Background in the Logic of Brentano and Stumpf; 1 Introduction; 2 Brentano and Stumpf on Contents of Judgement; 2.1 Brentano; 2.2 Stumpf; 2.3 Excursus: Other Students of Brentano; 3 Husserl's Theory of Judgement (1893/1894)
    Description / Table of Contents: 3.1 Psychological Studies in Elementary Logic
    Description / Table of Contents: Preface -- Part 1. Constructivism, Judgement, and Reason -- Chapter 1. Verificationism then and now: Per Martin-Löf -- Chapter 2. Demonstrations versus Proofs, being an afterword to 'Constructions, Proofs and the meaning of Logical Constants': Göran Sundholm -- Chapter 3. Containment and Variation: Two Strands in the Development of Analyticity from Aristotle to Martin-Löf: Göran Sundholm -- Part 2. Judgement and Reason in the Seventeenth Century -- Chapter 4. Decartes' Theory of Judgement: Warranted Assertions, the Key to Science: Elodie Cassan -- Chapter 5. Striving, Oomph, and Intelligibility in Spinoza: Michael Della Rocca -- Part 3. Kant, Neo-Kantianism, and Bolzano -- Chapter 6. The Role of Wolff's Analysis of Judgments in Kant's Inaugural Dissertation: Johan Blok -- Chapter 7. Windelband on 'Beurteilung’: Arnaud Dewalque -- Chapter 8. A Priori Knowledge in Bolzano; Conceptual Truths and Judgements: Stefan Roski -- Part 4. Husserl, Frege and Russell -- Chapter 9. Immanent and Real States of Affairs in Husserl's Early Theory of Judgement: Robin Rollinger -- Chapter 10. Frege and Russell on Assertion: Jeremy Kelly.​.
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789400723634
    Language: English
    Pages: Online-Ressource (XXI, 355p. 4 illus, digital)
    Series Statement: Argumentation Library 21
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Comparative linguistics ; Literacy ; Philosophy ; Philosophy (General) ; Logic ; Comparative linguistics ; Literacy ; Argumentationstheorie ; Logik
    Abstract: J. Anthony Blair is a prominent international figure in argumentation studies. He is among the originators of informal logic, an author of textbooks on the informal logic approach to argument analysis and evaluation and on critical thinking, and a founder and editor of the journal Informal Logic. Blair is widely recognized among the leaders in the field for contributing formative ideas to the argumentation literature of the last few decades. This selection of key works provides insights into the history of the field of argumentation theory and various related disciplines. It illuminates the ce
    Description / Table of Contents: Preface; Acknowledgements; Introduction; Philosopher of Argument; Theoretical Threads; Master of the Field; Prophetic Voice; Gatekeeper; Contents; Part I Critical Thinking; Introduction; 1 Is There an Obligation to Reason Well; 1.1 Introduction; 1.2 Moral Obligation and Reasoning Well; 1.3 Two Arguments for the Obligation to Reason Well; 1.4 Some Objections Considered; 2 The Keegstra Affair: A Test Case for Critical Thinking; 2.1 Introduction; 2.2 Background; 2.3 What Is Wrong with Mr. Keegstra's Theory as a Historical Theory?; 2.4 What Is Wrong with Mr. Keegstra's Methodology of History?
    Description / Table of Contents: 2.5 What Is Wrong with the Way Mr. Keegstra Taught History?2.6 What Can We Do?; 3 What Is Bias?; 3.1 Introduction; 3.2 Bad and Avoidable Bias; 3.3 Technical Bias; 3.4 Unavoidable and Potentially Dangerous Bias; 3.5 Contingent but Neutral or Good Bias; 3.6 An Understanding of Bias; Postscript; Part II Informal Logic; Introduction; 4 Argument Management, Informal Logic and Critical Thinking; 4.1 Introduction; 4.2 Argument Management; 4.3 Illative Core Analysis and Evaluation; 4.4 What Is Informal Logic?; 4.5 Other Senses of 'Informal Logic'
    Description / Table of Contents: 4.6 How Is Critical Thinking Related to Informal Logic?4.7 Conclusion; 5 What Is the Right Amount of Support for a Conclusion?; 5.1 Introduction: The Problem; 5.2 One Solution: Deductivism; 5.3 Another Solution: Pragma-Dialectical Theory; 5.4 The Solution? The Dialectical Community; 6 Premissary Relevance; 6.1 Introduction; 6.2 Premissary Relevance and Other Kinds of Relevance; 6.3 The Property of Premissary Relevance; 6.3.1 The Argument Condition; 6.3.2 The ''Actual Support'' Condition; 6.4 The Property of "Lending Support to"; 6.5 Some Implications of the Account
    Description / Table of Contents: 6.6 Argument Schemes or Topoi6.7 Summary; 7 Premise Adequacy; 7.1 Introduction; 7.2 Argumentative Quarrels; 7.3 Argumentative Persuasion; 7.4 Hostile Advocacy; 7.5 Neutral Curiosity; 7.6 Refereeing; 7.7 Negotiation; 7.8 Rational Disagreement Resolution; 7.9 Conclusion; 8 Relevance, Acceptability and Sufficiency Today; 8.1 Introduction; 8.2 Relevance; 8.3 Acceptability; 8.4 Sufficiency; 8.5 Other Objections; 8.6 Conclusion; 9 The "Logic" of Informal Logic; 9.1 Introduction; 9.2 Review of the Accounts; 9.2.1 Wisdom's Reasoning by Parallels or Case-by-Case Reasoning; 9.2.2 Toulmin's Warrants
    Description / Table of Contents: 9.2.3 Wellman''s ''Conductive'' Reasoning9.2.4 Rescher's Provisoed Assertion and Probative Reasoning; 9.2.5 Defeasible Reasoning; 9.2.6 Walton's Presumptive Reasoning and Presumptive Arguments; 9.3 Similarities and Differences; 9.3.1 ''Validity'' of the Illative Move Explicitly not Deductive or Inductive; 9.3.2 Reasoning vs. Argument; 9.3.3 Distinctive Logic?; 9.3.4 Restrictions on the Domain of Applicationof the Illative Move; 9.3.5 Legitimacy Defended; 9.3.6 Concept of Defeasibility Present; 9.3.7 Concept of Presumption Explicit; 9.3.8 Illative Move Seen Explicitly as Dialectical
    Description / Table of Contents: 9.3.9 Test of a ''Good'' Illative Move
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789400709072
    Language: English
    Pages: Online-Ressource (XIII, 246p. 19 illus, digital)
    Series Statement: Trends in Logic 36
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Šramko, Jaroslav Vladyslavovyč, 1963 - Truth and falsehood
    RVK:
    Keywords: Philosophy (General) ; Philosophy ; Computer science ; Logic, Symbolic and mathematical ; Philosophy (General) ; Logic ; Computer science ; Logic, Symbolic and mathematical ; Logic ; Mathematical logic. ; Mathematische Logik ; Philosophie ; Intuitionistische Logik
    Abstract: The book presents a thoroughly elaborated logical theory of generalized truth values understood as subsets of some established set of (basic) truth entities. After elucidating the importance of the very notion of a truth value in logic and philosophy, the authors examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and Michael Dunn and the notion of a bilattice (a lattice of truth values with two ordering relations) constitute the basis for further generalizations. By doing so the authors elaborate the idea of a multilattice and, most notably, a trilattice of truth values - a specific algebraic structure with an information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but also determines its own entailment relation. Both semantic ans syntactic ways of formalizing these relations by constructing various logical calculi are considered
    Description / Table of Contents: 2.3…The Slingshot Argument and Non-Fregean Logic2.4…Non-Fregean Logic and Definite Descriptions non-Fregean logic; 2.5…Non-Fregean Logic and lambda -Expressions; 2.6…Non-Fregean Logic and Indefinite Descriptions; 2.7…Concluding Remarks; 3 Generalized Truth Values: From FOUR2 to SIXTEEN3; Abstract; 3.1…Truth Values as Structured Entities; 3.2…Generalized Valuations, Four-Valued Logic and Bilattices; 3.3…Taking Generalization Seriously: From Isolated Computers to Computer Networks; 3.4…Generalized Truth Values and Multilattices; 3.5…The Trilattice of 16 Truth Values
    Description / Table of Contents: 3.6…Another Example of a Trilattice: Truth Values in Constructive Logics4 Generalized Truth Values: SIXTEEN3 and Beyond; Abstract; 4.1…Entailment Relations on SIXTEEN3; 4.2…First-Degree Systems for SIXTEEN3; 4.2.1 The Languages {\fancyscriptbold{L}t,\; \fancyscriptbold{L}f and Systems {{\bf FDE}}_{\bi{t}}^{\bi{t}}, {{\bf FDE}}_{\bi{f}}^{\bi{f}}; 4.2.2 The Language {\fancyscriptbold{L}}_{\varvec{tf}} for let and lef; 4.3…First-Degree Everywhere; 4.4…Hyper-Contradictions and Generalizations of Priest's Logic; 4.5…An Approach to a Generalization of Kleene's Logic: A Tetralattice
    Description / Table of Contents: 4.6…Uncertainty Versus Lack of Information5 Axiom Systems for Trilattice Logics; Abstract; 5.1…Truth Value Lattices and the Implication Connective; 5.2…From First-Degree Proof Systems to Proof Systems with Modus Ponens; 5.3…Odintsov's Axiomatization of Truth Entailment and Falsity Entailment in SIXTEEN3; 5.3.1 First-Degree Calculi; 5.3.2 Systems with Modus Ponens as the Sole Rule of Inference; 5.4…Discussion; 6 Sequent Systems for Trilattice Logics; Abstract; 6.1…Standard Sequent Systems for Logics Related to SIXTEEN3; 6.2…Alternative Sequent Calculi; 6.3…Extensions
    Description / Table of Contents: 8.5…Harmony ad Infinitum
    Description / Table of Contents: Truth and Falsehood; Preface; Contents; 1 Truth Values; Abstract; 1.1…The Idea of Truth Values; 1.2…Truth Values and the Functional Analysis of Language; 1.3…The Categorial Status of Truth and Falsehood; 1.4…The Ontological Background of Truth Values; 1.5…Logic as the Science of Logical Values; 1.6…Logical Structures; 1.7…Truth Values, Truth Degrees, and Vague Concepts; 2 Truth Values and the Slingshot Argument; Abstract; 2.1…An Argument in Favor of Truth Values; 2.2…Reconstructing the Slingshot Arguments; 2.2.1 Church's Slingshot; 2.2.2 Gödel's Slingshot; 2.2.3 Davidson's Slingshot
    Description / Table of Contents: 6.4…Sequent Calculi for Truth Entailment and Falsity Entailment in SIXTEEN37 Intuitionistic Trilattice Logics; Abstract; 7.1…Introduction; 7.2…Sequent Calculus I16; 7.3…Kripke Completeness for I16; 7.4…Tableau Calculus IT16; 7.5…Kripke Completeness for IT16; 8 Generalized Truth Values and Many-Valued Logics: Harmonious Many-Valued Logics; Abstract; 8.1…Many-Valued Propositional Logics Generalized; 8.2…Designateddesignated truth valueantidesignated truth value and Antidesignated Values; 8.3…Some Separated Finitely-Valued Logics; 8.4…A Harmonious Logic Inspired by the Logic of SIXTEEN3
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 14
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789400719231
    Language: English
    Pages: Online-Ressource (XVI, 346p. 59 illus, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 23
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T.
    RVK:
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Information theory ; Philosophy ; Philosophy (General) ; Genetic epistemology ; Logic ; Information theory
    Abstract: 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
    Abstract: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 6.7 The Temporal Aspect
    Note: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 15
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789400723900
    Language: English
    Pages: Online-Ressource (X, 278p. 4 illus, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 25
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Philosophy ; Philosophy (General) ; Logic
    Abstract: Is reality logical and is logic real? What is the origin of logical intuitions? What is the role of logical structures in the operations of an intelligent mind and in communication? Is the function of logical structure regulative or constitutive or both in concept formation? This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality - social, natural or ideal - and logical structures employed in describing or discovering it. Moreover, the book connects logical th
    Abstract: Is reality logical and is logic real? What is the origin of logical intuitions? What is the role of logical structures in the operations of an intelligent mind and in communication? Is the function of logical structure regulative or constitutive or both in concept formation? This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality - social, natural or ideal - and logical structures employed in describing or discovering it. Moreover, the book connects logical th
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 16
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9789400739291
    Language: English
    Pages: Online-Ressource (VIII, 203p, digital)
    Series Statement: Vienna Circle Institute Yearbook, Institut `Wiener Kreis' Society for the Advancement of the Scientific World Conception 16
    Series Statement: SpringerLink
    Series Statement: Bücher
    Series Statement: Springer eBook Collection
    Series Statement: Humanities, Social Science and Law
    Parallel Title: Druckausg. u.d.T. Creath, Richard, 1947 - Rudolf Carnap and the legacy of logical empiricism
    RVK:
    Keywords: Philosophy (General) ; Logic ; Science Philosophy ; Pragmatism ; Philosophy ; Aufsatzsammlung ; Carnap, Rudolf 1891-1970 ; Neopositivismus
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 17
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9789400740419 , 128079903X , 9781280799037
    Language: English
    Pages: Online-Ressource (X, 346p. 27 illus, digital)
    Series Statement: Argumentation Library 22
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Linguistics Philosophy ; Literacy ; Humanities ; Philosophy ; Philosophy (General) ; Logic ; Linguistics Philosophy ; Literacy ; Humanities ; Argumentationstheorie
    Abstract: Bart Garssen
    Abstract: Topical Themes in Argumentation Theory brings together twenty exploratory studies on important subjects of research in contemporary argumentation theory. The essays are based on papers that were presented at the 7th Conference of the International Society for the Study of Argumentation (ISSA) in Amsterdam in June 2010. They give an impression of the nature and the variety of the kind of research that has recently been carried out in the study of argumentation.The volume starts with three essays that provide stimulating theoretical perspectives on argumentation. Subsequently, some views are explained on the intriguing topics of 'dissensus' and 'deep disagreement'. After a discussion of three different approaches to the treatment of types of argumentation some classical themes from antique argumentation theory are revisited. The new research area of visual argumentation is explored in the next part. The volume concludes with three reports of experimental studies concerning argumentative discourse. The volume starts with three essays that provide stimulating theoretical perspectives on argumentation. Subsequently, some views are explained on the intriguing topics of 'dissensus' and 'deep disagreement'. After a discussion of three different approaches to the treatment of types of argumentation some classical themes from antique argumentation theory are revisited. The new research area of visual argumentation is explored in the next part. The volume concludes with three reports of experimental studies concerning argumentative discourse. The volume starts with three essays that provide stimulating theoretical perspectives on argumentation. Subsequently, some views are explained on the intriguing topics of 'dissensus' and 'deep disagreement'. After a discussion of three different approaches to the treatment of types of argumentation some classical themes from antique argumentation theory are revisited. The new research area of visual argumentation is explored in the next part. The volume concludes with three reports of experimental studies concerning argumentative discourse.
    Description / Table of Contents: Topical Themes in Argumentation Theory; Contents; Contributors; Chapter 1: Some Highlights in Recent Theorizing: An Introduction; References; Part I: Theoretical Perspectives; Chapter 2: Rhetorical Argument; 2.1 Rhetoric and Argument; 2.2 A Second Tradition; 2.3 Today's Study of Rhetorical Argument; 2.4 The Commitments of Rhetorical Argument; 2.5 Rhetorical Argument in the Context of Argumentation Studies; Notes; References; Chapter 3: Meta-argumentation : Prolegomena to a Dutch Project; 3.1 Historical Context of William the Silent's Apologia ( 1581)
    Description / Table of Contents: 3.2 Universal Cultural Significance of William's Apologia3.3 The Historical-Textual Approach to Argumentation; 3.4 The Meta-argumentation Project; 3.5 Meta-argumentation in the Subsequent Galileo Affair; 3.6 Theoretical Meta-arguments; 3.7 Famous Meta-arguments; 3.8 Conclusion; Notes; References; Chapter 4: Wittgenstein's Influence on Hamblin's Concept of 'Dialectical'; 4.1 Introduction; 4.2 The Meaning of 'Dialectical' in Chapter 7; 4.3 The Meaning of 'Dialectical' in Chapter 8; 4.4 The Meaning of 'Dialectical' in Chapter 9; 4.5 Summary and Synthesis: Hamblin's Conception of 'Dialectical'
    Description / Table of Contents: 4.6 Wittgenstein's Influence on Hamblin4.7 Conclusion; Notes; References; Part II: Views on Dissensus and Deep Disagreement; Chapter 5: Can Argumentation Always Deal with Dissensus?; 5.1 A Case of Unreconciled Dissensus; 5.2 Fish's Challenge to Argumentation; 5.3 Is Argumentation Caught in a Dilemma?; 5.4 Can Argumentation Not Deal with Certain Cases of Dissensus?; Notes; References; Chapter 6: The Appeal for Transcendence: A Possible Response to Cases of Deep Disagreement; 6.1 The Emphasis on Agreement; 6.2 Deep Disagreement; 6.3 Incommensurability: End or Beginning of Analysis?
    Description / Table of Contents: 6.4 Possibilities for Overcoming Deep Disagreement6.4.1 Inconsistency: Hypocrisy and the Circumstantial ad hominem; 6.4.2 Packaging: Incorporation and Subsumption; 6.4.3 Time: Exhaustion and Urgency; 6.4.4 Changing the Ground: Interfield Borrowing and Frame-Shifting; 6.5 Two Case Studies; 6.5.1 Johnson on Education; 6.5.2 Zarefsky on Abortion; 6.6 Conclusion; References; Chapter 7: Cultural Diversity, Cognitive Breaks, and Deep Disagreement: Polemic Argument; 7.1 Introduction; 7.2 Common Ground, Deep Disagreement, and Cognitive Breaks; 7.3 Cultural Diversity and Deep Disagreement
    Description / Table of Contents: 7.4 Antilogical Reasoning7.5 Conclusion; References; Part III: Types of Argumentation; Chapter 8: When Figurative Analogies Fail: Fallacious Uses of Arguments from Analogy; 8.1 Introduction; 8.2 On the Structure of Figurative Analogies; 8.3 Criteria for the Evaluation of Arguments from Figurative Analogy; 8.4 Case Studies; 8.5 Conclusion; References; Chapter 9: Current Issues in Conductive Argument Weight; 9.1 Introduction; 9.2 Wellman's 'Heft' and Premise Weight; 9.3 Govier's 'Exceptions' and Issues of Quantification and Cases; 9.4 Trevor Bench-Capon's Value-Based, Case-Based Reasoning
    Description / Table of Contents: 9.5 Robert C. Pinto on Conductive Weight
    Note: Description based upon print version of record
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 18
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789400717367
    Language: English
    Pages: Online-Ressource (XIII, 196p, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 22
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Granström, Johan Georg Treatise on intuitionistic type theory
    RVK:
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Logic design ; Algorithms ; Logic, Symbolic and mathematical ; Philosophy ; Philosophy (General) ; Genetic epistemology ; Logic ; Logic design ; Algorithms ; Logic, Symbolic and mathematical ; Typentheorie ; Intuitionistische Mathematik
    Abstract: No description available.
    Abstract: Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book
    Description / Table of Contents: Contents; List of Figures; List of Tables; Introduction; Chapter I. Prolegomena; 1. A threefold correspondence; 2. The acts of the mind; 3. The principle of compositionality; 4. Lingua characteristica; Chapter II. Truth and Knowledge; 1. The meaning of meaning; 2. A division of being; 3. Mathematical entities; 4. Judgement and assertion; 5. Reasoning and demonstration; 6. The proposition; 7. The laws of logic; 8. Variables and generality; 9. Division of definitions; Chapter III. The Notion of Set; 1. A history of set-like notions; 2. Set-theoretical notation
    Description / Table of Contents: 3. Making universal concepts into objects of thought 4. Canonical sets and elements; 5. How to define a canonical set; 6. More canonical sets; Chapter IV. Reference and Computation; 1. Functions, algorithms, and programs; 2. The concept of function; 3. A formalization of computation; 4. Noncanonical sets and elements; 5. Nominal definitions; 6. Functions as objects; 7. Families of sets; Chapter V. Assumption and Substitution; 1. The concept of function revisited; 2. Hypothetical assertions; 3. The calculus of substitutions
    Description / Table of Contents: 4. Sets and elements in hypothetical assertions 5. Closures and the -calculus; 6. The disjoint union of a family of sets; 7. Elimination rules; 8. Propositions as sets; Chapter VI. Intuitionism; 1. The intuitionistic interpretation of apagoge; 2. The law of excluded middle; 3. The philosophy of mathematics; Bibliography; Index of Proper Names; Index of Subjects
    Note: Includes bibliographical references and indexes
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 19
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789048194223
    Language: English
    Pages: Online-Ressource (XIII, 352p, digital)
    Series Statement: Boston Studies in the Philosophy of Science 290
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Brazilian studies in philosophy and history of science
    RVK:
    Keywords: Philosophy (General) ; Science History ; Logic ; Science Philosophy ; Philosophy ; Philosophy (General) ; Science History ; Logic ; Science Philosophy ; Philosophy and science ; Brazil ; Science ; History ; Aufsatzsammlung ; Wissenschaftsphilosophie ; Naturwissenschaften ; Geschichte
    Abstract: This volume, The Brazilian Studies in the Philosophy and History of Science, is the first attempt to present to a general audience, works from Brazil on this subject. The included papers are original, covering a remarkable number of relevant topics of philosophy of science, logic and on the history of science. The Brazilian community has increased in the last years in quantity and in quality of the works, most of them being published in respectable international journals on the subject. The chapters of this volume are forwarded by a general introduction, which aims to sketch not only the contents of the chapters, but it is conceived as a historical and conceptual guide to the development of the field in Brazil. The introduction intends to be useful to the reader, and not only to the specialist, helping them to evaluate the increase in production of this country within the international context.
    Description / Table of Contents: Preface; Contents; Contributors; 1 Introduction; 2 Galileo and Modern Science; 3 Newton and Inverse Problems; 4 Isaac Newton, Robert Hooke and the Mystery of the Orbit; 5 Sciences in Brazil: An Overview from 18701920; 6 Henri Becquerel and Radioactivity: A Critical Revision; 7 Regeneration as a Difficulty for the Theory of Natural Selection: Morganx2019; s Changing Attitudes, 1897x2013; 1932; 8 Jean Antoine Nollet's Contributions to the Institutionalization of Physics During the 18th Century; 9 Natural Kinds as Scientific Models; 10 On the Nature of Mathematical Knowledge
    Description / Table of Contents: 11 The Etiological Approach to the Concept of Biological Function12 Human Evolution: Compatibilist Approaches; 13 Functional Explanations in Biology, Ecology, and Earth System Science: Contributions from Philosophy of Biology; References; 14 On Darwin, Knowledge and Mirroring; 15 Freudian Psychoanalysis as a Model for Overcoming theINTtie; Duality Between Natural and Human Sciences; 16 The Causal Strength of Scientific Advances; 17 Contextualizing the Contexts of Discovery and Justification: How to do Science Studies in Brazil
    Description / Table of Contents: 18 Echoes from the Past: The Persisting Shadow of Classical Determinism in Contemporary Health Sciences19 The Metaphysics of Non-individuality; 20 Einstein, Gdel, and the Mathematics of Time; 21 A Contemporary View of Population Genetics in Evolution; 22 Continuity and Change: Charting David Bohms Evolving Ideas on Quantum Mechanics; 23 Quasi-truth and Quantum Mechanics; 24 The Qualitative Analysis of Differential EquationsINTbreak; and the Development of Dynamical Systems Theory; 25 The Problem of Adequacy of Mathematics to Physics: The Relativity Theory Case; Name Index; Subject Index;
    Note: Includes bibliographical references and indexes
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 20
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789400704794
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law
    Series Statement: Handbook of Philosophical Logic 16
    DDC: 160
    RVK:
    Keywords: Philosophy (General) ; Logic
    Abstract: This title includes: Belief Revision, Refutation and systems in Propositional Logic, a Quantifier Scope in Formal Linguistics, and Non-deterministic Semantics for Logical Systems
    Description / Table of Contents: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 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
    Description / Table of Contents: 4.3.3 Wide-scope indefinites and quantification over Skolem functions
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 21
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 1283086077 , 9789400703575 , 9781283086073
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Argumentation Library 18
    DDC: 161
    RVK:
    Keywords: Philosophy (General) ; Logic ; Linguistics Philosophy ; Argumentationstheorie ; Logik
    Abstract: This monograph first presents a method of diagramming argument macrostructure, synthesizing the standard circle and arrow approach with the Toulmin model. A theoretical justification of this method through a dialectical understanding of argument, a critical examination of Toulmin on warrants, a thorough discussion of the linked-convergent distinction, and an account of the proper reconstruction of enthymemes follows.
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 22
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789048195886
    Language: English
    Pages: Online-Ressource (IX, 422p, digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 20
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Approaches to legal rationality
    RVK:
    RVK:
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Logic ; Artificial intelligence ; Political science ; Law ; Law ; Philosophy (General) ; Logic ; Artificial intelligence ; Law Philosophy ; Political science ; Aufsatzsammlung ; Logik ; Recht ; Recht ; Vernunft ; Rechtsphilosophie
    Abstract: 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.
    Description / Table of Contents: 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
    Description / Table of Contents: 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;
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 23
    Online Resource
    Online Resource
    Dordrecht [u.a.] : Springer
    ISBN: 1282927337 , 9781402099069 , 9781282927339
    Language: English
    Pages: Online-Ressource (XVIII, 175 S.) , graph. Darst.
    Edition: Online-Ausg. 2011 Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 346
    Parallel Title: Print version Explaining Games : The Epistemic Programme in Game Theory
    RVK:
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Logic ; Science Philosophy ; Social sciences Philosophy ; Mathematics ; Economics, Mathematical ; Spieltheorie ; Logik ; Erkenntnistheorie
    Abstract: Does game theory ¿ the mathematical theory of strategic interaction ¿ provide genuine explanations of human behaviour? Can game theory be used in economic consultancy or other normative contexts? Explaining Games: The Epistemic Programme in Game Theory ¿ the first monograph on the philosophy of game theory ¿ is a bold attempt to combine insights from epistemic logic and the philosophy of science to investigate the applicability of game theory in such fields as economics, philosophy and strategic consultancy. De Bruin proves new mathematical theorems about the beliefs, desires and rationality principles of individual human beings, and he explores in detail the logical form of game theory as it is used in explanatory and normative contexts. He argues that game theory reduces to rational choice theory if used as an explanatory device, and that game theory is nonsensical if used as a normative device. A provocative account of the history of game theory reveals that this is not bad news for all of game theory, though. Two central research programmes in game theory tried to find the ultimate characterisation of strategic interaction between rational agents. Yet, while the Nash Equilibrium Refinement Programme has done badly thanks to such research habits as overmathematisation, model-tinkering and introversion, the Epistemic Programme, De Bruin argues, has been rather successful in achieving this aim. TOC:Introduction.- Preliminaries.- Part I Epistemic Logic.- 2. Normal Formal Games.- 3. Extensive Games.- Part II Epistemology.- 4. Applications of Game Theory.- 5. The Methodology of Game Theory.- 6. Conclusion.- A. Notation, Definitions, Theorems.- References.- Index.
    Description / Table of Contents: Contents; Acknowledgements; Introduction; 1 Preliminaries; 1.1 The Logic of Game Theory; 1.2 A Logic for Game Theory; Part I Epistemic Logic; 2 Normal Form Games; 3 Extensive Games; Part II Epistemology; 4 Applications of Game Theory; 5 The Methodology of Game Theory; Conclusion; A Notation, Definitions, Theorems; Bibliography; Index;
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 24
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9789048133413
    Language: English
    Pages: 1 online resource (218 pages)
    Series Statement: Argumentation Library v.17
    Parallel Title: Erscheint auch als
    DDC: 160
    RVK:
    RVK:
    Keywords: Logic ; Vicious circle principle (Logic) ; Electronic books
    Abstract: Infinite regress arguments are part of a philosopher's tool kit. But how sharp or strong is this tool? The author has collected and evaluated a host of infinite regress arguments, comparing and contrasting many of the formal and non-formal properties.
    Abstract: Intro -- Acknowledgements -- Introduction -- 1 What is an Infinite Regress Argument? -- 1.1 The General Structure of Infinite Regress Arguments -- 1.2 Boundaries of an Infinite Regress Argument -- 1.2.1 Boundaries when an Infinite Regress is Vicious -- 1.2.2 Boundaries when an Infinite Regress is Benign -- 1.3 A Hypothesis About the Nature of Infinite Regresses -- 1.4 Testing Hypothesis H -- 1.5 Testing Hypothesis H with Nonconcatenating Regresses -- 1.6 Potentially Infinite and Actually Infinite Regresses -- 1.7 The Necessary Quantity of Terms and Relations -- 1.8 Applications of Hypothesis H to Various Examples -- 1.8.1 Plato's Couch -- 1.8.2 Teachers Taught by Teachers -- 1.8.3 Gods Giving Meaning to Gods -- 1.8.4 Maps of Maps -- 1.8.5 Lewis Carroll''s ''What the Tortoise Said to Achilles'' -- 1.9 Logical Functions of Infinite Regresses -- 1.9.1 Benign Regresses -- 1.9.2 Superfluous Regresses -- 1.10 Cogency and Benign Regresses -- 2 The Formal and Nonformal Logic of Infinite Concatenating Regresses -- 2.1 Recurring Terms, Loops, and Regress Formulas -- 2.2 The Relation of Terms and Objects of an Infinite Regress -- 2.3 Applications -- 2.4 Recurring Terms, Loops, and Infinite Concatenating Regresses -- 2.5 Relations and Loops -- 2.6 Blocking All Possible Loops -- 2.7 Are Irreflexivity, or Asymmetry or Transitivity Necessary to Block Loops? -- 2.8 Concatenating Relations in Regress Formulas -- 2.9 Directions of Infinite Concatenating Regresses -- 2.9.1 The Importance of the Direction of an Infinite Regress -- 2.9.2 The Formal Direction of an Infinite Regress -- 2.9.3 The Semantic Direction of an Infinite Regress -- 2.10 Non-formal Considerations in Regress Formulas -- 2.10.1 Relations and Their Implications -- 2.10.2 Unstated Properties of Relations and Terms.
    Note: Description based on publisher supplied metadata and other sources
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 25
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789048133123 , 9789048133116
    Language: English
    Pages: Online-Ressource (XIV, 292 p, digital)
    Series Statement: Philosophical Studies Series 113
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T.
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Logic ; Metaphysics ; Ontology ; Linguistics Philosophy ; Philosophy of mind ; Philosophy ; Linguistics Philosophy ; Logic ; Metaphysics ; Ontology ; Philosophy (General) ; Philosophy of mind ; Deskriptivismus ; Referenz ; Bezugssystem ; Referenzsemantik ; Philosophy of Mind
    Abstract: Singular reference to ourselves and the ordinary objects surrounding us is a most crucial philosophical topic, for it looms large in any attempt to understand how language and mind connect to the world. This book explains in detail why in the past philosophers such as Frege, Russell and Reichenbach have favoured a descriptivist approach to this matter and why in more recent times Donnellan, Kripke, Kaplan and others have rather favoured a referentialist standpoint. The now dominant referentialist theories however still have a hard time in addressing propositional attitudes and empty singular terms. Here a way out of this difficulty emerges in an approach that incorporates aspects of the old-fashioned descriptivist views of Frege, Russell and Reichenbach without succumbing to the anti-descriptivist arguments that back up the current referentialist trend. The resulting theory features a novel approach to the semantics and pragmatics of determiner phrases, definite descriptions, proper names and indexicals, all treated in uniform fashion in both their anaphoric and non-anaphoric uses. This work will be of interest to researchers in philosophy of language, philosophy of mind and theoretical linguistics. The wealth of background information and detailed explanations that it provides makes it also accessible to graduate and upper level undergraduates and suitable as a reference book.
    Description / Table of Contents: Preface; Contents; 1 Introduction: Referentialism vs. Descriptivism; 2 Background Notions; 3 Why Descriptivism Was So Successful; 4 Why Referentialism Is So Successful; 5 Definite Descriptions and Proper Names; 6 Indexicals; 7 Tense, Temporal Indexicals and Other Miscellaneous Issues; 8 Conclusion: Accounting for the Referentialist Data; Appendix; Bibliography; Analytical Index
    Note: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 26
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9789048132881 , 128283925X , 9789048132874 , 9781282839250
    Language: English
    Pages: Online-Ressource (VI, 189p, online resource)
    Series Statement: Trends in Logic 29
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg.
    RVK:
    Keywords: Philosophy (General) ; Linguistics Philosophy ; Grammar, Comparative and general Syntax ; Philosophy ; Grammar, Comparative and general ; Logic ; Semantics ; Syntax. ; Language and languages—Philosophy. ; Linguistics Philosophy ; Grammar, Comparative and general Syntax ; Logic ; Philosophy (General) ; Semantics ; Syntax ; Logik ; Sprachphilosophie
    Abstract: Syntax -- Semantics -- Categorial Analysis -- Conclusion
    Abstract: This book is intended as a preliminary work for a uniform description of language, especially overall organization and architecture of grammar and its connection with semantics. An array of general logical intuitions, concerning the initial requirements for building and interpreting compound expressions, stemming from Frege, Husserl and Ajdukiewicz, is spelled out to form a general framework, allowing for critical evaluation of today’s leading paradigms, such as Generative Grammar, Montague Grammar or Type-Logical Grammar. The main message of the book is that categorial grammar is not only one of the competing theories of syntax, but - according to some general features - is the most plausible framework for logical syntax of natural language. With profound motivation the book proposes an original treatment of quantification and formulates insightful general principles of syntactic analysis
    Description / Table of Contents: CONTENTS; 1 INTRODUCTION; 2 SYNTAX; 3 SEMANTICS; 4 CATEGORIAL ANALYSIS; 5 CONCLUSION; REFERENCES; NAME INDEX; SUBJECT INDEX;
    Note: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 27
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789048132461
    Language: English
    Pages: Online-Ressource (digital)
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 345
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Centrone, Stefania, 1975 - Logic and philosophy of mathematics in the early Husserl
    RVK:
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Phenomenology ; Science Philosophy ; Logic, Symbolic and mathematical ; Philosophy ; Philosophy (General) ; Genetic epistemology ; Logic ; Phenomenology ; Science Philosophy ; Logic, Symbolic and mathematical ; Husserl, Edmund, 1859-1938 ; Influence ; Mathematics ; Philosophy ; Husserl, Edmund 1859-1938 Philosophie der Arithmetik ; Husserl, Edmund 1859-1938 ; Logik ; Geschichte 1891-1901 ; Husserl, Edmund 1859-1938 ; Mathematik ; Philosophie ; Geschichte 1891-1901
    Abstract: Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl's work, from the publication of his Philosophy of Arithmetic (1891) to that of his Logical Investigations (1900/01), and aims to precisely locate his early work in the fields of logic, philosophy of logic and philosophy of mathematics. Unlike most phenomenologists, the author refrains from reading Husserl's early work as a more or less immature sketch of claims consolidated only in his later phenomenology, and unlike the majority of historians of logic she emphasizes the systematic strength and the originality of Husserl's logico-mathematical work. The book attempts to reconstruct the discussion between Husserl and those philosophers and mathematicians who contributed to new developments in logic, such as Leibniz, Bolzano, the logical algebraists (especially Boole and Schröder), Frege, and Hilbert and his school. It presents both a comprehensive critical examination of some of the major works produced by Husserl and his antagonists in the last decade of the 19th century and a formal reconstruction of many texts from Husserl's Nachlaß that have not yet been the object of systematical scrutiny. This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to analytical philosophers and phenomenologists with a background in standard logic.
    Description / Table of Contents: 185616_1_En_BookFrontmatter_OnlinePDF; Outline placeholder; 185616_1_En_1_Chapter_OnlinePDF; Chapter 1: Philosophy of Arithmetic; 185616_1_En_2_Chapter_OnlinePDF; Chapter 2: The Idea of Pure Logic; 185616_1_En_3_Chapter_OnlinePDF; Chapter 3: The Imaginary in Mathematics; [s_chaptitle]Bibliography; 185616_1_En_BookBasckmatter_OnlinePDF; Centrone-Author_Index_o.pdf; Centrone-Subject_Index_o.pdf;
    Note: Includes bibliographical references , Includes index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 28
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9789048137299 , 1282927612 , 9781282927612
    Language: English
    Pages: Online-Ressource (XXVII, 216p, digital)
    Series Statement: Phaenomenologica, Published Under the Auspices of the Husserl-Archives 195
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Phenomenology and mathematics
    RVK:
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Logic ; Phenomenology ; Science Philosophy ; Mathematics_$xHistory ; Philosophy ; Philosophy (General) ; Logic ; Phenomenology ; Science Philosophy ; Mathematics_$xHistory ; Aufsatzsammlung ; Phänomenologie ; Mathematik ; Husserl, Edmund 1859-1938 ; Phänomenologie ; Mathematik ; Phänomenologie ; Mathematik ; Husserl, Edmund 1859-1938
    Abstract: During Edmund Husserl,s lifetime, modern logic and mathematics rapidly developed toward their current outlook and Husserl,s writings can be fruitfully compared and contrasted with both 19th century figures (Boole, Schroder, Weierstrass) as well as the 20th century characters (Heyting, Zermelo, Godel). Besides the more historical studies, the internal ones on Husserl alone and the external ones attempting to clarify his role in the more general context of the developing mathematics and logic, Husserl,s phenomenology offers also a systematically rich but little researched area of investigation
    Description / Table of Contents: PHENOMENOLOGY AND MATHEMATICS; Contents; Acknowledgements; Contributors; List of Abbreviations; Introduction; I Mathematical Realism and Transcendental Phenomenological Idealism; I. Standard Simple Formulations of Realism and Idealism (Anti-Realism) About Mathematics; I. Introduction; I. Introduction; II. Mathematical Realism; II. Benacerrafs Dilemma and Some Negative or Skeptical Solutions; II. R-Structured Wholes; III. Transcendental Phenomenological Idealism; IV. Mind-Independence and Mind-Dependence in Formulations of Mathematical Realism; IV. Meaningless Symbols in PA
    Description / Table of Contents: V. Compatibility or Incompatibility?V. Categorial Intuition; V. Logical Systems; III. Benacerrafs Dilemma and Kantian Structuralism; VI. Brief Interlude: Where to Place Gdel, Brouwer, and Other Mathematical Realists and Idealists in our Schematization?; VII. A Conclusion and an Introduction; VI. Imaginary Elements: Earlier Treatment; VII. Imaginary Elements: Later Treatment; IV. The HW Theory; V. Conclusion: Benacerrafs Dilemma Again and Recovered Paradise; References; II Platonism, Phenomenology, and Interderivability; I. Introduction; II. Phenomenology, Constructivism and Platonism
    Description / Table of Contents: III. InterderivabilityIV. Situations of Affairs: Historical Preliminaries; V. Situations of Affairs: Systematic Treatment; VI. Conclusion; VII. Appendix; References; III husserl on axiomatization andarithmetic; I. Introduction; II. Husserls Initial Opposition to the Axiomatization of Arithmetic; III. Husserls VOLTE-FACE Volte-Face; IV. Analysis of the Concept of Number; V. Calculating with Concepts and Propositions; VI. Three Levels of Logic; VII. Manifolds and Imaginary Numbers; VIII. Mathematics and Phenomenology; VIII. Formal Ontology; IX. What Numbers Could Not Be For Husserl
    Description / Table of Contents: IX. Critical ConsiderationsX. The Problem of Symbolic Knowledge in the Development of Husserls Philosophy; X. Conclusion; References; IV Intuition in Mathematics: on the Function of Eidetic Variation in Mathematical Proofs; I. Some Basic Features of Husserls Theory of Knowledge; II. The Method of Seeing Essences in Mathematical Proofs; 1. The Eidetic Method (Wesensschau) Used for Real Objects; 1. Pre-emptive Negative or Skeptical Solutions; 1. Preliminaries; 2. Eidetics in Material Mathematical Disciplines; 2. Concessive Negative or Skeptical Solutions; 2. The Part-of Relation
    Description / Table of Contents: 3. Eidetics in Formal-Axiomatic Contexts3. One Sort of Structured Wholes: R-Structured Wholes; References; V How Can a Phenomenologist Have a Philosophy of Mathematics?; References; VI The Development of Mathematics and the Birth of Phenomenology; I. Weierstrass and Mathematics as Rigorous Science; II. Husserl in Weierstrasss Footsteps; III. Philosophy of Arithmetic as an Analysis of the Concept of Number; IV. Logical Investigations and the Axiomatic Approach; VI. Aristotle or Plato (and Which Plato)?; VII. Platonism of the Eternal, Self-Identical, Unchanging Objectivities
    Description / Table of Contents: VIII. Platonism as an Aspiration for Reflected Foundations
    Note: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 29
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9789048126231 , 9789048126224
    Language: English
    Pages: Online-Ressource (XII, 217 p, digital)
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 344
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T.
    RVK:
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Metaphysics ; Philosophy, modern ; Ontology ; Linguistics Philosophy ; Philosophy ; Genetic epistemology ; Linguistics Philosophy ; Logic ; Metaphysics ; Ontology ; Philosophy (General) ; Philosophy, modern ; Sprachphilosophie ; Wahrheit ; Subjekt ; Perspektivismus ; Metaphysik
    Abstract: This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic truth and its notion's indispensable substantive explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d'être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue.
    Description / Table of Contents: Preliminary; Starting Point and Engaging Background; Case Analysis I: Tarski s Semantic Approach in the Metaphysical Project; Case Analysis II: Quine s Disquotational Approach in the Linguistic Project; Case Analysis III: Davidson s Approach in the Explanatory-Role Project; Case Analysis IV: A Cross-Tradition Examination Philosophical Concern with Truth in Classical Daoism; Substantive Perspectivism Concerning Truth; Back matter
    Note: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 30
    ISBN: 9789048125937
    Language: English
    Pages: Online-Ressource (digital)
    Series Statement: Theory and Decision Library 42
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Preference change
    RVK:
    Keywords: Philosophy (General) ; Logic ; Social sciences Philosophy ; Microeconomics ; Philosophy ; Logic ; Microeconomics ; Philosophy (General) ; Social sciences Philosophy ; Aufsatzsammlung ; Präferenz ; Philosophie ; Psychologie ; Wirtschaft
    Abstract: The fact that preferences change is a pressing but unresolved problem for philosophy and the social sciences. Social scientists use preferences to explain agents’ behaviour, philosophers use preferences to explicate value judgements. A lot of empirical research is invested into identifying people’s preferences. However, the success of these endeavours is seriously threatened, because precise accounts of when and why preferences change are lacking. This volume answers to this need by collecting new essays from an interdisciplinary group of experts in the field. These essays, especially written for this volume, survey the newest approaches to preference change developed in the social sciences and in philosophy, and will serve as a platform for future research. They review some standard material, including the neoclassical preference model and doxastic preference change, time preferences and the debate over policy evaluation under preference change. However, the focus is on new research that is not widely known, such as conditional utilities, non-monotonic logics, complex systems models, inter-temporal choice approaches, etc. The book serves three purposes. It introduces undergraduate students to the current state of research on preference change, it gives graduate students and researchers in-depth insights into the state-of-the-art modelling techniques of different disciplines, and it points out to experts the lacunae in the literature and directions for future research.
    Description / Table of Contents: Preference Change: An Introduction; Three Analyses of Sour Grapes; For Better or for Worse: Dynamic Logics of Preference; Preference, Priorities and Belief; Why the Received Models of Considering Preference Change Must Fail; Exploitable Preference Changes; Recursive Self-prediction in Self-control and Its Failure; From Belief Revision to Preference Change; Preference Utilitarianism by Way of Preference Change?; The Ethics of Nudge; Preference Kinematics; Population-Dependent Costs of Detecting Trustworthiness: An Indirect Evolutionary Analysis
    Note: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 31
    ISBN: 9789048124015
    Language: English
    Pages: Online-Ressource (digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 16
    Series Statement: SpringerLink
    Series Statement: Bücher
    Series Statement: Springer eBook Collection
    Series Statement: Humanities, Social Science and Law
    Parallel Title: Buchausg. u.d.T. The Golden Age of Polish Philosophy
    RVK:
    Keywords: Philosophy (General) ; Science History ; Logic ; Linguistics Philosophy ; Science Philosophy ; Philosophy ; Konferenzschrift ; Warschauer Schule
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 32
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9781402093388
    Language: English
    Pages: Online-Ressource , v.: digital
    Series Statement: Boston Studies in The Philosophy of Science 272
    Parallel Title: Buchausg. u.d.T.: Rethinking Popper
    RVK:
    Keywords: Ethics ; Genetic epistemology ; Logic ; Philosophy ; Philosophy (General) ; Science Philosophy ; Social sciences Philosophy ; Aufsatzsammlung ; Popper, Karl R. 1902-1994
    Note: In: Springer-Online
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 33
    Book
    Book
    Weilerswist : Velbrück Wissenschaft
    ISBN: 3938808284 , 9783938808283
    Language: German , English
    Pages: 287 S.
    Edition: 1. Aufl.
    DDC: 160
    RVK:
    RVK:
    RVK:
    RVK:
    Keywords: Logic ; Abduktion
    Abstract: Die klassische Wissenschaftstheorie (z.B. Popper) führt die Bildung wissenschaftlicher Theorien auf Intuitionen zurück, die sich der systematischen wissenschaftstheoretischen Betrachtung entziehen, und setzt die wissenschaftliche Methode mit dem Testen von bereits fertig vorliegenden Theorien gleich. Burkholz betrachtet dagegen die Theorienbildung als den eigentlichen Kern regelgeleiteten wissenschaftlichen Handelns und versucht der Logik dieses Bildungsprozesses auf die Spur zu kommen. Seine Arbeit, die Theorien als Argumentketten bestimmt, die aus Daten riskant erschlossen werden, enthält eine detaillierte Kritik am wissenschaftssoziologischen Konstruktivismus und entwickelt die von Charles S. Peirce begründete Logik der Abduktion weiter.
    Note: Literaturverz. S. 279 - 287 , Text überw. dt., teilw. engl.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 34
    ISBN: 9781402085901
    Language: English
    Pages: Online-Ressource (digital)
    Series Statement: Logic, Epistemology, and the Unity of Science 12
    Series Statement: SpringerLink
    Series Statement: Bücher
    Series Statement: Springer eBook Collection
    Series Statement: Humanities, Social Science and Law
    Parallel Title: Buchausg. u.d.T. Carnielli, Walter Modalities and multimodalities
    RVK:
    Keywords: Philosophy (General) ; Logic ; Computer science ; Logic, Symbolic and mathematical ; Philosophy ; Modallogik ; Temporale Logik ; Epistemische Logik ; Lehrbuch ; Kleinkind ; Kinderpsychologie
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 35
    Online Resource
    Online Resource
    Dordrecht : Springer Science + Business Media B.V
    ISBN: 9781402061707
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Logic, Epistemology, and the Unity of Science 10
    RVK:
    RVK:
    Keywords: Genetic epistemology ; Logic ; Computer science ; Logic, Symbolic and mathematical ; Philosophy (General) ; Information ; Erkenntnis
    Abstract: This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. It presents a newly formulated and conceptually developed presentation of the Problem of Analyticity, and a new interesting perspective on the constructive interpretation of knowledge processes.
    Abstract: This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. The treatment is especially formulated for logicians with a philosophical background, but without neglecting a complete formulation of all the technicalities and formal properties. The problem of analyticity is then introduced via an historically and theoretically oriented formulation, beginning with Kant and Bolzano and following its development up to the introduction of the notion of information, extending some lines of research introduced in the contemporary debate by Hintikka. The semantical approach to information is reconsidered in the light of a constructive approach to epistemology, leading to a theoretical analysis of knowledge systems. This allows for the presentation of a formal structure, based on certain typical operations in the formalization of CTT and the use of formal properties of Kripke models, in which the notions of information and knowledge are defined as epistemically different. These definitions involve an extension of constructive epistemology, bringing new material to the extremely open range of problems determined by the notion of verification and the related theory of meaning.Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.
    Description / Table of Contents: Front Matter; Constructive Type Theory: Foundation and Formalization; Analyticity and Information; Formal Representation of the Notion of Information; Constructive Philosophy of Information; Back Matter
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 36
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9781402088001
    Language: English
    Pages: Online-Ressource (online resource)
    Series Statement: Studies in German Idealism 8
    Series Statement: SpringerLink
    Series Statement: Bücher
    Series Statement: Springer eBook Collection
    Series Statement: Humanities, Social Science and Law
    Parallel Title: Druckausg. Limnatis, Nectarios G. German idealism and the problem of knowledge: Kant, Fichte, Schelling, and Hegel
    RVK:
    RVK:
    RVK:
    RVK:
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Genetic epistemology ; Logic ; Philosophy, modern ; Philosophy of mind ; Science Philosophy ; Philosophy ; Kant, Immanuel, 1724-1804 ; Fichte, Johann Gottlieb, 1762-1814 ; Schelling, Friedrich Wilhelm Joseph von, 1775-1854 ; Hegel, Georg Wilhelm Friedrich, 1770-1831 ; Idealism, German ; Knowledge, Theory of ; Germany ; Deutscher Idealismus ; Erkenntnis ; Kant, Immanuel 1724-1804 ; Erkenntnis ; Fichte, Johann Gottlieb 1762-1814 ; Schelling, Friedrich Wilhelm Joseph von 1775-1854 ; Erkenntnis ; Hegel, Georg Wilhelm Friedrich 1770-1831 ; Erkenntnis
    Abstract: The problem of knowledge in German Idealism has drawn increasing attention in recent years. This is the first attempt at a systematic critique that covers all four major figures, Kant, Fichte, Schelling, and Hegel. In examining the evolution of the German idealist discussion with respect to a broad array of concepts (epistemology, metaphysics, logic, dialectic, contradiction, totality, and several others), the author draws from a wide variety of sources in several languages, employs lucid and engaging language, and offers a fresh, incisive and challenging critique. Limnatis contrasts Kant’s epistemological assertiveness with his ontological scepticism as a critical issue in the development of the discourse in German Idealism, and argues that Fichte’s phenomenological demarche only amplifies the Kantian impasse, but allows him to launch a path-breaking critique of formal logic, and to press forward the dialectic. Schelling’s later restoration of metaphysics aims exactly at overcoming the Fichtean conflict between epistemological monism and ontological dualism. And it is Hegel who synthesizes the preceding discussion and unambiguously addresses the need for a new philosophical logic, the dialectical logic. Limnatis scrutinizes Hegel’s deduction in the Phenomenology, invokes modern genetic epistemology, and advances a non-metaphysical reading of the Science of Logic as a genetic theory of systematic knowledge and as circular epistemology. Emphasizing the unity between the logical and the historical, the distinction between intellectual (verständlich) and rational (vernünftig) explanation, and the cognitive importance of contradiction, the author argues for the prospect of an evolving totality of reflective reason.
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 37
    Online Resource
    Online Resource
    [Dordrecht] : Springer | [Berlin : Springer
    ISBN: 9781402068676
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Trends in Logic 26
    RVK:
    Keywords: Logic ; Logic, Symbolic and mathematical ; Philosophy (General) ; Negation ; Parakonsistente Logik
    Abstract: Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
    Abstract: This book presents the author’s recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic. The paraconsistent logics are those, which admit inconsistent but non-trivial theories, i.e., the logics which allow making inferences in non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. In the intuitionistic logic Li, the negation is defined as reduction to absurdity. The concept of strong negation is realized in the Nelson logic N3. Both logics are explosive and have paraconsistent analogs: Johansson’s logic Lj and paraconsistent Nelson’s logic N4. It will be shown that refusing the explosion axiom "contradiction implies everything" does not lead to decrease of the expressive power of a logic. To understand, which new expressive possibilities have the logics Lj and N4 as compared to the explosive logics Li and N3, we study the lattices of extensions of the logics Lj and N4. This is the first case when lattices of paraconsistent logics are systematically investigated. The study is based on algebraic methods, demonstrates the remarkable regularity and the similarity of structures of both lattices of logics, and gives essential information on the paraconsistent nature of logics Lj and N4. The methods developed in this book can be applied to the investigation of other classes of paraconsistent logics.
    Description / Table of Contents: CONTENTS; 1 Introduction; I Reductio ad Absurdum; 2 Minimal Logic. Preliminary Remarks; 3 Logic of Classical Refutability; 4 The Class of Extensions of Minimal Logic; 5 Adequate Algebraic Semantics for Extensionsof Minimal Logic; 6 Negatively Equivalent Logics; 7 Absurdity as Unary Operator; II Strong Negation; 8 Semantical Study of Paraconsistent Nelson's Logic; 9 N4 ? -Lattices; 10 The Class of N4 ? -Extensions; 11 Conclusion; Bibliography; Index
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 38
    ISBN: 9781402084683
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Logic, Epistemology, and the Unity of Science 8
    RVK:
    Keywords: Logic ; Philosophy, medieval ; Linguistics Semantics ; Semantics ; Philosophy (General) ; Aufsatzsammlung ; Lügner-Paradoxie ; Geschichte 1300-1400
    Note: Includes bibliographical references and indexes , Electronic reproduction; Available via World Wide Web
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 39
    ISBN: 9788847007840
    Language: English
    Pages: Online-Ressource (digital)
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Buchausg. u.d.T. Deduction, computation, experiment
    RVK:
    Keywords: Philosophy (General) ; Logic ; Philosophy of nature ; Information theory ; Logic, Symbolic and mathematical ; Mathematical physics ; Philosophy ; Logic ; Philosophy of nature ; Information theory ; Logic, Symbolic and mathematical ; Mathematical physics ; Philosophy (General) ; Konferenzschrift 2007 ; Beweis ; Mathematik ; Beweis ; Mathematik
    Abstract: What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? What is the relationship between mathematical proceduresand natural processes?The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge. Someessays deal with the logical skeleton of deduction, others examine the interplay between natural systems and models of computation, yet others use significant results from thenatural sciences to illustrate the character of procedures in applied mathematics. Focusing on relevant conceptual and logical issues underlying the overall quest for proving, the volume seeks to cast light on what the effectiveness of proof rests on.
    Description / Table of Contents: Why Proof? What is a Proof?; On Formal Proofs; Toy Models in Physics and the Reasonable Effectiveness of Mathematics; Experimental Methods in Proofs; Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis; The Logic of the Weak Excluded Middle: A Case Study of Proof-Search; Automated Search for Gödel's Proofs; Proofs as Efficient Programs; Quantum Combing; Proofs instead of Meaning Explanations: Understanding Classical vs Intuitionistic Mathematics from the Outside; Proof as a Path of Light; Computability and Incomputability of Differential Equations
    Description / Table of Contents: Phenomenology of Incompleteness: From Formal Deductions to Mathematics and Physics
    Note: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 40
    Online Resource
    Online Resource
    Dordrecht : Springer Science + Business Media B.V
    ISBN: 9781402083754
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    DDC: 160
    RVK:
    Keywords: Logic ; Metaphysics ; Philosophy, modern ; Ontology ; Philosophy of nature ; Philosophy (General) ; Science Philosophy ; Logik ; Wirklichkeit
    Abstract: Currently not available, will follow before Dec 30.
    Abstract: The work is the presentation of a logical theory a" Logic in Reality (LIR) - and of applications of that theory in natural science and philosophy, including cognitive science and the philosophy of mind. The thesis is that the fundamental physics of the world defines a non-classical logical structure for the interactive aspects of complex phenomena. LIR can thus be construed as a meta-theory that allows an alternative formal treatment of processes and systems
    Description / Table of Contents: Logic in Reality (LIR) as a Formal Logic; LIR as a Formal System; LIR as a Formal Ontology; The Categories of LIR; The Core Thesis of LIR: Structure and Explanation; LIR, Metaphysics and Philosophy; LIR and Physical Science: Time, Space and Cosmology; Emergence, Living Systems and Closure
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 41
    Online Resource
    Online Resource
    Dordrecht : Springer Science + Business Media B.V
    ISBN: 9781402081682
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    RVK:
    Keywords: Philosophy (General) ; Logic ; Science Philosophy, modern ; Philosophy, modern ; Extensionale Logik
    Abstract: This vivid and thought-provoking book by the Israeli logician Nimrod Bar-Am impels one to rethink the place of logic in Western thought. It shows that the history of logic from Aristotle to Tarski is the history of the gradual undoing of the classic conflation of logic and empirical science. It sets tomorrowa (TM)s agenda for philosophers and historians of logic and scientific method by taking as its starting point the mere fact that, curiously, ancient logic is not as formal as current literature presents it. Rather, as Bar-Am explains, modern formal logic became possible only after a series
    Description / Table of Contents: Outline of Preliminary Notes; The Mother of All Conflations: Parmenides' Proof; Early Disagreements Concerning the Power of Proofs: The Uses and Misuses of Dialogues; The Sophists' Challenge; The Beginning is the Term; Chimera in the Dusk: Essentialism; Semantics is not Ontology; The Mother of All Matrices, or, How Terms Spawn Definitions and Syllogisms; The Conflation of the Source with the True, Good and Beautiful (Source); Induction as Spell-Casting; The Birth of Induction from Sea Foam; Taxonomy of Reality by Syllogism; Ad Hominem Logic: Logic between Aristotle and Boole
    Description / Table of Contents: The Neglect of JudgmentLeibniz as Aristotle and Boole Conflated; Why Transcendental Logic is no Logic at All; Extensionalism as Exorcism; Mathematical Logic: An Oxymoron; The Last Step
    Note: Includes bibliographical references and indexes , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 42
    Online Resource
    Online Resource
    Dordrecht : Springer Science+Business Media B.V
    ISBN: 9781402058394
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law
    Series Statement: Synthese Library 337
    RVK:
    RVK:
    RVK:
    Keywords: Genetic epistemology ; Logic ; Computer science ; Artificial intelligence ; Philosophy (General) ; Epistemische Logik
    Abstract: Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction' informs the reade
    Description / Table of Contents: Front Matter; Introduction; Epistemic Logic; Belief Revision; Public Announcements; Epistemic Actions; Action Models; Completeness; Expressivity; Back Matter;
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 43
    Online Resource
    Online Resource
    Dordrecht : Springer | [Berlin : Springer
    ISBN: 9781402058530
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Logic, Epistemology, and The Unity of Science 7
    RVK:
    RVK:
    Keywords: Logic ; Philosophy, medieval ; Philosophy (General) ; Logik ; Formalisierung ; Geschichte 500-1500
    Abstract: This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations. These are based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. The analysis of medieval logic is relevant for the modern philosopher and logician. This is the first book to render medieval logical theories accessible to the modern philosopher.
    Abstract: This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented a crucial concept in the current logical panorama, which as such receives surprisingly little attention. Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate translations into modern terms.
    Description / Table of Contents: Front Matter; Supposition Theory: Algorithmic Hermeneutics; Buridan's Notion of Consequentia; Obligationes as Logical Games; The Philosophy of Formalization; Back Matter
    Note: Includes bibliographical references (p. 301-309) and index , Electronic reproduction; Available via World Wide Web
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 44
    Online Resource
    Online Resource
    Dordrecht : springer
    ISBN: 9781402062049
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 339
    RVK:
    Keywords: Logic ; Metaphysics ; Ontology ; Linguistics Philosophy, medieval ; Computer science ; Philosophy (General) ; Philosophy, medieval ; Formale Ontologie ; Realismus ; Ontologie ; Realismus
    Abstract: Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.
    Abstract: Theories about the ontological structure of the world have generally been described in informal, intuitive terms, and the arguments for and against them, including their consistency and adequacy as explanatory frameworks, have generally been given in even more informal terms. The goal of formal ontology is to correct for these deficiencies. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme; and then by comparing different reconstructed schemes with one another we can much better evaluate
    Description / Table of Contents: Front Matter; Formal Ontology and Conceptual Realism; Time, Being, and Existence; Logical Necessity and Logical Atomism; Formal Theories of Predication; Formal Theories of Predication Part II; Intensional Possible Worlds; The Nexus of Predication; Medieval Logic and Conceptual Realism; On Geach Against General Reference; Lesniewski's Ontology; Plurals and the Logic of Classes as Many; The Logic of Natural Kinds; Back Matter
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 45
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402063244
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: 2nd Edition
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Handbook of Philosophical Logic 14
    RVK:
    Keywords: Logic ; Linguistics Science_xLogic design ; Computer science ; Artificial intelligence ; Philosophy (General) ; Science Philosophy ; Logic design ; Wissenschaftsphilosophie ; Logik
    Abstract: The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines such as computer science, artificial intelligence, linguistics, and philosophy. This book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field
    Description / Table of Contents: Front Matter; Logics of Formal Inconsistency; Causality; On Conditionals; Quantifiers in Formal and Natural Languages; Back Matter
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 46
    Book
    Book
    Peterborough, Ontario [u.a.] : Broadview Press
    ISBN: 1551116332
    Language: English
    Pages: 168 S , 23 cm
    DDC: 193
    RVK:
    RVK:
    Keywords: Hegel, Georg Wilhelm Friedrich ; Hegel Georg Wilhelm Friedrich ; 1770-1831 ; Wissenschaft der Logik ; Logic ; Logic ; Einführung ; Hegel, Georg Wilhelm Friedrich 1770-1831 ; Logik ; Hegel, Georg Wilhelm Friedrich 1770-1831 Wissenschaft der Logik
    Note: Includes bibliographical references (p. 159-164) and index
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 47
    ISBN: 9781402037290
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Synthese library v. 329
    RVK:
    Keywords: Logic ; Pragmatism ; Semantics ; Philosophy (General) ; Linguistics Philosophy ; Mathematics ; Peirce, Charles S. 1839-1914 ; Spieltheorie ; Sprachphilosophie ; Zeichen ; Kommunikation ; Sprachphilosophie ; Zeichen ; Peirce, Charles S. 1839-1914 ; Semiotik ; Logik
    Abstract: Charles Sanders Peirce (1839-1914) was one of the United States' most original and profound thinkers, and a prolific writer. Peirce's game theory-based approaches to the semantics and pragmatics of signs and language, to the theory of communication, and to the evolutionary emergence of signs, provide a toolkit for contemporary scholars and philosophers. Drawing on unpublished manuscripts, the book offers a rich, fresh picture of the achievements of a remarkable man.
    Abstract: Charles Sanders Peirce (1839-1914), the principal subject of this book, was one of the most profound and prolific thinkers and scientists to have come out of the United States. His pragmatic logic and scientific methodology largely represent the application of interactive and intercommunicative triadic processes, best viewed as strategic and dialogic conceptualisations of logical aspects of thought, reasoning and action. These viewpoints also involve pragmatic issues in communicating linguistic signs, and are unified in his diagrammatic logic of existential graphs. The various game-theoretic approaches to the semantics and pragmatics of signs and language, to the theory of communication, and to the evolutionary emergence of signs, provide a contemporary toolkit, the relevance of which Peirce envisioned to a wondrous extent. This work sheds considerable new light on these and other aspects of Peirce s philosophy and his pragmatic theory of meaning. Many of his most significant writings in this context reflect his later thinking, covering roughly the last 15-20 years of his life, and they are still unpublished. Drawing comprehensively from his unpublished manuscripts, the book offers a fresh and rich picture of this remarkable man s original involvement with logical aspects of thought in action.
    Description / Table of Contents: An introduction to peirce's logic and semeiotics; From pragmatism to the pragmatics of communication; Peirce's game-theoretic ideas in logic; Moving pictures of thought I; Moving pictures of thought II; Existence, constructivism, models, modalities; Spiel-trieb operationalised: semantic games in logic and language; Logic, language games and ludics; Dialogue foundations and informal logic; Games as formal tools versus games as explanations; The evolution of semantics and language games for meaning; Common ground, relevance and other notions of pragmatics: from peirce to grice and beyond
    Description / Table of Contents: Peirce's theory of communication and its contemporary relevanceGames VIS-À-VIS multi-agent systems: a peircean manifesto; Final words
    Note: Includes bibliographical references (p. 465-484) and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 48
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402039072
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Synthese Library 330
    RVK:
    Keywords: Logic ; Pragmatism ; Philosophy (General) ; Science Philosophy ; Genetic epistemology ; Artificial intelligence ; Erklärung ; Wissenschaftstheorie ; Abduktiver Schluss ; Abduktion
    Abstract: Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision.
    Description / Table of Contents: Preliminaries; Contents; Foreword; 1 LOGICS OF GENERATION AND EVALUATION; 2 WHAT IS ABDUCTION; 3 ABDUCTION AS LOGICAL INFERENCE; 4 ABDUCTION AS COMPUTATION; 5 SCIENTIFIC EXPLANATION; 6 EMPIRICAL PROGRESS; 7 PRAGMATISM; 8 EPISTEMIC CHANGE; References; Author Index
    Note: Includes bibliographical references and indexes , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 49
    ISBN: 9781402040542
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields 69
    DDC: 160
    RVK:
    Keywords: Logic ; Metaphysics ; Humanities ; Science Philosophy ; Logic, Symbolic and mathematical ; Aufsatzsammlung ; Mathematische Logik ; Philosophie ; Erkenntnistheorie ; Philosophie der Logik ; Axiomatische Mengenlehre ; Logik
    Abstract: The papers in this collection are united by an approach to philosophy. They illustrate the manifold contributions that logic makes to philosophical progress, both by the application of formal methods to traditional philosophical problems and by opening up new avenues of inquiry as philosophers sort out the implications of new and often surprising technical results. Contributions include new technical results rich with philosophical significance for contemporary metaphysics, attempts to diagnose the philosophical significance of some recent technical results, philosophically motivated proposals for new approaches to negation, investigations in the history and philosophy of logic, and contributions to epistemology and philosophy of science that make essential use of logical techniques and results. Where the work is formal, the motives are obviously philosophical, not merely mathematical. Where the work is less formal, it is deeply informed by the relevant formal material. The volume includes contributions from some of the most interesting philosophers now working in philosophical logic, philosophy of logic, epistemology and metaphysics.
    Description / Table of Contents: Introduction; Externalism, Anti-Realism, and the KK-Thesis; Choice Principles in Intuitionistic Set Theory; Assertion, Proof, and the Axiom of Choice; Montague's Modal Completeness Theorem of 1955; On the Rational Reconstruction of Our Theoretical Knowledge; Do We have the Right Limitative Theorems?; Empirical Negation in Intuitionistic Logic; Negation's Holiday: Aspectival Dialetheism; Monism: The One True Logic
    Note: Essays , Includes bibliographical references (p. 210-218) and index , Memorial volume , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 50
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402041013
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Vienna Circle Institute Yearbook [2004] 12
    DDC: 146.42
    RVK:
    RVK:
    Keywords: Logic ; Philosophy (General) ; Linguistics Philosophy ; Science Philosophy ; Logic, Symbolic and mathematical ; Aufsatzsammlung ; Ramsey, Frank Plumpton 1903-1930 ; Wiener Kreis
    Abstract: The Institute Vienna Circle held a conference in Vienna in 2003, Cambridge and Vienna - Frank P. Ramsey and the Vienna Circle, to commemorate the philosophical and scientific work of Frank Plumpton Ramsey (1903-1930). This Ramsey conference provided not only historical and biographical perspectives on one of the most gifted thinkers of the Twentieth Century, but also new impulses for further research on at least some of the topics pioneered by Ramsey, whose interest and potential are greater than ever. Ramsey did pioneering work in several fields, practitioners of which rarely know of his important work in other fields: philosophy of logic and theory of language, foundations of mathematics, mathematics, probability theory, methodology of science, philosophy of psychology, and economics. There was a focus on the one topic which was of strongest mutual concern to Ramsey and the Vienna Circle, namely the question of foundations of mathematics, in particular the status of logicism. Although the major scientific connection linking Ramsey with Austria is his work on logic, to which the Vienna Circle dedicated several meetings, certainly the connection which is of greater general interest concerns Ramsey's visits and discussions with Wittgenstein. Ramsey was the only important thinker to actually visit Wittgenstein during his school-teaching career in Puchberg and Ottertal in the 1920s, in Lower Austria, and later, Ramsey was instrumental in getting Wittgenstein positions at Cambridge.
    Description / Table of Contents: Frank Ramsey - A Biographical Sketch; Wittgenstein and Ramsey; The Vicious Circle Principle; Ramsey's Psychological Theory of Belief; Discovering "Weight, or the Value of Knowledge"; Ramsey's Ramsey-sentences; Ramsey and the Vienna Circle on Logicism; Logical Problems Suggested by Logicism; The Foundation of Human Evaluation in Democracies from Ramsey to Damasio; Ramsey'S "Note on Time"; Philosophy of Science after the Social Turn; Notes on the Origins of Fleck's Concept of "Denkstil"; Hans Reichenbach and Logical Empiricism in Turkey
    Description / Table of Contents: Steve Awodey & Carsten Klein (eds.), Carnap Brought Home: The View from Jena. Full Circle: Publications of the Archive of Scientific Philosophy. Volume 2. Chicago: Open Court, 2004Bergmann, Gustav, Collected Works Vol. I: Selected Papers I, edited by E. Tegtmeier , Frankfurt/Lancaster: Ontos-Verlag, 2003; Ferrari, Massimo : Ernst Cassirer - Stationen einer philosophischen Biographie. Von der Marburger Schule zur Kulturphilosophie, Meiner: Hamburg, 2003 (German translation of Cassirer. Dalla Scuola di M
    Description / Table of Contents: Richard C. Jeffrey , Subjective Probability: The Real Thing, Cambridge University Press, 2004 Richard C. Jeffrey , After Logical Empiricism/Depois do Empirismo Lógico, English edition with Portuguese; Patrick Suppes , Representation and Invariance of Scientific Structures, CSLI publications, Stanford, California (distributed by Chicago University Press)
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 51
    ISBN: 9781402042997
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: SYNTHESE LIBRARY 334
    DDC: 146.42
    RVK:
    Keywords: Logic ; Metaphysics ; Ontology ; Philosophy (General) ; Linguistics Philosophy ; Science Philosophy ; Aufsatzsammlung ; Biografie ; Bibliografie ; Notwendigkeit ; Synthetisches Urteil ; Analytizität ; Logik ; Formale Semantik ; Pap, Arthur 1921-1959 ; Pap, Arthur 1921-1959 ; Neopositivismus
    Abstract: This volume collects some of the most significant papers of Arthur Pap. Pap's work played an important role in the development of the analytic tradition. This goes beyond the merely historical fact of Pap's influential views of dispositional and modal concepts. Pap's writings in philosophy of science, modality, and philosophy of mathematics provide insightful alternative perspectives on philosophical problems of current interest.
    Abstract: Arthur Pap s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap s critique of Carnap is quite different from Quine s, and represents the discovery of limits beyond which empiricism cannot go, where there lies nothing other than intuitive knowledge of logic itself. Pap s arguments for this intuitive knowledge anticipate Etchemendy s recent critique of the model-theoretic account of logical consequence. Pap s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap s account of modality allows us to see the significance of Kripke s well-known arguments on necessity and apriority in a new light.
    Description / Table of Contents: Preliminaries; Contents; Acknowledgments; Introduction; On the Meaning of Necessity (1943); The Different Kinds of A Priori (1944); Logic and the Synthetic A Priori (1949); Are all Necessary Propositions Analytic? (1949); Necessary Propositions and Linguistic Rules (1955); Note on the "Semantic" and the "Absolute" Concepts of Truth (1952); Propositions, Sentences, and the Semantic Definition of Truth (1954); Belief and Propositions (1957); Semantic Examination of Realism (1947); Logic and the Concept of Entailment (1950); Strict Implication, Entailment, and Modal Iteration (1955)
    Description / Table of Contents: Mathematics, Abstract Entities, and Modern Semantics (1957)Extensionality, Attributes, and Classes (1958); A Note on Logic and Existence (1947); The Linguistic Hierarchy and the Vicious-Circle Principle (1954); Other Minds and the Principle of Verifiability (1951); Semantic Analysis and Psycho-Physical Dualism (1952); The Concept of Absolute Emergence (1951); Reduction Sentences and Open Concepts (1953); Extensional Logic and Laws of Nature (1955); Disposition Concepts and Extensional Logic (1958); Are Physical Magnitudes Operationally Definable? (1959)
    Description / Table of Contents: Arthur Pap (1921-1959) : Intellectual Biography of Arthur PapArthur Pap: Biographical Notes; A Bibliography of Arthur Pap; References; Index
    Note: Bibliography of Arthur Pap p. 375-379 , Collection of texts published previously , Includes bibliographical references , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 52
    ISBN: 9781402050121 , 9781402050127
    Language: English
    Pages: Online-Ressource (IX, 348 p, online resource)
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg.
    RVK:
    Keywords: Philosophy (General) ; Logic ; Logic, Symbolic and mathematical ; Philosophy ; Logic ; Philosophy (General) ; Logic, Symbolic and mathematical ; Konferenzschrift 2002 ; Mathematische Logik ; Mathematik ; Philosophie ; Nichtklassische Logik ; Philosophie der Logik
    Abstract: In the last century, developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This book embodies the multi-dimensional interplay between logic and science, presenting contributions from the world's leading scholars on new trends and possible developments for research.
    Abstract: In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science. It presents contributions from the world's leading scholars under the following headings: - Proof, Knowledge and Computation - Truth Values beyond Bivalence - Category-Theoretic Structures - Independence, Evaluation Games, and Imperfect Information - Dialogue and Pragmatics. The contents exemplify the liveliness of modern perspectives on the philosophy of logic and mathematics and demonstrate the growth of the discipline. It describes new trends, possible developments for research and new issues not normally raised in the standard agenda of the philosophy of logic and mathematics. It transforms rigid classical partitions into a more open field for improvisation.
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 53
    ISBN: 9781402037375
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law
    Series Statement: Analecta Husserliana, The Yearbook of Phenomenological Research 91
    DDC: 142.7
    RVK:
    RVK:
    RVK:
    Keywords: Logic ; Metaphysics ; Phenomenology ; Philosophy of Mind ; Philosophy (General) ; Science Philosophy ; Aufsatzsammlung ; Konferenzschrift 2004 ; Wissenschaft ; Erkenntnis ; Interrogativlogik ; Phänomenologie ; Sozialphilosophie ; Logos ; Kommunikation ; Psychologie
    Abstract: Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of links in order to mutually confirm and rectify their results. Coming closer and closer to phenomenology, the sciences of life find the common ground of the reality in the ontopoiesis of life. Could it not be that the interrogative logos of science, participating in human creative inventiveness will bring together also the divergent scientific methods in a common network? A network which comprises natural processes, societal sharing-in-life, and existential communication.
    Abstract: Prompted and ever diversified by the specifically human interrogative logos, scientific inquiries seek a common system of links in order to mutually confirm and rectify their results. Coming closer and closer to phenomenology, the sciences of life find the common ground of the reality in the ontopoiesis of life. Could it not be that the interrogative logos of science, participating in human creative inventiveness will bring together also the divergent scientific methods in a common network? A network which comprises natural processes, societal sharing-in-life, and existential communication. Papers by: Gary Backhaus, Anjana Bhattacharjee, Simon Du Plock, Ignacy Fiut, Maria Golaszewska, Wendy C. Hamblet, Alexandr Kouzmin, Nikolay Kozhevnikov, Olga Louchakova, Jarlath Mc Kenna, Amy Louise Miller, Aria Omrani, Arthur Piper, Leszek Pyra, W. Kim Rogers, A.L. Samian, Camilo Serrano Bonitto, Natalia Smirnova, Eva Syristova, Anna-Teresa Tymieniecka, Roberto Verolini, Eldon C. Wait, Leo Zonneveld.
    Description / Table of Contents: Scientific Knowledge and Human Knowledge; Science in Mind: Exploring the Language of the Logos; "Objective Science" in Husserlian Life-World Phenomenology; Phenomenological Aspects of the Natural Coordinate System; Alienation and Wholeness; M. Heidegger's Project for the Optical Interpretation of Reflexion: The Time, the Reflexion and the Logos; "Phenomena" in Newton's Mathematical Experience; What Computers Could Never Do; Sensible Models in Cognitive Neuroscience; Philosophical Aspects of the New Evolutionistic Paradigms; Phenomenology and Ecophilosophy; Men in Front of Animals
    Description / Table of Contents: Toward a Cultural PhenomenologyContexts: The Landscapes of Human Life; Schutz's Conception of Relevances and Its Influence on Social Philosophy; Demonstrating Mobility; The Phenomenology of Self as Non-Local: Theoretical Considerations and Research Report; An Existential-Phenomenological Critique of Philosophical Counselling; Logos in Psychotherapy: The Phenomena of Encounter and Hope in the Psychotherapeutic Relationship; The Meaningfulness of Mental Health as Being Within a World of Apparently Meaningless Being
    Description / Table of Contents: Ontopoiesis and Union in the Prayer of the Heart: Contributions to Psychotherapy and LearningDas Lachen als die Kehrseite der Existenziellen Not;
    Note: Description based upon print version of record
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 54
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9781402035210
    Language: English
    Pages: Online-Ressource (373 p, digital)
    Edition: 2nd Edition
    Series Statement: Handbook of Philosophical Logic 13
    Series Statement: SpringerLink
    Series Statement: Bücher
    Series Statement: Springer eBook Collection
    Series Statement: Humanities, Social Science and Law
    Parallel Title: Buchausg. u.d.T. Handbook of philosophical logic ; 13
    RVK:
    Keywords: Philosophy (General) ; Logic ; Philosophy ; Wissenschaftsphilosophie ; Logik
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 55
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402030925
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: 2nd Edition
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Handbook of Philosophical Logic 12
    DDC: 160
    RVK:
    Keywords: Logic ; Philosophy (General) ; Wissenschaftsphilosophie ; Logik
    Abstract: A useful reference work to both students and researchers in formal philosophy, language and logic. This second edition is intended to comprise some 18 volumes and provides in-depth coverage of major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, and others
    Description / Table of Contents: CONTENTS; Preface to the Second Edition; Knowledge Representation with Logic Programs; The Resolution Principle; How to Go Nonmonotonic; The Development of Categorical Logic; Index
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 56
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402031670
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Logic, Epistemology, and the Unity of Science 2
    RVK:
    RVK:
    Keywords: Logic ; Philosophy (General) ; Computer science ; Mathematics ; Social sciences ; Aufsatzsammlung ; Erkenntnistheorie ; Logik
    Abstract: This second volume in the series Logic, Epistemology, and the Unity of Science brings a pragmatic perspective to the discussion of the unity of science. Contemporary philosophy and cognitive science increasingly acknowledge the systematic interrelation of language, thought and action. The principal function of language is to enable speakers to communicate their intentions to others, to respond flexibly in a social context and to act cooperatively in the world. This book will contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision. This volume contains major contributions by leading logicians, analytic philosophers, linguists and computer scientists. It will be of interest to graduate students and researchers from philosophy, logic, linguistics, cognitive science and artificial intelligence. There is no comparable survey in the existing literature.
    Description / Table of Contents: Introduction; The Balance of Reason; Desire, Deliberation and Action; Two Basic Kinds of Cooperation; Speech Acts and Illocutionary Logic; Communication, Linguistic Understanding and Minimal Rationality in the Tradition of Universal Grammar; Truth and Reference; Empirical Versus Theoretical Existence and Truth; Michel Ghins on the Empirical Versus the Theoretical; Propositional Identity, Truth According to Predication and Strong Implication; Reasoning and Aspectual-Temporal Calculus; Presupposition, Projection and Transparency in Attitude Contexts
    Description / Table of Contents: The Limits of a Logical Treatment of AssertionAgents and Agency in Branching Space-Times; Attempt, Success and Action Generation: A Logical Study of Intentional Action; Pragmatic and Semiotic Prerequisites for Predication; On How to Be a Dialogician; Some Games Logic Plays; Backward Induction Without Tears?; On the Usefulness of Paraconsistent Logic; Algorithms for Relevant Logic; Logic, Randomness and Cognition; From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions
    Note: Includes bibliographical references , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 57
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402033995
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 300
    DDC: 128.3
    RVK:
    Keywords: Logic ; Philosophy (General) ; Genetic epistemology ; Science Philosophy ; Artificial intelligence ; Animal behavior ; Aufsatzsammlung ; Philosophie ; Wissenschaftliches Denken ; Philosophie
    Abstract: This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors' research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences.
    Description / Table of Contents: Probabilistic Reasoning and Evidentiary Value; Unreliable Probabilities, Risk Taking, and Decision Making; Rights, Games and Social Choice; The Dynamics of Belief Systems: Foundations vs. Coherence Theories; The Role of Expectations in Reasoning; How Logic Emerges from the Dynamics of Information; Induction, Conceptual Spaces and AI; Three Levels of Inductive Inference; Frameworks for Properties: Possible Worlds vs. Conceptual Spaces; The Pragmatic Role of Modality in Natural Language; The Social Stance; The Emergence of Meaning; Does Semantices Need Reality?
    Description / Table of Contents: The Nature of Man - Games That Genes Play?The Detachment of Thought; Cognitive Science: From Computers to Anthills as Models of Human Thought
    Note: Includes bibliographical references and index , Electronic reproduction; Available via World Wide Web
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 58
    Online Resource
    Online Resource
    Cambridge, U.K : Cambridge University Press
    ISBN: 0511062710 , 051129736X , 9780511297366 , 9780511062711 , 9780511840005 , 0511840004
    Language: English
    Pages: xiv, 247 pages , 24 cm
    Edition: Updated ed
    Edition: Boulder, Colo NetLibrary 2004 Online-Ressource E-Books von NetLibrary
    Series Statement: EBSCOhost eBook Collection
    Parallel Title: Print version Uses of argument
    RVK:
    RVK:
    RVK:
    Keywords: Logic. ; Reasoning. ; Logique ; Argumentation ; Logic ; Reasoning ; Reasoning ; Logic ; Logic. ; Reasoning. ; PHILOSOPHY ; Logic ; Logic ; Reasoning ; Argumentatieleer ; Argumentation ; Sprache ; Electronic books. ; Electronic books ; Electronic books. ; Electronic books ; Sprache ; Argumentation ; Sprache ; Argumentation
    Abstract: Traditionally, logic has been claimed to be 'the science of rational argument', but the relevance to our everyday disputes of the formal logician's results has remained unclear. The abstract character of traditional logic cuts the subject off from practical considerations; Mr Toulmin enquires why this is so, and shows how an alternative conception can be of more general value. Starting from an examination of the actual procedures in different fields of argument - the practice, as opposed to the theory, of logic - he discloses a richer variety than is allowed for by any available system. He argues that jurisprudence rather than mathematics should be the logician's model in analysing rational procedures, and that logic should be a comparative and not a purely formal study. These suggestions lead to conclusions which many will consider controversial; though they will also be widely recognized as interesting and illuminating. This book extends into general philosophy lines of enquiry already sketched by Mr Toulmin in his earlier books on ethics and the philosophy of science. The ordinary reader will find in it the same clarity and intelligibility; and the professional philosopher will acknowledge the same power to break new ground (and circumvent old difficulties) by posing fresh and stimulating questions
    Abstract: Traditionally, logic has been claimed to be 'the science of rational argument', but the relevance to our everyday disputes of the formal logician's results has remained unclear. The abstract character of traditional logic cuts the subject off from practical considerations; Mr Toulmin enquires why this is so, and shows how an alternative conception can be of more general value. Starting from an examination of the actual procedures in different fields of argument - the practice, as opposed to the theory, of logic - he discloses a richer variety than is allowed for by any available system. He argues that jurisprudence rather than mathematics should be the logician's model in analysing rational procedures, and that logic should be a comparative and not a purely formal study. These suggestions lead to conclusions which many will consider controversial; though they will also be widely recognized as interesting and illuminating. This book extends into general philosophy lines of enquiry already sketched by Mr Toulmin in his earlier books on ethics and the philosophy of science. The ordinary reader will find in it the same clarity and intelligibility; and the professional philosopher will acknowledge the same power to break new ground (and circumvent old difficulties) by posing fresh and stimulating questions
    Description / Table of Contents: Introduction -- Fields of argument and modals -- Probability -- The layout of arguments -- Working logic and idealised logic -- The origins of epistemological theory -- Conclusion
    Description / Table of Contents: IntroductionFields of argument and modals -- Probability -- The layout of arguments -- Working logic and idealised logic -- The origins of epistemological theory -- Conclusion.
    Note: Includes bibliographical references (p. 239-240) and indexes , Electronic reproduction, Boulder, Colo : NetLibrary, 2004
    URL: Volltext  (Deutschlandweit zugänglich)
    URL: Volltext  (Deutschlandweit zugänglich)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 59
    Book
    Book
    1st pbk ed. | Cambridge [u.a.] : Cambridge University Press
    ISBN: 9780521622790 , 0521622794 , 0521541204
    Language: English
    Pages: XVII, 327 S. , graph. Darst
    Edition: 1. paperback ed.
    Series Statement: Ideas in context 51
    Series Statement: Ideas in context
    DDC: 510.938
    RVK:
    RVK:
    RVK:
    Keywords: Mathematics, Greek ; Logic ; Mathematics, Greek ; Logic ; Griechenland ; Mathematische Logik ; Deduktion ; Geometrie ; Geschichte 450 v. Chr.-500
    Description / Table of Contents: Literaturverz. S. 316 - 322
    Note: Includes bibliographical references and index
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 60
    Online Resource
    Online Resource
    Dordrecht : Imprint: Springer | Dordrecht : Springer Netherlands
    ISBN: 9780306481345
    Language: English
    Pages: 1 Online-Ressource(XIII, 342 p.)
    Edition: 1st ed. 2003.
    Series Statement: Philosophical Studies Series 91
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    RVK:
    RVK:
    Keywords: Semantics. ; Logic. ; Phenomenology . ; Philosophy of mind. ; Psycholinguistics. ; Semiotics. ; Logic ; Phenomenology ; Philosophy of Mind ; Psycholinguistics ; Semantics ; Philosophy (General) ; Aufsatzsammlung ; Psychologismus ; Philosophie
    Abstract: Psychologism in Logic: Bacon to Bolzano -- Between Leibniz and Mill: Kant’s Logic and the Rhetoric of Psychologism -- Psychologism and Non-Classical Approaches in Traditional Logic -- The Concept of ‘Psychologism’ in Frege and Husserl -- Psychologism and Sociologism in Early Twentieth-Century German-Speaking Philosophy -- The Space of Sings: C.S. Peirce’s Critique of Psychologism -- Quinean Dreams or, Prospects for a Scientific Epistemology -- Late froms of Psychologism and Antipsychologism -- Propositions and the Objects of Thought -- The Concepts of Truth and Knowledge in Psychologism -- Psychologism Revisited in Logic, Metaphysics, and Epistemology -- Why There is Nothing Rather Than Something: Quine on Behaviorism, Meaning, and Indeterminacy -- Cognitive Illusions and the Welcome Psychologism of Logicist Artificial Intelligence.
    Abstract: Philosophy, Psychology, and Psychologism presents a remarkable diversity of contemporary opinions on the prospects of addressing philosophical topics from a psychological perspective. It considers the history and philosophical merits of psychologism, and looks systematically at psychologism in phenomenology, cognitive science, epistemology, logic, philosophy of language, philosophical semantics, and artificial intelligence. It juxtaposes many different philosophical standpoints, each supported by rigorous philosophical argument. Philosophy, Psychology, and Psychologism is intended for professionals in the fields indicated, advanced undergraduate and graduate students in related areas of study, and interested lay readers.
    Note: Includes bibliographical references and index
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 61
    Online Resource
    Online Resource
    Dordrecht : Kluwer Academic Publishers
    ISBN: 9780306480881
    Language: English
    Pages: Online-Ressource (XXI, 285 p, online resource)
    Series Statement: Trends in Logic, Studia Logica Library 15
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg. Logic for concurrency and synchronisation
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Information theory ; Logic, Symbolic and mathematical ; Philosophy ; Architecture, Computer. ; Computers. ; Logic ; Mathematical logic. ; Computer science. ; Computer systems. ; Logic ; Philosophy (General) ; Information theory ; Logic, Symbolic and mathematical ; Nebenläufigkeit ; Temporale Logik ; Beweistheorie ; Lineare Logik ; Modallogik ; Beweistheorie ; Lineare Logik ; Modallogik
    Abstract: Geometry of Deduction Via Graphs of Proofs -- Chu’s Construction: A Proof-Theoretic Approach -- Two Paradigms of Logical Computation in Affine Logic? -- Proof Systems for ?-Calculus Logics -- A Tutorial Introduction to Symbolic Model Checking -- Modal Logics for Finite Graphs -- Bisimulation and Language Equivalence.
    Abstract: The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- cesses – as in the many sophisticated process logics available today. But also, key logical notions such as model checking or proof search are themselves informational processes involving agents with goals. The interplay between these descriptive and dynamic aspects shows even in our ordinary language. A word like “proof” hdenotes both a static ‘certificate’ of truth, and an activity which humans or machines engage in. Increasing our understanding of l- ics of this sort tells us something about computer science, and about cognitive actions in general. The individual chapters of this book show the state of the art in current - vestigations of process calculi such as linear logic, and – with mainly two major paradigms at work, namely, linear logic and modal logic. These techniques are applied to the title themes of concurrency and synchronisation, but there are also many repercussions for topics such as the geometry of proofs, categorial semantics, and logics of graphs. Viewed - gether, the chapters also offer exciting glimpses of future integration, as the reader moves back and forth through the book.
    Note: Includes bibliographical references
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 62
    Book
    Book
    London [u.a.] : Routledge Classics
    ISBN: 0415278430 , 9780415278430 , 0415278449 , 9780415278447
    Language: English
    Pages: XXVII, 513 S. , graph. Darst. , 21 cm
    Series Statement: Routledge classics
    Uniform Title: Logik der Forschung 〈engl.〉
    RVK:
    RVK:
    RVK:
    Keywords: Wissenschaftstheorie ; Wissenschaftliche Methode ; Erkenntnistheorie ; Science ; Logic ; Philosophy ; Knowledge ; a ; Science ; Methodology ; Wissenschaftstheorie ; Kritischer Rationalismus
    Note: Includes bibliographical references and index , First English ed. published: London: Hutchinson & Co., 1959
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 63
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9789401700832
    Language: English
    Pages: Online-Ressource (X, 251 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science 310
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    RVK:
    RVK:
    Keywords: Science Philosophy ; Logic, Symbolic and mathematical ; Philosophy and science. ; Mathematics ; Logic ; Mathematical logic. ; Science—Philosophy. ; Arithmetik ; Logischer Schluss
    Abstract: Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 64
    Book
    Book
    Chicago : University of Chicago Press
    ISBN: 0226853896 , 9780226853918 , 0226853918
    Language: English
    Pages: viii, 277 Seiten , Diagramme , 23 cm
    DDC: 160/.89/96333
    RVK:
    RVK:
    RVK:
    Keywords: Yoruba (African people) Science ; Yoruba (African people) Mathematics ; Philosophy, Yoruba ; Ethnoscience ; Logic ; Ethnomathematics ; Yoruba ; Ethnomathematik
    Note: Includes bibliographical references and index
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 65
    Book
    Book
    Oxford [u.a.] : Oxford Univ. Press
    ISBN: 0195153723 , 0195136225
    Language: English
    Pages: XI, 344 S , graph. Darst
    Series Statement: Evolution and cognition
    DDC: 128/.33
    RVK:
    RVK:
    RVK:
    Keywords: Reasoning ; Thought and thinking ; Logic ; Thinking ; Logic ; Cognition ; Kognition ; Urteil ; Logik ; Heuristik ; Rationalität ; Urteilsbildung ; Statistik ; Signifikanz ; Schlußfolgern ; Evolution ; Vernunft ; Denken ; Rationalität ; Entscheidungsprozess
    Description / Table of Contents: Literaturverz. S. [297] - 328
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 66
    Online Resource
    Online Resource
    Dordrecht : Springer-Science+Business Media, B.V.
    ISBN: 9789401577311
    Language: English
    Pages: 1 Online-Ressource (xiv, 186 Seiten)
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Synthese library Volume182
    Series Statement: Springer eBook Collection
    Parallel Title: Erscheint auch als Detlefsen, Michael Hilbert's program
    RVK:
    RVK:
    RVK:
    Keywords: Philosophy (General) ; Logic, Symbolic and mathematical ; Logic ; Mathematics. ; History. ; Mathematical logic. ; Mathematik ; Philosophie ; Hilbert, David 1862-1943 ; Mathematik ; Grundlage ; Hilbertsche Probleme
    Abstract: I: The Philosophical Fundamentals of Hilbert’s Program -- II: A Closer Look at the Problems -- III: The Gödelian Challenge -- IV: The Stability Problem -- V: The Convergence Problem and the Problem of Strict Instrumentalism -- Appendix: Hilbert’s Program and the First Theorem -- References.
    Abstract: Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord­ ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, therefore, to be seen as a struggle between a mind that naturally works in one way and a reality that works in another. Knowledge occurs when the two cooperate. Conceived in this way, there are two basic alternatives for mathematical epistemology: a skeptical position which maintains either that mind and reality seldom or never come to agreement, or that we have no very reliable way of telling when they do; and a non-skeptical position which holds that there is significant agree­ ment between mind and reality, and that their potential discrepan­ cies can be detected, avoided, and thus kept in check. Of these two, Hilbert clearly embraced the latter, and proposed a program designed to vindicate the epistemological riches represented by our natural, if non-literal, ways of thinking. Brouwer, on the other hand, opted for a position closer (in Hilbert's opinion) to that of the skeptic. Having decided that epistemological purity could come only through sacrifice, he turned his back on his classical heritage to accept a higher calling.
    Note: Literaturverzeichnis: Seite 179-186
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 67
    ISBN: 9781489905482
    Language: English
    Pages: 1 Online-Ressource (xi, 715 Seiten)
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Parallel Title: Erscheint auch als Foundations of logic and linguistics
    RVK:
    RVK:
    RVK:
    Keywords: Linguistics ; Logic ; Aufsatzsammlung ; Konferenzschrift 1983 ; Logik ; Kongress ; Sprachphilosophie ; Kongress ; Linguistik ; Kongress ; Logik ; Linguistik ; Kongress ; Logik ; Sprachphilosophie ; Linguistik ; Linguistik ; Logik
    Abstract: Foundations of Logic: Mathematical Logic -- Consequence Relations of 2-element Algebras -- On a Form of Equational Interpolation Property -- Structural Completeness of Purely Implicational Intermediate Logic -- Proof-theoretic Validity and the Completeness of Intuitionistic Logic -- Gentzen-type or Beth-type Systems, Constructive Completeness Proofs and Practical Decision Procedures (with Special Attention to Relevance Logic) -- Sequential Calculi for Symmetric Dynamic Logic -- Semantic Games on Finite Trees -- To the Decision Problem for Branching Time Logic -- Reductions of Theories for Analysis -- The Incompleteness Theorems and Related Results for Nonconstructive Theories -- A Typed ?-calculus and Girard’s Model of Ptykes -- Wellordering Theorems in Topology -- Foundations of Logic: Philosophical Logic -- Mathematical Logic and Continental Philosophers -- The Non-existence of a Probabilistic Inductive Support -- Unary Probabilistic Semantics -- Epistemic Importance and the Logic of Theory Change -- Le?niewski’s Logic and its Relation to Classical and Free Logics -- Foundations of Linguistics: Logic and Language -- Algebraic Models of Categorial Grammars -- On the Interpreted Sense Calculus $SC_\alpha ^v $ -- Semantics of Vague Concepts -- Information Semantics and Antinomies -- Interpretative Model for Linguistic Quantifiers -- Homogeneous and Individuated Quantifiers in Natural Language -- A Simple Relevance-criterion for Natural Language and its Semantics -- A Farewell to Entailment -- Foundations of Linguistics: Philosophy of Language -- Dummett’s Conception as Theory of Meaning for Hintikka’s Type of Game-theoretical Semantics (I) (‘Use’ and ‘Language-game’ in Wittgenstein and Dummett) -- Indeterminacy of Meaning -- Colors and Languages -- List of Contributors.
    Abstract: This volume comprises a selection of papers that were contributed to the 7th International Congress of Logic, Methodology and Philosophy of Science, which was held in Salzburg from the 11th - 16th July, 1983. There were 14 sections in this congress: 1. proof theory and foundations of mathematics 2. model theory and its applica ti on 3. recursion theory and theory of computation 4. axiomatic set theory 5. philosophical logic 6. general methodology of science 7. foundations of probability and induction 8. foundations and philosophy of the physical sciences 9. foundati ons and phi 1 osophy of biology 10. foundations and philosophy of psychology foundations and philosophy 11. of the social sciences 12. foundati ons and philosophy of linguistics 13. history of logic, methodology and philosophy of science 14. fundamental principles of the ethics of science In each section, three or four invited addresses were given, which will be published in the Congress Proceedings (Ruth Barcan Marcus, Georg J. W. Dorn and Paul Weingartner, eds. : Logic, Metho­ dology and Philosophy of Science VII. Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of v PREFACE Science, Salzburg, 1983. - Amsterdam, New York, Oxford: North-Holland Publishing 'Company, 1985. ) Every section with the exception of section 14 also contained contributed papers.
    Note: A selection of contributed papers from the Seventh International Congress of Logic, Methodology, and Philosophy of Science, held July 11-16, 1983, in Salzburg, Austria" - Impressum
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...