Inferencialismus idealizuje proces získání významu v komunikaci. K tomu snadno najdeme protipříklady. Zcela zde chybí nějaká, zejména pojmová analýza a také nějaké rozhodovací (meta)pravidlo pro získání významu.

The main assumption of analytical philosophy is very straightforward: the analysis of language in philosophy and in science is the only starting point which guarantees the solution to all the problems. In the so-called post-analytical philosophy this assumption becomes even more radical: substantial problems do not exist and even if they existed, their essence would vanish if one attempted to formulate them in language. The author tries to justify the view that these simple and attractive theses are not only demagogic (...) and decadent, but also destructive. (shrink)

Book review on Jan Bierhanzl, Estetika ambiguity. Praha (Karolinum) 2021, 123 str.

ABSTRACT:Should companies’ human rights responsibilities arise, in part, from their “leverage”—their ability to influence others’ actions through their relationships? Special Representative John Ruggie rejected this proposition in the United Nations Framework for business and human rights. I argue that leverage is a source of responsibility where there is a morally significant connection between the company and a rights-holder or rights-violator, the company is able to make a contribution to ameliorating the situation, it can do so at modest cost, and the (...) threat to human rights is substantial. In such circumstances companies have a responsibility to exercise leverage even though they did nothing to contribute to the situation. Such responsibility is qualified, not categorical; graduated, not binary; context-specific; practicable; consistent with the social role of business; and not merely a negative responsibility to avoid harm but a positive responsibility to do good. (shrink)

The question of why Ukraine became Christianized from Byzantium and what kind of faith she accepted - in general, Christian, Orthodox, or Catholic - is not new. We have the views that stand for any of these three assumptions. They are formed depending on the data of religious beliefs, political orientations, etc.

У статті висвітлені процеси й події, які привели до створення "Біографічного словника діячів України". Охарактеризовано історичні умови, у яких відновила діяльність Академія наук України. Подано детальний аналіз матеріалу, який входив до видання. Висвітлено авторський колектив видання, а також описано умови, при яких змінювалися керівники та автори "біографічного видання". Розкрито об'єктивні й суб'єктивні умови припинення роботи над виданням. Виявлені основні наслідки цього "словника" для енциклопедичної науки загалом.

How can people of diverse religious, ethnic, and linguistic allegiances and identities live together without committing violence, inflicting suffering, or oppressing each other? In this volume, contributors explore the limits of toleration and suggest we think beyond them to mutual respect. Salman Rushdie reflects on the once tolerant Sufi-Hindu culture of Kashmir. Ira Katznelson follows with an intellectual history of toleration as a layered institution in the West. Charles Taylor advances a new approach to secularism in our multicultural world, and (...) Akeel Bilgrami responds by offering context and caution to that approach. Nadia Urbinati explores why Cicero's humanist ideal of Concord was not used in response to religious discord. The volume concludes with a refutation of the claim that toleration was invented in the West. Rajeev Bhargava writes on Asoka's India, and Karen Barkey explores toleration within the Ottoman and Habsburg Empires. Sudipta Kaviraj examines accommodations and conflicts in India, and Alfred Stepan highlights contributions to toleration and multiple democratic secularisms in such Muslim-majority countries as Indonesia and Senegal. (shrink)

L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic \ has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described.

'What is real?' has been one of the key questions of philosophy since its beginning in antiquity. But it is not just a question that philosophers ask. This Very Short Introduction discusses what reality is by looking at a variety of arguments, theories, and thought-experiments from philosophy, physics, and cognitive science.

The debates about ethics in the context of artificial intelligence have been recently focusing primarily on various types of utilitarianisms. This article suggests a categorization of the various presented utilitarianisms into static utilitarianisms and dynamic utilitarianisms. It explains the main features of both. Then, it presents the challenges the utilitarianisms in each group need to be able to deal with. Since it appears that those cannot be overcome in the context of each group alone, the article suggests a possibility of (...) using a combination of the two categories of utilitarianisms to resolve most of the challenges without the need to abandon the concept of utilitarianisms as such. Even this possibility comes with its own issues that might not be resolved within the boundaries of utilitarianisms, however. Therefore, another potential alternative based on a combination of various ethical systems is suggested and briefly explored. (shrink)

