This article considers aspects of Philippa Foot’s theory of naturalist realist metaethics. It addresses the question of whether human nature can function as a direct source of normativity or whether it is more of a metanormative framework that is open to norm-creation based on the agent’s rational volitional activity. This gives rise to the question of whether the source of moral normativity is not in fact the agent’s practical rationality since natural facts may conflict and therefore cannot constitute a direct (...) guide for the articulation of moral norms. Our interpretation is based primarily on Foot’s Natural Goodness, and identifies the tensions between the broader and narrower meanings of the conception of human nature. In the first step we discuss the broader meaning of human nature. In the second we consider the narrower meaning of human nature, practical rationality. In conclusion we show that in its broader sense human nature cannot function as a proper source of moral normativity; rather, it is a metanormative framework for making moral judgements. Within this framework practical rationality operates as human nature in the narrower sense and only it can be considered the source of moral normativity. (shrink)

Hlavným cieľom práce je identifikovať antinaturalistické črty etiky Dunsa Scota. Predpokladom je objasnenie pojmu naturalizmu. V teoretickej filozofii je možné rozlíšiť metafyzický, vedecko-metodologický a sémanticko-analytický naturalizmus. V praktickej filozofii je naturalizmus prítomný v etike cnosti, v ktorej sa pri dosahovaní dobrého života pracuje s pojmom ľudskej prirodzenosti a emočno-afektívna stránka človeka je relevantným prvkom etického uvažovania. Voči nej stojí etika pravidiel, podľa ktorej je zdrojom morálne dobrého ľudská racionalita, prax má byť formovaná podľa poznania rozumu a emocionalita je v tomto (...) etickom uvažovaní irelevantná. Na základe rozboru niektorých diel Dunsa Scota je jeho etika antinaturalistická v týchto bodoch: vôľa ako protiklad prirodzenosti; oddelenie morálky a blaženosti; sekundárny význam emócií v etickom uvažovaní; univerzálne záväzný imperatív lásky k Bohu; vôľa ako sídlo morálnych cností. Spojenie blaženosti, cnosti a prirodzenosti u Scota stráca vnútornú súdržnosť, prirodzené a morálne dobro nekonvergujú, čo sa odráža v „denaturalizácii“ morálky. Na základe identifikácie antinaturalistických čŕt Scotovej etiky prichádzame k záveru, že jeho etika má bližšie k etike pravidiel. (shrink)

According to Scotus, abstractive cognition is independent of the actual existence of its object, and must therefore rely on the intentional species. Scotus presents several arguments in favour of the necessity of the species intelligibilis for abstractive universal cognition. After discussing opinions that ascribed exclusive causality in the process of cognition either to the intellect or to the object, Scotus arrives at the conclusion that both the object and the intellect act as essentially ordered partial causes of cognition: the intelligible (...) species is caused both by the phantasm and the active intellect. Thus results a new order of representation, in which the common nature is represented as universal. The process of cognition is described by Scotus as a dynamic succession of active and passive phases. On the basis of these and other characteristic features, Scotus’s epistemology can be described as departing from the Aristotelian tradition, and as the locus of the first appearance of the motives of modern epistemology. (shrink)

The question of the principle of individuation in current analytical philosophy was the subject of medieval discussions, too, in which not only similar proposals of solutions emerged, but also dilemmas invoked by the set of then-discussed proposals appeared. Duns Scotus criticizes the previous theories of individuation and suggests that the difficulties could be avoided by changing the viewpoint from the categorical-quiditative to the transcendental-modal understanding of the principle of individuation. Scotus’ solution is close to the theory of naked substrates, because (...) the substrate and “thisness” act as individuators with modal character. From the relecture of Scotus’ modal understanding of the principle of individuation may arise inspirations that need to be considered in comparison with modern analytical theories of individuation and thus they can be enriched. (shrink)

