Games Unifying Logic Language And Philosophy
Download Games Unifying Logic Language And Philosophy PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Games Unifying Logic Language And Philosophy book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Games: Unifying Logic, Language, and Philosophy
Author: Ondrej Majer
language: en
Publisher: Springer Science & Business Media
Release Date: 2009-01-16
OndrejMajer,Ahti-VeikkoPietarinen,andTeroTulenheimo 1 Games and logic in philosophy Recent years have witnessed a growing interest in the unifying methodo- gies over what have been perceived as pretty disparate logical ‘systems’, or else merely an assortment of formal and mathematical ‘approaches’ to phi- sophical inquiry. This development has largely been fueled by an increasing dissatisfaction to what has earlier been taken to be a straightforward outcome of ‘logical pluralism’ or ‘methodological diversity’. These phrases appear to re ect the everyday chaos of our academic pursuits rather than any genuine attempt to clarify the general principles underlying the miscellaneous ways in which logic appears to us. But the situation is changing. Unity among plurality is emerging in c- temporary studies in logical philosophy and neighbouring disciplines. This is a necessary follow-up to the intensive research into the intricacies of logical systems and methodologies performed over the recent years. The present book suggests one such peculiar but very unrestrained meth- ological perspective over the eld of logic and its applications in mathematics, language or computation: games. An allegory for opposition, cooperation and coordination, games are also concrete objects of formal study.
Encyclopedia of Philosophy and the Social Sciences
The entries in this encyclopedia give readers an opportunity to explore interconnections, clarify commonalities as well as differences or comparative contrasts, discover new fields or ideas of intellectual interest, explore adjacent conceptual zones that may be found to further expand their own disciplinary domains, and also understand better their own academic areas of expertise and the historical provenance of each. -- p. xxxi.
Linking Game-Theoretical Approaches with Constructive Type Theory
This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. As the work’s subtitle expresses, the authors will build this link by means of the dialogical approach to logic. One important aspect of the present study is that the authors restrict themselves to the logically valid fragment of Constructive Type Theory (CTT). The reason is that, once that fragment is achieved the result can be extended to cover the whole CTT system. The first chapters in the brief offer overviews on the two frameworks discussed in the book with an emphasis on the dialogical framework. The third chapter demonstrates the left-to-right direction of the equivalence result. This is followed by a chapter that demonstrates the use of the algorithm in showing how to transform a specific winning strategy into a CCT-demonstration of the axiom of choice. The fifth chapter develops the algorithm from CTT-demonstrations to dialogical strategies. This brief concludes by introducing elements of discussion which are to be developed in subsequent work.