Diagnostics of a mental disorder completely bases on an estimation of patient’s behaviour, verbal behaviour being the most important. The behaviour, in turn, is ruled by a situation expressed as a system of signs. Perception of a situation could be seen as a function, which depends on the context resulting from the previous situations, structuring personal world. So the world is not given — it is being formed while the person is in action. We argue that distinctive features of behaviour, (...) including its abnormal variants, can be explained not in categories of characters and diseases but in terms of situations taking place in individual worlds. The situation in which a person perceives himself is not simply a site in a three-dimensional space at a certain moment, but a part of the world and an episode of his life. Like a text composed of words, individual world is composed of situations. Each of them needs certain context to cope with ambiguity. This context is induced by the world as a whole. And the world, in turn, is presented as a chain of situations. If the context cannot help to interpret a situation adequately, uncertainty can be eliminated by actions clarifying a situation, which is changed in a predictable way. Thus, purposeful activity, skills to make predictions and corrections of one’s own actions are crucial. Weakness of any of them inevitably leads to the distortion of the presentation of the world, to wrongevaluation of situations and, as a result, to inadequate actions that finally reduce the activity as being ineffective. Thus, the lack of activity becomes the key factor in the development of disorder, being simultaneously its cause and effect. In periods of insufficient activity conditions for violated (and violating) sign processing arise. Possible variants of sign malfunction are: oligosemia (reduction of the number of perceivable signs), hyposemia (decrease of significance of signs), hypersemia (increase of significance of some signs at the expense of others), ambisemia (uncertainty of sign, when situation remains unclear), cryptosemia (recognition of signs not obvious for other observers), and parasemia (perverted interpretation of signs influenced by a false context). (shrink)

The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wanted to se- cure all classical mathematics against inconsistencies and this (...) aim had be achieved with the help of nitary consistency proof. Hilbert's claim is like the Cartesian project of reduction of all concepts to clarae et distinctae ideae. The epistemological commitment of original Hilbert's programme may be treated as a prelim- inary heuristic motivation for looking for epistemological implications of metamathematical results. It seems reasonable to examine in this respect three so-called limitative theorems: the rst Godel's incompleteness theo- rem , the second Godel's incom- pleteness theorem consistency of S, cannot be proved in S, providing that S is consistent) and Tarski's undenability theorem ; \S" stands for formal system containing elementary number theory. From the above-mentioned theorems we obtain an important, from philosophical point of view, conclusion: semantics of S cannot be expressed in S. Now, I shall present three applications of limitative theorems to the analysis of classical epistemological problems. (shrink)

Diagnostics of a mental disorder completely bases on an estimation of patient’s behaviour, verbal behaviour being the most important. The behaviour, in turn, is ruled by a situation expressed as a system of signs. Perception of a situation could be seen as a function, which depends on the context resulting from the previous situations, structuring personal world. So the world is not given — it is being formed while the person is in action. We argue that distinctive features of behaviour, (...) including its abnormal variants, can be explained not in categories of characters and diseases but in terms of situations taking place in individual worlds. The situation in which a person perceives himself is not simply a site in a three-dimensional space at a certain moment, but a part of the world and an episode of his life. Like a text composed of words, individual world is composed of situations. Each of them needs certain context to cope with ambiguity. This context is induced by the world as a whole. And the world, in turn, is presented as a chain of situations. If the context cannot help to interpret a situation adequately, uncertainty can be eliminated by actions clarifying a situation, which is changed in a predictable way. Thus, purposeful activity, skills to make predictions and corrections of one’s own actions are crucial. Weakness of any of them inevitably leads to the distortion of the presentation of the world, to wrongevaluation of situations and, as a result, to inadequate actions that finally reduce the activity as being ineffective. Thus, the lack of activity becomes the key factor in the development of disorder, being simultaneously its cause and effect. In periods of insufficient activity conditions for violated (and violating) sign processing arise. Possible variants of sign malfunction are: oligosemia (reduction of the number of perceivable signs), hyposemia (decrease of significance of signs), hypersemia (increase of significance of some signs at the expense of others), ambisemia (uncertainty of sign, when situation remains unclear), cryptosemia (recognition of signs not obvious for other observers), and parasemia (perverted interpretation of signs influenced by a false context). (shrink)