Hlavným cieľom práce je identifikovať antinaturalistické črty etiky Dunsa Scota. Predpokladom je objasnenie pojmu naturalizmu. V teoretickej filozofii je možné rozlíšiť metafyzický, vedecko-metodologický a sémanticko-analytický naturalizmus. V praktickej filozofii je naturalizmus prítomný v etike cnosti, v ktorej sa pri dosahovaní dobrého života pracuje s pojmom ľudskej prirodzenosti a emočno-afektívna stránka človeka je relevantným prvkom etického uvažovania. Voči nej stojí etika pravidiel, podľa ktorej je zdrojom morálne dobrého ľudská racionalita, prax má byť formovaná podľa poznania rozumu a emocionalita je v tomto (...) etickom uvažovaní irelevantná. Na základe rozboru niektorých diel Dunsa Scota je jeho etika antinaturalistická v týchto bodoch: vôľa ako protiklad prirodzenosti; oddelenie morálky a blaženosti; sekundárny význam emócií v etickom uvažovaní; univerzálne záväzný imperatív lásky k Bohu; vôľa ako sídlo morálnych cností. Spojenie blaženosti, cnosti a prirodzenosti u Scota stráca vnútornú súdržnosť, prirodzené a morálne dobro nekonvergujú, čo sa odráža v „denaturalizácii“ morálky. Na základe identifikácie antinaturalistických čŕt Scotovej etiky prichádzame k záveru, že jeho etika má bližšie k etike pravidiel. (shrink)

This paper is a report of the conference 'John Duns Scotus 1308–2008. Investigations into his Philosophy' 5-9 November 2008.

Theologians of the 14th C. agreed that theology is scientific knowledge based upon the truths of revelation. But the very introduction of Aristotle's and aristotelian philosophy into theology turned out to be problematic. Above all, it was questionable to integrate theology—as a science based on revelation—within the aristotelian framework of sciences. This problem is difficult for Scotus in two ways. On the one hand, he uses the concepts elaborated in greek philosophy, but, on the other hand, his franciscan spirituality compels (...) him towards the opposite solution. Scotus only has the Aristotle's division of theoretical and practical sciences at his disposal to determine the character of theology, and he chooses to classify theology as practical science. Scotus is pouring “new wine” of Christian revelation into “old wineskins” of greek philosophy, the fact causing noticeable problems when interpreting many Scotus' ideas and views. (shrink)

Theologians of the 14th C. agreed that theology is scientific knowledge based upon the truths of revelation. But the very introduction of Aristotle's and aristotelian philosophy into theology turned out to be problematic. Above all, it was questionable to integrate theology—as a science based on revelation—within the aristotelian framework of sciences. This problem is difficult for Scotus in two ways. On the one hand, he uses the concepts elaborated in greek philosophy, but, on the other hand, his franciscan spirituality compels (...) him towards the opposite solution. Scotus only has the Aristotle's division of theoretical and practical sciences at his disposal to determine the character of theology, and he chooses to classify theology as practical science. Scotus is pouring “new wine” of Christian revelation into “old wineskins” of greek philosophy, the fact causing noticeable problems when interpreting many Scotus' ideas and views. (shrink)

This paper is a report of the 700th anniversary of the death of Bl. Jan Duns Scotus. International Jubilee Symposium in Lublin.

The problem of the intuition of the individual as such, i. e. of its individuality (the „principle of individuation“) gave rise to many controversies. The problem becomes especially urgent in the light of the Christian revelation, since Christianity in the first place relates to the singular and individual (and therefore contingent), whereas the universal assumes only a secondary rôle. John Duns Scotus deals with this theologico-philosophical problem and sets out to defend intellective intuition of the individual as a whole. He (...) distinguishes three kinds within this type of cognition: perfect intuitive intellective cognition which is possible only in patria, direct but imperfect (i. e. not penetrating the principle of individuation) intuitive intellective cognition which relates to contingent truths and spiritual acts, and, finally, imperfect and indirect intuitive intellective cognition, i. e. acts of recalling the past intuitive cognitions. In these three examples the fundamental Scotus’s arguments are exhibited and the extent to which Scotus transgresses the limits of Aristotelian epistemology is made clear. (shrink)

