The article presents Hans-Georg Gadamer’s hermeneutics as an attempt to return to the classical ideal of the art of good speaking, in which the purpose of speech is seen as an intertwining of truth and goodness. Rhetoric understood in this way opposes its sophistic antithesis, which is directed at defending the speaker’s individual ratios and interests, ‘truth’ constructing, manipulating the audience’s beliefs and seductive qualities of style. The text analyzes selected issues of hermeneutics – truth taken as aletheia, the hermeneutic (...) circle and language, relating them to the classical stages of speech preparation – inventio, dispositio and elocutio. In this way, rhetoric and hermeneutics will be shown as disciplines founded on ethics. (shrink)

In this paper, we consider how an agent may manage a questioning agenda in a situation where multiple information sources are available. We work within the framework of formal dialogue systems with the underpinning of Inferential Erotetic Logic. Firstly, we present the formal dialogue system DL(IEL)mult for managing multi-agent information retrieval. Then, we extend the proposed system so that it is capable of representing group and individual levels for the question decomposition process. We also propose two measures for evaluating information (...) sources: their cooperativeness and success levels; next, we analyse how the choice of agents may influence the way in which a solution for a given problem is reached. (shrink)

In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they (...) are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level. (shrink)

The paper gives an interpretation of Kant's doctrine of the fact of reason against the background of a constructivist reading of his philosophy, which does not allow us to appeal to any indubitable facts. The fact of reason is the object of a philosophical account of the moral law forms the quid juris part of deduction or legitimization of the law. A more intuitive grasp of the fact is the phenomenon of reverence for duty which ordinary people grasp in form (...) of a feeling and emotion. (shrink)

The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.

The subject of this article is the relationship between literature and the text of song. First part of article concerns the songs which texts approach to literature and begin to exist in the listeners' consciousness independently from the melody. In contemporary Polish music are this: Niech żyje bal, Autobiografia, Nie pytaj o Polskę or Wychowanie. Texts of these songs are analysed and interpreted. Second part of article tells about poems which serve as texts of songs. The author of article shows (...) twentieth-century Polish poets, which texts be sung (Julian Tuwim, Konstanty Ildefons Gałczyński, Edward Stachura, Ewa Lipska etc.) and using with poems musicians (Czesław Niemen, Marek Grechuta, Ewa Demarczyk, Grzegorz Turnau). The author writes also about methods of adaptation of poems on need of songs. (shrink)

This note discusses P. Oppenheimer and E. Zalta's ?A Computationally-Discovered Simplification of the Ontological Argument? [this journal, 2011]. I try to explain why the simplification presented there was successful and comment on the technical aspects of the method they applied.

A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...) to atomic and identity formulae as a special case. The systems admit a proof-theoretic semantics which does not only apply to logically compound but also to atomic and identity formulae—as well as to their components. The potential of the defined systems for a meticulous first-order analysis of natural inferences whose validity crucially depends on expressions of some of the aforementioned categories is demonstrated. (shrink)

The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and an additional operator for (...) formula negation at their disposal. We establish normalization and subexpression property results for the systems. The normalization results allow us to formulate a proof-theoretic semantics for formulae composed of the subatomic operators. We illustrate the systems with applications to reasoning with combinations of sentential negation, predicate term negation, subject term negation, and antonymy. (shrink)

The article reviews the book Konstytucja wolności [The Constitution of Liberty], by Friedrich August von Hayek.

This paper is the first part of an exploration into the logical properties of relative identity. After providing the semantic grounds for various monadic logics of relative identity, I define the minimal system and its nine extensions. It is suggested that despite their purely formal origin at least some of them may contain nontrivial philosophical insights. All logics are axiomatized by means of sound and complete sequent calculi. I show their affinities with existing formalizations.

The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...) also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re. (shrink)

