Ethical evaluation of deep brain stimulation as a treatment for Parkinson’s disease is complicated by results that can be described as involving changes in the patient’s identity. The risk of becoming another person following surgery is alarming for patients, caregivers and clinicians alike. It is one of the most urgent conceptual and ethical problems facing deep brain stimulation in Parkinson’s disease at this time. In our paper we take issue with this problem on two accounts. First, we elucidate what is (...) meant by “becoming another person” from a conceptual point of view. After critically discussing two broad approaches we concentrate on the notion of “individual identity” which centers on the idea of “core attitudes”. Subsequently we discuss several approaches to determine what distinguishes core attitudes from those that are more peripheral. We argue for a “foundational-function model” highlighting the importance of specific dependency relations between these attitudes. Our second aim is to comment on the possibility to empirically measure changes in individual identity and argue that many of the instruments now commonly used in selecting and monitoring DBS-patients are inappropriate for this purpose. Future research in this area is advised combining a conceptual and an empirical approach as a basis of sound ethical appraisal. (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)

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 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 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)

A method of constructing Hilbert-type axiom systems for standard many-valued propositional logics was offered by Rosser and Turquette. Although this method is considered to be a solution of the problem of axiomatisability of a wide class of many-valued logics, the article demonstrates that it fails to produce adequate axiom systems. The article concerns finitely many-valued propositional logics of Łukasiewicz. It proves that if standard propositional connectives of the Rosser–Turquette axiom systems are definable in terms of the propositional connectives of Łukasiewicz’s (...) logics, and thus, they are normal ones, then every Rosser–Turquette axiom system for a finite-valued Łukasiewicz’s logic is semantically incomplete. (shrink)

The article concerns two axiom systems of Słupecki for the functionally complete three-valued propositional logic: W1–W6 and A1–A9. The article proves that both of them are inadequate—W1–W6 is semantically incomplete, on the other hand, A1–A9 governs a functionally incomplete calculus, and thus, it cannot be a semantically complete axiom system for the functionally complete three-valued logic.

SENSEMAKING. ORGANIZATIONAL KNOWLEDGE AND CULTURE IN THE LIGHT OF INTEGRATED HUMANITIES Definitions of organizational culture usually focus on shared symbols, rituals, behavioral patterns, or even propositional assumptions concerning reality. Such phenomena represent heterogeneous collection of objects, events, and processes. Instead, the paradigm of integrated humanities defines organizational culture in terms of beliefs which provide both practical instructions for agents and shared interpretative schemes which guide the understanding of the environment. In this context, the process of “sensemaking” is understood as a (...) knowledge-based act of cultural sense-giving or of culturally mediated construction of organizational reality. Since the meaning-creation process seems to be both culturally mediated and knowledge-based, the perspective presented in the paper is defined as an “epistemic model of organizational culture”. Keywords: SENSEMAKING, ORGANIZATIONAL CULTURE, CULTURAL KNOWLEDGE, ORGANIZATIONAL KNOWLEDGE, TACIT KNOWLEDGE, KNOWLEDGE MANAGEMENT, CULTURE, KNOW-HOW. (shrink)

Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...) π of an arithmetical sentence ϕ, f(π) is a PA-proof of ϕ. (shrink)

The paper’s aim is to present and critically discuss a peculiar practice noticed and studied in courtrooms in the Lower Court in Kraków, Poland. In courtrooms where different hearings take place, two cameras are installed on the wall or on the stand near the judge’s bench. One camera is aimed at the center of the courtroom, where non-professional participants such as witnesses or plaintiffs stand while being questioned by judge. The second camera’s view is more general—it covers the rest of (...) the courtroom, including the benches for plaintiffs, claimants, defendants, and their legal representatives, and most notably the general public. Naturally, the mere presence of cameras in the modern courtroom is not surprising. What raises some questions is the presence of TV screens in the Kraków Lower Court’s courtrooms, which display the feed from both cameras during the hearing. Consequently, people gathered in the courtroom, especially people questioned by the judge, can see themselves “live” in the TV screen. Even without raising the subtle details and differences between individual courtrooms, the system of displaying, in real time, live video feeds from a courtroom into the same courtroom begs for more detailed, critical analysis. For instance, one should address the system’s functions and the real consequences for the dynamics during hearings, which are not assumptions or hypotheticals. The paper distinguishes the issues connected with the system and addressees them through the perspective of witnesses who participate in the hearings, using the collected opinions of witnesses. (shrink)

