Jaśkowski’s discussive logic D2 was formulated with the help of the modal logic S5 as follows (see [7, 8]): \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A \in {D_{2}}}$$\end{document} iff \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\rm S}5}$$\end{document}, where (–)• is a translation of discussive formulae from Ford into the modal language. We say that a modal logic L defines D2 iff \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm D}_{2} = (...) \{A \in {\rm For^{\rm d}} : \ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\it L}\}}$$\end{document}. In [14] and [10] were respectively presented the weakest normal and the weakest regular logic which (†): have the same theses beginning with ‘\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamond}$$\end{document}’ as S5. Of course, all logics fulfilling the above condition, define D2. In [10] it was prowed that in the cases of logics closed under congruence the following holds: defining D2 is equivalent to having the property (†). In this paper we show that this equivalence holds also for all modal logics which are closed under replacement of tautological equivalents (rte-logics).We give a general method which, for any class of modal logics determined by a set of joint axioms and rules, generates in the given class the weakest logic having the property (†). Thus, for the class of all modal logics we obtain the weakest modal logic which owns this property. On the other hand, applying the method to various classes of modal logics: rte-logics, congruential, monotonic, regular and normal, we obtain the weakest in a given class logic defining D2. (shrink)

Jaśkowski’s discussive logic D2 was formulated with the help of the modal logic S5 as follows (see [7, 8]): \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${A \in {D_{2}}}$$\end{document} iff \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\rm S}5}$$\end{document}, where (–)• is a translation of discussive formulae from Ford into the modal language. We say that a modal logic L defines D2 iff \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm D}_{2} = (...) \{A \in {\rm For^{\rm d}} : \ulcorner\diamond{{A}^{\bullet}}\urcorner \in {\it L}\}}$$\end{document}. In [14] and [10] were respectively presented the weakest normal and the weakest regular logic which (†): have the same theses beginning with ‘\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\diamond}$$\end{document}’ as S5. Of course, all logics fulfilling the above condition, define D2. In [10] it was prowed that in the cases of logics closed under congruence the following holds: defining D2 is equivalent to having the property (†). In this paper we show that this equivalence holds also for all modal logics which are closed under replacement of tautological equivalents (rte-logics).We give a general method which, for any class of modal logics determined by a set of joint axioms and rules, generates in the given class the weakest logic having the property (†). Thus, for the class of all modal logics we obtain the weakest modal logic which owns this property. On the other hand, applying the method to various classes of modal logics: rte-logics, congruential, monotonic, regular and normal, we obtain the weakest in a given class logic defining D2. (shrink)

In this paper we present a comparison of certain inconsistencyadaptive logics and Jaśkowski’s logic.

In the paper we analyse the problem of axiomatizing the minimal variant of discussive logic denoted as $$ {\textsf {D}}_{\textsf {0}}$$ D 0. Our aim is to give its axiomatization that would correspond to a known axiomatization of the original discussive logic $$ {\textsf {D}}_{\textsf {2}}$$ D 2. The considered system is minimal in a class of discussive logics. It is defined similarly, as Jaśkowski’s logic $$ {\textsf {D}}_{\textsf {2}}$$ D 2 but with the help of the deontic normal logic (...) $$\textbf{D}$$ D. Although we focus on the smallest discussive logic and its correspondence to $$ {\textsf {D}}_{\textsf {2}}$$ D 2, we analyse to some extent also its formal aspects, in particular its behaviour with respect to rules that hold for classical logic. In the paper we propose a deductive system for the above recalled discussive logic. While formulating this system, we apply a method of Newton da Costa and Lech Dubikajtis—a modified version of Jerzy Kotas’s method used to axiomatize $$ {\textsf {D}}_{\textsf {2}}$$ D 2. Basically the difference manifests in the result—in the case of da Costa and Dubikajtis, the resulting axiomatization is pure modus ponens-style. In the case of $$ {\textsf {D}}_{\textsf {0}}$$ D 0, we have to use some rules, but they are mostly needed to express some aspects of positive logic. $$ {\textsf {D}}_{\textsf {0}}$$ D 0 understood as a set of theses is contained in $$ {\textsf {D}}_{\textsf {2}}$$ D 2. Additionally, any non-trivial discussive logic expressed by means of Jaśkowski’s model of discussion, applied to any regular modal logic of discussion, contains $$ {\textsf {D}}_{\textsf {0}}$$ D 0. (shrink)