The paper contains a first order formal theory pertaining to artefact designs, designs which are construed as the results of designing activities. The theory is based on a minimal ontology of states of affairs and it is inspired by the ideas of the Polish philosopher Roman Ingarden. After differentiating the philosophical notion of design from the engineering notion of design specifications, I then go on to argue that the philosophical category of artefact designs may be compared with Ingarden’s category of (...) intentional states of affairs. At least some artefacts are found to be determined by more than one design. I also show how this ontological framework allows for the distinction between artefact tokens and artefact types. That leads to a proposal on how to define a criterion of identity for artefact types. The proposed theory serves as a basis both for a better understanding of what artefacts are and for the construction of computer-readable models of design specifications. (shrink)

This study was designed to determine the quality of service through the evaluation of hospitalized patients. An analysis of hospitalized patients’ subjective feelings towards service quality was carried out, in the context of the application of the SERVQUAL method. The pilot study was conducted in a Silesian hospital in a group of 29 young patients diagnosed with kidney disease. The study used a standard sheet of 22 SERVQUAL statements and an analysis of the significance of the 5 areas of quality (...) material important for the patient. According to the respondents, the most important of the 5 features that influence the quality of life is the ability of the ward staff to provide adequate medical services The least important were the aesthetics and ergonomics of rooms. Service quality gaps were seen in all the five dimensions as well as in the overall service quality. Hence, the following conclusions could be made: 1. The SERVQUAL method helps to identify discrepancies between perceptions of patients’ expectations in all the dimensions of quality of medical services. 2. For patients, the least important is the material dimension, whereas the one most affecting them is the dimension associated with the reliability of medical services. 3. An improvement of the level of satisfaction with the quality of medical services requires proper planning and effectiveness of implementation of health care services. 4. Research should be conducted on a larger population of patients. (shrink)

ABSTRACTPrior research on attention bias in anxious youth, often utilising a visual dot probe task, has yielded inconsistent findings, which may be due to how bias is assessed and/or variability in the phenomenon. The present study utilises eye gaze tracking to assess attention bias in socially anxious adolescents, and explores several methodological and within-subject factors that may contribute to variability in attention bias. Attention bias to threat was measured in forty-two treatment-seeking adolescents diagnosed with Social Anxiety Disorder. Bias scores toward (...) emotional stimuli and bias scores away from emotional stimuli were explored. Bias scores changed between vigilance and avoidance within individuals and over the course of stimulus presentation. These differences were not associated with participant characteristics nor with self-reported social anxiety symptoms. However, clinician rated severity of social anxiety, explained a signific... (shrink)

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...) atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

We define intuitionistic subatomic natural deduction systems for reasoning with elementary would-counterfactuals and causal since-subordinator sentences. The former kind of sentence is analysed in terms of counterfactual implication, the latter in terms of factual implication. Derivations in these modal proof systems make use of modes of assumptions which are sensitive to the factuality status of the formula that is to be assumed. This status is determined by means of the reference proof system on top of which a modal proof system (...) is defined. The introduction and elimination rules for counterfactual (resp. factual) implication draw on this status. It is shown that derivations in the systems normalize and that normal derivations have the subexpression/subformula property. An intuitionistically acceptable proof-theoretic semantics is formulated in terms of canonical derivations. The systems are applied to so-called counterpossibles and to related constructions. (shrink)

Modernity and What Has Been Lost comes out of a conference held at the Jagiellonian University in Krakw̤, Poland, on June 4-5, 2009 that sought to identify Leo Strauss's intellectual background in re: the repudiation of a modern idea of homogenous, universal state (considered as an illegitimate synthesis of Jerusalem and Athens, i.e., the claims of Reason and Revelation). The world we live in, molded by science and historical relativism, may be described as hostile to human dignity or perfection, or (...) abhorrent to those who love the search for wisdom. Straussian teaching consisted in the steady effort to reopen "the quarrel between the Ancients and the Moderns," and refers to the esoteric way of writing practiced by the most profound thinkers of the past which has been apparently forgotten in the last three centuries. Strauss binds the concept of natural right with the question of maintenance of conditions for philosophizing, and it probably seems to him that such defense of philosophy is the highest task in our times. However, one must be well aware that philosophizing always means a perilous way of life. Indeed, it may be destructive of the city (polis) itself as far as the city exists due to some crucial beliefs the philosopher might put in doubt. Reflecting on those issues, Strauss engaged in several highly important debates with his contemporaries, in an open way with, e.g., Carl Schmitt, Karl Lw̲ith and Alexandre Kojv̈e, and more tacitly with Martin Heidegger"--Provided by publisher. (shrink)

