As the foundation of our rationality, logic has traditionally been considered fixed, stable and constant. This conception of the discipline has been challenged recently by the plurality of logics and in this book, Pavel Arazim extends the debate to offer a new view of logic as dynamic and without a definite, specific shape. The Problem of Plurality of Logics examines the origins of our standard view of logic alongside Kant's theories, the holistic view, the issue of logic's pragmatic (...) significance and Robert Brandom's logical expressivism. Arazim then draws on proof-theoretical approaches to present a convincing argument for a dynamic version of logical inferentialism, which opens space for a new freedom to modify our own logic. He explores the scope, possibilities and limits of this freedom in order to highlight the future paths logic could take, as a motivation for further research. Marking a departure from logical monism and also from the recent doctrine of logical pluralism in its various forms, this book addresses current debates concerning the expressive role of logic and contributes to a lively area of discussion in analytic philosophy. (shrink)

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2015, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

Various attempts at demarcating logic were undertaken, many of them based on specific understanding of how logical knowledge is formal and not material. MacFarlane has persuasively shown that general idea of formality of logic can be understood in various ways. I take two of the accounts of formality, namely the requirement of conservativity and the requirement of schematicity of logical vocabulary, into consideration as promising candidates to make the all too unclear notion of formality more precise and study to what (...) degree they could be considered as either necessary or sufficient conditions for logicality of some piece of vocabulary. Finding both notion unsatisfactory, as they stand, I propose combining them and envisage a hierarchy of logicality of expressions of a given language. Such a hierarchy is complicated and not linear, yet still offers a valuable explication of both the range and pragmatic significance of logic, if we combine it with logical expressivism. (shrink)

Logical pluralism from historical perspective -The plurality of logics is understood as a challenge to seek a deeper understanding of the na- ture and import of logic. Two basic approaches to demarcation of logic are considered, the model-theoretic and the proof-theoretic one. Investigation of the history which led to these two appraoches identifies the postion of logic in Kant's epistemology as crucial for the devel- opment. An analogical development from Kant's conception of geometry to the plurality of geometric theories leads (...) to a holistic view both of geometry and of logic. It furthermore proves essential to understand the pragmatic import of logic. Given the problems tied to the attempts to demarcate logic, inferentialism and logical expressivism are arrived at as jointly provid- ing the most appropriate account. These approaches are developed into a conception which stresses, in line with the historical perspective of the work, the ability of logic to develop. (shrink)

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2017, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

Logical form and logical analysis as the search for it have been introduced during the development of logic and analytical philosophy and are still widely considered as key tools or methods for the solution of philosophical puzzles. It is instructive to have a look at a criticism of these presupositions and I present Wittgenstein as the author who provides such a criticism. I present a development of his view of logical form which went from the thesis of the ineffability of (...) logical form to the denial of the meaningfulness of the notion of logical form as such. This refusal is linked to Wittgenstein’s abandonment of the idea of the language of pure experience. The method of philosophical therapies is presented as an alternative to logical analysis and this methodology is linked with Wittgenstein’s consideration of game and family resemblance. (shrink)

Logical pluralism as a thesis that more than one logic is correct seems very plausible for two basic reasons. First, there are so many logical systems on the market today. And it is unclear how we should decide which of them gets the logical rules right. On the other hand, logical monism as the opposite thesis still seems plausible, as well, because of normativity of logic. An approach which would manage to bring a synthesis of both logical pluralism and logical (...) monism is called for. I review the possible forms of logical pluralism and render them more plausible. I thus arrive at logical dynamism, a synthesis of various pluralisms and monism focused on how logic develops. (shrink)

Henri Bergson se za svého života těšil velké popularitě. Přes jistý ústup ze slávy jeho filosofie i v druhé polovině dvacátého století inspirovala např. Gillese Deleuze. Nicméně analytická filosofie Bergsonovi dosud mnoho pozornosti nevěnovala. Ačkoli na první pohled skutečně s analytickou filosofií nemá mnoho společného, najdeme v jeho díle některé myšlenky, které by si zasloužily, aby je analytická filosofie zhodnotila. Zaměříme se na Bergsonovo pojetí špatně položených otázek, které je v mnohém podobné pojetí logických pozitivistů. Dále navrhneme, v čem může (...) spočívat jeho přínos pro teorii pravidel a normativistickou teorii významu. Obě témata jsou zde především programaticky nastíněna, jejich hlubší rozpracování je úkol pro další práci. (shrink)

