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)

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)

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)

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 goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent... knows/beliefs that...’. The second one is to define tableau systemsfor such logics. Firstly, we present the minimal positional logic MR. Then, we change the notion of formulas and semantics in order to consider iterations of the operator of realization and “free” classical formulas. After that, we move on to weaker (...) logics in order to avoid the well known problem of logical omniscience. At the same time, we keep the positional counterparts of modal axioms, and. For all of the considered logics we present sound and complete tableau systems. (shrink)

The subject embodied in the designed environment. Analysis of the use of the affordance concept in architecture: James Gibson’s ecological psychology is considered as one of the research subtraditions within embodied cognition. Gibson emphasizes the nature of the agent-environment interaction through the development of the theory of affordances. According to this idea, affordances are relational properties of the environment that enable a specific action for the agent. Currently this concept is being applied in many different contexts. This paper considers the (...) application potential of affordance in architectural studies as a tool that analyses the agent’s interaction with the environment. In this context, the affordance category can be a tool that allows one to take into account the importance of space for the shaping of behavior and interactions between its users, without falling into architectural determinism. The main aim of this study is to analyze affordances as a category that, despite its diversity and vagueness, can play an important role in the embodied view of architecture. The first part of the article is an attempt to synthetically place affordances in the context of embodied cognition and to point out the basic philosophical interpretations and discussions related to Gibson’s concept. In the next part, we situate the concept of affordances in the context of design practice. We also present the pros and cons of applying affordances to this ground. The last section in presenting the concept of affordances is considered within the background of the embodied current in architecture. (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.

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

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)

The book presents a critical overview of Peirce's views on modern nominalism and offers a novel approach to the social-anthropological underpinnings of his realism, especially Pragmatic Realism vis à vis the individualist tendencies in modern thought.

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)

Poster ma na celu zaprezentowanie na konkretnym przykładzie wizualizacji w nauce jako dzieła sztuki. Składa się z dwóch części. Pierwsza to skrócona wersja artykułu oraz graficzna prezentacji owego skrótu, wygenerowana za pomocą algorytmu uwzględniającego rozkład liter w tekście (kod został dołączony). Druga część to hasła zapisane krojem pisma tak dobranym, aby wywoływał napięcie między wizualną stroną hasła (emocjami, myślami, skojarzeniami związanymi z formą) a jego znaczeniem (treścią). Poster zasadza się na założeniach przedstawionych w artykule. Proponujemy mianowicie, aby spojrzeć na wizualizacje (...) danych jako na obiekty, których twórcy stają przed podobnymi wyzwaniami, z jakimi muszą się zmierzyć autorzy dzieł sztuk wizualnych, oraz jako obiekty, których odbiorcy muszą wykonać pracę interpretacyjną podobną do tej, której wymagają od nich dzieła sztuki. (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)

Ali Enayat had asked whether two halves of Disjunctive Correctness ([Formula: see text]) for the compositional truth predicate are conservative over Peano Arithmetic (PA). In this paper, we show that the principle “every true disjunction has a true disjunct” is equivalent to bounded induction for the compositional truth predicate and thus it is not conservative. On the other hand, the converse implication “any disjunction with a true disjunct is true” can be conservatively added to [Formula: see text]. The methods introduced (...) here allow us to give a direct nonconservativeness proof for [Formula: see text]. (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)

Due to the famous methodenstreit it is often well argued that Menger’s approach to social sciences can be seen as anti-historical, as according to him pure empirical studies are insufficient to establish a firm economic theory. By suggesting that some theorems have to precede historical studies, Menger may be seen as a representative of the a priori tradition in scientific method. The modern method in the mainstream of economic thinking is also to a large extent anti-historical and a priori, but (...) because of its lack of realism and extensive reliance on very limiting assumptions. The main strength of the Mengerian anti-historical approach is lesser faith in imaginary constructs, implying a higher degree of realism in theorizing. (shrink)

The book Metaphysics by Tomasz Bigaj is intended to be an introduction to the basic issues of analytical metaphysics designed for non-philosophers. It fulfills its purpose to a large extent: the issues are competently presented in a clear and accessible way, even when referring to a very complex subjects. The unquestionable advantage of the book is also the fact that it indicates a strong relation between philosophical problems and those of other scientific disciplines, mainly physics and mathematics. It makes Bigaj’s (...) work an attractive handbook for the laymen as well as for professionals in other fields. (shrink)

W niniejszym tekście próbuję krytycznie przeanalizować artykuł Saula Smilansky’ego o modlitwie prośby z punktu widzenia filozofii i teologii tomistycznej. Najbardziej kontrowersyjne wydają mi się następujące elementy: 1. Odmowa zastosowania zasady podwójnego skutku do jednego z opisanych w artykule przypadków. Uważam, że ta odmowa jest zakorzeniona w wątpliwym rozumieniu prawa do obrony samego siebie; 2. Niedocenienie roli sprawiedliwej kary w rządach Opatrzności; 3. Nieznajomość albo niechęć do wprowadzenia pojęcia „dopustu Bożego”; 4. Nie do końca trafne psychologiczne spostrzeżenia dotyczące ludzki modlących się (...) do Boga o pomoc w skrajnie trudnych okolicznościach. Najogólniej rzecz ujmując, większość problemów poruszana przez Smilansky’ego tylko akcydentalnie dotyczy zagadnienia sensowności modlitwy prośby. Powstanie tych problemów wiąże się raczej z takimi a nie innymi rozwiązaniami problemów moralnych niż z modlitwą prośby jako taką. (shrink)