I argue in the paper that the problem of freedom has been misconstrued. There is no one problem of freedom but many problems concerning individual agents’ responsiveness to principles and reasons. The problem of free will results from attempts to incorporate the notion of freedom, which belongs to the order of guiding action, into a determinist framework of explanation. My view could be seen as compatibilist because it denies the existence of a fundamental conflict between freedom and determinism. However, since (...) libertarian accounts of local indeterminism are pointless on my view, it cannot be easily place with the compatibilism/libertarianism distinction. Instead of entering the hopelessly unproductive metaphysical debates about freedom and determinism, I propose to turn attention to the domain of ethics. Problems of freedom are questions about the deliberative processes that terminate in action and about reasons and principles on which they are based. To say that an action is free is not to claim that it is independent from causal determination; rather, it is to say that it has been decided upon. (shrink)

Recently, it has been objected that naïve realism is inconsistent with an empirically well-supported claim that mental states of the same fundamental kind as ordinary conscious seeing can occur unconsciously (SFK). The main aim of this paper is to establish the following conditional claim: if SFK turns out to be true, the naïve realist can and should accommodate it into her theory. Regarding the antecedent of this conditional, I suggest that empirical evidence renders SFK plausible but not obvious. For it (...) is possible that what is currently advocated as unconscious perception of the stimulus is in fact momentaneous perceptual awareness (or residual perceptual awareness) of the stimulus making the subject prone to judge in some way rather than another, or to act in some way rather than another. As to the apodosis, I show that neither the core of naïve realism nor any of its main motivations is undermined if SFK is assumed. On the contrary, certain incentives for endorsing naïve realism become more tempting on this assumption. Since the main motivations for naïve realism retain force under SFK, intentionalism is neither compulsory nor the best available explanation of unconscious perception. (shrink)

According to the predictive coding theory of cognition , brains are predictive machines that use perception and action to minimize prediction error, i.e. the discrepancy between bottom–up, externally-generated sensory signals and top–down, internally-generated sensory predictions. Many consider PCT to have an explanatory scope that is unparalleled in contemporary cognitive science and see in it a framework that could potentially provide us with a unified account of cognition. It is also commonly assumed that PCT is a representational theory of sorts, in (...) the sense that it postulates that our cognitive contact with the world is mediated by internal representations. However, the exact sense in which PCT is representational remains unclear; neither is it clear that it deserves such status—that is, whether it really invokes structures that are truly and nontrivially representational in nature. In the present article, I argue that the representational pretensions of PCT are completely justified. This is because the theory postulates cognitive structures—namely action-guiding, detachable, structural models that afford representational error detection—that play genuinely representational functions within the cognitive system. (shrink)

The article is an attempt to look at the relationship between the state and the market on the example of the prohibition of trade on Sunday through the prism of the personalistic economy. The article has a metaeconomic character. Its aim is to show that state intervention in the market mechanism in the form of the prohibition of trade on Sunday is not aimed at trade as an economic activity, but is a natural consequence of the community-forming function of the (...) state. In the first part, the author presents a personalistic approach to the state and the market as well as relations between them. In turn, in the second part, he describes the essence of the Sunday dispute in the context of a personalistic approach to the market and shows that state intervention, consisting in protecting Sunday from being limited to the seventh working day, protects it against rationalization and marketization, i.e. its derealization. (shrink)

