Listing 1 - 6 of 6 |
Sort by
|
Choose an application
This book models and simulates metaphysics by presenting the metaphysics of a model. The small size of the model makes it possible to treat metaphysical matters with a more than usual systematicity and comprehensiveness. In the mirror of sustained analogy, simulation-metaphysics offers a wealth of insights on the real thing: on the doctrines, the methods, and the epistemology of metaphysics.
Metaphysics. --- Model theory. --- Logic, Symbolic and mathematical --- Philosophy --- God --- Ontology --- Philosophy of mind --- Metaphysics --- Model theory
Choose an application
Functional analysis --- Algebraic topology --- Model theory. --- Ordered sets. --- Global analysis (Mathematics) --- Théorie des modèles --- Ensembles ordonnés --- Analyse globale (Mathématiques) --- 51 <082.1> --- Mathematics--Series --- Théorie des modèles --- Ensembles ordonnés --- Analyse globale (Mathématiques) --- Model theory --- Ordered sets --- Sets, Ordered --- Set theory --- Logic, Symbolic and mathematical --- Analysis, Global (Mathematics) --- Differential topology --- Functions of complex variables --- Geometry, Algebraic
Choose an application
In spite of some recent applications of ultraproducts in algebra, they remain largely unknown to commutative algebraists, in part because they do not preserve basic properties such as Noetherianity. This work wants to make a strong case against these prejudices. More precisely, it studies ultraproducts of Noetherian local rings from a purely algebraic perspective, as well as how they can be used to transfer results between the positive and zero characteristics, to derive uniform bounds, to define tight closure in characteristic zero, and to prove asymptotic versions of homological conjectures in mixed characteristic. Some of these results are obtained using variants called chromatic products, which are often even Noetherian. This book, neither assuming nor using any logical formalism, is intended for algebraists and geometers, in the hope of popularizing ultraproducts and their applications in algebra.
Commutative algebra --- Ultraproducts --- Mathematics --- Physical Sciences & Mathematics --- Algebra --- Mathematical Theory --- Commutative algebra. --- Ultraproducts. --- Prime products --- Products, Prime --- Products, Ultra --- -Ultra-products --- Mathematics. --- Algebraic geometry. --- Commutative rings. --- Commutative Rings and Algebras. --- Algebraic Geometry. --- Rings (Algebra) --- Algebraic geometry --- Geometry --- Math --- Science --- Model theory --- Algebra. --- Geometry, algebraic. --- Mathematical analysis
Choose an application
The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory itself. It begins with a paper by John Baez and Michael Shulman which explores informally, by analogy and direct connection, how cohomology and other tools of algebraic topology are seen through the eyes of n-category theory. The idea is to give some of the motivations behind this subject. There are then two survey articles, by Julie Bergner and Simona Paoli, about (infinity,1) categories and about the algebraic modelling of homotopy n-types. These are areas that are particularly well understood, and where a fully integrated theory exists. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures. An article by Stephen Lack gives a thorough, but informal, guide to this theory. A paper by Larry Breen on the theory of gerbes shows how such categorical structures appear in differential geometry. This book is dedicated to Max Kelly, the founder of the Australian school of category theory, and an historical paper by Ross Street describes its development.
Categories (Mathematics). --- Model theory. --- Representations of categories. --- Toposes. --- Categories (Mathematics) --- Algebra --- Mathematics --- Physical Sciences & Mathematics --- Algebra, Homological. --- Homological algebra --- Category theory (Mathematics) --- Mathematics. --- Category theory (Mathematics). --- Homological algebra. --- Topology. --- Algebraic topology. --- Category Theory, Homological Algebra. --- Algebraic Topology. --- Algebra, Abstract --- Homology theory --- Algebra, Homological --- Algebra, Universal --- Group theory --- Logic, Symbolic and mathematical --- Topology --- Functor theory --- Algebra. --- Analysis situs --- Position analysis --- Rubber-sheet geometry --- Geometry --- Polyhedra --- Set theory --- Algebras, Linear --- Mathematical analysis
Choose an application
This is a concise introduction to current philosophical debates about truth. Combining philosophical and technical material, the book is organized around, but not limited to, the view known as deflationism. In clear language, Burgess and Burgess cover a wide range of issues, including the nature of truth, the status of truth-value gaps, the relationship between truth and meaning, relativism and pluralism about truth, and semantic paradoxes from Alfred Tarski to Saul Kripke and beyond. The book provides a rich picture of contemporary philosophical theorizing about truth, one that will be essential reading for philosophy students as well as philosophers specializing in other areas.
Truth. --- Conviction --- Belief and doubt --- Philosophy --- Skepticism --- Certainty --- Necessity (Philosophy) --- Pragmatism --- Alfred Tarski. --- Aristotle. --- Davidsonianism. --- Dummettianism. --- Frank P. Ramsey. --- Saul Kripke. --- W. V. Quine. --- antirealism. --- axiomatic theories. --- communication. --- contextualist solutions. --- correspondence theories. --- defeatism. --- deflationism. --- denial strategy. --- deviance strategy. --- direct definition. --- dis"ationalism. --- disqualification strategy. --- doublespeak strategy. --- equivalence principle. --- formal language. --- holism. --- inconsistency theories. --- indeterminacy. --- inflationism. --- logical solutions. --- mathematics. --- meaning. --- metalanguage. --- minimum fixed point. --- model theory. --- normativity. --- object language. --- paraconsistency. --- paradoxes. --- physicalism. --- pluralism. --- presupposition. --- realism. --- redundancy theory. --- reference. --- relativism. --- relativity. --- revenge. --- revision theories. --- self-reference. --- semantic truth. --- sentences. --- slogans. --- transfinite construction. --- truth predicate. --- truth-conditional semantics. --- truth. --- truthmaker theories. --- ungroundedness. --- utility. --- vagueness. --- value. --- verification-conditional semantics.
Choose an application
This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10-15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo? Sutcli?e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller ¨ ). The call for papers attracted 133 abstract submissions of which 105 ma- rialized into full submissions, each of which was assigned for reviewing to at least three Program Committee members; 41 papers were accepted after - tense discussions. Once more the EasyChair system provided an ideal platform for submission, reviewing, discussions, and collecting ?nal versions of accepted papers. The program included three invited talks by Krishnendu Chatterjee, Joseph Halpern, and Michael Maher, as well as an invited tutorial by Norbert Preining. They are documented by the corresponding papers and abstract, respectively, in these proceedings, which this year appear for the ?rst time in the ARCoSS subline of the Lecture Notes in Computer Science.
Computer Science. --- Artificial Intelligence (incl. Robotics). --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Computer science. --- Software engineering. --- Logic design. --- Artificial intelligence. --- Informatique --- Génie logiciel --- Structure logique --- Intelligence artificielle --- Artificial intelligence --- Automatic theorem proving --- Logic programming --- 681.3*D24 --- 681.3*F3 --- 681.3*F41 --- 681.3*I23 --- Computer programming --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Proof theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31}
Listing 1 - 6 of 6 |
Sort by
|