?
Semeiotic completeness in the theory of signs
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 thus why he would not continue seeking a perfect match between the theories of grammar and critic. Some alternative notions are then proposed.
Cham: Springer, 2026.
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.
The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:
Part I: Theorem ...
Added: July 26, 2026
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
Zaitsev I., Логические исследования 2025 Т. 31 № 2 С. 143–168
This article presents a labeled Fitch-style natural deduction system, 𝓕IntCK, for the basic propositional intuitionistic conditional logic IntCK introduced by G.K. Olkhovikov. The logic IntCK serves as a correct intuitionistic counterpart to Chellas' minimal conditional logic CK, designed to accommodate Lewis' strong and weak counterfactual conditionals within a single framework. In order to do this, IntCK features two independent logical connectives, namely □→ and ◇→, ...
Added: November 23, 2025
Chaplygina S., Alexy V. Galatenko, Quasigroups and Related Systems 2024 Vol. 32 No. 2 P. 207–223
Finite quasigroups and n-quasigroups are currently extensively utilized to implement various cryptographic functions. Cryptographic requirements lead to constraints imposed on quasigroups and n-quasigroups. In particular, V. A. Artamonov proposed using polynomially complete quasigroups. Polynomial completeness can be decided with the help of a criterion of J. Hagemann and C. Herrmann: a quasigroup is polynomially complete ...
Added: December 29, 2024
Polyakov L., Вестник Московского университета. Серия 7: Философия 2024 Т. 48 № 4 С. 29–43
Th is paper is an attempt to explicate the logic of transformation Alexander
Zinoviev’s logical conception, designated by him as “complex logic”, into
original genre of literature — “sociological novel”. To understand this process more
deeper, I have compared Zinoviev’s search with Hegel’s defi nition of logic as a science
and with paradoxical presumptions of “Th e Logical-Philosophical Tractatus” ...
Added: December 24, 2024
Cham: Springer, 2024.
This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen’s, Belfast. In a number of areas, Weir has elaborated strikingly original views which involve a radical departure from the mainstream. ...
Added: September 12, 2024
Cham: Springer, 2022.
Added: August 7, 2022
Якушева Е. Е., Lex Russica (Русский закон) 2021 № 8 С. 110–117
The paper is devoted to the transformation of information transparency of Russian securities issuers after the implementation of sanctions by foreign states and international organizations against a significant number of Russian companies. In response to foreign policy pressure, the Russian state quite naturally took a number of steps to protect domestic companies affected by sanctions, ...
Added: October 29, 2021
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
Cham: Springer, 2020.
This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics.
This combination of breadth and penetrating originality is rare and impressive. This ...
Added: November 25, 2020
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
Gavrilovich M., Communications in Algebra 2020 Vol. 48 No. 4 P. 1548–1566
We formulate two conjectures about étale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique ZZ-form of the étale cohomology of complex algebraic varieties, up to Aut(C)Aut(C)-action on the source category; put differently, each comparison isomorphism between Betti and étale cohomology comes from a choice of a ...
Added: October 29, 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
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
Kryuchkova S. E., М.: Юрайт, 2020.
The development of the ideas of argumentation in the Ancient World was closely connected with the formation of logic as a science of thinking, as well as the development of oratory. The presence of constant rhetorical practice, during which the most effective methods of persuading speech influence were developed, stimulated the development of similar ideas ...
Added: December 28, 2019
Centre for Language, Logic and Speech at the Tbilisi State University, 2017.
The Tbilisi Symposium on Language, Logic and Computation is an interdisciplinary conference at the interface of logic, linguistics and computer science with the goal of sharing new results and developing mutually beneficial relationship between these fields. The Symposium is held biennially in different parts of Georgia. It is organized by the Institute for Logic, Language ...
Added: October 8, 2019
Berlin, Heidelberg: Springer, 2019.
Added: September 4, 2019
Lvovsky S., М.: МЦНМО, 2019.
Chapter 1 contains 25 mathematical an logical sophisms; the reader is encouraged to find errors in the arguments "proving" the absurd assertions. In Chaper 2, we analyze these sophisms. ...
Added: September 2, 2019
Vasyukov V. L., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 60–61.
Contemporary science to date is featuring by an interdisciplinary approach
that is claimed in many newest scienti c programs. Interdisciplinary interaction
according to V. S. Stepin is based \on 'paradigmatic grafting' { transfer of
notions of the special scienti c picture of the world, as well as investigation
ideals and norms, from one scienti c discipline to another" [1, p. 307]. ...
Added: June 30, 2019