Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 2005-2009  (4)
  • Philosophy (General)
  • Mathematics  (4)
Datasource
Material
Language
Years
Year
  • 1
    ISBN: 9781402093845
    Language: English
    Pages: Online-Ressource , v.: digital
    Edition: Online-Ausg. 2009 Springer eBook Collection. Humanities, Social Science and Law Electronic reproduction; Available via World Wide Web
    Series Statement: Logic, Epistemology, and the Unity of Science 14
    Parallel Title: Print version From a Geometrical Point of View
    RVK:
    Keywords: Algebraic topology ; Logic, Symbolic and mathematical ; Science Algebra ; Mathematics_$xHistory ; Algebra ; Philosophy (General) ; Kategorientheorie ; Geschichte
    Abstract: From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein’s Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane’s work in the early 1940’s and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics. From a Geometrical Point of View aims to provide its readers with a conceptual perspective on category theory and categorical logic, in order to gain insight into their role and nature in contemporary mathematics. It should be of interest to mathematicians, logicians, philosophers of mathematics and science in general, historians of contemporary mathematics, physicists and computer scientists.
    Description / Table of Contents: Introduction; Category Theory and Klein's Erlangen Program; Introducing Categories, Functors and Natural Transformations; Categories as Spaces, Functors as Transformations; Discovering Fundamental Categorical Transformations: Adjoint Functors; Adjoint Functors: What They are, What They Mean; Invariants in Foundations: Algebraic Logic; Invariants in Foundations: Geometric Logic; Conclusion.
    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 ...
  • 2
    ISBN: 9781402086229
    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, Studia Logica Library 27
    RVK:
    RVK:
    Keywords: Algebra ; Computational complexity ; Data mining ; Genetic epistemology ; Logic ; Logic, Symbolic and mathematical ; Philosophy (General)
    Abstract: A Geometry of Approximation addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw Pawlak in 1982, and focuses mainly on its logic-algebraic interpretation. The theory is embedded in a broader perspective that includes logical and mathematical methodologies pertaining to the theory, as well as related epistemological issues. Any mathematical technique that is introduced in the book is preceded by logical and epistemological explanations. Intuitive justifications are also provided, insofar as possible, so that the general perspective is not lost. Such an approach endows the present treatise with a unique character. Due to this uniqueness in the treatment of the subject, the book will be useful to researchers, graduate and pre-graduate students from various disciplines, such as computer science, mathematics and philosophy. It features an impressive number of examples supported by about 40 tables and 230 figures. The comprehensive index of concepts turns the book into a sort of encyclopaedia for researchers from a number of fields. A Geometry of Approximation links many areas of academic pursuit without losing track of its focal point, Rough Sets.
    Description / Table of Contents: Preface; CONTENTS; List of Figures; Notation; Abbreviations; Introduction; 1 Perception and Concepts: A Phenomenological Approach; 2 Monological Approach to Perception and Concepts; 3 Phenomenology and Logic; 4 The Logico-Algebraic Interpretation of Rough Set Systems; 5 Equivalence Classes, Abstraction and Meaning; 6 Rough Sets and Logic; 7 Concluding Remarks; I A Mathematics of Perception; 1 Observations, Noumena and Phenomena; 2 Concrete and Formal Information Constructions; 3 Pre-Topological and Topological Approximation Operators; 4 Frames (Part I)
    Description / Table of Contents: II The Logico-Algebraic Theory of Rough Sets5 Logic and Rough Sets: An Overview; 6 Basic Logico-Algebraic Structures; 7 Local Validity, Grothendieck Topologies and Rough Sets; 8 Approximation and Algebraic Logic; 9 A Logico-Philosophic Excursus; 10 Frames (Part II); III The Modal Logic of Rough Sets; 11 Modality and Knowledge; 12 Modalities and Relations; 13 Modalities, Topologies and Algebras; 14 The Propositional Modal Logic of Rough Sets; 15 Frames (Part III); 16 Mathematical Toolkits; 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 ...
  • 3
    Online Resource
    Online Resource
    Dordrecht : Springer
    ISBN: 9781402055874
    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: Science Logic, Symbolic and mathematical ; Computer science ; Artificial intelligence ; Geometry ; Topology ; Philosophy (General) ; Logic, Symbolic and mathematical ; Raum ; Mathematische Logik
    Abstract: Johan Benthem
    Abstract: A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, descr
    Description / Table of Contents: CONTENTS; Preface; Contributing Authors; Second Readers xxi; Chpater 1 What is Spatial Logic?; Chapter 2 First-Order Mereotopology; Chapter 3 Axioms, Algebras and Topology; Chpater 4 Qualitative Spatial Reasoning Using Constraint Calculi; Chapter 5 Modal Logics of Space; Chapter 6 Topology and Epistemic Logic; Chapter 7 Logical Theories for Fragments of Elementary Geometry; Chapter 8 Locales and Toposes as Spaces; Chapter 9 Spatial Logic + Temporal Logic = ?; Chapter 10 Dynamic Topological Logic; Chapter 11 Logic of Space-Time and Relativity Theory; Chapter 12 Discrete Spatial Models
    Description / Table of Contents: Chapter 13 Real Algebraic Geometry and Constriaint DatabasesChapter 14 Mathematical Morphology; Chapter 15 Spatial Resoning and Ontology: Parts, Wholes, and Locations; 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 ...
  • 4
    Online Resource
    Online Resource
    Dordrecht : Springer Netherlands
    ISBN: 9781402050879
    Language: English
    Pages: Online-Ressource (XIII, 206 p, online resource)
    Series Statement: Synthese Library 335
    Series Statement: SpringerLink
    Series Statement: Bücher
    Parallel Title: Druckausg. Atten, Mark van, 1973 - Brouwer meets Husserl
    RVK:
    RVK:
    RVK:
    Keywords: Mathematics ; Metaphysics ; Ontology ; Phenomenology ; Mathematical logic ; Metaphysics ; Ontology ; Phenomenology ; Philosophy (General) ; Logic, Symbolic and mathematical ; Phänomenologie ; Wahlfolge ; Brouwer, Luitzen E. J. 1881-1966 ; Wahlfolge ; Phänomenologie ; Intuitionistische Mathematik ; Husserl, Edmund 1859-1938 ; Brouwer, Luitzen E. J. 1881-1966 ; Husserl, Edmund 1859-1938
    Abstract: An Informal Introduction -- The Argument -- The Original Positions -- The Phenomenological Incorrectness of the Original Arguments -- The Constitution of Choice Sequences -- Application: An Argument for Weak Continuity -- Concluding Remarks.
    Abstract: Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost? And are there objects of pure mathematics that can change through time? The mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is "yes''. To this end he introduced a new kind of object into mathematics, the choice sequence. But other mathematicians and philosophers have been voicing objections to choice sequences from the start. This book aims to provide a sound philosophical basis for Brouwer's choice sequences by subjecting them to a phenomenological critique in the style of the later Husserl. "It is almost as if one could hear the two rebels arguing their case in a European café or on a terrace, and coming to a common understanding, with both men taking their hat off to the other, in admiration and gratitude. Dr. van Atten has convincingly applied Husserl's method to Brouwer's program, and has equally convincingly applied Brouwer's intuition to Husserl's program. Both programs have come out the better." Piet Hut, professor of Interdisciplinary Studies, Institute for Advanced Study, Princeton, U.S.A.
    Description / Table of Contents: CONTENTS; Preface; Acknowledgements; 1 An Informal Introduction; 2 Introduction; 2.1 The Aim; 2.2 The Thesis; 2.3 Motivation; 2.4 Method, and an Assumption; 2.5 The Literature; 3 The Argument; 3.1 Presentation; 3.2 Comments; 4 The Original Positions; 4.1 The Incompatibility of Husserl's and Brouwer's Positions; 4.2 Two Sources of Mutual Pressure; 4.3 Resolving the Conflict: The Options, and a Proposal; 5 The Phenomenological Incorrectness of the Original Arguments; 5.1 The Phenomenological Standard for a Correct Argument in Ontology; 5.2 Husserl's Weak Revisionism
    Description / Table of Contents: 5.3 Husserl's Implied Strong Revisionism5.4 The Incompleteness of Husserl's Argument; 5.5 The Irreflexivity of Brouwer's Philosophy; 6 The Constitution of Choice Sequences; 6.1 A Motivation for Choice Sequences; 6.2 Choice Sequences as Objects; 6.3 Choice Sequences as Mathematical Objects; 7 Application: An Argument for Weak Continuity; 7.1 The Weak Continuity Principle; 7.2 An Argument That Does Not Work; 7.3 A Phenomenological Argument; 8 Concluding Remarks; Appendix: Intuitionistic Remarks on Husserl's Analysis of Finite Number in the Philosophy of Arithmetic; Notes; References
    Description / Table of Contents: Name and Citation IndexSubject Index
    Note: Includes bibliographical references and index
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    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...