Author: Dag Prawitz
Publisher: Elsevier
ISBN: 0444893415
Category : Electronic books
Languages : en
Pages : 1006
Book Description
This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of the invited lectures. Divided into 15 sections, the book covers a wide range of different issues. The reader is given the opportunity to learn about the latest thinking in relevant areas other than those in which they themselves may normally specialise.
Logic, Methodology and Philosophy of Science IX
Author: Dag Prawitz
Publisher: Elsevier
ISBN: 0444893415
Category : Electronic books
Languages : en
Pages : 1006
Book Description
This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of the invited lectures. Divided into 15 sections, the book covers a wide range of different issues. The reader is given the opportunity to learn about the latest thinking in relevant areas other than those in which they themselves may normally specialise.
Publisher: Elsevier
ISBN: 0444893415
Category : Electronic books
Languages : en
Pages : 1006
Book Description
This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of the invited lectures. Divided into 15 sections, the book covers a wide range of different issues. The reader is given the opportunity to learn about the latest thinking in relevant areas other than those in which they themselves may normally specialise.
The Convergence of Scientific Knowledge
Author: Vincent F. Hendricks
Publisher: Springer Science & Business Media
ISBN: 940159676X
Category : Philosophy
Languages : en
Pages : 387
Book Description
This is this, this ain't something else, this is this -Robert De Niro, Deerhunter his book may to some extent be viewed as the continuation of my T Doctoral thesis Epistemology, Methodology and Reliability. The dissertation was, first of all, a methodological study of the reliable performance of the AGM-axioms (Alchourr6n, Gardenfors and Makin son) of belief revision. Second of all the dissertation included the first steps toward an epistemology for the limiting convergence of knowledge for scientific inquiry methods of both discovery and assessment. The idea of methodological reliability as a desirable property of a scientific method was introduced to me while I was a visiting Ph. D. -student at the Department of Philosophy, Carnegie Mellon University in Pitts burgh, Pennsylvania, USA in 1995-96. Here I became acquainted with formal learning theory. Learning theory provides a variety of formal tools for investigating a number of important issues within epistemology, methodology and the philosophy of science. Especially with respect to the problem of induc tion, but not exclusively. The Convergence of Scientific Knowledge-a view from the limit utilizes a few concepts from formal learning theory to study problems in modal logic and epistemology. It should be duely noted that this book has virtually nothing to do with formal learning theory or inductive learning problems.
Publisher: Springer Science & Business Media
ISBN: 940159676X
Category : Philosophy
Languages : en
Pages : 387
Book Description
This is this, this ain't something else, this is this -Robert De Niro, Deerhunter his book may to some extent be viewed as the continuation of my T Doctoral thesis Epistemology, Methodology and Reliability. The dissertation was, first of all, a methodological study of the reliable performance of the AGM-axioms (Alchourr6n, Gardenfors and Makin son) of belief revision. Second of all the dissertation included the first steps toward an epistemology for the limiting convergence of knowledge for scientific inquiry methods of both discovery and assessment. The idea of methodological reliability as a desirable property of a scientific method was introduced to me while I was a visiting Ph. D. -student at the Department of Philosophy, Carnegie Mellon University in Pitts burgh, Pennsylvania, USA in 1995-96. Here I became acquainted with formal learning theory. Learning theory provides a variety of formal tools for investigating a number of important issues within epistemology, methodology and the philosophy of science. Especially with respect to the problem of induc tion, but not exclusively. The Convergence of Scientific Knowledge-a view from the limit utilizes a few concepts from formal learning theory to study problems in modal logic and epistemology. It should be duely noted that this book has virtually nothing to do with formal learning theory or inductive learning problems.
Our Common Cosmos
Author: Zoë Lehmann Imfeld
Publisher: Bloomsbury Publishing
ISBN: 0567680177
Category : Religion
Languages : en
Pages : 201
Book Description
This volume collects an international body of voices, as a timely response to a rapidly advancing field of the natural sciences. The contributors explore how the disciplines of theology, earth and space sciences contribute to the debate on constantly expanding ethical challenges, and the prospect of humanity's future. The discussions offered in this volume see the 'community' as central to a sustainable and ethical approach to earth and space sciences, examining the role of theology in this communal approach, but also recognizing theology itself as part of a community of humanity disciplines. Examining the necessity for interaction between disciplines, this collection draws on voices from biodiversity studies, geology, aesthetics, literature, astrophysics, and others, to illustrate precisely why a constructive and sustainable dialogue is needed within the current scientific climate.
Publisher: Bloomsbury Publishing
ISBN: 0567680177
Category : Religion
Languages : en
Pages : 201
Book Description
This volume collects an international body of voices, as a timely response to a rapidly advancing field of the natural sciences. The contributors explore how the disciplines of theology, earth and space sciences contribute to the debate on constantly expanding ethical challenges, and the prospect of humanity's future. The discussions offered in this volume see the 'community' as central to a sustainable and ethical approach to earth and space sciences, examining the role of theology in this communal approach, but also recognizing theology itself as part of a community of humanity disciplines. Examining the necessity for interaction between disciplines, this collection draws on voices from biodiversity studies, geology, aesthetics, literature, astrophysics, and others, to illustrate precisely why a constructive and sustainable dialogue is needed within the current scientific climate.
Naturalism in Mathematics
Author: Penelope Maddy
Publisher: Clarendon Press
ISBN: 0191518972
Category : Philosophy
Languages : en
Pages : 265
Book Description
Our much-valued mathematical knowledge rests on two supports: the logic of proof and the axioms from which those proofs begin. Naturalism in Mathematics investigates the status of the latter, the fundamental assumptions of mathematics. These were once held to be self-evident, but progress in work on the foundations of mathematics, especially in set theory, has rendered that comforting notion obsolete. Given that candidates for axiomatic status cannot be proved, what sorts of considerations can be offered for or against them? That is the central question addressed in this book. One answer is that mathematics aims to describe an objective world of mathematical objects, and that axiom candidates should be judged by their truth or falsity in that world. This promising view—realism—is assessed and finally rejected in favour of another—naturalism—which attends less to metaphysical considerations of objective truth and falsity, and more to practical considerations drawn from within mathematics itself. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be helpfully applied in the assessment of candidates for axiomatic status in set theory. Maddy's clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.
Publisher: Clarendon Press
ISBN: 0191518972
Category : Philosophy
Languages : en
Pages : 265
Book Description
Our much-valued mathematical knowledge rests on two supports: the logic of proof and the axioms from which those proofs begin. Naturalism in Mathematics investigates the status of the latter, the fundamental assumptions of mathematics. These were once held to be self-evident, but progress in work on the foundations of mathematics, especially in set theory, has rendered that comforting notion obsolete. Given that candidates for axiomatic status cannot be proved, what sorts of considerations can be offered for or against them? That is the central question addressed in this book. One answer is that mathematics aims to describe an objective world of mathematical objects, and that axiom candidates should be judged by their truth or falsity in that world. This promising view—realism—is assessed and finally rejected in favour of another—naturalism—which attends less to metaphysical considerations of objective truth and falsity, and more to practical considerations drawn from within mathematics itself. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be helpfully applied in the assessment of candidates for axiomatic status in set theory. Maddy's clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.
Dag Prawitz on Proofs and Meaning
Author: Heinrich Wansing
Publisher: Springer
ISBN: 3319110411
Category : Philosophy
Languages : en
Pages : 469
Book Description
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of p roofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence.
Publisher: Springer
ISBN: 3319110411
Category : Philosophy
Languages : en
Pages : 469
Book Description
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of p roofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence.
Legal Power and Legal Competence
Author: Gonzalo Villa-Rosas
Publisher: Springer Nature
ISBN: 3031285557
Category : Law
Languages : en
Pages : 312
Book Description
This volume explores the concepts of legal power and legal competence in fourteen original, cutting-edge chapters by leading legal theorists. Legal power and legal competence are major topics in jurisprudence, as they concern a range of practices, common to all modern legal systems, that empower individuals to bring about changes in the respective system by changing their own legal position or the legal positions of others. This compilation covers five broad themes. The chapters in the first section address open questions on the meaning of legal power and legal competence, while those in the second tackle problems regarding their normativity. The third section is devoted to specifically exploring the relationship between legal power and constitutive norms. The fourth focuses on the analysis of legal officials and legal offices, while the fifth and final section assesses various theories of legal power and legal competence.
Publisher: Springer Nature
ISBN: 3031285557
Category : Law
Languages : en
Pages : 312
Book Description
This volume explores the concepts of legal power and legal competence in fourteen original, cutting-edge chapters by leading legal theorists. Legal power and legal competence are major topics in jurisprudence, as they concern a range of practices, common to all modern legal systems, that empower individuals to bring about changes in the respective system by changing their own legal position or the legal positions of others. This compilation covers five broad themes. The chapters in the first section address open questions on the meaning of legal power and legal competence, while those in the second tackle problems regarding their normativity. The third section is devoted to specifically exploring the relationship between legal power and constitutive norms. The fourth focuses on the analysis of legal officials and legal offices, while the fifth and final section assesses various theories of legal power and legal competence.
The Creation of Wittgenstein
Author: Thomas H. Wallgren
Publisher: Bloomsbury Publishing
ISBN: 1350121118
Category : Philosophy
Languages : en
Pages : 327
Book Description
Making extensive use of unique archival resources this collection presents, for the first time, an in-depth study of the work and influence of Wittgenstein's original literary heirs, Rush Rhees, Elizabeth Anscombe and Georg Henrik von Wright as editors of Wittgenstein's posthumous writings. Presenting philosophical portraits of Rhees, Anscombe and von Wright, a team of international contributors provide a history of their collaboration and discuss how the individual philosophical views of the literary heirs shaped what we now know as the works of Wittgenstein. They consider the link between philosophically relevant aspects of their biography, their friendship with Wittgenstein and the development of their philosophical personalities, offering us a new appreciation of the dynamics of their editorial collaboration and how each of the heirs worked individually as an editor to create Wittgenstein's philosophy. Each chapter reveals what the editors did to enrich and shape our understanding of Wittgenstein's philosophical contribution on topics such as rule-following, logical necessity, aesthetics and the methods and aims of philosophy. This thorough critical analysis of the editorial history of Wittgenstein's works allows us to finally appreciate the profound impact the editors have had on our understanding of his philosophy, his views and his cultural significance.
Publisher: Bloomsbury Publishing
ISBN: 1350121118
Category : Philosophy
Languages : en
Pages : 327
Book Description
Making extensive use of unique archival resources this collection presents, for the first time, an in-depth study of the work and influence of Wittgenstein's original literary heirs, Rush Rhees, Elizabeth Anscombe and Georg Henrik von Wright as editors of Wittgenstein's posthumous writings. Presenting philosophical portraits of Rhees, Anscombe and von Wright, a team of international contributors provide a history of their collaboration and discuss how the individual philosophical views of the literary heirs shaped what we now know as the works of Wittgenstein. They consider the link between philosophically relevant aspects of their biography, their friendship with Wittgenstein and the development of their philosophical personalities, offering us a new appreciation of the dynamics of their editorial collaboration and how each of the heirs worked individually as an editor to create Wittgenstein's philosophy. Each chapter reveals what the editors did to enrich and shape our understanding of Wittgenstein's philosophical contribution on topics such as rule-following, logical necessity, aesthetics and the methods and aims of philosophy. This thorough critical analysis of the editorial history of Wittgenstein's works allows us to finally appreciate the profound impact the editors have had on our understanding of his philosophy, his views and his cultural significance.
Likeness to Truth
Author: G. Oddie
Publisher: Springer Science & Business Media
ISBN: 9400946589
Category : Philosophy
Languages : en
Pages : 234
Book Description
The concept of likeness to truth, like that of truth itself, is fundamental to a realist conception of inquiry. To demonstrate this we need only make two rather modest aim of an inquiry, as an inquiry, is realist assumptions: the truth doctrine (that the the truth of some matter) and the progress doctrine (that one false theory may realise this aim better than another). Together these yield the conclusion that a false theory may be more truthlike, or closer to the truth, than another. It is the aim of this book to give a rigorous philosophical analysis of the concept of likeness to truth, and to examine the consequences, some of them no doubt surprising to those who have been unduly impressed by the (admittedly important) true/false dichotomy. Truthlikeness is not only a requirement of a particular philosophical outlook, it is as deeply embedded in common sense as the concept of truth. Everyone seems to be capable of grading various propositions, in different (hypothetical) situations, according to their closeness to the truth in those situations. And (if my experience is anything to go by) there is remarkable unanimity on these pretheoretical judge ments. This is not proof that there is a single coherent concept underlying these judgements. The whole point of engaging in philosophical analysis is to make this claim plausible.
Publisher: Springer Science & Business Media
ISBN: 9400946589
Category : Philosophy
Languages : en
Pages : 234
Book Description
The concept of likeness to truth, like that of truth itself, is fundamental to a realist conception of inquiry. To demonstrate this we need only make two rather modest aim of an inquiry, as an inquiry, is realist assumptions: the truth doctrine (that the the truth of some matter) and the progress doctrine (that one false theory may realise this aim better than another). Together these yield the conclusion that a false theory may be more truthlike, or closer to the truth, than another. It is the aim of this book to give a rigorous philosophical analysis of the concept of likeness to truth, and to examine the consequences, some of them no doubt surprising to those who have been unduly impressed by the (admittedly important) true/false dichotomy. Truthlikeness is not only a requirement of a particular philosophical outlook, it is as deeply embedded in common sense as the concept of truth. Everyone seems to be capable of grading various propositions, in different (hypothetical) situations, according to their closeness to the truth in those situations. And (if my experience is anything to go by) there is remarkable unanimity on these pretheoretical judge ments. This is not proof that there is a single coherent concept underlying these judgements. The whole point of engaging in philosophical analysis is to make this claim plausible.
Reductionism, Emergence and Levels of Reality
Author: Sergio Chibbaro
Publisher: Springer
ISBN: 3319063618
Category : Science
Languages : en
Pages : 171
Book Description
Scientists have always attempted to explain the world in terms of a few unifying principles. In the fifth century B.C. Democritus boldly claimed that reality is simply a collection of indivisible and eternal parts or atoms. Over the centuries his doctrine has remained a landmark, and much progress in physics is due to its distinction between subjective perception and objective reality. This book discusses theory reduction in physics, which states that the whole is nothing more than the sum of its parts: the properties of things are directly determined by their constituent parts. Reductionism deals with the relation between different theories that address different levels of reality, and uses extrapolations to apply that relation in different sciences. Reality shows a complex structure of connections, and the dream of a unified interpretation of all phenomena in several simple laws continues to attract anyone with genuine philosophical and scientific interests. If the most radical reductionist point of view is correct, the relationship between disciplines is strictly inclusive: chemistry becomes physics, biology becomes chemistry, and so on. Eventually, only one science, indeed just a single theory, would survive, with all others merging in the Theory of Everything. Is the current coexistence of different sciences a mere historical venture which will end when the Theory of Everything has been established? Can there be a unified description of nature? Rather than an analysis of full reductionism, this book focuses on aspects of theory reduction in physics and stimulates reflection on related questions: is there any evidence of actual reduction? Are the examples used in the philosophy of science too simplistic? What has been endangered by the search for (the) ultimate truth? Has the dream of reductionist reason created any monsters? Is big science one such monster? What is the point of embedding science Y within science X, if predictions cannot be made on that basis?
Publisher: Springer
ISBN: 3319063618
Category : Science
Languages : en
Pages : 171
Book Description
Scientists have always attempted to explain the world in terms of a few unifying principles. In the fifth century B.C. Democritus boldly claimed that reality is simply a collection of indivisible and eternal parts or atoms. Over the centuries his doctrine has remained a landmark, and much progress in physics is due to its distinction between subjective perception and objective reality. This book discusses theory reduction in physics, which states that the whole is nothing more than the sum of its parts: the properties of things are directly determined by their constituent parts. Reductionism deals with the relation between different theories that address different levels of reality, and uses extrapolations to apply that relation in different sciences. Reality shows a complex structure of connections, and the dream of a unified interpretation of all phenomena in several simple laws continues to attract anyone with genuine philosophical and scientific interests. If the most radical reductionist point of view is correct, the relationship between disciplines is strictly inclusive: chemistry becomes physics, biology becomes chemistry, and so on. Eventually, only one science, indeed just a single theory, would survive, with all others merging in the Theory of Everything. Is the current coexistence of different sciences a mere historical venture which will end when the Theory of Everything has been established? Can there be a unified description of nature? Rather than an analysis of full reductionism, this book focuses on aspects of theory reduction in physics and stimulates reflection on related questions: is there any evidence of actual reduction? Are the examples used in the philosophy of science too simplistic? What has been endangered by the search for (the) ultimate truth? Has the dream of reductionist reason created any monsters? Is big science one such monster? What is the point of embedding science Y within science X, if predictions cannot be made on that basis?
Computability, Enumerability, Unsolvability
Author: S. B. Cooper
Publisher: Cambridge University Press
ISBN: 0521557364
Category : Mathematics
Languages : en
Pages : 359
Book Description
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource.
Publisher: Cambridge University Press
ISBN: 0521557364
Category : Mathematics
Languages : en
Pages : 359
Book Description
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource.