?
Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction
Journal of Philosophical Logic. 2018. Vol. 47. No. 6. P. 913–945.
Ma M., Pietarinen A.
We present a dynamic approach to Peirce’s original construal of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-free and cut-free proof system for the dynamic logic of abductive inferences with neighborhood semantics. Our formulation of the dynamic logic of abduction follows the philosophical and scientific track that led Peirce to his late, post-1903 characterization of abductive conclusions as investigands, namely invitations to investigate propositions conjectured at the level of pre-beliefs.
Bobrova A., Волынская К. А., Праксема. Проблемы визуальной семиотики 2026 № 2(48) С. 212–235
Musical notation has enjoyed universal recognition for centuries, whereas dance notation has remained comparatively underdeveloped and conceptually challenging. As a kinetic and embodied art form, dance requires a system of notation capable of reflecting its visual, affective, and technical dimensions while at the same time meeting the normative demands of stage practice. The first serious ...
Added: June 2, 2026
Tulchinskii G. L., Наука телевидения 2025 Vol. 21 No. 3 P. 15–42
Soviet silent cinema was an era of spectacular experimentation, burlesque, and grotesque, where the adventure genre intersected with revolutionary rhetoric, satire, and critiques of capitalism. The theme of abduction—of people, ideas, and property—appears more frequently than one might assume, particularly within genres like agitprop
adventure, crime drama, and satirical dystopia. This study addresses two interconnected objectives. The first is to identify, ...
Added: January 29, 2026
Необходимость защиты научного приоритета советских и российских ученых при преподавании ИИ-дисциплин
Yasnitsky L., В кн.: Методы и технологии обучения в вузе в условиях цифровой трансформации образования. Сборник статей по материалам Всероссийской (с международным участием) научно-методической конференции.: Пермь: Пермский государственный национальный исследовательский университет, 2023.
Abstract. The paper draws attention to the injustice in the distribution of scientific priority of some scientists who have ever worked in the field of artificial intelligence. The need to restore justice and protect the scientific priority of Soviet and Russian scientists through lectures and publications of scientific and pedagogical literature by scientific and pedagogical ...
Added: February 4, 2024
Pietarinen A., Beni M., Biosemiotics 2021
The background target of the research going into the present article is to forge an intellectual alliance between, on the one hand, active inference and the free-energy principle (FEP), and on the other, Charles S. Peirce’s theory of semiotics and pragmatism. In the present paper, the focus is on the allegiance between the nomenclatures of active and abductive inferences ...
Added: May 17, 2021
Bobrova A., Эпистемология и философия науки 2020 Т. 57 № 3 С. 176–189
Finally, the first book started Peirceana. Peirceana is expected as a new series that provides access to both Peirce’s mostly unpublished late works and secondary papers, in which ideas of this American philosopher are developed. This edition is opened with three volumes on Peirce’s manuscripts on “Logic of the Future.” The thinker gave this definition ...
Added: April 19, 2021
Shumilina V., / Series HUM "Humanities". 2020.
The paper suggests the abductive theory of meaning as a project based on the theory of abduction (Ch. S. Peirce), pragmatics (P. Grice) and normative inferentialism (R. Brandom). The proposed theory addresses the problem of emergence of new meanings, dynamics of meaning, and development of capacity to understand meaning. In place of question of nature ...
Added: November 15, 2020
Pietarinen A., Logic Journal of the IGPL 2020
Abductive conclusions are drawn in a special, co-hortative mood (Peirce’s ‘investigand’). Abductive conclusions are representative interpretants that represent abduction (or retroduction) as a form of reasoning that can convey a general conception of the truth. The truth is not asserted; abduction merely delivers the idea of a matter of course, rendering that idea comparatively simple ...
Added: September 9, 2020
Pietarinen A., Chiffi D., Contemporary Pragmatism 2020 Vol. 17 No. 2-3 P. 205–227
Arguments from knowability have largely been concerned with cases for and against realism, or truth as an epistemic vs. non-epistemic concept. This article proposes bringing Peirce’s pragmaticism, called here ‘action-first’ epistemology, to bear on the issue. It is shown that a notion weaker than knowability, namely conjecturability, is epistemologically a better-suited notion to describe an essential ...
Added: August 28, 2020
Pietarinen A., Bellucci F., Transactions of the Charles S. Peirce Society 2020 Vol. 56 No. 1 P. 43–61
Peirce's semiotic characterization of abductive reasoning in the 1903 Syllabus and in its drafts is related to the interrogative mood of the conclusion of abductive reasoning, both in the light of the Syllabus and in that of Peirce's post-1903 analysis of abduction and speculative grammar. The relevant pages of the Syllabus also present two non-standard ...
Added: August 28, 2020
Bellucci F., Pietarinen A., Studies in History and Philosophy of Science Part A 2020 Vol. 84 P. 12–19
What sort of justification can be claimed for abduction? In this paper we reconstruct Peirce's answer to this question. We show that in his early works on the logic of science Peirce provided an abductive justification of abduction, and that in his mature writings the early solution is enriched by a reference to the place ...
Added: June 25, 2020
Chiffi D., Pietarinen A., Proover M., Futures 2020 Vol. 115 P. 1–9
Anticipation operates under abductive modes of reasoning. Anticipatory abduction is normative and appeals to principles of the economy of research. As a defeasible mode of reasoning, abduction copes with fundamental uncertainty of the future in rational, logical and anticipatory manners. Abduction arises from the mind's ability to perceive logical and counterfactual relationships. This perceptual experience (i) happens on an interval, (ii) is linked to the ...
Added: June 25, 2020
Пасквинелли М., Новое литературное обозрение 2019 Т. 158 № 4 С. 153–168
The text highlights the role of logic gates in the distributed architecture of neural networks, in which a generalized control loop affects each node of computation to perform pattern recognition. In this distributed and adaptive architecture of logic gates, rather than applying logic to information top-down, information turns into logic, that is, a representation of the ...
Added: October 31, 2019
Pietarinen A., IfCoLoG Journal of Logics and their Applications 2018 Vol. 5 No. 5 P. 1121–1143
There is abduction in games. Players deliberating about possible future histories take those positions, which according to the standard common knowledge and belief of rationality will never actually be reached, as the surprising facts that need accommodation. The need for such accommodation sets their minds in motion and trigger reasoning from effect to causes. Players ...
Added: May 9, 2019
Pietarinen A., Semiotica 2019 Vol. 228 P. 237–257
Peirce aspired for the completeness of his logic cum the theory of signs in his 1903 Lowell Lectures and other late manuscripts. Semeiotic completeness states that everything that is a consequence in logical critic is derivable in speculative grammar. The present paper exposes the reasons why Peirce would fall short of establishing semeiotic completeness and ...
Added: May 9, 2019
Ma M., Pietarinen A., Review of Symbolic Logic 2020 Vol. 13 No. 3 P. 509–540
This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted by PC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim ...
Added: November 3, 2018
Ma M., Pietarinen A., Synthese 2017 Vol. 195 No. 8 P. 3621–3650
We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics ...
Added: September 16, 2018
Bellucci F., Chiffi D., Pietarinen A., Journal of Applied Non-Classical Logics 2018 Vol. 28 No. 1 P. 72–91
Peirce and Frege both distinguished between the propositio
nal content of an assertion and
the assertion of a propositional content, but with different
notational means. We present a
modification of Peirce’s graphical method of logic that can b
e used to reason about assertions
in a manner similar to Peirce’s original method. We propose a
new system of Assertive
Graphs (AGs), which unlike ...
Added: September 16, 2018
Chiffi D., Pietarinen A., Synthese 2018 P. 1–17
This paper presents an enrichment of the Gabbay–Woods schema of Peirce’s 1903 logical form of abduction with illocutionary acts, drawing from logic for pragmatics and its resources to model justified assertions. It analyses the enriched schema and puts it into the perspective of Peirce’s logic and philosophy. ...
Added: September 16, 2018
Timashov K., TERRA AESTHETICAE Теоретический журнал Российского эстетического общества 2018 № 1 С. 250–263
Review of the book “Cinema and semiotics. Deleuze in question” written in French by Anne Dymek that analyses the semiotic aspects of the film philosophy elaborated by G. Deleuze in his two-volume book “Cinema 1&2”. It focuses on the main chapters of the reviewed book that discuss the questions concerning the relations between Ch. S. ...
Added: September 13, 2018