?
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.
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
Shumilina V., / Basic Research Programme. 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
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
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
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
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
Finn V., Mikheyenkova M., Logic and Logical Philosophy 2011 No. 20 P. 113-139
The plausible reasoning class (called the JSM-reasoning in honour of John Stuart Mill) is described. It implements interaction of three forms of non-deductive procedures _ induction, analogy and abduction. Empirical induction in the JSM-reasoning is the basis for generation of hypotheses on causal relations (determinants of social behaviour). Inference by analogy means that predictions about ...
Added: December 9, 2011
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., 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
Необходимость защиты научного приоритета советских и российских ученых при преподавании ИИ-дисциплин
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., Chiffi D., Grecucci A., Journal of Medicine and Philosophy 2018
This paper presents and defends an integrated view of the placebo effect , termed “affective -meaning- making” model, which draws from theoretical reflection, clinical outcomes and neurophysiological findings. We consider the theoretical limitations of those proposals associated with the „meaning view‟ on the placebo effect which (i) leave the general aspects of meaning unspecified, (ii) ...
Added: November 3, 2018
Mikheenkova M. A., Кученкова А. В., В кн. : Тезаурус социологии. Книга 2. Методология и методы социологических исследований. : М. : ЮНИТИ-ДАНА, 2013. С. 183-186.
Излагаются основные возможности ДСМ-метода автоматического порождения гипотез применительно к анализу эмпирических социологических данных, характеризуются требования к представлению данных и знаний для успешного применения метода ...
Added: March 15, 2013
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
Пасквинелли М., Новое литературное обозрение 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
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
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
Gambarato R., Alzamora G. C., Ocula – Semiotic Eye on Media 2014 No. 15 P. 01-13
In this article, we discuss the pragmatic relationship between semiosis and communication in order to characterize transmedia dynamics as a pragmatic offshoot of semiosis in media, a perspective that accounts for the incompleteness of the interpretant in its meditated actions. The theoretical approach is based on the communication perspective of the sign developed by Charles ...
Added: November 5, 2014
Muravyeva M. G., Russian History 2016 Vol. 43 No. 3-4 P. 338-471
The abduction of women is closely connected with traditional or primitive societies. Anthropologists tie it with alternative marriage arrangements, characteristic of those systems where marriages are arranged by parents; historians tend to view the abduction of women as part of early history of developed nations, mostly the Middle Ages. In Russia, recent historiographical discussion of ...
Added: January 3, 2017
Gambarato R., Sign System Studies 2013 Vol. 41 No. 4 P. 424-432
This paper discusses design process as a creative activity along with conceptual correlations of the semiotics developed by Charles Sanders Peirce. The central aim of this paper is to examine one of the most important concepts in Peirce’s theory related to design praxis: the concept of abduction. Abduction is the driving force behind creation and ...
Added: February 17, 2014
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
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
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