This text reviews David Megger’s 2021 book entitled _Justice in Welfare Economics. __Libertarianism and the Austrian School_ (in Polish: _Sprawiedliwość w ekonomii dobrobytu, liberatarianizm i szkoła austriacka_). The review takes a critical approach, highlighting the most significant aspects of the presented considerations and emphasising their uniqueness and complexity. I intend to extensively discuss the author’s theses concerning the modification of the fundamental claims of Austrian school representatives about justice and welfare, highlighting both their strengths and weaknesses.

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)

This paper is a follow-up to [4], in which a mistake in [6] (which spread also to [9]) 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${(\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left( {{\rm{tot}}} \right)$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added (giving${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}$), then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + (...) {\rm{INT}}\left( {{\rm{tot}}} \right)$. In particular the latter is not relatively truth definable (in the sense of [11]) 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)

In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over $$ PA $$. Let $${\mathfrak {Th}}$$ denote the class of models of $$ PA $$ which admit an expansion to a model of theory $${ Th}$$. We show (combining some well known results and original ideas) that $$\begin{aligned} {{\mathfrak {PA}}}\supset {\mathfrak {TB}}\supset {{\mathfrak {RS}}}\supset {\mathfrak {UTB}}\supseteq \mathfrak {CT^-}, \end{aligned}$$ where $${\mathfrak {PA}}$$ denotes simply the class of all models of (...) $$ PA $$ and $${\mathfrak {RS}}$$ denotes the class of recursively saturated models of $$ PA $$. Our main original result is that every model of $$ PA $$ which admits an expansion to a model of $$ CT ^-$$, admits also an expansion to a model of $$ UTB $$. Moreover, as a corollary to one of the results (brought to us by Carlo Nicolai) we conclude that $$ UTB $$ is not relatively interpretable in $$ TB $$, thus answering the question from Fujimoto (Bull Symb Log 16:305–344, 2010). (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)

For many decades, Duhem has been considered a paradigmatic instrumentalist, and while some commentators have argued against classifying him in this way, it still seems prevalent as an interpretation of his philosophy of science. Yet such a construal bears scant resemblance to the views presented in his own works—so little, indeed, that it might be said to constitute no more than a mere phantom with respect to his actual thought. In this article, we aim to deconstruct this phantom, tracing the (...) sources of the misconceptions surrounding his ideas and pinpointing the sources and/or causes of its proliferation. We subsequently point out and discuss those elements of his philosophy that, taken together, support the view of him as a scientific realist of a sophisticated kind. Finally, we defend our own interpretation of his thought against suggestions to the effect that it is oriented towards neither instrumentalism nor scientific realism. (shrink)

Preview: It is not a gross exaggeration to state that philosophy is an inherently urban phenomenon. Born and largely practiced in the Greek polis, it was developed throughout the ages in various places that more often than not were situated within city walls. Even if, udoubtedly, philosophy has never been limited solely to urban spaces, it has become more and more embedded in cities over the centuries. Consequently, from the 19th century on it has been part and parcel of the (...) intellectual life whose main centers have been towns since it has been almost exclusively researched on and taught within academic institutions. (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)

The article is devoted to the famous The Discourse of Voluntary Servitude by Étienne de La Boétie. The author considers the theoretical premises underlying the concept of “voluntary servitude”, juxtaposing them with two modern concepts of will developed by Descartes and Pascal. An important feature of La Boétie’s project is the political and therefore intersubjective – as opposed to the individualistic perspective of Descartes and Pascal – starting point. It is therefore situated against the background of, on the one hand, (...) the historical evolution of early modern states and, on the other hand – of the political philosophy of Machiavelli and Hobbes. (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)

The main purpose of the paper is to develop a concept of _model uncertainty_ as opposed to the existing and well-established concept of model risk. Up to date the broad literature on probability not only developed complete probability systems, but also correctly noticed limitations of probability calculus. Despite the acknowledgement of such probability restrictions, drawbacks of modeling are often related to model risk. We present an argument here to distinguish a feature limiting models even further: model uncertainty. The tenets of (...) it already exist in the literature on probability, but were not properly emphasized while the idea of model risk was developed. Our plan it to start with a broad overview of the existing knowledge about probability in order to start with fundamental principles. From them we are deriving a new concept of model uncertainty. (shrink)

Although all the Western Balkan countries have been offered the prospect of European Union (EU) membership, the accession process still constitutes a complicated and multi-aspect challenge. EU support and engagement in the region have resulted in a few successes, nonetheless, describing them as major breakthroughs is far from the reality. Since the establishment of the Dayton Agreement in 1995, ending the conflict in Bosnia and Herzegovina, most of the Balkan states have not managed to accomplish their political, ideological and civic (...) transformations yet. However, the difficult situation and frequent negotiation stalemates are not only the outcomes of the unsatisfactory progress made by the Peninsular countries. Ambiguous and unethical (in some cases) behaviour can also be noticed from the EU decision-makers’ side. The following article aims to present concrete examples of EU external policy actions in Bosnia and Herzegovina which can be described as controversial. However, the author attempts to prove the thesis that unethical external policy is not always a zero-sum game, and in particular circumstances it can be paradoxically perceived as the best solution. Taking into consideration the comprehensiveness of the problem and editorial limitations, the analysis focuses on activities of the High Representative for Bosnia and Herzegovina, who used to be (during four out of seven tenures) the EU Special Representative for Bosnia and Herzegovina. (shrink)

The main aim of this article is to prove that Wittgenstein's early philosophy considers two perspectives: the first one from the view of necessary logic and the second one from the view of contingent application of logic in the natural language. The application of logic is the matter of decisions outside the logical necessity - it is arbitrary and thus it can not be anticipated by logic and can not be considered by logical notation (concept-script). According to Wittgenstein 'logic must (...) take care of itself' and only the exclusion of the contingency from the logical notation let maintain the autonomy of logic. (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)

Boolean connexive logic is an extension of Boolean logic that is closed under Modus Ponens and contains Aristotle’s and Boethius’ theses. According to these theses a sentence cannot imply its negation and the negation of a sentence cannot imply the sentence; and if the antecedent implies the consequent, then the antecedent cannot imply the negation of the consequent and if the antecedent implies the negation of the consequent, then the antecedent cannot imply the consequent. Such a logic was first introduced (...) by Jarmużek and Malinowski, by means of so-called relating semantics and tableau systems. Subsequently its modal extension was determined by means of the combination of possible-worlds semantics and relating semantics. In the following article we present axiomatic systems of some basic and modal Boolean connexive logics. Proofs of completeness will be carried out using canonical models defined with respect to maximal consistent sets. (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)

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)

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)

IntroductionThe rapid development of technology has led to the transfer of entertainment to the virtual world. Many games and multimedia applications use the so-called augmented reality. With the development of a new technological branch, a new health problem has emerged, which is infoholic addiction, attracting people with the specific functionality that is cyberspace and the virtual world.ObjectiveThe study aimed to assess health behaviors and the risk of addiction among users of urban multimedia games. Research methodology. The study was conducted among (...) players 1,134 of urban multimedia games—Pokemon GO, in the period March–June 2021. A 990 correctly completed questionnaires were included in the final analyses. The author’s questionnaire was used in the study, which included two standardized measurement scales in the Polish abbreviated version: a questionnaire of emotions and sensations associated with electronic entertainment and a questionnaire on addiction to electronic forms of entertainment. Statistica 13.0 program was used for statistical processing of the data. The probability level was p < 0.05.ResultsThe profile of the gamer was identified as male, aged 18–30 years, with secondary education, not in a relationship, living in a city of more than 100 thousand inhabitants—60.1% of gamers met these criteria. Respondents played urban multimedia games daily. About 26.3% of respondents played this type of game 2–3 h a day. In terms of physical fitness, 64.3% of respondents felt that physical fitness had improved as a result of playing multimedia urban games. In terms of mental condition, most of the respondents said that nothing had changed. It was observed that 72.3% of respondents had some risk of addiction to urban multimedia games.ConclusionUsers of urban multimedia games were usually adult men living in big cities. It was also shown that the defined profile of the player was characterized by a higher risk of addiction to electronic forms of entertainment. It was observed that the respondents most often played urban multimedia games every day in a maximum of two-hour sessions. Based on the tools used, it can be concluded that the study group was characterized by a certain risk of addiction to urban multimedia games. (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)

This article contributes to the discussion regarding the relationship between idealisation, de-idealisation and cognitive scientific progress. In this, I raise the question of the significance of the gradual de-idealisation procedure for constructing political science theories. I show that conceptions that assume the reversibility of the idealisation process can be an extremely useful theoretical perspective in reconstructions of political science modelling and analyses of scientific progress in political science. I base my position on the results of the methodological reconstruction of Richard (...) Jankowski’s theory of voting. My reconstruction and results of empirical studies show that by gradually removing simplifying assumptions, models can emerge that more accurately identify the determinants of the voting decision and the corresponding relationships. In the case I analysed, the transition from coarse-grained to fine-grained models likely demarcates the line of scientific progress. (shrink)

James (1890) distinguished two understandings of the self, the self as “Me” and the self as “I”. This distinction has recently regained popularity in cognitive science, especially in the context of experimental studies on the underpinnings of the phenomenal self. The goal of this paper is to take a step back from cognitive science and attempt to precisely distinguish between “Me” and “I” in the context of consciousness. This distinction was originally based on the idea that the former (“Me”) corresponds (...) to the self as an object of experience (self as object), while the latter (“I”) reflects the self as a subject of experience (self as subject). I will argue that in most of the cases (arguably all) this distinction maps onto the distinction between the phenomenal self (reflecting self-related content of consciousness) and the metaphysical self (representing the problem of subjectivity of all conscious experience), and as such these two issues should be investigated separately using fundamentally different methodologies. Moreover, by referring to Metzinger’s (2018) theory of phenomenal self-models, I will argue that what is usually investigated as the phenomenal-“I” [following understanding of self-as-subject introduced by Wittgenstein (1958) ] can be interpreted as object, rather than subject of experience, and as such can be understood as an element of the hierarchical structure of the phenomenal self-model. This understanding relates to recent predictive coding and free energy theories of the self and bodily self discussed in cognitive neuroscience and philosophy. (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)

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)

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