In this paper I would like to argue that Stoic logic is a kind ofrelevant logic rather than the classical logic. To realize this purpose I willtry to keep as close as possible to Stoic calculus as expressed with the helpof their arguments.

In [1] J. Perzanowski formulated, among others, an ontology expressed in the relational language. He presented some interesting connections which hold between these relations. In the present paper we focus on further analysis of these relations.

In Béziau a logic \ was defined with the help of the modal logic \. In it, the negation operator is understood as meaning ‘it is not necessary that’. The strong soundness–completeness result for \ with respect to a version of Kripke semantics was also given there. Following the formulation of \ we can talk about \-like logics or Beziau-style logics if we consider other modal logics instead of \—such a possibility has been mentioned in [1]. The correspondence result between (...) modal logics and respective Beziau-style logics has been generalised for the case of normal logics naturally leading to soundness–completeness results [see Marcos :279–300, 2005) and Mruczek-Nasieniewska and Nasieniewski :229–248, 2005)]. In Mruczek-Nasieniewska and Nasieniewski :185–196, 2008), :189–203, 2009) some partial results for non-normal cases are given. In the present paper we try to give similar but more general correspondence results for the non-normal-worlds case. To achieve this aim we have to enrich original Beziau’s language with an additional negation operator understood as ‘it is necessary that not’. (shrink)

In the context of modal logics one standardly considers two modal operators: possibility ) and necessity ) [see for example Chellas ]. If the classical negation is present these operators can be treated as inter-definable. However, negative modalities ) and ) are also considered in the literature [see for example Béziau ; Došen :3–14, 1984); Gödel, in: Feferman, Collected works, vol 1, Publications 1929–1936, Oxford University Press, New York, 1986, p. 300; Lewis and Langford ]. Both of them can be (...) treated as negations. In Béziau a logic \ has been defined on the basis of the modal logic \. \ is proposed as a solution of so-called Jaśkowski’s problem [see also Jaśkowski ]. The only negation considered in the language of \ is ‘it is not necessary’. It appears that logic \ and \ inter-definable. This initial correspondence result between \ and \ has been generalised for the case of normal logics, in particular soundness-completeness results were obtained [see Marcos :279–300, 2005); Mruczek-Nasieniewska and Nasieniewski :229–248, 2005)]. In Mruczek-Nasieniewska and Nasieniewski it has been proved that there is a correspondence between \-like logics and regular extensions of the smallest deontic logic. To obtain this result both negative modalities were used. This result has been strengthened in Mruczek-Nasieniewska and Nasieniewski :261–280, 2017) since on the basis of classical positive logic it is enough to solely use \ to equivalently express both positive modalities and negation. Here we strengthen results given in Mruczek-Nasieniewska and Nasieniewski by showing correspondence for the smallest regular logic. In particular we give a syntactic formulation of a logic that corresponds to the smallest regular logic. As a result we characterise all logics that arise from regular logics. From this follows via respective translations a characterisation of a class of logics corresponding to some quasi-regular logics where \ is the smallest element. Moreover, if a given quasi-regular logic is characterised by some class of models, the same class can be used to semantically characterise the logic obtained by our translation. (shrink)

In [1] J.-Y. Bèziau formulated a logic called Z. Bèziau’s idea was generalized independently in [6] and [7]. A family of logics to which Z belongs is denoted in [7] by K. In particular; it has been shown in [6] and [7] that there is a correspondence between normal modal logics and logics from the class K. Similar; but only partial results has been obtained also for regular logics. In a logic N has been investigated in the language with negation; (...) implication; conjunction and disjunction by axioms of positive intuitionistic logic; the right-to-left part of the second de Morgan law; and the rules of modus ponens and contraposition. From the semantical point of view the negation used by Došen is the modal operator of impossibility. It is known this operator is a characteristic of the modal interpretation of intuitionistic negation. In the present paper we consider an extension of N denoted by N+. We will prove that every extension of N+ that is closed under the same rules as N+; corresponds to a regular logic being an extension of the regular deontic logic D21. The proved correspondence allows to obtain from soundnesscompleteness result for any given regular logic containing D2, similar adequacy theorem for the respective extension of the logic N+. (shrink)