The aim of the article is to assess the situation in terms of wage inequality and identify factors influencing changes in the levels, dynamics and relations of wages in voivodeships in Poland in 2012–2021. In Poland, during the analyzed period, an economic crisis occurred in 2012 as a consequence of the crisis of 2008–2009 and since 2020. Average monthly gross wages in Poland will be used for this purpose. Based on this data, deviations, relationships, and rates of change will be (...) calculated. To carry out the analysis and evaluation, I will use statistical data published in the Statistical Yearbooks of the Central Statistical Office in Warsaw for the years 2012–2021. In this article, the region will be identified with the voivodeship, according to the administrative division. (shrink)

Almost all of the entropy in the universe is in the form of Bekenstein–Hawking (BH) entropy of super-massive black holes. This entropy, if it satisfies Boltzmann’s equation S=logN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S=\log \mathcal{N}$$\end{document}, hence represents almost all the accessible phase space of the Universe, somehow associated to objects which themselves fill out a very small fraction of ordinary three-dimensional space. Although time scales are very long, it is believed that black holes will eventually evaporate by (...) emitting Hawking radiation, which is thermal when counted mode by mode. A pure quantum state collapsing to a black hole will hence eventually re-emerge as a state with strictly positive entropy, which constitutes the famous black hole information paradox. Expanding on a remark by Hawking we posit that BH entropy is a thermodynamic entropy, which must be distinguished from information-theoretic entropy. The paradox can then be explained by information return in Hawking radiation. The novel perspective advanced here is that if BH entropy counts the number of accessible physical states in a quantum black hole, then the paradox can be seen as an instance of the fundamental problem of statistical mechanics. We suggest a specific analogy to the increase of the entropy in a solvation process. We further show that the huge phase volume (N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{N}$$\end{document}), which must be made available to the universe in a gravitational collapse, cannot originate from the entanglement between ordinary matter and/or radiation inside and outside the black hole. We argue that, instead, the quantum degrees of freedom of the gravitational field must get activated near the singularity, resulting in a final state of the ‘entangled entanglement’ form involving both matter and gravity. (shrink)

ABSTRACTThe present study examined relationships between attention to negative words and daily rumination and daily adjustment in a sample of clinically depressed individuals. We recorded eye movements of 43 individuals diagnosed with major depression while they were freely viewing dysphoric, threat-related, neutral, and positive words. Then, each day for one week, participants provided measures of their daily rumination and psychological adjustment. Multilevel analyses found that attention to dysphoric and threat-related words was positively related to daily rumination and attention to threat-related (...) words was negatively related to daily adjustment. These findings suggest that the impaired ability to disengage from negative words is positively related to rumination in daily life and is negatively related to well-being, as defined in terms of Beck’s Triad. (shrink)

We show that for an uncountable κ in a suitable Cohen real model for any family {A ν } ν<κ of sets of reals there is a σ-homomorphism h from the σ-algebra generated by Borel sets and the sets A ν into the algebra of Baire subsets of 2 κ modulo meager sets such that for all Borel B, B is meager iff h(B) = 0. The proof is uniform, works also for random reals and the Lebesgue measure, and in (...) this way generalizes previous results of Carlson and Solovay for the Lebesgue measure and of Kamburelis and Zakrzewski for the Baire property. (shrink)

It is argued that the intuitionistic conception of negation as implication of absurdity is inadequate for the proof-theoretic semantic analysis of negative predication and distinctness. Instead, it is suggested to construe negative predication proof-theoretically as subatomic derivation failure, and to define distinctness—understood as a qualified notion—by appeal to negative predication. This proposal is elaborated in terms of intuitionistic bipredicational subatomic natural deduction systems. It is shown that derivations in these systems normalize and that normal derivations have the subexpression (incl. subformula) (...) property. A proof-theoretic semantics for negative predication and distinctness is defined, and an intuitionistic conception of truth based on canonical derivations is proposed. An application to the doctrine of the Trinity, to which negative predication and distinctness are central, illustrates the systems and their proof-theoretic semantics. (shrink)