Inferentialism has brought important insights into the nature of meanings. It breaks with the representationalist tradition that sees meanings as constituted primarily by representing some extra-linguistic reality. Yet the break with tradition should be pursued further. Inferentialists still regard meanings as static, and they still do not entirely abandon the idea of fully determined meaning. Following Davidon’s ideas about meanings as constituted only in the course of a specific conversation, I propose a dynamic account of what meanings are. They are (...) described as entities belonging to the dynamic realm of Henri Bergson’s duration. The inhabitants of this realm live in constant movement and development which is more essential to them than the stages that this development goes through. My account brings about a rejection of the notion of the strict literal meaning and therewith also of the contrasting notions such as ambiguity. Meaning is understood as a dynamic entity that is characterized rather by its history than by its nature. (shrink)

Inferentialism has brought important insights into the nature of meanings. It breaks with the representationalist tradition that sees meanings as constituted primarily by representing some extra-linguistic reality. Yet the break with tradition should be pursued further. Inferentialists still regard meanings as static, and they still do not entirely abandon the idea of fully determined meaning. Following Davidon’s ideas about meanings as constituted only in the course of a specific conversation, I propose a dynamic account of what meanings are. They are (...) described as entities belonging to the dynamic realm of Henri Bergson’s duration. The inhabitants of this realm live in constant movement and development which is more essential to them than the stages that this development goes through. My account brings about a rejection of the notion of strict literal meaning and therewith also of the contrasting notions such as ambiguity. Meaning is understood as a dynamic entity that is characterized rather by its history than by its nature. (shrink)

Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...

2 Popper's Logical Definition of Verisimilitude. 3 Popper's Probabilistic Definition of Verisimilitude. 4 Conclusion.

Traxler, Pickering, and Clifton found that ambiguous sentences are read faster than their unambiguous counterparts. This so-called ambiguity advantage has presented a major challenge to classical theories of human sentence comprehension because its most prominent explanation, in the form of the unrestricted race model, assumes that parsing is non-deterministic. Recently, Swets, Desmet, Clifton, and Ferreira have challenged the URM. They argue that readers strategically underspecify the representation of ambiguous sentences to save time, unless disambiguation is required by task demands. When (...) disambiguation is required, however, readers assign sentences full structure—and Swets et al. provide experimental evidence to this end. On the basis of their findings, they argue against the URM and in favor of a model of task-dependent sentence comprehension. We show through simulations that the Swets et al. data do not constitute evidence for task-dependent parsing because they can be explained by the URM. However, we provide decisive evidence from a German self-paced reading study consistent with Swets et al.'s general claim about task-dependent parsing. Specifically, we show that under certain conditions, ambiguous sentences can be read more slowly than their unambiguous counterparts, suggesting that the parser may create several parses, when required. Finally, we present the first quantitative model of task-driven disambiguation that subsumes the URM, and we show that it can explain both Swets et al.'s results and our findings. (shrink)

Of two false theories, One can be, Intuitively, Closer to the truth than the other. The purpose of the article is to propose a rigorous explication of this intuitive notion.

Suppose that Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document} is a consistent sentence. Then there is no Herbrand proof of ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document}, which means that any Herbrand disjunction made from the prenex form of ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document} is falsifiable. We show that the problem of finding such a falsifying assignment is hard in the following sense. For every (...) total polynomial search problem R, there exists a consistent Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document} such that finding solutions to R can be reduced to finding a falsifying assignment to an Herbrand disjunction made from ¬Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\neg {\it \Phi}}$$\end{document}. It has been conjectured that there are no complete total polynomial search problems. If this conjecture is true, then for every consistent sentence Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document}, there exists a consistent sentence Ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Psi}$$\end{document}, such that the search problem associated with Ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Psi}$$\end{document} cannot be reduced to the search problem associated with Φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Phi}}$$\end{document}. (shrink)

