Author:
Publisher:
ISBN:
Category : Logic
Languages : it
Pages : 292

Get Book Here

Book Description

Author: Società italiana di logica e filosofia della scienza. Congresso
Publisher: Rubbettino Editore
ISBN: 9788849801507
Category : Philosophy
Languages : it
Pages : 454

Get Book Here

Book Description

Author: Claudio Garola
Publisher: Springer Science & Business Media
ISBN: 9401100292
Category : Science
Languages : en
Pages : 455

Get Book Here

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.

Author: Giovanni Sambin
Publisher: Clarendon Press
ISBN: 0191589039
Category : Mathematics
Languages : en
Pages : 294

Get Book Here

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.

Author:
Publisher:
ISBN:
Category : Mathematics
Languages : it
Pages : 605

Get Book Here

Book Description

Author: AA. VV.
Publisher: FrancoAngeli
ISBN: 8835158125
Category : Philosophy
Languages : en
Pages : 307

Get Book Here

Book Description
490.113

Author:
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : it
Pages : 372

Get Book Here

Book Description

Author: Giovanni Sommaruga
Publisher: Springer Science & Business Media
ISBN: 9401593930
Category : Philosophy
Languages : en
Pages : 377

Get Book Here

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.

Author: Giuseppe Primiero
Publisher: Springer Science & Business Media
ISBN: 1402061706
Category : Social Science
Languages : en
Pages : 215

Get Book Here

Book Description
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.

Author: Gabriele Usberti
Publisher: Springer Nature
ISBN: 3031246055
Category : Philosophy
Languages : en
Pages : 409

Get Book Here

Book Description
This volume develops a theory of meaning and a semantics for both mathematical and empirical sentences inspired to Chomsky’s internalism, namely to a view of semantics as the study of the relations of language not with external reality but with internal, or mental, reality. In the first part a theoretical notion of justification for a sentence A is defined, by induction on the complexity of A; intuitively, justifications are conceived as cognitive states of a particular kind. The main source of inspiration for this part is Heyting’s explanation of the intuitionistic meaning of logical constants. In the second part the theory is applied to the solution of several foundational problems in the theory of meaning and epistemology, such as Frege’s puzzle, Mates’ puzzle about synonymy, the paradox of analysis, Kripke’s puzzle about belief, the de re/de dicto distinction, the specific/non-specific distinction, Gettier’s problems, the paradox of knowability, and the characterization of truth. On a more general philosophical level, throughout the book the author develops a tight critique of the neo-verificationism of Dummett, Prawitz and Martin-Löf, and defends a mentalist interpretation of intuitionism.