Foundations of Science recently published a rebuttal to a portion of our essay it published 2 years ago. The author, G. Schubring, argues that our 2013 text treated unfairly his 2005 book, Conflicts between generalization, rigor, and intuition. He further argues that our attempt to show that Cauchy is part of a long infinitesimalist tradition confuses text with context and thereby misunderstands the significance of Cauchy’s use of infinitesimals. Here we defend our original analysis of various misconceptions and misinterpretations concerning (...) the history of infinitesimals and, in particular, the role of infinitesimals in Cauchy’s mathematics. We show that Schubring misinterprets Proclus, Leibniz, and Klein on non-Archimedean issues, ignores the Jesuit context of Moigno’s flawed critique of infinitesimals, and misrepresents, to the point of caricature, the pioneering Cauchy scholarship of D. Laugwitz. (shrink)

What is the class of possible semiotic systems? What kinds of systems could count as such systems? The human mind is naturally considered the prototypical semiotic system. During years of research in semiotics the class has been broadened to include i.e. living systems like animals, or even plants. It is suggested in the literature on artificial intelligence that artificial agents are typical examples of symbol-processing entities. It also seems that semiotic processes are in fact cognitive processes. In consequence, it is (...) natural to ask the question about the relation between semiotic studies and research on artificial cognitive systems within cognitive science. Consequently, my main question concerns the problem of inclusion or exclusion from the semiotic spectrum at least some artificial systems. I would like to consider some arguments against the possibility of artificial semiotic systems and I will try to repeal them. Then I will present an existing natural-language using agent of the SNePS system and interpret it in terms of Peircean theory of signs. I would like also to show that some properties of semiotic systems in Peircean sense could be also found in a discussed artificial system. Finally, I will have some remarks on the status of semiotics in general. (shrink)

The paper deals with reconstruction of the unique reductivecounterpart of the deductive logic. The procedure results in the deductivereductive form of logic. This extension is illustrated on the base of intuitionistic logics: Heyting’s, Brouwerian and Heyting-Brouwer’s ones.

In this paper, I discuss the interpretation of the method of deconstruction in David J. Gunkel’s Deconstruction (MIT Press 2021). I focus on the relationship between deconstruction and truth. I hold that the concept of truth is indispensable for deconstruction since truth introduces correctness conditions for the deconstructive method. However, I claim that truth, being essential and primitive for deconstruction, is fundamentally inaccessible for being analyzed by the latter. ------------------------- Received: 19/10/2022. Reviewed: 13/12/2022. Accepted: 20/12/2022.

This paper tackles the problem of inference in normative systems where norms concerning actions and states of affairs appear together. A deontic logic of actions and states is proposed as a solution. It is made up of two independent deontic logics, namely a deontic logic of action and a deontic logic of states, interlinked by bridging definitions. It is shown at a language and a model level how an agent should look for norms to follow in a concrete situation. It (...) is pointed out that such specific norms are obtained by finding the most specific obligation and the most general prohibition. They are to be derived from all norms applicable to the situation by using the principles of the logic presented in this paper. (shrink)

In the paper I explore the relations between a relatively new and quickly expanding branch of artificial intelligence –- the automated discovery systems –- and some new views advanced in the old debate over scientific realism. I focus my attention on one such system, GELL-MANN, designed in 1990 at Wichita State University. The program's task was to analyze elementary particle data available in 1964 and formulate an hypothesis (or hypotheses) about a `hidden', more simple structure of matter, or to put (...) it in contemporary terms –- the discovery of quarks. The central thesis of my paper is that systems like GELL-MANN not only discover (or rediscover) the hidden structure of matter, but also provide independent strong evidence in favor of scientific realism about entities involved in that structure. I make an attempt to show how an argument for scientific realism about sub-microscopic entities can be constructed that would parallel Ian Hacking's `argument from coincidence' presented with respect to microscopic objects in his famous book Representing and Intervening. (shrink)

This paper, which in its subject matter goes back to works on strongly nite logics , is concerned with the following problems: Let Cn1; Cn2 be two strongly nite logics over the same propositional language. Is the supremum of Cn1 and Cn2 also a strongly nite operation? Is any nite matrix axiomatizable by a nite set of standard rules? The rst question can be found in [9] . The second conjec- ture was formulated by Wolfgang Rautenberg, but investigations into this (...) problem had been carried out earlier in works of many logicians . Moreover, Stephen Bloom [1] posed a conjecture stronger than that: the consequence de- termined by a nite matrix is nitely based, i.e. it is the consequence generated by a nite set of standard rules. This hypothesis was, however, disproved by Andrzej Wronski [10] . In the present paper it is shown that neither nor holds true. The negative answer to can be viewed as a generalization of the result given by Andrzej Wronski [10]. (shrink)

Koncepcja Edyty Stein rozumienia drugiego człowieka jest znana z jej dysertacji O zagadnieniu wczucia. Niemniej, gruntowne przebadanie struktury osobowości ludzkiej, jakie podjęła w Filozofii psychologii i humanistyki, rzuca nowe światło na tę kwestię. Stein dokonuje swoistej syntezy Husserlowskiego prymatu prawdy i Schelerowskiej koncepcji miłości, unikając przy tym idealizmu i woluntaryzmu, którym obarczone są te stanowiska. Steinowska koncepcja znajduje kontynuację w fenomenologii Merleau-Ponty’ego i R. Barbarasa.

El artículo hace el análisis del vocabulario lúdico utilizado en los escritos de Tomás de Aquino, que permite descubrir una “hermenéutica del buen humor” que caracteriza su manera de pensar sobre el ser humano. El objetivo del estudio consiste en sondear la base filosófica tomista de lo lúdico, destacando su contexto antropológico , epistemológico y ético. En este marco, aparece en el pensamiento del Aquinate una “racionalidad lúdica”, que percibe lo lúdico como dirigibile, y que, además, a través del placer (...) lúdico abre al otro hombre y a la verdad. El particular interés se pone en exponer como el ocio ayuda en el conocimiento racional. (shrink)

From the perspective of Aquinas’ Biblical commentaries, the article develops the reflection on pignus / arra haereditatis (Eph 1:5) seeing these essential elements of Thomas’ reflection on salvation in the terminological question of which one is better: pignus or arra, namely the pledge or the earnest/deposit. Thomas develops soteriology, which indicates that human salvation starts “now” and not “later,” through the participation in the Passion of Christ and in His merits. Analyzing Aquinas’ commentary on Ps 21, on the Letter to (...) the Ephesians and on the Letter to the Galatians together with the themes of Christ’s obedience and its soteriological significance as well as His wish of voluntary death for us, the article shows the Biblical roots of Thomas’ soteriology. The author devotes particular attention to the analysis of the logic of inchoatio and consummatio in Thomas’ soteriological grammar and his understanding of faith as the beginning of eternal life and the ensuing consequences. (shrink)

The issue “Human being in the digital era” is not superfluous. Every technology, i.e. literacy, print etc., gives tools, but at the same time impacts deeply human being. The article attempts to answer the following questions: what kind of change is taking place nowadays? what are the associated challenges? Is it true what Einstein once said: “The problems that exist in the world today cannot be solved by the level of thinking that created them”?

This article is a critical discussion of the book Setting Health-Care Priorities by Torbjörn Tännsjö. This critique targets mainly Tännsjö’s method, but also several unjustified conclusions and some implicit assumptions.

Basing itself on Edith Stein's research into philosophy of psychology and the humanities, this article focuses particularly on discussions of the theory of association. Stein's approach, rooted in Husserlian phenomenological perspective, seems to represent a significant contribution to the establish of an intellectual framework for the exploration of the philosophy of consciousness, and also seems helpful for inquiries into the issue pf practical know-how pertaining to remembering things, as well as the use of schemata in intellectual activity generally.

In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the (...) most important paradigms, including the logic of actions, where actions are interpreted as transitions between the situations and STIT logic, which states only the responsibility of the agent for particular states of affairs. We discuss questions of determinism and indeterminism of actions, identification of basic actions and operations and the issue of identity. The final part of the paper is devoted to deontic categories. In particular, the applicability of the concepts of strong and weak permission and prohibition in different situational contexts, and their relationship to the two concepts of obligation: abstract and derived. (shrink)

We investigate a speci c model of knowledge and beliefs and their dynamics. The model is inspired by public announcement logic and the approach to puzzles concerning knowledge using that logic. In the model epistemic considerations are based on ontology. The main notion that constitutes a bridge between these two disciplines is the notion of epistemic capacities. Within the model we study scenarios in which agents can receive false announcements and can have incomplete or improper views about other agent's epistemic (...) capacities. Moreover, we try to express the description of problem speci cation using the tools from applied ontology { RDF format for information and the Protege editor. (shrink)

Choice reaction times to visual stimuli may be influenced by preceding subliminal stimuli . Some authors reported a straight priming effect i.e., responses were faster when primes and targets called for the same response than when they called for different responses. Others found the reversed pattern of results. Eimer and Schlaghecken [Eimer, M. & Schlaghecken, F. . Links between conscious awareness and response inhibition: evidence from masked priming. Psychonomic Bulletin & Review, 9, 514–520.] showed recently that straight priming occurs whenever (...) a prime is not efficiently masked thereby the information provided by the prime is accessible for consciousness. In the present study, a hypothesis is tested that straight priming is due to mediation of consciousness. To test this hypothesis, prime validity was manipulated. We showed that even when no mask was used so that participants could fully and consciously perceive the prime and participants were informed that primes were mostly invalid, for the short prime–target ISI interval straight priming occurred. The priming was inverse when the ISI was 800 ms. This indicates that participants were able to use the information provided by the prime to prepare the response opposite to that cued by the prime but only if the time between the prime and the target was long enough. (shrink)

The notion that a false positive (false conviction) is worse than a false negative (false acquittal) is a deep-seated commitment in the theory of criminal law. Its most illustrious formulation, the so-called Blackstone’s ratio, affirms that “it is better that ten guilty persons escape than that one innocent suffer”. Are people’s evaluations of criminal statutes consitent with this tenet of the Western legal tradition? To answer this question, we conducted three experiments (total _N_ = 2492) investigating how people reason about (...) a particular class of offenses—proxy crimes—known to vary in their specificity and sensitivity in predicting actual crime. By manipulating the extent to which proxy crimes convict the innocent and acquit those guilty of a target offense, we uncovered evidence that attitudes toward proxy criminalization depend primarily on its propensity toward false positives, with false negatives exerting a substantially weaker effect. This tendency arose across multiple experimental conditions—whether we matched the rates of false positives and false negatives or their frequencies, whether information was presented visually or numerically, and whether decisions were made under time pressure or after a forced delay—and was unrelated to participants’ probability literacy or their professed views on the purpose of criminal punishment. Despite the observed inattentiveness to false negatives, when asked to justify their decisions, participants retrospectively supported their judgments by highlighting the proxy crime’s efficacy (or inefficacy) in combating crime. These results reveal a striking inconsistency: people favor criminal policies that protect the rights of the innocent, but report comparable concern for their expediency in fighting crime. (shrink)

Zasadnicza teza tekstu brzmi, że możliwość totalnego chaosu empirycznego, która jest rozpatrywana w ramach eksperymentu unicestwienia świata, nie jest możliwością realną, lecz możliwością logiczną. Według Husserla hipoteza totalnego chaosu empirycznego pozostaje w związku z zasadniczą nieadekwatnością doświadczenia świata, która nie wyklucza możliwości nieistnienia świata. Unicestwienie świata jako efekt całkowitego załamania się doświadczenia świata mogę jednak przyjąć tylko hipotetycznie i taka fikcyjna możliwość nie ma charakteru możliwości realnej, ponieważ absolutny fakt mojego doświadczenia poprzedza wszelkie możliwości, nadając im dopiero znaczenie możliwości realnych. (...) Doświadczenie w swej pierwotnej strukturze obejmuje zarówno doświadczenie świata, jak i doświadczenie ego cogito i jest jednym, absolutnym doświadczeniem, tak że możliwość globalnego chaosu empirycznego okazuje się jedynie pustym eksperymentem myślowym i jako taka możliwość ta pozostaje w zasadniczej analogii do możliwości niepoznawalnych rzeczy samych w sobie. Słowa kluczowe: fenomenologia transcendentalna, eksperyment unicestwienia świata, doświadczenie świata, doświadczenie ego cogito, realna możliwość, logiczna możliwość. (shrink)

The paper is a continuation of A deductive-reductive form oflogic: general theory and intuitionistic case and considers the problem of definability of modal operators on the intuitionistic base. Contrary tothe classical case, it seems that the fact whether the connective is Heyting’sor Brouwerian is essential for the intuitionistic logic. The connective of possibility has the classical interpretation, i.e. w |= ✸α iff ∃t, if it is defined on the base of the logicwith Brouwerian connective of coimplication.

In the article I refer to the philosophy of William Hasker and his proposal to reconcile respect for the basic dogmas of Christianity with the contemporary standards of knowledge and the needs of people today. In the first part I analyse Hasker’s view on the idea of Christian philosophy. Since he assumes the truthfulness of the main doctrines of Christianity, he is not opposed to being referred to as a Christian philosopher, but neither is he enthusiastic about this name. This (...) attitude is the result of his conviction that the state of absolute neutrality is not possible in philosophy and that regardless of the views accepted as true by a given thinker the requirement for good philosophy is fairness and evaluating all perspectives and beliefs for their internal coherence and their correspondence with the evidence. Therefore, Hasker first tries very carefully to reconstruct positions different from his own and to track down various difficulties in them, especially contradictions. In my opinion, however, the objection of self-contradiction is ineffective when applied to philosophical positions which, as a rule, use vague concepts. The same applies to the claim that these positions are contradictory to evidence, because one of such vague notions is also the notion of evidence. That is why philosophical claims have the extraordinary ability to persist in life or unexpectedly revive after being considered definitively dead. It does not follow from this that one cannot convincingly justify one’s position using less formal criteria. In the second part I focus on the rhetorical device used by Hasker to make his concept of God more attractive. He suggests that we should shape our concept of God based on our idea of a great man, i.e. one who educates children to live independently and is able to effectively and fairly manage large groups of people. Leaving aside the accusation of anthropomorphism, the question arises about the epistemic value of this image, which is not universal, changes over time and depends on the conditions in which people live. The content of this image proposed by Hasker isn’t also consistent with the idea of the God of Christian orthodoxy, which is dominated by traditional rather than open theism. This is where the problem of linking creative thinking and respect for Christian identity arises. Regardless of the opinion that open theism has among traditional theists, Hasker supports the concept of a strong Christian identity determined by a universally recognized creed. I propose to treat this identity a little more flexibly. (shrink)

The phenomenon of imaginative resistance occurs when the reader of fiction is invited to imagine as morally right a situation that the reader finds morally repugnant (e.g., that murder is morally good). The problem of imaginative resistance boils down to the question of how it is possible that we can imagine situations that are inconsistent with our knowledge of the facts (magic, teleportation, spaceships moving faster than light), while we have difficulty imagining situations that are inconsistent with our moral knowledge. (...) The purpose of this article is to present two popular concepts that explain the phenomenon of imaginative resistance, the so-called cantian response and the wontian response, and to propose an original solution. The first hypothesis states that imaginative resistance is a response to conceptual impossibility. In this conception, resistance to imagining a particular object or situation comes from the fact that such objects or situations are contradictory and therefore impossible to imagine. The second hypothesis states that imaginative resistance occurs when the recipient does not want to imagine a certain state of affairs. In the last part of the article, I try to show that the source of imaginative resistance can be the inability to imagine oneself as someone with different moral beliefs. (shrink)

The paper deals with the problem of digital restitution of art to post-colonial and postdependency countries. A new model of digital restitution composed of two elements: creation of a digital copy with a NFT attached and creation of new property right in a physical and digital object has been proposed. A system of balances between the rights and duties based on the prior user concept has been developed.

The ancient paradox of Protagoras had the opinion of an unsolved problem. The two solutions proposed in the 20th century by W. Lenzen and L. Aqvist are considered to be the best. In fact none of them may be treated as proper. In the paper we show that both of authors avoid contradiction solely by means of mere neglect. However quite a simple solution seems to be feasible when the paradox is approached as an amphibolic construction, thus an ambiguity.

In the article I justify the acceptability of ex vivo transplantation and I provide the ethical evaluation of trafficking in human organs from the Kantian perspective. Firstly, I refer to passages of Kant's works, where he explicitly states that depriving oneself of one’s body parts for other purposes than self-preservation is not permitted. I explain that the negative ethical evaluation of the disposal of the body parts was given various justifications by Kant. Subsequently, I provide partial criticism of this justification, (...) resulting in the recognition of the admissibility of ex vivo transplantation. Secondly, I analyse the Kantian slippery-slope argument which, as some philosophers believe, supports banning trade in human organs. It turns out, however, that this argument has wider application, namely it applies to all forms of the instrumental treatment of the human body. Using a previously introduced distinction between organs of the first and the second order, I show that the slippery-slope argument is inconclusive. However, I propose a reinterpretation of this reasoning, which results in using this argument as an additional reason to support prohibiting trade in human organs. (shrink)

A few years ago, believing that human thinking is nonmonotonic, I tried to reconstruct a nonmonotonic reasoning by application of two monotonic procedures. I called them “step forward” and “step backward” (see [4]). The first procedure is just a consequence operation responsible for an extension of the set of beliefs. The second one, defined on the base of the logic of falsehood reconstructed for the given logic of truthfulness, is responsible for a reduction of the set of beliefs. Both procedures (...) taken together were successfully verified by using so-called AGM (see [5]), postulates for expansion, contraction and revision formulated by Alchourrón, Gärdenfors and Makinson (e.g. [1]). Reasoning composed of the mutual application of both procedures seemed to be quite natural for modeling our thinking. At that time, I supposed that it should be nonmonotonic but I was wrong. It turned out impossible to satisfy a definition of the nonmonotonic inference by reasoning composed both steps. To understand why this is impossible, I began to analyze how nonmonotonicity is obtainable in some well-known cases in the literature. I analyzed the problem from two points of view: (1) non-formal examples for nonmonotonicity and (2) formal constructions of nonmonotonic operations/relations. The result of those investigations was astonishing: none of the considered by me cases of nonmonotonicity belonging to point (1) and almost none belonging to (2) satisfies the definition of nonmonotonic inference. Arguments against the nonmonotonic character of well-known examples for nonmonotonicity of human thinking are more precisely presented in [6]. I present them below an abbreviated version of them. (shrink)

The human influence on the earth’s ecosystem has become so destructive that we need a new vision of the world that will offer hope. The article is an attempt to create a new interdisciplinary way that takes into account the role of symbiosis in the functioning of life on Earth. Australian scholar Glenn Albrecht postulates the conceptual framework for the new epoch and calls it the Symbiocene. which will be characterized by replicating symbiotic life processes in human activities. At the (...) same time, science clearly states that the relationships among organisms are predominantly cooperative and symbiotic in nature. The article focuses on three selected phenomena in which close multilateral cooperation plays a significant role. These are: the life of lichens, the functioning of mycelium with plants, especially the role of Mother Trees over young stands, and permaculture as an example of symbiotic agriculture. We take these examples as a training in collective imagination in good interspecies living and draw on selected literary texts. We believe that the idea of the Symbiocene, an inclusive and integrative philosophy of life, has great potential to become a new direction not only in the natural sciences, but also in the social sciences and humanities. (shrink)

W artykule poddano badaniu pojęcie przesądu w teoriach Kanta i Husserla. Według Kanta, przesądy należy odróżnić od sądów tymczasowych, które można nazwać antycypacjami lub maksymami wszelkiego badania. Wydajemy sąd tymczasowy o jakiejś rzeczy, zanim poznamy ją za pomocą sądu określającego. Z kolei przesądy są sądami tymczasowymi błędnie uznanymi za sądy określające, to znaczy sądami, które przyjmujemy jako zasady bez badania warunków ich prawdziwości. Kanta pojęcie przesądu ma zatem konotacje negatywne a celem filozofii krytycznej jest przezwyciężeniewszelkich przesądów. W przeciwieństwie do Kanta, (...) Husserl rozróżnia przesądy pozytywne i negatywne: pozytywny przesąd jest rozumiany jako przed-sąd w formie presumpcyjnej przedwiedzy i odpowiada Kantowskiemu pojęciu antycypacji, która jest właściwa sądowi tymczasowemu, podczas gdy obiektywistyczna naiwność okazuje się przesądem negatywnym.Celem fenomenologii jest zawieszenie wszystkich przesądów i to zawieszenie umożliwia badanie ich źródeł. W artykule autor wykazuje, że Husserlowska koncepcja przesądu jako przed-sądu jest analogiczna do Gadamerowskiej rehabilitacji przesądów jako przed-rozumienia. Dlatego też można wskazać podobieństwa między Kanta pojęciem sądu tymczasowego, Husserla ideą przedwiedzy i G adamera koncepcją przed-rozumienia. (shrink)

The so-called Common Sense Morality (C) is any moral theory that allows, or requires, an agent to accept special, non-instrumental reasons to give advantage to certain other persons, usually the agent’s friends or kin, over the interests of others. Opponents charge C with violating the requirement of impartiality defined as independence on positional characteristics of moral agents and moral patients. Advocates of C claim that C is impartial, but only in a positional manner in which every moral agent would acquire (...) the same relational characteristics if that agent was in a certain relationship to the given moral patient. The opponents of C reply that a theory that allows for positional characteristics is self-defeating; it violates the requirement of prescriptivity due to its inability to provide moral recommendations what should happen all things considered. Advocates of C retort that a moral theory should be prescriptive by telling every agent what to do, not what should the joint outcome of those activities be. In this paper I analyze the last two moves of this debate: the objection that C is self-defeating and the reply that there is a plausible moral theory (C) that accommodates positional characteristics of special moral reasons. I argue that the last move wins. In the process I sketch out a theory able to accommodate agent-relative moral reason. (shrink)

Celem artykułu jest prezentacja i rekonstrukcja argumentów sformułowanych przez tomistów egzystencjalnych przeciwko ontologii uprawianej przez fenomenologów. Całość dyskusji zaprezentowano na ogólnym tle krytyki fenomenologii jako sposobu uprawiania filozofii. W artykule zaprezentowano najważniejsze argumenty, następnie oceniono ich wartość merytoryczną, biorąc pod uwagę kontekst historyczny, przedmiotowy i metodologiczny. Zwrócono uwagę na wartość tej dyskusji dla kształtowania dialogu filozoficznego między tomizmem a fenomenologią oraz na aktualność podejmowanej problematyki. Dialog ten u niektórych tomistów doprowadził do nowego przemyślenia szeregu kwestii metafizyki tomistycznej. Wskazano również, że (...) współcześnie tomizm i ontologia fenomenologiczna mają wspólnego przeciwnika jakim jest naturalizm w różnych wariantach. W związku z tym rekomendowano, że między tomizmem a ontologią fenomenologiczną powinna zachodzić głębsza współpraca, gdyż tylko wtedy będzie można podjąć sensowną debatę z naturalizmem, który sięgając nawet po środki administracyjne stara się wprost wyeliminować tak metafizykę klasyczną, jak i fenomenologię. (shrink)