The vision informing 20th Century philosophy has been aptly described as one of a desert landscape. Philosophers behave as if in expectation of an ontological tax collector to whom they will owe the less the fewer entities they declare. The metaphysical purge is perpetrated under a banner emblazoned with Occam’s Razor. But Occam never counselled ontological genocide at all cost. He only cautioned against multiplying entities beyond necessity His Razor is thus in full harmony with the complementary principle, known as (...) Menger’s Comb, which cautions against trying to do with less what requires more. The two methodological precepts are just two sides of the same coin. (shrink)

There is probably only one information system in living nature — the macromolecular system including DNA, RNA and protein. Its unity for the genetic and nervous activity can be followed in the storage of information (heredity, memory) and in its processing (recombination and selection of both genetic and mental information). According to the hypothesis of the code of nerve impulses, nucleotide triplets of the nucleus, or more likely amino acids of the surface protein of the impulse generating area of a (...) neuron, generate a limited variety of interspike intervals so that each amino acid corresponds to a certain interspike interval and this particular interval initiates by means of a specific neurotransmitter, the synthesis of the same amino acid (or nucleotide triplet) in the postsynaptic neuron. Thus, a series of impulses produces in the postsynaptic neuron a sequence of amino acids in a form of a polypeptide identical to the polypeptide of the presynaptic neuron. (shrink)

The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends propositional language by a new binary modality that corresponds to partial recursive function type constructor under the above interpretation. The cases of deterministic and non-deterministic functions are considered and for both of them semantically complete modal logics are described and decidability of these logics is established.

My book is about the human creativity being a source of progress, and cycling of evolution caused by platitude and triviality of once high-reaching idealism. In essence the book presents an original perception of human history, based on Christian values as vital coordinates system. I hope this book will revive the interest to the Russian school of thoughts and to humanism in general.

The article offers a rigorous explication of the intuitive notion of verisimilitude, I.E., Of the distance of a theory from the truth. The proposal is defended against charges of material inadequacy made by popper, Niniluoto, And miller.

In this paper we argue that Aristotle operates with a particular theoretical model in his explanation of animal locomotion, what we call the ‘centralized incoming and outgoing motions’ model. We show how the model accommodates more complex cases of animal motion and how it allows Aristotle to preserve the intuition that animals are self-movers, without jeopardizing his arguments for the eternity of motion and the necessary existence of one eternal unmoved mover in Physics VIII. The CIOM model helps to elucidate (...) Aristotle’s two central yet problematic claims, namely that the soul is the efficient cause of animal motion and that it is the internal supporting-point necessary for animal motion. Moreover, the CIOM model helps us to explain the difference between voluntary, involuntary and non-voluntary motions, and to square Aristotle’s cardiocentrism with his hylomorphism, but also, more generally, it provides an interesting way of thinking about the place of intentionality in the causal structure of the world. (shrink)

Climate change is a turning point in human history, necessitating human–ecological transformation on an individual, local, and global scale. Metropolitan regions offer an opportunity for collective action that can transform individuals and communities by expanding and re-integrating our localities, while making a significant impact on global climate change. The Breakthrough Compass is a conceptual tool for navigating the transition from fragmented self toward wholeness and connection to place, while transforming our world. This article offers stories and case studies illustrating how (...) metropolitan regional climate justice coalitions can galvanize this local and global transformation. (shrink)

This article focuses on the methodological basis for the criticism of the computationalism and “computer metaphor” in the philosophy of cognitive sciences. We suppose that the computational paradigm is the direct consequence of the theoretical confusion of phenomenal and cognitive kinds of experience. Cognitive processes, considered as the forms of computational description, are available for computer modelling. That implies the strong position of the computer metaphor in the neuroscience. In our opinion the key problem is the vague ontological nature of (...) the symbols which form the computational operations in the cognitive procedures. Despite the successful development of neuroscience, it is still impossible to explain the meaning of the content of mental states. The article provides the detailed analysis of the critical approaches to the computational models of consciousness. The special attention is given to the comparison of data integration in the artificial intellectual systems with semantic aspects of the phenomenal consciousness. In the first case the foundations of output are the hierarchy of classes, the rules protocols and applying heuristics and strategies. In the second case the knowledge is formed by qualia, metaphorical conceptualization and pragmatic level of communication. Natural principles of knowledge forming are unachievable for machine intellectual procedures. (shrink)

