The skeptical solution is based on two assumptions — the rejection of semantic facts and the denial of semantic nihilism. On the basis of the non-factualist interpretation of this solution, these two assumptions are reconciled by stating that meaning ascriptions possess non-descriptive function. Nonetheless, Alexander Miller argues that this position is self-refuting since, as despite its non-descriptivism, by rejecting any kind of semantic facts, it inevitably leads to semantic nihilism. In this text, I demonstrate that Miller’s argument is not sound. (...) I argue that a coherent non-factualist way of formulating the conditions of correct use of meaning ascriptions may be performed by rejecting the closure principle of assertibility of meaning ascriptions. On this basis, I demonstrate that argument formulated against non-factualist interpretation by Miller may be refuted. What is more, I argue that rejection of the closure principle should be regarded as the central aspect of Kripke’s skeptical solution. (shrink)

Affective congruency effects in the evaluation task can be explained by either spreading of activation or response competition. Eliminating effects of response compatibility by using other tasks (semantic categorisation, naming task) typically also eliminates affective congruency effects. However, there is no need for processing the affective information of the stimuli in these tasks either, which could be necessary for an affectively mediated spreading of activation (Spruyt et al., 2007, 2009, 2012). We introduced a new task to further test this hypothesis. (...) The valent/neutral-categorisation task does not confound affective congruency with response compatibility, but still requires a processing of the stimuli's valence. No affective congruency effect was obtained with this task in two experiments, disfavouring a conditional spreading activation account. On the other hand, a significant priming effect was found for associated word pairs in Experiment 1, providing evidence for the sensitivity of the task to detect spreading activation processes. (shrink)

C-systems were defined by Cartmell as models of generalized algebraic theories. B-systems were defined by Voevodsky in his quest to formulate and prove an initiality conjecture for type theories. They play a crucial role in Voevodsky’s construction of a syntactic C-system from a term monad. In this work, we construct an equivalence between the category of C-systems and the category of B-systems, thus proving a conjecture by Voevodsky.

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)

During the 20th century, witnessing outgrew its original affiliations with legal evidence and religious belief and became a social vocation in its own right. This essay explores the ethical expertise with which witnessing has been infused as the witness became the deferred result of a process of subjective transformation by probing some of the meta-testimonial discourses that emerged in response to the Great War, the Holocaust, and Third World emergencies. Against the ethical redefinition of witnessing advanced by Jean-François Lyotard, Shoshana (...) Felman, and Giorgio Agamben, it analyses ethical witnessing as a practice of self that binds individual autonomy to institutional platforms, technological innovations, and reflective procedures that tackle the pitfalls of witnessing, maximize its potential, and trace its most adequate and resonant forms. (shrink)

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)

Der Verfassungsrechtler und Rechtsphilosoph Carl Schmitt (1888–1985) ist ohne Zweifel ein faszinierender Autor. Die von ihm ausgehende Suggestion basiert auf der Virtuosität seines polemischen Stils, der oft vergessen macht, welch sachliche Kritik von Zeitgenossen an seinen Theorien geübt wurde. Erstmals liegt nun eine kritische Auseinandersetzung mit den wichtigsten Aspekten seines Werkes vor, die die Nähe seines konservativen Denkens zum Nationalsozialismus systematisch aufzeigt. Gegenüber der vorherrschenden biografischen Behandlung dieses Verhältnisses lassen sich damit auch aktuelle politische Theoreme und Positionen sehr viel deutlicher (...) verorten. Ziel des Buches ist es, dem Leser sowohl die Komplexität dieses außergewöhnlichen Denkens als auch dessen Konsequenzen vor Augen zu führen. (shrink)

In this paper we discuss Brandom's definition of necessity, which is part of the incompatibility sematnics he develops in his fifth John Locke Lecture. By comparing incompatibility semantics to standard Kripkean possible worlds semantics for modality, we motivate an alternative definition of necessity in Brandom's own terms. Our investigation of this alternative necessity will show that - contra to Brandom's own results - incompatibility semantics does not necessarily lead to the notion of necessity of the modal logic S5.

"Foundations of the Formal Sciences" is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our (...) philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic. (shrink)