In Jaśkowski’s model of discussion, discussive connectives represent certain interactions that can hold between debaters. However, it is not possible within the model for participants to use explicit modal operators. In the paper we present a modal extension of the discussive logic $\textbf{D}_{\textbf{2}}$ that formally corresponds to an extended version of Jaśkowski’s model of discussion that permits such a use. This logic is denoted by $\textbf{m}\textbf{D}_{\textbf{2}}$. We present philosophical motivations for the formulation of this logic. We also give syntactic characterizations (...) of the logic and propose a comparison with certain other modal systems. In particular, we prove that $\textbf{m}\textbf{D}_{\textbf{2}}$ is neither normal nor regular. On the basis of the axiomatization of $\textbf{D}_{\textbf{2}}$, we give an axiomatization of $\textbf{m}\textbf{D}_{\textbf{2}}$. We also give another axiomatization which is not based on the axiomatization of $\textbf{D}_{\textbf{2}}$. Furthermore, we give a natural Kripke-style semantics for $\textbf{m}\textbf{D}_{\textbf{2}}$ and prove the respective adequacy theorems. (shrink)

The monograph is aimed at an analysis of the reasons for theory change in science. The writer develops a model of theory change according to which the origins of scientific revolutions lie not in a clash of fundamental theories with facts, but of ‘old’ fundamental theories with each other.

Kuala Lumpur is a diverse city representing many different religions and nationalities. Recent government policy has actively promoted unity and cohesion throughout the city; and the country of Malaysia, with the implementation of a programme called 1Malaysia. In this book, the authors investigate the aims of this programme – predominantly to unify the Malaysian society – and how these objectives resonate in the daily spatial practices of the city’s residents. -/- This book argues that elements of urban infrastructure could work (...) as an essential mediator ‘beyond community’, allowing inclusive social structures to be built, despite cultural and religious tensions existing within the city. It builds on the premise of an empirical study which explores the ways in which different communities use the same spaces, supported through the implementation of a theoretical framework which looks at both Western and Islamic conceptualisations of the notion of community. Through the analysis of Kuala Lumpur, this book contributes towards the creation of more inclusive places in multi-ethnic, multi-cultural and multi-religious communities across the world. (shrink)

On Conditions of Participation: The Deficits of Public Reason The paper analyzes the conditions of civic participation that are elucidated by criticism of the deficits of public reason. The interpretation proceeds in three steps. First, the idea of public reason and discourse is analyzed, followed by an explanation of democratic deficit and of the social deficit in the second and third steps, respectively. These deficits are analyzed as an essential limit to political and social conditions of the participation of citizens. (...) The analysis focuses thereby on the theory of public reason by one of the most influential political philosophers of the last decades, John Rawls. The paper identifies two main pitfalls in his theory: first, the deficit following from an inadequate integration of an individual into society, which, in this case, represents democratic deficit, second, the deficit linked with underrating the socio-distributive dimension of justice, which means a social deficit. (shrink)

In the article I discuss functionalist interpretations of Husserlian phenomenology. The first one was coined in the discussion between Hubert Dreyfus and Ronald McIntyre. They argue that Husserl’s phenomenology shares similarities with computational functionalism, and the key similarity is between the concept of noema and the concept of mental representation. I show the weaknesses of that reading and argue that there is another available functionalist reading of Husserlian phenomenology. I propose to shift perspective and approach the relation between phenomenology and (...) functionalism from a methodological perspective, specifically taking into account the functionalist explanatory strategy called functional analysis. I discuss the notion of function in Husserl’s works and Husserl’s idea of functional phenomenology. The key argument I develop is that in functional phenomenology we can find an explanatory strategy which is analogous to the strategy of functional decomposition used in functional analysis. I conclude that the proposed functionalist reading of phenomenology opens a new approach to the integration of phenomenology with cognitive sciences. (shrink)