Boethius’s short treatise On the Highest Good represents one of the remarkable and important variants of ethical aristotelianism, enriched in Boethius by neo-platonic and augustinian themes. The idea of the “philosophical way”, which exclusively can lead to blissfulness, encompassing theory as well as practice, was dismissed by theologians – counselors of Bishop Tempier. The result was an edict published in 1277, which among others condemned the ideas articulated in the treatise On the Highest Good. On closer view it appears, however, (...) that the “philosophical way” does not contradict the Christian way. Contrary to Thomas Aquinas or Bonaventura Boethius as a “professional philosopher” did not manage to include philosophy into theology. However, this is not to conceive the two as two contradicting disciplines, but rather as two different perspectives on one and the same thing. Therefore they can not be in conflict. (shrink)

The paper deals with the reception and modifications of aristotelism in the epistemology, metaphysics and theology of John Duns Scotus. As a consequence of these modifications Scotus became the founder of a new philosophical-theological vocabulary. In the first part of the contribution the history of aristotelism in the Hellenic period is outlined; the second part examines two lines of aristotelism: that developed in the Latin European West on one hand and that of the Greek-Arabic East on the other hand. The (...) reception and modification of aristotelism in the considerations of J. D. Scotus is examined in more detail on the historical-philosophical background in the third part: rational intuition, ontological conception of metaphysics as scientia transcendens, theology as a practical science. In conclusion the author shows how Scotus’s modification of aristotelism influenced the rise of modern science. (shrink)

This paper is a review of 'Ako sa vyjadrova' rozumne a zmysluplne Uvedenie do filozofickej metodológie' by Lubos Rojka.

This paper is a review of the book 'Náčrt Whiteheadovej procesuálnej filozofie' by Rastislav Nemec.

In this paper, I discuss the differences between ontic and epistemic conceptions of scientific explanation, mainly in relation to the so-called new mechanical philosophy. I emphasize that the debate on conceptions of scientific explanation owes much to Salmon’s ontic/epistemic distinction, although much has changed since his formulations. I focus on the interplay between ontic and epistemic norms and constraints in providing mechanistic explanations. My conceptual analysis serves two aims. Firstly, I formulate some suggestions for recognising that both sets of norms (...) and constraints, ontic and epistemic, are necessary for scientific theorising. Secondly, I emphasize that there are multiple dimensions involved in scientific explanation, rather than clear-cut alternatives between ontic and epistemic aspects. I conclude with a general observation that although contextual aspects of explanations are unavoidable, the epistemic-relativity of our categories, explanations and models can in fact be compatible with their objectivity. Instead of making hastily drawn ontological implications from our theories or models, we should carefully scrutinize them from the ontic-epistemic perspective. (shrink)

A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and (...) completeness -- Why is first order logic "First Order"? (shrink)

This book offers a new definition of metaphor-as an ontological and visual construction, whose roots are external visual forms, and its motivation is our attachment to forms. This definition, which Michalle Gal names “visualist,” challenges the ruling conceptualist theory of metaphors and places a new emphasis on how we experience rather than understand metaphors. In doing so, she responds to the visual turn that is taking place in literature and the media, demanding that the visual become a site of philosophical (...) analysis. This focus on the external visual world allows Gal to employ visual theories to capture the essence of metaphor. She looks beyond conceptual or semantic mechanism, and returns to theories of Arnheim and Gombrich and the current evolution of ideas about the visual or material and embodied cognition. Proposing to see visual metaphors in their basic form, she uses a new externalist terminology of ontology, visuality, composition, affordance, construction, and emergence. Setting out a new theory that takes into account that humans are visual no less than cognitive creatures, Visual Metaphors and Aesthetics lays the foundation for a new vocabulary to talk about metaphors. (shrink)

Despite their ethical intentions, ethically minded consumers rarely purchase ethical products (Auger and Devinney: 2007, Journal of Business Ethics76, 361–383). This intentions–behaviour gap is important to researchers and industry, yet poorly understood (Belk et al.: 2005, Consumption, Markets and Culture8(3), 275–289). In order to push the understanding of ethical consumption forward, we draw on what is known about the intention–behaviour gap from the social psychology and consumer behaviour literatures and apply these insights to ethical consumerism. We bring together three separate (...) insights – implementation intentions (Gollwitzer: 1999, American Psychologist54(7), 493–503), actual behavioural control (ABC) (Ajzen and Madden: 1986, Journal of Experimental Social Psychology22, 453–474; Sheeran et al.: 2003, Journal of Social Psychology, 42, 393–410) and situational context (SC) (Belk: 1975, Journal of Consumer Research2, 157–164) – to construct an integrated, holistic conceptual model of the intention–behaviour gap of ethically minded consumers. This holistic conceptual model addresses significant limitations within the ethical consumerism literature, and moves the understanding of ethical consumer behaviour forward. Further, the operationalisation of this model offers insight and strategic direction for marketing managers attempting to bridge the intention–behaviour gap of the ethically minded consumer. (shrink)