The Value-free ideal of science (VFI) is a view that claims that scientists should not use non-epistemic values when they are justifying their hypotheses, and is widely considered to be obsolete in the philosophy of science. I will defend the ideal by demonstrating that acceptance of non-epistemic values, prohibited by VFI, necessitates legitimizing certain problematic scientific practices. Such practices, including biased methodological decisions or Questionable Research Practices (QRP), significantly contribute to the Replication Crisis. I will argue that the realizability of (...) VFI is not a necessary condition for its validity. Then, I will show how some of the prominent proposals of value-laden science legitimize problematic scientific practices, provide real-world examples, and generalize the argument. Finally, I will show how value-laden methodological decisions contribute to the Replicability Crisis and discuss two strategies for realizing VFI. (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)

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 essay characterizes the perception of the visual hybrid as nonconceptual, introducing the terminology of nonconceptual content theory to aesthetics. The visual hybrid possesses a radical but nonetheless exemplary aesthetic composition and is well established in culture, art, and even design. The essay supplies a philosophical analysis of the results of cross-cultural experiments, showing that while categorization or conceptual hierarchization kicks in when the visual hybrids are juxtaposed with linguistic descriptions, no conceptual scheme takes effect when participants are presented with (...) mere visual hybrids. In isolation, the hybrids do not lend themselves to classification. I draw four conclusions from these experimental outcomes: 1. The perception of visual hybrids follows the structure of a nonconceptual mental content, because the original categories or concepts of the hybrids’ components are not combined into one, and their properties are not applied to one another, therefore none of the components reconstructs the other such that it is introduced to a new category. 2. Language freezes the hybridity of the visual hybrid into conceptuality. 3. Given that language has a freezing effect in the case of an extreme visual phenomenon such as the hybrid, it is all the more restraining in moderate artistic compositions, such as visual metaphors, in which properties of one component (the source) are applied to the other (the target). In those, nonconceptuality emerges from relatively organized compositions, forms, and relations, and from the dependence of objects and their properties on perceptual context. 4. Thus, the nonconceptualist terminology is suitable for the analysis of aesthetic perception in general and aesthetic perception’s relation to language. Keywords aesthetics, perception, nonconceptual content, hybrids, visual metaphors. (shrink)

Panentheism seems to be an attractive alternative to classical theism. It is not clear, though, what exactly panentheism asserts and how it relates to classical theism. By way of clarifying the thesis of panentheism, I argue that panentheism and classical theism differ only as regards the modal status of the world. According to panentheism, the world is an intrinsic property of God – necessarily there is a world – and according to classical theism the world is an extrinsic property of (...) God – it is only contingently true that there is a world. Therefore, as long as we do not have an argument showing that necessarily there is a world, panentheism is not an attractive alternative to classical theism. (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 their article, Sahan and colleagues have presented ethical dilemmas faced by clinical scientists working in genomics.1 This is a welcome development since thus far little has been published on the ethical issues faced by clinical scientists in general. In their article, the authors present the three themes which emerged from discussions with clinical scientists in respect to three case studies: ‘(1) the redistribution of labour and responsibilities resulting from the practice of genomic medicine; (2) the interpretation and certainty of (...) results and (3) the proposal that better standardisation and consistency of ethical approaches (for example, more guidelines and policy) could resolve some of the challenges arising’.1 One theme which appeared not to emerge is that of ethics education received by clinical scientists during their training, and this is the theme on which this commentary will focus. As noted elsewhere, ‘Clinical Scientists receive some lectures on clinical and research ethics as part of their training, but it amounts to only to a couple of hours of lectures (references omitted)’.2 The usual route to becoming a clinical scientist involves undertaking the 3-year postgraduate Scientist Training Programme (STP), though the ‘equivalence’ route is quite commonly taken by clinical scientists working in …. (shrink)

The advent of ChatGPT by OpenAI has prompted extensive discourse on its potential implications for science and higher education. While the impact on education has been a primary focus, there is limited empirical research on the effects of large language models (LLMs) and LLM-based chatbots on science and scientific practice. To investigate this further, we conducted a Delphi study involving 72 researchers specializing in AI and digitization. The study focused on applications and limitations of LLMs, their effects on the science (...) system, ethical and legal considerations, and the required competencies for their effective use. Our findings highlight the transformative potential of LLMs in science, particularly in administrative, creative, and analytical tasks. However, risks related to bias, misinformation, and quality assurance need to be addressed through proactive regulation and science education. This research contributes to informed discussions on the impact of generative AI in science and helps identify areas for future action. (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)

On the one hand, arguably, I am neither this nor that. Arguably, neither is God this or that – so, am I God? Otherwise it seems that I must be this and God must be that. On the other hand, the being of the universe is not something of which I could plausibly be construed as the ultimate cause. That is God's creative act. Because I do not create the universe, I am not God. So I am God and I (...) am not God. Here's a solution: God is One but also Three, I am but one. (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)

A common assumption within the migration ethics literature is that it is only states that have the power to admit foreigners to their territory. However, this assumption misses something important. While it is true that it is states that have the ultimate power to admit, other actors can possess a derivative power from the laws that states put in place. By establishing a system of work visas, for instance, states lend private corporations, and other employers, the power to nominate foreigners (...) for admission by making job offers. For many foreigners, a job offer is what they require to start a new life in a new country. The question then arises how corporations should use this derivative power? One might assume that they should use it as they typically do: to pursue their business interests and by doing so (we hope) benefit their stakeholders including the state and its citizens. However, could there not be other reasons, besides profit seeking, to offer refugees a visa-conferring job? If hiring refugees does not greatly harm their business, it is arguable that corporations could be obliged to use their derivative power to do so on humanitarian grounds. Moreover, some corporations also seem to be obliged to use this power on grounds of corrective justice. This paper advances these possibilities. It has three sections. First, I will look at how much discretion corporations have in terms of employment and migration laws in some European countries. Second, I will present an argument for why corporations are morally permitted to facilitate admission for refugees by offering them a visa-conferring job. In the final section, I will then defend a stronger claim, namely that corporations are possibly obliged to do so on humanitarian grounds or on grounds of corrective justice. (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)

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)

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)

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.

