Sten Lindstrom – författare
Visar alla böcker från författaren Sten Lindstrom. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Inbunden, Engelska, 1997
868 kr
Skickas inom 10-15 vardagar
This book is divided into three parts. In the first part, Action, are collected papers that concern the formal theory of action, the logic of norms, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics. The third part, Cognition, concerns Fitch's knowability paradox as well as problems concerning the graphic representation of information.
E-bok
PDF, Engelska, 20083 948 kr
Läs direkt efter köp
E-bok
PDF, Engelska, 20122 840 kr
Läs direkt efter köp
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics?
E-bok
PDF, Engelska, 20121 416 kr
Läs direkt efter köp
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.
E-bok
PDF, Engelska, 20121 416 kr
Läs direkt efter köp
E-bok
PDF, Engelska, 2012712 kr
Läs direkt efter köp
The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the Department of Linguistics, and it was called UmLLI-93, the Umea Colloquium on Dynamic Approaches in Logic, Language and Information. The papers published here are considerably expanded and revised versions of talks presented by invited speakers at this colloquium. The papers included here fall into three broad categories. In the first part of the book, Action, we have collected papers that concern the formal theory of action, the logic of nonns, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics in the tradition of Alchourr6n, Gardenfors and Makinson. The third part, Cognition, concerns abstract questions about knowledge and truth as well''as more concrete questions about theusefuleness and tractability of various graphic representations of infonnation. An additional and important topic of the colloquium concerned logical approaches to natural language. For the sake of the thematic unity of this book, and its appearance in the series Trends in logic, the colloquium papers related to language are not included here, but some of these contributions will appear in the philosophical journal Theoria.