The paper aims at a phenomenological clarification of the “island community” category in the light of Dietrich von Hildebrand’s metaphysics of community. I begin with presenting a brief social history of the Spinalonga leprosarium as a model of an island community; then follows a sketch of some of the main findings made by the German philosopher concerning community per se, and finally an attempt is made to explain the place of island communities in Hildebrand’s hierarchy of communities. I aim to (...) show that an island community should be taken as a special example of what he calls a life circle. It is special because it somehow transcends the “primitiveness” imposed by Hildebrand on Lebenskreise in general, as a result of being rooted in a serious realm of value and meaning. (shrink)

In a recent series of papers, Jane Friedman argues that suspended judgment is a sui generis first-order attitude, with a question as its content. In this paper, I offer a critique of Friedman’s project. I begin by responding to her arguments against reductive higher-order propositional accounts of suspended judgment, and thus undercut the negative case for her own view. Further, I raise worries about the details of her positive account, and in particular about her claim that one suspends judgment about (...) some matter if and only if one inquires into this matter. Subsequently, I use conclusions drawn from the preceding discussion to offer a tentative account: S suspends judgment about p iff S believes that she neither believes nor disbelieves that p, S neither believes nor disbelieves that p, and S intends to judge that p or not-p. (shrink)

In his Berlin Lectures of the 1820s, the German philosopher Arthur Schopenhauer (1788–1860) used spatial logic diagrams for philosophy of language. These logic diagrams were applied to many areas of semantics and pragmatics, such as theories of concept formation, concept development, translation theory, clarification of conceptual disputes, etc. In this paper we first introduce the basic principles of Schopenhauer’s philosophy of language and his diagrammatic method. Since Schopenhauer often gives little information about how the individual diagrams are to be understood, (...) we then make the attempt to reconstruct, specify and further develop one diagram type for the field of conceptual analysis. (shrink)

The aim of the current study was to monitor the changes that individual participants experienced as a result of taking part in a peace education program. The findings of prior analyses led to the understanding that participating in a peace program does not always ensure positive changes and may even cause a regression in attitudes. The present study was conducted in two stages. In the first stage, the researchers learned about the processes that participants underwent during a peace education program (...) and accordingly, a reinforcement program to restore/rehabilitate any negative attitudes was formed. In the second stage, the effectiveness over time of this reinforcement program was evaluated. The study’s findings show that engaging in reflection about the workshop content, especially when it is oriented towards positive thinking, is effective in reinforcing attitudes among participants who underwent a positive change in attitudes, and at the same time helps to rehabilitate attitudes among those participants who underwent a negative change. It is recommended that future peace education programs include at least three parts: preliminary preparation, the program itself, and follow-up/reinforcement activity after completion of the program. (shrink)