The aim of this article is to suggest that one should think of gardens in terms of performances and not necessarily in terms of architecture, painting, or poetry, for it is possible to show that, strangely enough, gardens seem to share certain features with performance arts. Such an approach seems fruitful since it allows one both to grasp the fact that gardens combine culture and nature and to underline the role of the latter, which cannot be reduced to a sheer (...) medium as is traditionally done. The contention is that gardens should be treated more like a continuous, dynamic, partly planned process in which people can participate in different ways on a par with other non-human ‘actors’. Moreover, the category of performance seems to offer a useful framework helping to solve certain problems inherent in traditional ways of thinking about gardens. (shrink)

We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w, for all w, and give some formal properties of it.

ABSTRACT Capital regulations stemming from the Basel accords created incentives for banks to securitize mortgages, even risky ones; hold them at a correspondingly low Basel risk weight; or shift them off of banks' balance sheets to obtain even greater leverage. Securitization was praised by economists and regulators for dispersing risks to investors across the world, providing greater resilience to the financial system. However, since in reality banks tended to hold onto securitized assets?either on their balance sheets or off of them, (...) in off?balance?sheet entities?the accumulated credit risk remained with the banks, especially in the ?shadow banking sector.? This explains the heightened vulnerability of the financial system to a sudden collapse. (shrink)

Author: Bonecki Mateusz Title: HUMANISTIC INTERPRETATION AND THEORETICAL RECONSTRUCTION OF CULTURE (Interpretacja humanistyczna a teoretyczna rekonstrukcja kultury) Source: Filo-Sofija year: 2011, vol:.12, number: 2011/1, pages: 189-211 Keywords: CULTURE, SOCIO-REGULATORY THEORY OF CULTURE, KMITA, INTERPRETATION, HUMANITIES, FUNCTIONALISM, CULTURAL STUDIES, KULTURWISSENSCHAFTEN Discipline: PHILOSOPHY Language: POLISH Document type: ARTICLE Publication order reference (Primary author’s office address): E-mail: www:In this paper the author presents crucial aspects of Jerzy Kmita’s socio-regulatory conception of culture in order to define it as a theoretical background of “humanistic (...) interpretation”. When the latter is to be understood as a method of explanation of human behavior with regard to its cultural meaning, the theoretical background is provided by variety of research activities which the author defines as “theoretical reconstruction of culture”. They consist in e.g. socio-functional explanation, linguistic and semantic analysis, or even in epistemological considerations, and guarantee theoretically independent justification of the interpretive hypotheses applied in the course of “humanistic interpretation”. Such “reconstruction” specifies further conditions of intersubjective acceptability of the statements within the discourse of humanities and therefore it also limits the subjective and individual character of the attribution of cultural beliefs to the members of a certain cultural community. (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)

The Upper Permian carbonates of the second Zechstein evaporite cyclothem, the Main Dolomite, constitute Poland’s most prolific oil play. An analysis of the Ca2 reservoir seismic response combined with wireline logging data from wells situated mostly on a lower slope and a toe-of-slope of the sulfate-carbonate platforms in Western Poland help to predict the quality and thickness of the reservoir. Low thickness of the strata, changeability of their lateral and vertical reservoir quality, facial and mineralogical irregularity, and significant differences in (...) the thickness inside lithostratigraphic units complicate a correct seismic interpretation. Correlation of well data with seismic data allowed us to understand a complex layout of reflectors. In particular, the appearance of an additional set of reflections on a slope and a toe-of-slope of the sulfate-carbonate platforms allowed us to predict a thicker Ca2 strata. The presence of a dim spot in the Z2 reflection created by the contact between the Older Halite and a thin layer of the Basal Anhydrite above the Ca2 reservoir and the appearance of additional reflection or increase of its amplitude related to a base of reservoir spread above the Werra Anhydrite indicate porous carbonate reservoir. To check conformity of a geologic model with the observed anomalous seismic image in the region of the Cychry South gas-oil reservoir, seismic modeling was carried out. We proved that a gas-saturated reservoir is relatively easy to identify. Distinguishing an oil-saturated reservoir from a water-saturated reservoir is practically impossible. One should be cautious when interpreting hydrocarbon-saturated zones because even insignificantly gas-saturated reservoir waters generate the same seismic image with the characteristic Z2 dim spot and amplitude amplification of the Ca2b. (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, 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 of Chinese origin it can be viewed as the “fifth column” or may otherwise play a role in the Greater China concept. (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 so far 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 the reason why this is so. We argue that the theory has interesting 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 proposals for the analysis of implicit commitment based on truth or epistemic notions. (shrink)

-/- Medytacje filozoficzne, Fundacja na Rzecz Myślenia im. Barbary Skargi, Warszawa 2015. -/- Publikacja współfinansowana przez Muzeum Łazienki Królewskie w Warszawie. -/- Zbiór tekstów powstałych na podstawie wykładów, które zostały wygłoszone w ramach cyklu "Medytacje filozoficzne w Łazienkach" w latach 2013-2015. -/- -/- Spis treści: -/- Cezary Wodziński, Premedytacja Krzysztof Pomian, O wyjątkowości człowieka Zygmunt Bauman, O miłości i nienawiści… Tropami Barbary Skargi Tadeusz Sławek, Ciemne liturgie. Język, historia i gest błogosławieństwa Lech Witkowski, Rozprawa z autorytetem: w strone autorytu przejścia (...) Władysław Stróżewski, Doświadczenie czasu, doświadczenie istnienia Juliusz Domański, „Pradawna waśń filozofów z poetami” a kłopoty z dziedzictwem antycznym Serhij Żadan, Wolność jako odpowiedzialność Marcin Poręba, Co to jest rzeczywistość? Szymon Wróbel, Co to jest historia filozofii? Magdalena Środa, Moralność życia publicznego Kostiantyn Tyszczenko, Po co językoznawstwu metateoria? (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)

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)

Branching is a set-theoretical model of reality that is in accord with contemporary physics. This structure is also a model for some logical calculi. However, if the formal language defined on the basis of branching is to correspond to our ways of speaking about possible events, a number of issues must be clarified. All of them are connected with the notion of possibility that is employed in this language. Yet the apparent need to supplement this language with an additional notion (...) of possibility means that branching ceases to be attractive as a candidate for a model of physical reality, as it contains considerably more elements than we would like to see in reality. Thus, the connection between this logical tool and ontology becomes questionable. (shrink)

One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.

This paper discusses main issues concerning Toulmin’s theory of evolutionary development of scientific knowledge. The reconstruction of Toulmin’s assumptions, which underlie the theory, and the presentation of the theory itself, is followed by the analysis of the difficulties of the conception in general. The author tries to show that these difficulties consist primarily in the discrepancy between what Toulmin aimed at and what he actually achieved. The problem is that although incorporating the means of Darwin’s theory may itself be — (...) in the context of describing the growth of scientifi c knowledge — justifi able, it is not consistent with Toulmin’s demand for the rationality of science. The purpose of creating the evolutionary theory was, as Toulmin claimed, to give an account of the development of scientific knowledge which would be non-relativistic and rationalistic. However, this purpose is, as the author argues, not achievable on the grounds of Toulmin’s accounts of rationality. Key words S. TOULMIN, SCIENCE, EVOLUTION. (shrink)