The paper is a contribution to the debate on the epistemological status of thought experiments. I deal with the epistemological uniqueness of experiments in the sense of their irreducibility to other sources of justification. In particular, I criticize an influential argument for the irreducibility of thought experiments to general arguments. First, I introduce the radical empiricist theory of eliminativism, which considers thought experiments to be rhetorically modified arguments, uninteresting from the epistemological point of view. Second, I present objections to the (...) theory, focusing on the critique of eliminativism by Tamar Szabó Gendler based on the reconstruction of famous Galileo's Pisa experiment. I show that her reconstruction is simplistic and that more elaborate reconstruction is needed for an appropriate assessment of the epistemic power of general argument. I propose such a reconstruction and demonstrate that general version of Pisa experiment is epistemically equal to the particular one. Thus, from an epistemological perspective, Galileo's thought experiment is reducible to a straightforward argument without particular premises. (shrink)

The aim of this article is to introduce the work of Leopold Blaustein — philosopher and psychologist, who studied under Kazimierz Twardowski in Lvov and under Husserl in Freiburg im Breisgau. In his short academic career Blaustein developed an original philosophy that drew upon both phenomenology and Twardowski’s analytical approach. One of his main publications concerns Husserl’s early theory of intentional act and object, introduced in Logische Untersuchungen. In the first part of the article I briefly present Blaustein’s biography and (...) some general features of his philosophy. The second part provides an overview of Blaustein’s dissertation concerning Husserl’s early phenomenology. In the third and final part I summarize Blaustein’s research, including the critical remarks of Roman Ingarden. (shrink)

This article was written on the occasion of the 100th anniversary of the Institute for Social Research in Frankfurt am Main, where the Frankfurt School was founded and continues to evolve. From philosophical and interdisciplinary perspectives, the article focuses on the trichotomic characteristics of critical theory, specifically: critique, explanation, and normativity. It looks first at the founding of the Institute for Social Research; second, at the emergence of critical theory at the Institute; and third, at how these ideas evolved. It (...) identifies trichotomy underpinning Horkheimer’s approach to critical theory. In the conclusion, the revisions made to critical theory in the later stages of development are considered. (shrink)

Text porovnává přesvědčovací strategie využité ve velmi podobných politicky angažovaných videoklipech The Great Schlep a Přemluv bábu. Ukazuje, že přestože se klip Přemluv bábu od své americké předlohy zásadně neliší v obecné struktuře, deklarovaném cíli či motivické výbavě, v jiných persvazivně významných ohledech se původnímu klipu vzdaluje. Rozdíly jsou patrné zejména v odlišné konstrukci publika, v jiném situování mluvčích a v topickém výběru vyjádřeném jinými stylistickými prostředky.

Porovnáním významu slovesa vykořisťovat v 19. a 20. století odhalíme jeho dramatickou proměnu: z pojmu neutrálního se stává pojem silně záporný a objevuje se v okolí nových slov jako kapitalista, měšťák, proletář. Tento průnik Marxova idiolektu do češtiny (a do jiných jazyků) s sebou nese několik otázek: proč vnímá Marx tyto pojmy tak vyhraněně? Z jaké pozice, když odmítá morálku jako buržoazní přežitek, odsuzuje vykořisťování? Jeho eschatologicko-dějinný rámec umožňuje čistě negativní polaritu slovesa vykořisťovat a také, bohužel, zakládá jeho autogenocidní potenciál. (...) When comparing the meaning of the verb to exploit between the nineteenth and twentieth century we discover a dramatic transformation: from a neutral term it becomes a purely negative one and collocates with new words such as capitalist, bourgeoisie, proletarian. This penetration of the idiolect of Marx into Czech (as well as other languages) raises several questions: why does Marx use these words in such a categorical way? From what position, having rejected morality as a bourgeois prejudice, does he condemn exploitation? We find that it is his apocalyptic historical frame which enables the purely negative polarity of the verb to exploit as well as its autogenocidal potential. (shrink)

The fact of religious diversity is vital for the philosopher of religion but also, to some extent, for the believer of a given faith. It takes place in such a dimension in which the views of a given believer or the meaning of the practice of a given religion presupposes the truthfulness of specific claims concerning a given religion or the beliefs included in it. If now on the part of the philosopher of religion or the followers of another religion, (...) there is a direct or indirect challenge to such a key proposition, religious disagreement with epistemic dimension is involved. At the same time, it is not the case that any religious diversity is a case of epistemically significant religious dissent. The paper, by distinguishing different aspects of religions and functions performed by religion, tries to show in which situations religious diversification leads to religious disagreement. Both the follower of religion and the philosopher of religion can and should seek the truth in matters of crucial importance to religion. The difference is that the follower of a given religion is more interested in the salvific and practical functions of religion, along with the associated sense of value and meaningfulness of life and, to a lesser degree, the theoretical certainty that her religion is correct at crucial points. On the other hand, the achievement of ‘the soteriological’ purpose of religion based on false belief is impossible, just as the meaningfulness of life 'based on the sand and not on the rock’. It is because the false foundation is devoid of higher value. That is why there is a community of a philosopher of religion and a follower of a given religion to search for the truth of it. (shrink)