The aim of this study is to justify the belief that there are biological normative mechanisms that fulfill non-trivial causal roles in the explanations (as formulated by researchers) of actions and behaviors present in specific systems. One example of such mechanisms is the predictive mechanisms described and explained by predictive processing (hereinafter PP), which (1) guide actions and (2) shape causal transitions between states that have specific content and fulfillment conditions (e.g. mental states). Therefore, I am guided by a specific (...) theoretical goal associated with the need to indicate those conditions that should be met by the non-trivial theory of normative mechanisms and the specific models proposed by PP supporters. In this work, I use classical philosophical methods, such as conceptual analysis and critical reflection. I also analyze selected studies in the field of cognitive science, cognitive psychology, neurology, information theory and biology in terms of the methodology, argumentation and language used, in accordance with their theoretical importance for the issues discussed in this study. In this sense, the research presented here is interdisciplinary. My research framework is informed by the mechanistic model of explanation, which defines the necessary and sufficient conditions for explaining a given phenomenon. The research methods I chose are therefore related to the problems that I intend to solve. In the introductory chapter, “The concept of predictive processing”, I discuss the nature of PP as well as its main assumptions and theses. I also highlight the key concepts and distinctions for this research framework. Many authors argue that PP is a contemporary version of Kantianism and is exposed to objections similar to those made against the approach of Immanuel Kant. I discuss this thesis and show that it is only in a very general sense that the PP framework is neo-Kantian. Here we are not dealing with transcendental deduction nor with the application of transcendental arguments. I argue that PP is based on reverse engineering and abduction inferences. In the second part of this chapter, I respond to the objection formulated by Dan Zahavi, who directly accuses this research framework of anti-realistic consequences. I demonstrate that the position of internalism, present in the so-called conservative PP, does not imply anti-realism, and that, due to the explanatory role played in it by structural representations directed at real patterns, it is justified to claim that PP is realistic. In this way, I show that PP is a non-trivial research framework, having its subject, specific methods and its own epistemic status. Finally, I discuss positions classified as the socalled radical PP. In the chapter “Predictive processing as a Bayesian explanatory model” I justify the thesis according to which PP offers Bayesian modeling. Many researchers claim that the brain is an implemented statistical probabilistic network that is an approximation of the Bayesian 7 rule. In practice, this means that all cognitive processes are to apply Bayes' rule and can be described in terms of probability distributions. Such a solution arouses objections among many researchers and is the subject of wide criticism. The purpose of this chapter is to justify the thesis that Bayesian PP is a non-trivial research framework. For this purpose, I argue that it explains certain phenomena not only at the computational level described by David Marr, but also at the level of algorithms and implementation. Later in this chapter I demonstrate that PP is normative modeling. Proponents of the use of Bayesian models in psychology or decision theory argue that they are normative because they allow the formulation of formal rules of action that show what needs to be done to make a given action optimal. Critics of this approach emphasize that such thinking about the normativity of Bayesian modeling is unjustified and that science should shift from prescriptive to descriptive positions. In a polemic with Shira Elqayam and Jonathan Evans (2011), I show that the division they propose into prescriptivism and Bayesian descriptivism is apparent, because, as I argue, there are two forms of prescriptivism, i.e. the weak and the strong. I argue that the weak version is epistemic and can lead to anti-realism, while the strong version is ontic and allows one to justify realism in relation to Bayesian models. I argue that a weak version of prescriptivism is valid for PP. It allows us to adopt anti-realism in relation to PP. In practice, this means that you can explain phenomena using Bayes' rule. This does not, however, imply that they are Bayesian in nature. However, the full justification of realism in relation to the Bayesian PP presupposes the adoption of strong prescriptivism. This position assumes that phenomena are explained by Bayesian rule because they are Bayesian as such. If they are Bayesian in nature, then they should be explained using Bayesian modeling. This thesis will be substantiated in the chapters “Normative functions and mechanisms in the context of predictive processing” and “Normative mechanisms and actions in predictive processing”. In the chapter “The Free Energy Principle in predictive processing”, I discuss the Free Energy Principle (hereinafter FEP) formulated by Karl Friston and some of its implications. According to this principle, all biological systems (defined in terms of Markov blankets) minimize the free energy of their internal states in order to maintain homeostasis. Some researchers believe that PP is a special case of applying this principle to cognition, and that predictive mechanisms are homeostatic mechanisms that minimize free energy. The discussion of FEP is important due to the fact that some authors consider it to be important for explanatory purposes and normative. If this is the case, then FEP turns out to be crucial in explaining normative predictive mechanisms and, in general, any normative biological mechanisms. To define the explanatory possibilities of this principle, I refer to the discussion of its supporters on the issue they define as the problem of continuity and discontinuity between life and mind. A critical analysis of this discussion and the additional arguments I have formulated have allowed me to revise the explanatory ambitions of FEP. I also reject the belief that this principle is necessary to explain the nature of predictive mechanisms. I argue that the principle formulated and defended by Friston is an important research heuristic for PP analysis. 8 In the chapter “Normative functions and mechanisms in predictive processing”, I start my analyzes by formulating an answer to the question about the normative nature of homeostatic mechanisms. I demonstrate that predictive mechanisms are not homeostatic. I defend the view that a full explanation of normative mechanisms presupposes an explanation of normative functions. I discuss the most important proposals for understanding the normativity of a function, both from a systemic and teleosemantic perspective. I conclude that the non-trivial concept of a function must meet two requirements which I define as explanatory and normative. I show that none of the theories I have invoked satisfactorily meets both of these requirements. Instead, I propose a model of normativity based on Bickhard's account, but supplemented by a mechanistic perspective. I argue that a function is normative when: (1) it allows one to explain the dysfunction of a given mechanism; (2) it contributes to the maintenance of the organism's stability by shaping and limiting possible relations, processes and behaviors of a given system; and when (3) (according to the representational and predictive functions) it enables explaining the attribution of logical values of certain representations / predictions. In such an approach, a mechanism is normative when it performs certain normative functions and when it is constitutive for a specific action or behavior, despite the fact that for some reason it cannot realize it either currently or in the long-term. Such an understanding of the normativity of mechanisms presupposes the acceptance of the epistemic hypothesis. I argue that this hypothesis is not cognitively satisfactory, and therefore the ontic hypothesis should be justified, which is directly related to adopting the position of ontic prescriptivism. For this reason, referring to the mechanistic theory of scientific explanations, I formulate an ontical interpretation of the concept of a normative mechanism. According to this approach, a mechanism or a function is normative when they perform such and such causal roles in explaining certain actions and behaviors. With regard to the normative properties of predictive mechanisms and functions, this means that they are the causes of specific actions an organism carries out in the environment. In this way, I justify the necessity of accepting the ontic hypothesis and rejecting the epistemic hypothesis. The fifth chapter, “Normative mechanisms and actions in predictive processing”, is devoted to the dark room problem and the related exploration-exploitation trade-off. A dark room is the state that an agent could be in if it minimized the sum of all potential prediction errors. I demonstrate that, in accordance with the basic assumption of PP about the need for continuous and long-term minimization of prediction errors, such a state should be desirable for the agent. Is it really so? Many authors believe it is not. I argue that the test of the value of PP is the possibility of a non-trivial solution of this problem, which can be reduced to the choice between active and uncertainty-increasing exploration and safe and easily predictable exploitation. I show that the solution proposed by PP supporters present in the literature does not enable a fully satisfactory explanation of this dilemma. Then I defend the position according to which the full explanation of the normative mechanisms, and, subsequently, the solution to the dilemma of exploration and exploitation, involves reference to the existence of constraints present in the environment. The constraints 9 include elements of the environment that make a given mechanism not only causal but also normative. They are therefore key to explaining the predictive mechanisms. They do not only play the role of the context in which the mechanism is implemented, but, above all, are its constitutive component. I argue that the full explanation of the role of constraints in normative predictive mechanisms presupposes the integration of individual models of specific cognitive phenomena, because only the mechanistic integration of PP with other models allows for a non-trivial explanation of the nature of normative predictive mechanisms that would have a strong explanatory value. The explanatory monism present in many approaches to PP makes it impossible to solve the problem of the dark room. Later in this chapter, I argue that the Bayesian PP is normative not because it enables the formulation of such and such rules of action, but because the predictive mechanisms themselves are normative. They are normative because they condition the choice of such and such actions by agents. In this way, I justify the hypothesis that normative mechanisms make it possible to explain the phenomenon of agent motivation, which is crucial for solving the dark room problem. In the last part of the chapter, I formulate the hypothesis of distributed normativity, which assumes that the normative nature of certain mechanisms, functions or objects is determined by the relations into which these mechanisms, functions or objects enter. This means that what is normative (in the primary sense) is the relational structure that constitutes the normativity of specific items included in it. I suggest that this hypothesis opens up many areas of research and makes it possible to rethink many problems. In the “Conclusion”, I summarize the results of my research and indicate further research perspectives. (shrink)

