Collected Papers of Stig Kanger with Essays on his Life and Work Volume II PDF Download

Author: Ghita Holmström-Hintikka
Publisher: Springer Science & Business Media
ISBN: 940100630X
Category : Philosophy
Languages : en
Pages : 282

View

Book Description
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to action theory, preference logic, and the theory of measurement. This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.

Author: Ghita Holmström-Hintikka
Publisher: Springer Science & Business Media
ISBN: 9401005001
Category : Mathematics
Languages : en
Pages : 313

View

Book Description
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to action theory, preference logic, and the theory of measurement. This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.

Author: Helena Eilstein
Publisher: Springer Science & Business Media
ISBN: 9781402006708
Category : Juvenile Nonfiction
Languages : en
Pages : 176

View

Book Description
These works concern fundamental philosophical problems of time and spacetime, such as the implications of the absolute and relations concepts of motion for the disputes about the character of spacetime, the role of relativity, quantum mechanics, quantum gravity and noncommutative geometry with respect to the controversy concerning the objectivity of the flow of time, the existence of the future, the concept of branching spacetime. One paper presents the views on time of an outstanding representative of phenomenology, Roman Ingarden, thus enriching the book with some questions of philosophical anthropology and ethics. The collection is mainly addressed to research workers and graduate students.

Author: Michał Araszkiewicz
Publisher: Springer
ISBN: 3319195751
Category : Law
Languages : en
Pages : 567

View

Book Description
This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of law making. Elaborations of the process of law making have variously emphasised its political, social or economic aspects. Yet despite strong interest in logical analyses of law, questions remains about the role of logical tools in law making. This volume attempts to bridge that gap, or at least to narrow it, drawing together some important research problems—and some possible solutions—as seen through the work of leading contemporary academics. The volume encompasses 20 chapters written by authors from 16 countries and it presents diversified views on the understanding of logic (from strict mathematical approaches to the informal, argumentative ones) and differentiated choices concerning the aspects of law making taken into account. The book presents a broad set of perspectives, insights and results into the emerging field of research devoted to the logical analysis of the area of creation of law. How does logic inform lawmaking? Are legal systems consistent and complete? How can legal rules be represented by means of formal calculi and visualization techniques? Does the structure of statutes or of legal systems resemble the structure of deductive systems? What are the logical relations between the basic concepts of jurisprudence that constitute the system of law? How are theories of legal interpretation relevant to the process of legislation? How might the statutory text be analysed by means of contemporary computer programs? These and other questions, ranging from the theoretical to the immediately practical, are addressed in this definitive collection.

Author: Peter Gärdenfors
Publisher: Springer Science & Business Media
ISBN: 9401704759
Category : Science
Languages : en
Pages : 584

View

Book Description
This is the second of two volumes containing papers submitted by the invited speakers to the 11th international Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited speakers are the leading researchers and accordingly the book presents the current state of the intellectual discourse in the respective fields.

Author: Danièle Bourcier
Publisher: IOS Press
ISBN: 9781586033989
Category : Computers
Languages : en
Pages : 202

View

Book Description
The range of topics addressed in this volume is broader than in previous JURIX volumes. All the main legal functions are covered: legal drafting, legal negotiating, legal decision making and legal argumentation.

Author: Alfons Keupink
Publisher: Springer Science & Business Media
ISBN: 140204299X
Category : Philosophy
Languages : en
Pages : 405

View

Book Description
This volume collects some of the most significant papers of Arthur Pap. Pap’s work played an important role in the development of the analytic tradition. This goes beyond the merely historical fact of Pap’s influential views of dispositional and modal concepts. Pap's writings in philosophy of science, modality, and philosophy of mathematics provide insightful alternative perspectives on philosophical problems of current interest.

Author: Bruno de Finetti
Publisher: Springer Science & Business Media
ISBN: 1402082029
Category : Science
Languages : en
Pages : 239

View

Book Description
Bruno de Finetti (1906–1985) is the founder of the subjective interpretation of probability, together with the British philosopher Frank Plumpton Ramsey. His related notion of “exchangeability” revolutionized the statistical methodology. This book (based on a course held in 1979) explains in a language accessible also to non-mathematicians the fundamental tenets and implications of subjectivism, according to which the probability of any well specified fact F refers to the degree of belief actually held by someone, on the ground of her whole knowledge, on the truth of the assertion that F obtains.

Author: V. Rantala
Publisher: Springer Science & Business Media
ISBN: 9401715211
Category : Science
Languages : en
Pages : 332

View

Book Description
In this book, the author makes a systematic attempt to understand cognitive characteristics of translation by bringing its logical, pragmatic and hermeneutic features together and examining a number of scientific, logical, and philosophical applications. The book is for philosophers of science, linguists, logicians, historians of science, and scientists interested in philosophical questions of scientific change.

Author: Peter Gardenfors
Publisher: Springer Science & Business Media
ISBN: 9781402033988
Category : Computers
Languages : en
Pages : 316

View

Book Description
This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors’ research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences.