The cognitive foundations of geometry have puzzled academics for a long time, and even today are mostly unknown to many scholars, including mathematical cognition researchers. -/- Foundations of Geometric Cognition shows that basic geometric skills are deeply hardwired in the visuospatial cognitive capacities of our brains, namely spatial navigation and object recognition. These capacities, shared with non-human animals and appearing in early stages of the human ontogeny, cannot, however, fully explain a uniquely human form of geometric cognition. In the book, (...) Hohol argues that Euclidean geometry would not be possible without the human capacity to create and use abstract concepts, demonstrating how language and diagrams provide cognitive scaffolding for abstract geometric thinking, within a context of a Euclidean system of thought. -/- Taking an interdisciplinary approach and drawing on research from diverse fields including psychology, cognitive science, and mathematics, this book is a must-read for cognitive psychologists and cognitive scientists of mathematics, alongside anyone interested in mathematical education or the philosophical and historical aspects of geometry. (shrink)

In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the use of (...) lettered diagrams; and the creation of linguistic formulae. Together, these artifacts formed the professional language of geometry. In this respect, the case of Greek geometry clearly shows that explanations of geometric reasoning have to go beyond the confines of methodological individualism to account for how the distributed practice of artifact use has stabilized over time. This practice, as we suggest, has also contributed heavily to the understanding of what mathematical proof is; classically, it has been assumed that proofs are not merely deductively correct but also remain invariant over various individuals sharing the same cognitive practice. Cognitive artifacts in Greek geometry constrained the repertoire of admissible inferential operations, which made these proofs inter-subjectively testable and compelling. By focusing on the cognitive operations on artifacts, we also stress that mental mechanisms that contribute to these operations are still poorly understood, in contrast to those mechanisms which drive symbolic logical inference. (shrink)

The modeling of the human mind based on quantum effects has been gaining considerable interest due to the intriguing possibility of applying non-local interactions in the studies of consciousness. Inasmuch as the majority of the pertinent studies are restricted to the exclusive analysis of mental phenomena, the quantum model of mind proposed by Roger Penrose constitutes a part of a much larger scheme of the ultimate unification of physics. Penrose's efforts to find the 'missing science of consciousness' presuppose the non-algorithmic (...) character of human thinking inferred from Gödel's incompleteness theorem. This is supposed to combine with the anticipated non-algorithmic character of the future quantum gravity theory involving the objective reduction of a quantum mechanical state vector. By surveying contemporary achievements of cognitive sciences as well as the development of Penrose's conjectures, presented in his recent work The Road to Reality, we wish to show that his non-algorithmic quantum model of human mind is contingent upon the fundamental philosophical assumption of the mathematicity of the Universe. (shrink)

In their thought-provoking article, Sedlakova and Trachsel (2023) defend the view that the status—both epistemic and ethical—of Conversational Artificial Intelligence (CAI) used in psychotherapy is complicated. While therapeutic CAI seems to be more than a mere tool implementing particular therapeutic techniques, it falls short of being a “digital therapist.” One of the main arguments supporting the latter claim is that even though “the interaction with CAI happens in the course of conversation… the conversation is profoundly different from a conversation with (...) a human therapist” (Sedlakova and Trachsel 2023, 8). In particular, unlike a human therapist, CAI cannot help its users gain new insight and self-understanding (Sedlakova and Trachsel 2023). We agree that currently available therapeutic CAI cannot be considered a “digital therapist,” however, we think that the issue surrounding the acquisition of new self-understanding in the interaction with therapeutic CAI is more complicated than Sedlakova and Trachsel suggest. (shrink)

Growing demand for broadly accessible mental health care, together with the rapid development of new technologies, trigger discussions about the feasibility of psychotherapeutic interventions based on interactions with Conversational Artificial Intelligence (CAI). Many authors argue that while currently available CAI can be a useful supplement for human-delivered psychotherapy, it is not yet capable of delivering fully fledged psychotherapy on its own. The goal of this paper is to investigate what are the most important obstacles on our way to developing CAI (...) systems capable of delivering psychotherapy in the future. To this end, we formulate and discuss three challenges central to this quest. Firstly, we might not be able to develop effective AI-based psychotherapy unless we deepen our understanding of what makes human-delivered psychotherapy effective. Secondly, assuming that it requires building a therapeutic relationship, it is not clear whether psychotherapy can be delivered by non-human agents. Thirdly, conducting psychotherapy might be a problem too complicated for narrow AI, i.e., AI proficient in dealing with only relatively simple and well-delineated tasks. If this is the case, we should not expect CAI to be capable of delivering fully-fledged psychotherapy until the so-called “general” or “human-like” AI is developed. While we believe that all these challenges can ultimately be overcome, we think that being mindful of them is crucial to ensure well-balanced and steady progress on our path to AI-based psychotherapy. (shrink)

In this review-paper, I focus on biopsychological foundations of geometric cognition. Starting from the Kant’s views on mathematics, I attempt to show that contemporary cognitive scientists, alike the famous philosopher, recognize mutual relationships of visuospatial processing and geometric cognition. What I defend is a claim that Tinbergen’s explanatory questions are the most fruitful tool for explaining our “hardwired,” and thus shared with other animals, Euclidean intuitions, which manifest themselves in spatial navigation and shape recognition. I claim, however, that these “hardwired (...) intuitions” cannot capture full-blooded Euclidean geometry, which demands practice with cultural artifacts in various time-scales. (shrink)

In this paper it has been argued that the theory of conceptual maps developed recently by Paul M. Churchland provides support for Wittgenstein’s claim that language is a tool for acting in the world. The role of language is to coordinate and shape the conceptual maps of the members of the given language community, reducing the cross-individual cognitive idiosyncrasies and paving the way for joint cognitive enterprises. Moreover, Churchland’s theory also explains our tendency to speak of language as consisting of (...) concepts which correspond to things we encounter in the world. The puzzle of common sense reference is no longer a puzzle: while at the fundamental level language remains a tool for orchestrating conceptual maps, the fact that the maps encode some communally shared categorization of experience fuels our talk of concepts capturing the essences of things, natural kinds, prototypes, etc. (shrink)

Leon Chwistek (1884-1944) was a Professor of Mathematical Logic at the Lviv University, but also philosopher, theoretician of modern art and avant-garde painter. The present article deals with the reception of Albert Einstein’s special theory of relativity (SR) according to Leon Chwistek. Firstly, Chwistek’s life and philosophical views are presented. Particular attention is paid to the following issues: the theory of the multiplicity of realities, the problem of idealism in the context of philosophy of mathematics and philosophy of science, and (...) also positivist background of Chwistek’s philosophy. Secondly, the reception of the theory of relativity according to Chwistek is presented in detail. In order to explain this problem, the following steps are taken: Chwistek’s books and articles are presented. The charge of idealism against Albert Einstein’s and Hermann Minkowski’s theories, as well as alterations to special theory of relativity proposed by Chwistek are reported and analyzed. Finally, Chwistek’s mistakes are pointed out and recapitulated. (shrink)

Conversational Artificial Intelligence (CAI) systems (also known as AI “chatbots”) are among the most promising examples of the use of technology in mental health care. With already millions of users worldwide, CAI is likely to change the landscape of psychological help. Most researchers agree that existing CAIs are not “digital therapists” and using them is not a substitute for psychotherapy delivered by a human. But if they are not therapists, what are they, and what role can they play in mental (...) health care? To answer these questions, we appeal to two well-established and widely discussed concepts: cognitive and affective artifacts. Cognitive artifacts are artificial devices contributing functionally to the performance of a cognitive task. Affective artifacts are objects which have the capacity to alter subjects’ affective state. We argue that therapeutic CAIs are a kind of cognitive-affective artifacts which contribute to positive therapeutic change by (i) simulating a (quasi-)therapeutic interaction, (ii) supporting the performance of cognitive tasks, and (iii) altering the affective condition of their users. This sheds new light on why virtually all existing mental health CAIs implement principles and techniques of Cognitive Behavioral Therapy — a therapeutic orientation according to which affective change and, ultimately, positive therapeutic change is mediated by cognitive change. Simultaneously, it allows us to conceptualize better the potential and limitations of applying these technologies in therapy. (shrink)

The debate between the defenders of explanatory unification and explanatory pluralism has been ongoing from the beginning of cognitive science and is one of the central themes of its philosophy. Does cognitive science need a grand unifying theory? Should explanatory pluralism be embraced instead? Or maybe local integrative efforts are needed? What are the advantages of explanatory unification as compared to the benefits of explanatory pluralism? These questions, among others, are addressed in this Synthese’s special issue. In the introductory paper, (...) we discuss the background of the questions, distinguishing integrative theorizing from building unified theories. On the one hand, integrative efforts involve collaboration between various disciplines, fields, approaches, or theories. These efforts could even be quite temporary, without establishing any long-term institutionalized fields or disciplines, but could also contribute to developing new interfield theories. On the other hand, unification can rely on developing complete theories of mechanisms and representations underlying all cognition, as Newell’s “unified theories of cognition”, or may appeal to grand principles, as predictive coding. Here, we also show that unification in contemporary cognitive science goes beyond reductive unity, and may involve various forms of joint efforts and division of explanatory labor. This conclusion is one of the themes present in the content of contributions constituting the special issue. (shrink)

The focus of this special issue of Theory & Psychology is on explanatory mechanisms in psychology, especially on problems of particular prominence for psychological science such as theoretical integration and unification. Proponents of the framework of mechanistic explanation claim, in short, that satisfactory explanations in psychology and related fields are causal. They stress the importance of explaining phenomena by describing mechanisms that are responsible for them, in particular by elucidating how the organization of component parts and operations in mechanisms gives (...) rise to phenomena in certain conditions. We hope for cross-pollination between philosophical approaches to explanation and experimental psychology, which could offer methodological guidance, in particular where mechanism discovery and theoretical integration are at issue. Contributions in this issue pertain to theoretical integration and unification of psychology as well as the growing importance of causal mechanistic explanations in psychological science. (shrink)

In this paper, we argue that several recent ‘wide’ perspectives on cognition (embodied, embedded, extended, enactive, and distributed) are only partially relevant to the study of cognition. While these wide accounts override traditional methodological individualism, the study of cognition has already progressed beyond these proposed perspectives towards building integrated explanations of the mechanisms involved, including not only internal submechanisms but also interactions with others, groups, cognitive artifacts, and their environment. The claim is substantiated with reference to recent developments in the (...) study of “mindreading” and debates on emotions. We claim that the current practice in cognitive (neuro)science has undergone, in effect, a silent mechanistic revolution, and has turned from initial binary oppositions and abstract proposals towards the integration of wide perspectives with the rest of the cognitive (neuro)sciences. (shrink)

Replicability and reproducibility of computational models has been somewhat understudied by “the replication movement.” In this paper, we draw on methodological studies into the replicability of psychological experiments and on the mechanistic account of explanation to analyze the functions of model replications and model reproductions in computational neuroscience. We contend that model replicability, or independent researchers' ability to obtain the same output using original code and data, and model reproducibility, or independent researchers' ability to recreate a model without original code, (...) serve different functions and fail for different reasons. This means that measures designed to improve model replicability may not enhance (and, in some cases, may actually damage) model reproducibility. We claim that although both are undesirable, low model reproducibility poses more of a threat to long-term scientific progress than low model replicability. In our opinion, low model reproducibility stems mostly from authors' omitting to provide crucial information in scientific papers and we stress that sharing all computer code and data is not a solution. Reports of computational studies should remain selective and include all and only relevant bits of code. (shrink)

This collection of essays - written by philosophers, logicians, and theologians - is devoted to the problem of the utilization of logic in theological discourse. Viewed from the perspective of logic, the issues covered include such topics as the logic of miracles, the problem of God's omniscience, the application of non-classical logics to theology, and the relationships between science and theology.

The contributions in this book deal with the issue of normativity from various academic and scientific perspectives. The reader will learn how phenomena - such as norms, morality, and rule-following - are described and explained in philosophy, biology, psychology, linguistics, and neuroscience. In addition, a discussion of the naturalistic fallacy, from philosophical and ethical perspectives, is included.

AbstraktPEŁNY TEKST: PDF References Heidegger Martin, Bycie i czas, przeł. B. Baran, PWN, Warszawa 1994. Hoły-Łuczaj Magdalena, Kształtowalność. Postheideggerowskie pytanie o inny wymiar bycia, Copernicus Center Press, Kraków 2022. Hoły-Łuczaj Magdalena, Radykalny nonantropocentryzm. Martin Heidegger i ekologia głęboka, Wydawnictwa Uniwersytetu Warszawskiego, Warszawa–Rzeszów 2018.

We present here some Boolean connexive logics (BCLs) that are intended to be connexive counterparts of selected Epstein’s content relationship logics (CRLs). The main motivation for analyzing such logics is to explain the notion of connexivity by means of the notion of content relationship. The article consists of two parts. In the first one, we focus on the syntactic analysis by means of axiomatic systems. The starting point for our syntactic considerations will be the smallest BCL and the smallest CRL. (...) In the first part, we also identify axioms of Epstein’s logics that, together with the connexive principles, lead to contradiction. Moreover, we present some principles that will be equivalent to the connexive theses, but not to the content connexive theses we will propose. In the second part, we focus on the semantic analysis provided by relating- and set-assignment models. We define sound and complete relating semantics for all tested systems. We also indicate alternative relating models for the smallest BCL, which are not alternative models of the connexive counterparts of the considered CRLs. We provide a set-assignment semantics for some BCLs, giving thus a natural formalization of the content relationship understood either as content sharing or as content inclusion. (shrink)

Recent increases in inflation rates around the world has lead to many discussions on the causes of such rapid adjustments, some suggesting that higher profits are responsible driving force behind inflation. Here we will focus on the United States case and demonstrate why quantity theory of money is relevant to explain what has been going on with inflation after 2020 rather than profit based theory of inflation. First section introduces the argument. Second section restates quantity theory of money with relevance (...) to the empirical literature. Third section shows why quantity theory despite some suggestions works to explain the current levels of inflation. Fourth section notices why increases in nominal profits during inflation are part of the natural adjustment path. Last section offers concluding comments. (shrink)

Tomasz z Akwinu nie kojarzy się w pierwszym odruchu z kimś, kto kładłby mocny akcent na teologię Boga uniżonego we wcieleniu i na krzyżu. Tak przynajmniej wydaje się wielu współczesnym teologom, zwłaszcza tym, którzy są przedstawicielami szeroko rozumianego nurtu kenotycznego. Według nich Akwinata jest przykładem myśliciela, w którego teologii absolutność Boga, Jego transcendencja, niezmienność, suwerenność i potęga zostały tak mocno podkreślone, że ma to wręcz uniemożliwiać adekwatne uchwycenie zdumiewającej prawdy objawionej w Chrystusie: Bóg jest Bogiem uniżającym siebie samego. Zatem, zdaniem (...) wielu współczesnych teologów, proponowana przez Tomasza wizja Boga ma więcej wspólnego ze skonstruowaną za pomocą metafizyki filozoficzną doktryną Absolutu niż z Bogiem, który stał się człowiekiem i umarł na krzyżu dla naszego zbawienia. Czy jednak zarzut ten jest słuszny? Czy Akwinata rzeczywiście nie dostrzega uniżenia Boga? Właśnie z próby odpowiedzenia na te pytania zrodziła się niniejsza książka. Ze Wstępu. (shrink)

This book aims to present trompe-l'oeil painting as an ambigous aesthetic ideal offered by early modern theory of art. It embodies the idea of an image identical to what it represents. It is interpreted in terms of perceptual and aesthetic illusion, mimesis, diegesis, play, irony and scientific illustration.

In this paper, we present the history of and the research directions in relating logic. For this purpose we will describe Epstein's Programme, which postulates accounting for the content of sentences in logical research. We will focus on analysing the content relationship and Epstein's logics that are based on it, which are special cases of relating logic. Moreover, the set-assignment semantics will be discussed. Next, the Torunian Programme of Relating Semantics will be presented; this programme explores the various non-logical relationships (...) in logical research, including those which are content-related. We will present a general description of relating logic and semantics as well as the most prominent issues regarding the Torunian Programme, including some of its special cases and the results achieved to date. -/- . (shrink)

In consequence of significant social, political, economic, and demographic changes several wildlife species are currently growing in numbers and recolonizing Europe. While this is rightly hailed as a success of the environmental movement, the return of wildlife brings its own issues. As the animals arrive in the places we inhabit, we are learning anew that life with wild nature is not easy, especially when the accumulated cultural knowledge and experience pertaining to such coexistence have been all but lost. This book (...) provides a hermeneutic study of the ways we come to understand the troubling impacts of wildlife by exploring and critically discussing the meanings of 'ecological discomforts'. Thus, it begins the work of rebuilding the culture of coexistence. The cases presented in this book range from crocodile attacks to mice infestations, and their analysis consequently builds up an ethics that sees wildlife as active participants in the shaping of human moral and existential reality. This book is of interest not only to environmental philosophers, who will find here an original contribution to the established ethical discussions, but also to wildlife managers, and even to those members of the public who themselves struggle to make sense of encounters with their new wild neighbors. (shrink)

We introduce a principle of local collection for compositional truth predicates and show that it is arithmetically conservative over the classically compositional theory of truth. This axiom states that upon restriction to formulae of any syntactic complexity, the resulting predicate satisfies full collection. In particular, arguments using collection for the truth predicate applied to sentences occurring in any given (code of a) proof do not suffice to show that the conclusion of that proof is true, in stark contrast to the (...) case of the induction scheme. We analyse various further results concerning end-extensions of models of compositional truth and the collection scheme for the compositional truth predicate. (shrink)

In this article we investigate the relationship between legal translation and legal interpretation. The common wisdom is that these activities are closely related, but the nature of that relationship remains disputable. We adopt the perspective of legal theory—as opposed to the perspective of translation studies—which seems to be underrepresented in the literature of the subject. We start with distinguishing between the two notions of legal interpretation: the wide sense and the narrow sense. We argue that the relationship between legal translation (...) and legal interpretation changes significantly depending on the notion of legal interpretation that is assumed. The wide sense is often assumed by translation scholars and it renders legal interpretation as a necessary prerequisite for legal translation. Jurists, on the other hand, usually assume the narrow sense which renders legal interpretation and legal translation as two distinct activities with some shared features. We then focus on four issues of legal interpretation in the narrow sense: the types of legal interpretive problems, the creation of legal interpretive problems, the methods of legal interpretation, the resolution of legal interpretive problems. We conclude with a detailed comparison of legal translation and legal interpretation in the context of those four issues. (shrink)

Idea słowiańska” jest terminem ogólnym, odnoszącym się do wielu politycznych, historiozoficznych i kulturowych wątków, dla których inspiracją było językowe i kulturowe pokrewieństwo między narodami słowiańskimi. Takie ruchy jak słowianofilstwo i panslawizm miały na celu kulturalne i polityczne zjednoczenie Słowian. Idea ta wywarła silny wpływ na muzykę krajów środkowej i wschodniej Europy w XIX i XX wieku. Pod jej wpływem powstała znaczna liczba utworów muzycznych. Można utwory te podzielić na kilka grup. W jednych „słowiańskość” podkreślana była poprzez tytuł. Kompozytorzy używali również (...) typowo słowiańskich gatunków tanecznych i pieśniowych, jak polski mazurek i ukraińska dumka. Innym sposobem realizacji idei słowiańskiej były muzyczne kontakty między twórcami. Idea muzyki słowiańskiej pojawia się również w komentarzach muzykologicznych: słowiański „charakter” muzyczny bywał najczęściej łączony ze specyficznymi kategoriami emocjonalnymi, takimi jak smutek, tęsknota, szczególnie zaś żal, które to określenie stosowano do opisu przemożnego nastroju panującego w dziełach Chopina. (shrink)

Artykuł jest próbą analizy koncepcji minimalistycznej neurofilozofii autorstwa Henrika Waltera w kontekście dyskusji dotyczącej problemu psychofizycznego. Bezpośrednio związana z ową koncepcją teoria o „zróżnicowanej metafizyce” została w tekście powiązana z ideą pluralizmu eksplanacyjnego i ukazana jako metodologiczna alternatywa dla poszukiwania fundamentalnych teorii świadomości. Jednocześnie poza ewentualnymi zaletami metafilozoficznej refleksji podejmowanej w ramach minimalistycznej neurofilozofii zarysowane zostały jej podstawowe ograniczenia i problemy związane m.in. z uznaniem superweniencji za punkt łączący różnorodne stanowiska neurofilozoficzne.

The aim of the paper is to discuss the idea of dialogue with nature. Even though the idea of dialogue with animals, plants – even objects of inanimate nature – is well known, it has usually been treated as an expression of a naive or folk view. Yet, it has recently gained in importance as an idea that is used to describe an ecological approach to natural environment and tends to be treated as a foundation for an ecological culture. A (...) noteworthy contribution to the reconsideration of the concept of human-nature dialogue has also been given by a number of contemporary philosophers who have offered an environmental reinterpretation of phenomenology and hermeneutics based on, among other things, Martin Buber’s concept of the I-You relationship. The paper will focus on two aspects of the concept of dialogue, namely on its epistemological and ethical implications. Following Erazim Kohák’s theory, which will be presented as a key figure of a particular manner of speaking about nature, one that leads to ecological personalism. (shrink)

This paper is a follow-up to [4], in which a mistake in [6] was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added, then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left$. In particular the latter is not relatively truth definable in the former. Last but not (...) least, we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in [9]. The truth theory we define is based on Weak Kleene Logic instead of the Strong one. (shrink)

The paper explores the link between contemplation of the One and happiness in Plotinus and challenges the traditional interpretation according to which a contemplative or mystical experience of the One is by necessity brief and transitory, while the experience of Intellect can become a stable state in this life. Were it so, it would not serve as a ground for the good or happy life. In order to reconcile this point with Plotinus’s other claim about contemplation, his doctrine of the (...) double activity of Intellect is invoked. (shrink)

The current paper studies the formal properties of the Global Reflection Principle, to wit the assertion “All theorems of$\mathrm {Th}$are true,” where$\mathrm {Th}$is a theory in the language of arithmetic and the truth predicate satisfies the usual Tarskian inductive conditions for formulae in the language of arithmetic. We fix the gap in Kotlarski’s proof from [15], showing that the Global Reflection Principle for Peano Arithmetic is provable in the theory of compositional truth with bounded induction only ($\mathrm {CT}_0$). Furthermore, we (...) extend the above result showing that$\Sigma _1$-uniform reflection over a theory of uniform Tarski biconditionals ($\mathrm {UTB}^-$) is provable in$\mathrm {CT}_0$, thus answering the question of Beklemishev and Pakhomov [2]. Finally, we introduce the notion of a prolongable satisfaction class and use it to study the structure of models of$\mathrm {CT}_0$. In particular, we provide a new model-theoretical characterization of theories of finite iterations of uniform reflection and present a new proof characterizing the arithmetical consequences of$\mathrm {CT}_0$. (shrink)

The aim of the article is to analyze the relationship between Singapore and the People’s Republic of China in the light of the current policy of the President of the United States Donald Trump. The point of reference for the presented analysis is the foreign policy of the former President Barack Obama, based on the strategy known as “pivot to Asia” – the strategic turnabout of the United States to the Asia-Pacific region. One of its main objectives was the signing (...) of a multilateral agreement on the establishment of a free trade zone, the Trans-Pacific Partnership (TPP), bringing together 12 countries. The main subject of the present analysis is to examine the impact of Donald Trump’s decision of January 2017 to withdraw from the TPP trade agreement on the relations between the remaining signatories of the agreement, as well as to examine Beijing’s actions, which may seek to increase its sphere of influence in Asia through the breakdown of TPP. The main part of the research is focused on the triangle politics concept in international politics, which will include China, Singapore and the United States. Besides the two largest economic powers, Singapore is included because of its membership in the TPP and ASEAN, and due to its strong economy and its population (predominantly) of Chinese origin it can be viewed as the “fifth column” or may otherwise play a role in the Greater China concept. (shrink)

In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Let Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {Th}}$$\end{document} denote the class of models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admit an expansion to a model of theory Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${ Th}$$\end{document}. We show that PA⊃TB⊃RS⊃UTB⊇CT-,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} {{\mathfrak {PA}}}\supset {\mathfrak {TB}}\supset {{\mathfrak {RS}}}\supset {\mathfrak {UTB}}\supseteq \mathfrak {CT^-}, \end{aligned}$$\end{document}where PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {PA}}$$\end{document} denotes simply the class of all models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} and RS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {RS}}$$\end{document} denotes the class of recursively saturated models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Our main original result is that every model of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admits an expansion to a model of CT-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ CT ^-$$\end{document}, admits also an expansion to a model of UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document}. Moreover, as a corollary to one of the results we conclude that UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document} is not relatively interpretable in TB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ TB $$\end{document}, thus answering the question from Fujimoto. (shrink)

Celem artykułu jest prezentacja i krytyczna analiza koncepcji uczuć egzystencjalnych, autorstwa współczesnego filozofa psychiatrii o orientacji fenomenologicznej — Matthew Ratcliffe’a. Uczucia egzystencjalne są specjalną klasą stanów afektywnych, nadającą emocjonalnego zabarwienia subiektywnemu doświadczeniu rzeczywistości. Mają one charakter przedrefleksyjny i stanowią niejawne tło świadomości fenomenalnej, które w potocznym doświadczeniu pozostaje poza polem uwagi. Uczucia te mają ścisły związek z emocjami, determinując typy przedmiotów intencjonalnych zawartych w stanach emocjonalnych i wyznaczając repertuar możliwych do doświadczenia emocji. Najważniejsze uczucia egzystencjalne, które wyróżnia Ratcliffe, to: (1) (...) poczucie rzeczywistości, czyli przedrefleksyjne i fenomenalne wrażenie o realnym istnieniu świata jako takiego; (2) poczucie przynależności, czyli przedrefleksyjne i fenomenalne wrażenie własnego istnienia i osadzenia w świecie pośród osób i rzeczy. Te dwie kategorie stanowią fundamentalne składowe pierwszoosobowego doświadczenia podmiotu, wyznaczając tym samym jego relację do innych ludzi oraz rzeczywistości w jej najbardziej ogólnym sensie. W artykule przedstawiam główne cechy i typy uczuć egzystencjalnych. Zwracam także uwagę na szczególną rolę psychopatologii w analizie i uzasadnianiu istnienia tego zjawiska. W związku z tym, za Ratcliffem, opisuję w jaki sposób określone aspekty uczuć egzystencjalnych ulegają dezintegracji w przebiegu epizodów zaburzeń psychicznych, takich jak depresja czy schizofrenia. Pokazuję także różnicę pomiędzy fenomenologicznym i poznawczo-behoawioralnym podejściem do zaburzeń psychicznych. Powołując się na badania neurobiologiczne staram się wskazać potencjalne neuronalne korelaty uczuć egzystencjalnych. Tekst wieńczą krytyczne uwagi na temat koncepcji uczuć egzystencjalnych w ujęciu Matthew Ratcliffe’a. Rozwiązanie zidentyfikowanych wad i niedociągnięć tej teorii filozoficznej zarazem nakreśla przyszłe perspektywy jej rozwoju. (shrink)

The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of the transition from a theory to its reflection principle is still lacking. We (...) provide an axiomatization of the minimal commitments implicit in the acceptance of a mathematical theory. The theory entails that the Uniform Reflection Principle is part of one’s implicit commitments, and sheds light on why this is so. We argue that the theory has significant epistemological consequences in that it explains how justified belief in the axioms of a theory can be preserved to the corresponding reflection principle. The theory also improves on recent analyses of implicit commitment based on truth or epistemic notions. (shrink)

Aphasia is an acquired impairment of language functions resulting from a brain lesion. It is usually accompanied by deficits in non-linguistic cognitive processes. This study aimed to investigate in patients with aphasia the complex interrelationships between selected cognitive functions: auditory speech comprehension, working memory, and temporal information processing in the millisecond time range. Thirty right-handed subjects aged from 27 to 82 years suffering from post-stroke aphasia participated in the study. Verbal working memory and spatial working memory were assessed with: a (...) receptive verbal test and the Corsi Block-Tapping Test, respectively. Both these WM tests used the forward tasks and backward tasks. Auditory comprehension was assessed by receptive language tests, and TIP efficiency was assessed by auditory perception of temporal order in the millisecond time range. We observed better performance of forward WM tasks than backward ones, independently of the type of material used. Furthermore, the severity of auditory comprehension impairment correlated with the efficiency on both forward and backward VWM tasks and the backward SWM task. Further analysis revealed that TIP plays a crucial role only in the latter task. These results indicate the divergent pattern of interactions between WM and TIP depending on the type of WM tasks. Level of verbal competency appeared to play an important role in both VWM tasks, whereas TIP appeared to be important for SWM, but only on the backward task. (shrink)