Author:
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 292
Book Description
Atti del Congresso Nuovi problemi della logica e della filosofia della scienza: Filosofia della scienza e fondamenti della probabilità e della statistica
Author:
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 292
Book Description
Publisher:
ISBN:
Category : Logic
Languages : en
Pages : 292
Book Description
Prospettive della logica e della filosofia della scienza
Author: Società italiana di logica e filosofia della scienza. Congresso
Publisher: Rubbettino Editore
ISBN: 9788849801507
Category : Philosophy
Languages : it
Pages : 454
Book Description
Publisher: Rubbettino Editore
ISBN: 9788849801507
Category : Philosophy
Languages : it
Pages : 454
Book Description
Atti del Congresso logica e filosofia della scienza, oggi: Epistemologia e logica induttiva
Author:
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : it
Pages : 372
Book Description
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : it
Pages : 372
Book Description
The Foundations of Quantum Mechanics
Author: Claudio Garola
Publisher: Springer Science & Business Media
ISBN: 9401100292
Category : Science
Languages : en
Pages : 455
Book Description
In The Foundations of Quantum Mechanics - Historical Analysis and Open Questions, leading Italian researchers involved in different aspects of the foundations and history of quantum mechanics are brought together in an interdisciplinary debate. The book therefore presents an invaluable overview of the state of Italian work in the field at this moment, and of the open problems that still exist in the foundations of the theory. Audience: Physicists, logicians, mathematicians and epistemologists whose research concerns the historical analysis of quantum mechanics.
Publisher: Springer Science & Business Media
ISBN: 9401100292
Category : Science
Languages : en
Pages : 455
Book Description
In The Foundations of Quantum Mechanics - Historical Analysis and Open Questions, leading Italian researchers involved in different aspects of the foundations and history of quantum mechanics are brought together in an interdisciplinary debate. The book therefore presents an invaluable overview of the state of Italian work in the field at this moment, and of the open problems that still exist in the foundations of the theory. Audience: Physicists, logicians, mathematicians and epistemologists whose research concerns the historical analysis of quantum mechanics.
Realism and antirealism in metaphysics, science and language
Author: AA. VV.
Publisher: FrancoAngeli
ISBN: 8835158125
Category : Philosophy
Languages : en
Pages : 307
Book Description
490.113
Publisher: FrancoAngeli
ISBN: 8835158125
Category : Philosophy
Languages : en
Pages : 307
Book Description
490.113
The Logical Alien
Author: Sofia Miguens
Publisher: Harvard University Press
ISBN: 0674242831
Category : Philosophy
Languages : en
Pages : 1081
Book Description
“A remarkable book capable of reshaping what one takes philosophy to be.” —Cora Diamond, Kenan Professor of Philosophy Emerita, University of Virginia Could there be a logical alien—a being whose ways of talking, inferring, and contradicting exhibit an entirely different logical shape than ours, yet who nonetheless is thinking? Could someone, contrary to the most basic rules of logic, think that two contradictory statements are both true at the same time? Such questions may seem outlandish, but they serve to highlight a fundamental philosophical question: is our logical form of thought merely one among many, or must it be the form of thought as such? From Descartes and Kant to Frege and Wittgenstein, philosophers have wrestled with variants of this question, and with a range of competing answers. A seminal 1991 paper, James Conant’s “The Search for Logically Alien Thought,” placed that question at the forefront of contemporary philosophical inquiry. The Logical Alien, edited by Sofia Miguens, gathers Conant’s original article with reflections on it by eight distinguished philosophers—Jocelyn Benoist, Matthew Boyle, Martin Gustafsson, Arata Hamawaki, Adrian Moore, Barry Stroud, Peter Sullivan, and Charles Travis. Conant follows with a wide-ranging response that places the philosophical discussion in historical context, critiques his original paper, addresses the exegetical and systematic issues raised by others, and presents an alternative account. The Logical Alien challenges contemporary conceptions of how logical and philosophical form must each relate to their content. This monumental volume offers the possibility of a new direction in philosophy.
Publisher: Harvard University Press
ISBN: 0674242831
Category : Philosophy
Languages : en
Pages : 1081
Book Description
“A remarkable book capable of reshaping what one takes philosophy to be.” —Cora Diamond, Kenan Professor of Philosophy Emerita, University of Virginia Could there be a logical alien—a being whose ways of talking, inferring, and contradicting exhibit an entirely different logical shape than ours, yet who nonetheless is thinking? Could someone, contrary to the most basic rules of logic, think that two contradictory statements are both true at the same time? Such questions may seem outlandish, but they serve to highlight a fundamental philosophical question: is our logical form of thought merely one among many, or must it be the form of thought as such? From Descartes and Kant to Frege and Wittgenstein, philosophers have wrestled with variants of this question, and with a range of competing answers. A seminal 1991 paper, James Conant’s “The Search for Logically Alien Thought,” placed that question at the forefront of contemporary philosophical inquiry. The Logical Alien, edited by Sofia Miguens, gathers Conant’s original article with reflections on it by eight distinguished philosophers—Jocelyn Benoist, Matthew Boyle, Martin Gustafsson, Arata Hamawaki, Adrian Moore, Barry Stroud, Peter Sullivan, and Charles Travis. Conant follows with a wide-ranging response that places the philosophical discussion in historical context, critiques his original paper, addresses the exegetical and systematic issues raised by others, and presents an alternative account. The Logical Alien challenges contemporary conceptions of how logical and philosophical form must each relate to their content. This monumental volume offers the possibility of a new direction in philosophy.
Twenty Five Years of Constructive Type Theory
Author: Giovanni Sambin
Publisher: Clarendon Press
ISBN: 0191589039
Category : Mathematics
Languages : en
Pages : 294
Book Description
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.
Publisher: Clarendon Press
ISBN: 0191589039
Category : Mathematics
Languages : en
Pages : 294
Book Description
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.
Atti Del ... Congresso Internazionale Dei Matematici ...
Author:
Publisher:
ISBN:
Category : Mathematics
Languages : it
Pages : 605
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : it
Pages : 605
Book Description
History and Philosophy of Constructive Type Theory
Author: Giovanni Sommaruga
Publisher: Springer Science & Business Media
ISBN: 9401593930
Category : Philosophy
Languages : en
Pages : 377
Book Description
A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.
Publisher: Springer Science & Business Media
ISBN: 9401593930
Category : Philosophy
Languages : en
Pages : 377
Book Description
A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.
The Act and Object of Judgment
Author: Brian Ball
Publisher: Routledge
ISBN: 0429787618
Category : Philosophy
Languages : en
Pages : 267
Book Description
This book presents 12 original essays on historical and contemporary philosophical discussions of judgment. The central issues explored in this volume can be separated into two groups namely, those concerning the act and object of judgment. What kind of act is judgment? How is it related to a range of other mental acts, states, and dispositions? Where and how does assertive force enter in? Is there a distinct category of negative judgments, or are these simply judgments whose objects are negative? Concerning the object of judgment: How many objects are there of a given judgment? One, as on the dual relation theory of Frege and Moore? Or many as in Russell’s later multiple relation theory? If there is a single object, is it a proposition? And if so, is it a force-neutral, abstract entity that might equally figure as the object of a range of intentional attitudes? Or is it somehow constitutively tied to the act itself? These and related questions are approached from a variety of historical and contemporary perspectives. This book sheds new light on current controversies by drawing on the details of the distinct intellectual contexts in which previous philosophers’ positions about the nature of judgment were formulated. In turn, new directions in present-day research promise to raise novel interpretive prospects and challenges in the history of philosophy.
Publisher: Routledge
ISBN: 0429787618
Category : Philosophy
Languages : en
Pages : 267
Book Description
This book presents 12 original essays on historical and contemporary philosophical discussions of judgment. The central issues explored in this volume can be separated into two groups namely, those concerning the act and object of judgment. What kind of act is judgment? How is it related to a range of other mental acts, states, and dispositions? Where and how does assertive force enter in? Is there a distinct category of negative judgments, or are these simply judgments whose objects are negative? Concerning the object of judgment: How many objects are there of a given judgment? One, as on the dual relation theory of Frege and Moore? Or many as in Russell’s later multiple relation theory? If there is a single object, is it a proposition? And if so, is it a force-neutral, abstract entity that might equally figure as the object of a range of intentional attitudes? Or is it somehow constitutively tied to the act itself? These and related questions are approached from a variety of historical and contemporary perspectives. This book sheds new light on current controversies by drawing on the details of the distinct intellectual contexts in which previous philosophers’ positions about the nature of judgment were formulated. In turn, new directions in present-day research promise to raise novel interpretive prospects and challenges in the history of philosophy.