I graduated from, medical school in 1972. According to orders signed at the Kremlin by the Chairman of the Supreme Soviet of the USSR, I was obliged, along with every graduating medical student, to swear to a new professional code, “The Oath of the Soviet Physicians.” This was the second year the oath was used. Incorporated in the oath were promises to “conduct all my actions according to the principles of the Communist morality, to always keep in mind … the (...) high responsibility I have to my people and to the Soviet government” I felt no discomfort joining with my friends in repeating words about the communist morality which by that time had already become a ritualized and meaningless official decoration of our life. The text of this oath fit into the political and medical ideology of that time. Not surprisingly, “The Oath of the Soviet Physicians” died along with the Soviet Union. (shrink)

In the last 7 years, Russia has seen deep changes in all spheres of political and economic life. Some new realities have appeared in Russian medicine as well. This paper tells the story of how these changes came about, what kind of unusal situation were created, and how these situation are recognized in professional and public debates.

A review of Jozef Kovalčik´s and Max Ryynänen´s Aesthetics of Popular Culture.

Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong’s axioms.

The article studies knowledge in multiagent systems where data available to the agents may have small errors. To reason about such uncertain knowledge, a formal semantics is introduced in which indistinguishability relations, commonly used in the semantics for epistemic logic S5, are replaced with metrics to capture how much two epistemic worlds are different from an agent’s point of view. The main result is a logical system sound and complete with respect to the proposed semantics.

The subject of the study is the socio-cultural threats to the information security of Russian citizens associated with ChatGPT technologies (Chat Generative Pre-trained Transformer, a machine-generated text response generator simulating a dialogue). The object of research − evaluation of the ratio of advantages and threats of generative language models based on "machine learning" in modern (2021-2023) scientific literature (journals HAC K1, K2 and Scopus Q1, Q2). The scientific novelty of the research lies in the culturological approach to the analysis of (...) threats to the security of Russian citizens associated with the use of ChatGPT as one of the technologies of "artificial intelligence". The formulation of the problem of the classical Turing test "to distinguish a person from a machine" is characterized as a scholastic abstraction, instead a more correct and productive approach is proposed: a socio-cultural assessment of the value (based on cultural axiology) of new computer technologies. The starting point of the analysis is the determination of socio-cultural value (or, conversely, damage) as a result of the use of generative language models based on machine learning. Further, the contribution and responsibility of various socio-cultural subjects of its creation and application are revealed − user, creator and developer. The result of the application of the proposed approach is the deconstruction of the discourse of the "philosophy of artificial intelligence" in terms of uncritical translation of developer declarations intended for marketing and attracting financing. Hypertrophied perception, precariously balancing on the edge of utopia and dystopia, is assessed as a risk of incorrect identification and ranking of threats to information security. Assumptions about the hypothetical "superweapon of psychological warfare" mask modern incidents of cross-border leakage of confidential data, the risks of being held accountable for publishing deliberately false information and illegal content as a result of using ChatGPT. National security measures are recommended, including restrictive measures and increasing the general civil culture of information security of users, as well as the orientation of domestic developments of solutions of this type on traditional values, socio-cultural identity and interests of Russian citizens. (shrink)

“Eco-labels” are an increasingly important form of private regulation for sustainability in areas such as carbon emissions, water consumption, ethical sourcing, or organic produce. The growing interest and popularity of eco-labels has also been coupled with growing concerns about their credibility, in part because the standard-setting and conformity assessment practices that eco-labels adopt exhibit striking differences. In this paper, we assess which assurance practices contribute to eco-labels being perceived as better governed, in the eyes of experts as well as the (...) media. Unlike previous studies, which are mostly conceptual, qualitative, or focused on one or few eco-labels, we study a large set of eco-labels, combining data from three different sources. Our findings suggest that experts and media are primarily concerned about “re-assurance” practices, looking for one or preferably multiple layers of “re-assurance” that independent parties are overseeing the eco-label and the firms certified under it. (shrink)