A monograph about natural law and supernatural law, with emphasis on the philosophy of natural law.

From the earliest photographic attempts to represent tropical hybrid races to depictions of disease in new tropical medicines, Picturing Tropical Nature offers ...

The article examines discussion wich took place in 1911 between Polish philosophers Henryk Struve and Kazimierz Twardowski about the state of Polish philosophy and plans for its future development. The results of the discussion were extrapolated to the current situation of Ukrainian philosophy and its challenges. The conclusion is that the path of Polish philosophy of the last century can serve to modern Ukrainian philosophy as reliable guide to the future. Polish philosophy’s recipe of success transferred to modern Ukrainian philosophy (...) consists in, firstly, elimination of external domination of Russian influence due to its balancing by other foreign influences, and, secondly, purposeful development of analytical direction. (shrink)

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

1. Die erste Hälfte des Kommentars, mit Ausnahme der Kapitel über die Weltseele.

Stephenson (2022) has argued that Kant’s thesis that all transcendental truths are transcendentally a priori knowable leads to omniscience of all transcendental truths. His arguments depend on luminosity principles and closure principles for transcendental knowability. We will argue that one pair of a luminosity and a closure principle should not be used, because the closure principle is too strong, while the other pair of a luminosity and a closure principle should not be used, because the luminosity principle is too strong. (...) Stephenson’s argument also depends on a factivity principle for transcendental knowability, which we will argue to be false. (shrink)

The Natural Philosophy of Jan Bayer The main focus of this study is a reconstruction of the natural philosophy of the early modern Prešov's scholar Jan (Johannes) Bayer (1630–1674), with special regard to its Mosaic profile. After a critical reading of the research done on Bayer up to this point, the author concludes that Bayer’s natural-philosophical work, as such, has not yet been satisfactorily analyzed, nor has its connection to its supposedly two most important sources, Francis Bacon and Jan Amos (...) Comenius, been sufficiently explored. The study therefore concentrates on a critical analysis of Bayer’s interpretation of creation and his natural history, which are then both situated in the philosophical context of their time. The author then notes that although Bayer’s project of erecting an original and on the (especially Aristotelian) tradition independent Mosaic natural philosophy ended in failure, the thinker’s work can be assessed as a valuable attempt to synthesize Baconian and Comenian motifs while at the same time reflecting broader intellectual contexts of the period. (shrink)

We consider the Lambek calculus, or noncommutative multiplicative intuitionistic linear logic, extended with iteration, or Kleene star, axiomatised by means of an$\omega $-rule, and prove that the derivability problem in this calculus is$\Pi _1^0$-hard. This solves a problem left open by Buszkowski (2007), who obtained the same complexity bound for infinitary action logic, which additionally includes additive conjunction and disjunction. As a by-product, we prove that any context-free language without the empty word can be generated by a Lambek grammar with (...) unique type assignment, without Lambek’s nonemptiness restriction imposed (cf. Safiullin, 2007). (shrink)

Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to be between complete first-order arithmetic and (...) the \(\omega ^\omega \) level of the hyperarithmetical hierarchy. Here the complexity upper bound is much lower than that for the system with a subexponential that allows contraction. The complexity lower bound in turn is much higher than that for infinitary action logic. (shrink)