The book discusses trust in gods and how people have sought to reinvest this trust as religious faith has diminished; the effect of low social trust on economic ...

The paper presents some historical (Plato, Aristotle, Plotin, Augustine, Boethius, Aquinas) and main contemporary topics about different accounts of goodness of God understood as ontological goodness, perfection and as ethical goodness - impeccability and benevolence. The arguments for goodness of God are presented, mainly from stance of Thomas Aquinas classical theism as well as arguments against compatibility of essential goodness and omnipotence (N. Pike) and being an moral agent. The article draws perspective of different philosophical issues connected with goodness of (...) God, like a problem of evil, the Euthyphro dilemma, divine command ethics and divine motivation theory. (shrink)

Introduction: A Theory of Democracy and Justice.

The Law of Peoples and Global Justice: Beyond the Liberal Nationalism of John Rawls The paper deals with the relation of a theory of international justice, specifically John Rawls's philosophy of the law of peoples, and a theory of global justice. In the first part, the paper outlines Rawls's main theses on the international conception of the law of peoples. The second part concerns a problem found in segments of Rawls's theory, specifically his concept of a social contract—contractualism. This problem (...) inadequately approaches the relationship between the individual and the community. The third part deals with the inconsistent points in Rawls's theory contained in part two, i.e. his principles of justice selected with the aid of social contract. In the fourth part, the paper concentrates on the consequences of these limitations for a socially distributive dimension of justice or as an approach for dealing with disproportionate global inequalities. The last part formulates the causes of the limitations of Rawls's theory of international justice and points out the need for a global justice which is socially and inter-culturally considerate. (shrink)

Descriptions of bodies within the literature of the enactive approach to cognitive science exhibit an interesting dialectical tension. On the one hand, a body is considered to be a unity which instantiates an identity, forming an intrinsic basis for value. On the other, a living body is in a reciprocally defining relationship with the environment, and is therefore immersed and entangled with, rather than distinct from, its environment. In this paper I examine this tension, and its implications for the enactive (...) approach, particularly the enactive conceptions of life and bodies. Following the lead of others, I argue that enactive cognitive science can benefit from a deeper reading and integration with extant work on the complexity and multiplicity of the living body within feminist philosophy and feminist science studies. (shrink)

The paper links higher education reforms and welfare states reforms in postcommunist Central European countries. It links current higher education debates (and reform pressures) and public sector debates (and reform pressures), stressing the importance of communist-era legacies in both areas. It refers to existing typologies of both higher education governance and welfare state regimes and concludes that the lack of the inclusion of Central Europe in any of them is a serious theoretical drawback in comparative social research. The region should (...) still, after more than two decades of transition and heavy international policy advising, be viewed as a “laboratory of social experimentation”. It is still too risky to suggest generalizations about how Central European higher education and welfare systems fit existing typologies. Consequently, the “transition” period is by no means over: it is over in terms of politics and economics but not in terms of social arrangements. Both higher education and welfare states should be viewed as “work in progress”: permanently under reform pressures, and with unclear future. (shrink)

According to recent discussion, cross-explanatory integration in cognitive science might proceed by constraints on mechanistic and dynamic-mechanistic models provided by different research fields. However, not much attention has been given to constraints that could be provided by the study of first-person experience, which in the case of multifaceted mental phenomena are of key importance. In this paper, we fill this gap and consider the question whether information about first-person experience can constrain dynamic-mechanistic models and what the character of this relation (...) is. We discuss two cases of such explanatory models in neuroscience, namely that of migraine and of epilepsy. We argue that, in these cases, first-person insights about the target phenomena significantly contributed to explanatory models by shaping explanatory hypotheses and by indicating the dynamical properties that the explanatory models of these phenomena should account for, and thus directly constraining the space of possible explanations. (shrink)