Die vorliegende umfangreiche Untersuchung erschliesst die werkgenetische Entwicklung von Jacques Maritains Personbegriff. Auf differenzierte Weise wird der Zusammenhang von Maritains Leben und Werk dargestellt. Daraus leitet der Autor eine originelle Unterteilung von Maritains Denken in vier Stufen ab, wobei er zugleich die innere Verschrankung von Ontologie, Gnoseologie und Anthropologie erhellt. Demzufolge konzentriert sich Maritain nach einer Phase geistigen Suchens vor allem auf die Erneuerung der scholastischen Erkenntnistheorie, deren konzeptualistische Engfuhrung er allmahlich mit Hilfe eines metaphysischen Existentialismus zu uberwinden versucht. So (...) findet er schliesslich zu einem koharenten Personalismus, d.h. er stellt die Person und die ihr eigene Freiheitsordnung in den Mittelpunkt seiner Uberlegungen.<BR> Die vorliegende Arbeit ist bislang die erste ihrer Art im gesamten deutschsprachigen Raum. Sie erschliesst einen Denker, der den Menschen von seiner Freiheit und nicht mehr von seiner (metaphysischen) Natur her zu bestimmen versucht. Daruber hinaus macht sie deutlich, wie sich Theologie und Philosophie auf dem gemeinsamen Terrain der Anthropologie gegenseitig erganzen und befruchten.". (shrink)

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)

In transformation research of late, accounts on the relation between intentionality and agency on the one hand, and the more routinised and structured side of social co-existence on the other, are increasingly nuanced. However, we observe a deficiency in the way arguments are set up by the interlocutors: both, scholars who grant intentionality a central role and those who emphasise its limitations generally do so at the level of ontology – debating degrees of human capacity for conscious planning versus a (...) largely unconscious reproduction. We wish to shift this question from an ontological to a pedagogical one, exploring possibilities to cultivate and learn intentionality. We do so by developing the concept of consciousness-in-nature that we derive from, and contextualise in, the traditions of deep ecology and (Westernised) Buddhism which both view human beings as inseparable from nature and one another. With consciousness-in-nature we refer to an understanding of humans as a part of nature that has developed the capacity for (self-) reflection and deliberation – a capacity that is not static or firm but can be nurtured and cultivated or clouded over and subdued. From this standpoint, we lay out an understanding of the role of (re)learning consciousness for processes of social change and explore potentials for its nurturing. (shrink)