[图书][B] Signs of logic
AV Pietarinen - 2006 - Springer
The idea for this book was suggested by Bill Cobern. We would like to thank him for his
encouragement and support. A number of people assisted in the preparation of this book …
encouragement and support. A number of people assisted in the preparation of this book …
From games to dialogues and back: towards a general frame for validity
S Rahman, T Tulenheimo - Games: unifying logic, language, and …, 2009 - Springer
In this article two game-theoretically flavored approaches to logic are systematically
compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game …
compared: dialogical logic founded by Paul Lorenzen and Kuno Lorenz, and the game …
[HTML][HTML] Independence friendly logic
T Tulenheimo - 2009 - seop.illc.uva.nl
Independence friendly logic (IF logic, IF first-order logic) is an extension of first-order logic. In
it, more quantifier dependencies and independencies can be expressed than in first-order …
it, more quantifier dependencies and independencies can be expressed than in first-order …
Games as formal tools versus games as explanations in logic and science
AV Pietarinen - Foundations of Science, 2003 - Springer
This paper addresses the theoretical notion of a game as it arisesacross scientific inquiries,
exploring its uses as a technical andformal asset in logic and science versus an explanatory …
exploring its uses as a technical andformal asset in logic and science versus an explanatory …
[图书][B] Logic, epistemology, and the unity of science
Logic, Epistemology, and the Unity of Science aims to reconsider the question of the unity of
science in light of recent developments in logic. At present, no single logical, semantical or …
science in light of recent developments in logic. At present, no single logical, semantical or …
[PDF][PDF] Games in philosophical logic
A Pietarinen, G Sandu - Nordic Journal of Philosophical Logic, 1999 - researchgate.net
Semantic games are an important evaluation method for a wide range of logical languages,
and are frequently resorted to when traditional methods do not easily apply. A case in point …
and are frequently resorted to when traditional methods do not easily apply. A case in point …
Semantic games in logic and epistemology
AV Pietarinen - Logic, epistemology, and the unity of science, 2004 - Springer
The purpose of this paper is to introduce the reader to game-theoretic semantics (GTS), and
to chart some of its current directions, with a focus on epistemological issues. GTS was …
to chart some of its current directions, with a focus on epistemological issues. GTS was …
Peirce's diagrammatic logic in IF perspective
AV Pietarinen - International Conference on Theory and Application of …, 2004 - Springer
This paper presents a topological and game-theoretic extension of the system of Existential
Graphs (eg). Eg s were Charles S. Peirce's diagrammatic and iconic approach to logic. By …
Graphs (eg). Eg s were Charles S. Peirce's diagrammatic and iconic approach to logic. By …
Towards evaluation games for fuzzy logics
The article provides two kinds of game-theoretical semantics for fuzzy logics with special
attention to Łukasiewicz logic. The first one is a generalization of the evaluation games for …
attention to Łukasiewicz logic. The first one is a generalization of the evaluation games for …
Propositional logic of imperfect information: foundations and applications
AV Pietarinen - Notre Dame Journal of Formal Logic, 2001 - projecteuclid.org
I will show that the semantic structure of a new imperfect-information propositional logic can
be described in terms of extensive forms of semantic games. I will discuss some ensuing …
be described in terms of extensive forms of semantic games. I will discuss some ensuing …