The purpose of this article is to discuss Kant’s concept of juridical state as the foundation of the contemporary rule of law. Therefore, the article tries to answer two questions: (1) what character can be attributed to Kant’s concept of juridical state taking into account the obligations arising from it; (2) can the analysis of the Kantian juridical state have any impact on the contemporary understanding of the rule of law and if so, what can this impact be. In order (...) to accomplish this task, moral presuppositions of Kant’s juridical state are discussed, according to the commonly accepted view that Kant’s political philosophy is closely linked with his moral and ethical reflection. Then, two interpretations of Kant’s juridical state – the liberal one and the authoritarian one – are analysed. The crucial difference between these interpretations lies in establishing the circumstances in which the duty of obedience to state power should be carried out. Then, Kantian juridical state is compared with two ways of understanding the rule of law – the material one and the formal one – in order to evaluate whether the rule of law should be considered as continuity of or rupture with the Kantian concept. (shrink)

This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of (...) the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators ) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators ), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames ), MT), MD), MB), MK4) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames ), MS5).Results of the second type consist of designing concrete deductive systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule, 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity. (shrink)

According to the orthodox view, the goodness of a life depends exclusively on the things that actually happened within it, such as its pleasures and pains, the satisfaction of its subject’s preferences, or the presence of various objective goods and bads. In this paper, I argue that the goodness of a life also depends on what could have happened, but didn’t. I then propose that this view helps us resolve ethical puzzles concerning the standards for a life worth living for (...) animals and the significance of a life’s shape. (shrink)