This paper centers around the notion that internal, mental representations are grounded in structural similarity, i.e., that they are so-called S-representations. We show how S-representations may be causally relevant and argue that they are distinct from mere detectors. First, using the neomechanist theory of explanation and the interventionist account of causal relevance, we provide a precise interpretation of the claim that in S-representations, structural similarity serves as a “fuel of success”, i.e., a relation that is exploitable for the representation using (...) system. Then, we discuss crucial differences between S-representations and indicators or detectors, showing that—contrary to claims made in the literature—there is an important theoretical distinction to be drawn between the two. (shrink)

This dissertation develops a substitutional semantics for first-order (modal) logic which, unlike truth-value semantics, allows a fine-grained analysis of the semantical behaviour of the terms and predicates from which atomic formulae are composed. Moreover, it proposes a nondenotational philosophical foundation for the semantics of substitutional quantified (modal) logic.

Universals are usually considered to be universal properties. Since tropes are particular properties, if there are only tropes, there are no universals. However, universals might be thought of not only as common properties, but also as common aspects (“determinable universals”) and common wholes (“concrete universals”). The existence of these two latter concepts of universals is fully compatible with the assumption that all properties are particular. This observation makes possible three different trope theories, which accept tropes and no universals, tropes and (...) determinable universals and tropes and concrete universals. (shrink)

The paper outlines and discusses the major tenets of moderately pluralistic methodology. The latter is juxtaposed to J. Życiński’s principle of natural interdisciplinarity. It instantiates scientific pluralism as a domain-specific agenda for research. The symbolic and causal understanding are integrated in this methodological conception by means of a specific kind of counterfactual reasoning, which is coined the delimiting counterfactual. It makes the moderately pluralistic methodology applicable to non-experimental research. -/- Streszczenie Tytuł: “Umiarkowanie pluralistyczna metodologia” -/- Artykuł prezentuje i omawia zasadnicze (...) założenia koncepcji umiarkowanie pluralistycznej metodologii. Ta ostatnia jest zbieżna z J. Życińskiego zasadą naturalności interdyscyplinarnej. Reprezenuje ona szeroko rozumiany nurt pluralizmu naukowego w zakresie sposobu prowadzenia badań w danej dziedzinie. W tej koncepcji połączone są dwa poziomy rozumienia symboliczny i przyczynowy za pomocą swoistego rodzaju wnioskowań kontrfaktycznych, określonych tu jako rozgraniczających wnioskowań kontrfaktycznych. Dzięki nim umiarkowanie pluralistyczna metodologia ma zastosowanie do badań nieeksperymentalnych. -/- Słowa kluczowe: pluralizm naukowy, Józef Życiński, Rudolf Carnap, wnioskowanie kontrfaktyczne . (shrink)

According to unconscious perception hypothesis (UP), mental states of the same fundamental kind as ordinary conscious seeing can occur unconsciously. The proponents of UP often support it with empirical evidence for a more specific hypothesis, according to which colours can be seen unconsciously (UPC). However, UPC is a general claim that admits of many interpretations. The main aim of this paper is to determine which of them is the most plausible. To this end, I investigate how adopting various conceptions of (...) colour and perceptual phenomenal character affects UPC’s resilience to objections. This brings me to the conclusion that the most plausible reading of UPC is the one according to which the phenomenal character of colour perception (i) is constituted by colours qua primitive mind-independent qualities of the environment and (ii) is not essentially tied to consciousness. My conclusion not only identifies the most plausible interpretation of UPC, but also highlights and supports an unorthodox version of the relational theory of perception, which is a perfectly viable yet so far overlooked stance in the debate about unconscious perception. (shrink)

Brain activity determines which relations between objects in the environment are perceived as differences and similarities in colour, smell, sound, etc. According to selectionism, brain activity does not create those relations; it only selects which of them are perceptually available to the subject on a given occasion. In effect, selectionism entails that perceptual experience is diaphanous, i.e. that sameness and difference in the phenomenal character of experience is exhausted by sameness and difference in the perceived items. It has been argued (...) that diaphaneity is undermined by phenomenological considerations and empirical evidence. This paper considers five prominent arguments of this sort and shows that none of them succeeds. (shrink)