The article demonstrates that to describe the property of atomicity of transactions in database systems, we need a three-valued logic with propositional connective characterized in the same way as Blamey’s interjunction. However, the article explains that since Blamey’s partial logic with interjunction is a logic without tautologies, it does not satisfy some salient conditions of being a logic of atomic transactions. The article introduces a logic of the considered kind, and provides an example of the formal exposition of the case (...) of an atomic transaction. Finally, the article explains the philosophical significance of the introduced logic. (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.

This paper aims to shed light on the putative functions of placing images in judicial opinions from the judges’ perspective. Thus far, commentators have overlooked the functions that images play for judges when used in judicial opinions and consequently have failed to provide a thorough understanding of the process. To help fill this gap, Jerome Frank’s ideas on judging will be presented. The argument goes that using images in judicial opinions can be interpreted as a way to enable the decision-making (...) process to be, as far as possible, devoid of hypocrisy, closer to judicial candor and more open to scrutiny. This notion can be excavated from Frank’s works in light of the existential features of both passing judgments and articulating decision-making processes by and for judges themselves. As will be shown, Frank’s views on judicial decision-making are more original and enlightening than critics might suggest and they are particularly relevant when examining the use of images in judicial opinions from a judge’s perspective. (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)

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)

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.

Arguments from authority and critical thinking. Side notes toLogic and Argumentation by Andrzej KisielewiczThe article focuses on the role of arguments from authority — or, more precisely, arguments from expert opinion – in rational argumentation and reasoning, in the contemporary context of specialisation of the sciences on the one hand, and the abundance of information on the other. The pretext for this is provided by Andrzej Kisielewicz’s new book: Logika i argumentacja. Praktyczny kurs krytycznego myślenia Logic and Argumentation. A Practical (...) Course In Critical Thinking. I point out that, although Kisielewicz’s book is a valuable contribution to the Polish market of textbooks on argumentation, practical logic and critical thinking, it understates the importance of teaching the ways of proper assessment of arguments from authority, credibility of experts and information sources. I argue that arguments from authority should not be by definition dismissed as fallacies; on the contrary, appealing to authority to expert opinion is an unavoidable element of rational argumentation – at least whenever the discussion requires one to refer to contemporary scientific knowledge. However, relying on experts’ opinions involves genuine risks to the rationality of the debate, many of them having to do with the abundance of pseudoexperts and irresponsibility on the side of some scientists an extensive example is provided by the presentation of statements on GMO’s made by a certain Polish body of scientists. Therefore, the ability to distinguish correct appeals to authority from faulty ones including the ability to tell actual experts from pseudoexperst and reliable sources of information from unreliable ones should be considered a crucial competence which critical thinking courses should teach. (shrink)

In this paper I venture to examine from several different (but related) perspectives the ambivalent significance of practice in Greek thought. On the one hand, philosophical culture (vita contemplative or theoria) evolves in stark opposition to political culture (vita activa). On the other hand, philosophy in the era of post-Socratic schools takes the form of a spiritual practice (askesis) oriented on the conversion or transformation of the soul of a pupil, and quite often is defined as a preparation for social (...) life (both in the ethical and political aspect). I discuss the Greek problem of anthropocentrism in the context of the critical opposition of bios theoretikos and bios politikos, special attention being paid to the internal tension between theoria (and its self-understanding) and philosophical practise as present in the schools. It is not my intention to deny the distance which separates theoria from praxis. Nevertheless, my objective is to bring out the ambivalence of the notion of theoretical contemplation in the context of Platonic dialectics. Near the end of the paper, I suggest – alluding to Nietzsche's judgment of the relation between post-Socratic and pre-Socratic philosophy – that one should approach with caution two very tempting visions of Greek philosophy. The one is the idea of alleged primacy of the practical over the theoretical in Greek philosophy. The other is the myth of the "primordial practise of the ancient sages", characterized in metaphysical terms. (shrink)

Angela of Foligno was certainly born in the middle of the 13th century, in a rich family. Most scholars accept, at least to a certain extent, a more exact chronology of her life, proposed by Martin-Jean Ferré.1 According to him, Angela, born in 1248, experienced a conversion in 1285 and lost her entire family – husband, children, and mother – in a few subsequent years. In this time she also sold all of her possessions. At the beginning of 1291 she (...) entered the Third Order of St. Francis and went on a pilgrimage to Assisi, during which she experienced powerful mystical graces, hearing the voice of the Holy Spirit and conversing with him almost the whole way. During her stay in Assisi, she caused a scandal, screaming... (shrink)

Oikologia to nauka o domu rozumianym szeroko, w kontekście dialektyki zakorzenienia człowieka w świecie, jako relacja zachodząca między nim a otaczającą go rzeczywistością. Dotyka w swojej analizie m.in. pytań z zakresu etyki środowiska dotyczących ludzkiej ingerencji w strukturę świata i stara się wspierać refleksję i wynikającą z niej postawę pełną wrażliwości na związek człowieka ze środowiskiem. Ekofilozofia, jako dyscyplina podejmująca wieloaspektową problematykę ochrony środowiska z perspektywy filozoficznej refleksji, w centrum zainteresowania stawia również badanie samej relacji łączącej człowieka ze środowiskiem przyrodniczym. (...) Celem artykułu jest wskazanie, iż refleksja oikologiczna może okazać się pomocną perspektywą dla szeroko pojętej ekofilozofii, a więc właśnie dla rozważań skupiających się na odpowiednim ułożeniu wspomnianej interakcji. Przykładem praktycznego problemu, w którym tego typu spojrzenie zostanie zaprezentowane, jest kwestia przestrzeni miejskiej, a konkretniej jej rewitalizacji, ze szczególnym naciskiem na obszary poprzemysłowe, którą w omawianym kontekście ekofilozofii wiąże się przede wszystkim z ideą zrównoważonego rozwoju. (shrink)