The first issue of _Artificial Intelligence and Law_ journal was published in 1992. This paper discusses several topics that relate more naturally to groups of papers than a single paper published in the journal: ontologies, reasoning about evidence, the various contributions of Douglas Walton, and the practical application of the techniques of AI and Law.

Responding to the increasingly influential role of Hannah Arendt's political philosophy in recent years, Hannah Arendt and the Limits of Total Domination: The Holocaust, Plurality, and Resistance, critically engages with Arendt's understanding of totalitarianism. According to Arendt, the main goal of totalitarianism was total domination; namely, the virtual eradication of human legality, morality, individuality, and plurality. This attempt, in her view, was most fully realized in the concentration camps, which served as the major "laboratories" for the regime. While Arendt focused (...) on the perpetrators' logic and drive, Michal Aharony examines the perspectives and experiences of the victims and their ability to resist such an experiment. The first book-length study to juxtapose Arendt's concept of total domination with actual testimonies of Holocaust survivors, this book calls for methodological pluralism and the integration of the voices and narratives of the actors in the construction of political concepts and theoretical systems. To achieve this, Aharony engages with both well-known and non-canonical intellectuals and writers who survived Auschwitz and Buchenwald concentration camps. Additionally, she analyzes the oral testimonies of survivors who are largely unknown, drawing from interviews conducted in Israel and in the U.S., as well as from videotaped interviews from archives around the world. Revealing various manifestations of unarmed resistance in the camps, this study demonstrates the persistence of morality and free agency even under the most extreme and de-humanizing conditions, while cautiously suggesting that absolute domination is never as absolute as it claims or wishes to be. Scholars of political philosophy, political science, history, and Holocaust studies will find this an original and compelling book. (shrink)

We analyze the structure of strongly dominating sets of reals introduced in Goldstern et al. (Proc Am Math Soc 123(5):1573–1581, 1995). We prove that for every κ (...) class l of Baire sets for the Laver category base and compare the σ-ideal of sets which are not strongly dominating with the Laver ideal l0. (shrink)

Continual pressure on managers, their efficiency, and the need to search for novel solutions to problems can lead to psychologically demanding situations. In efforts to understand the main obstacles to work and to effectively manage work-related processes, and in the need to achieve personal development, new approaches that are based on existential philosophies emerge. The aim of this article is to highlight the ways in which existential approaches have been used or discussed in management and to show that existential themes (...) and their applications in management can also be found in the Eastern tradition of thought. The paper presents six case vignettes from management practice that use Western and Eastern existential insights and offer recommendations for self-development of managers. The paper concludes that although it is difficult or impossible to create a unified framework of existential philosophy of management because of the diversity of existential approaches and because of the problematic nature of comparing Eastern and Western philosophies, it is possible to work towards gathering applicable insights and values. (shrink)