[图书][B] Logical dynamics of information and interaction

J Van Benthem - 2011 - books.google.com
This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

[图书][B] Philosophy of science: A unified approach

G Schurz - 2013 - taylorfrancis.com
Philosophy of Science: A Unified Approach combines a general introduction to philosophy of
science with an integrated survey of all its important subfields. As the book's subtitle …

Monism: The one true logic

S Read - A logical approach to philosophy: Essays in honour of …, 2006 - Springer
Logical pluralism is the claim that different accounts of validity can be equally correct. Beall
and Restall have recently defended this position. Validity is a matter of truth-preservation …

What is logic?

J Hintikka, G Sandu - Philosophy of logic, 2007 - Elsevier
Publisher Summary This chapter provides an overview of the concept of logic. Logic can be
identified as the study of inferences and inferential relations. The practical use of logic is in …

Interdisciplinarity and Peirce's classification of the sciences: A centennial reassessment

AV Pietarinen - Perspectives on Science, 2006 - direct.mit.edu
This paper discusses the American scientist and philosopher Charles S. Peirce's (1839–
1914) classification of the sciences from the contemporary perspective of interdisciplinary …

Logical models for bounded reasoners

A Solaki - 2021 - eprints.illc.uva.nl
This dissertation aims at the logical modelling of aspects of human reasoning, informed by
facts on the bounds of human cognition. We break down this challenge into three parts: Part …

On the Conceptualization of Force in Johannes Kepler's Corpus: An Interplay Between Physics/Mathematics and Metaphysics

R Pisano, P Bussotti - Hypotheses and Perspectives in the History and …, 2018 - Springer
In this chapter, we present the concept of force in Kepler. We follow the development of this
concept during Kepler's scientific career, starting from his early considerations in the …

Categorical foundations of mathematics or how to provide foundations for abstract mathematics

JP Marquis - The Review of Symbolic Logic, 2013 - cambridge.org
Feferman's argument presented in 1977 seemed to block any possibility for category theory
to become a serious contender in the foundational game. According to Feferman, two …

[图书][B] The story of proof: logic and the history of mathematics

J Stillwell - 2022 - books.google.com
How the concept of proof has enabled the creation of mathematical knowledge The Story of
Proof investigates the evolution of the concept of proof—one of the most significant and …

The undecidability of propositional adaptive logic

L Horsten, P Welch - Synthese, 2007 - Springer
We investigate and classify the notion of final derivability of two basic inconsistency-adaptive
logics. Specifically, the maximal complexity of the set of final consequences of decidable …