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.

Despite increasing interest in studying arguments from deontic authority of the general form “(1) $$\delta$$ δ is a deontic authority in institution $$\varOmega$$ Ω ; (2) according to $$\delta$$ δ, I should do $$\alpha$$ α, C: therefore, (3) I should do $$\alpha$$ α ”, the state of the art models are not capable of grasping their complexity. The existing sets of critical questions assigned to this argumentation scheme seem to conflate two problems: whether a person is subject to an authority (...) of an institution in the first place and whether the command issued within the context of a particular institution is eventually binding. For this reason, we introduce (1) a set of Basic Critical Questions to scrutinize the former issue, and (2) a set of more detailed questions related to specific features, also referred to as “parameters”, of institutional environments (Intra-Institutional Critical Questions). We identify major elements of institutional environments in which authoritative utterances are made and the crucial parameters of arguments from deontic authority. The selected evidence from the decisions of the Polish Supreme Administrative Court helps us show how these parameters may be used to reconstruct subtypes of this argument scheme, with their associated sets of critical questions. In specific institutional contexts, such detailed schemes are capable of grasping the complexity of appeals to deontic authority and thus should be used rather than general schemes. The reconstruction of argumentation schemes with critical questions shows how particular arguments may successfully be attacked. (shrink)

This is a report on the Doctoral Consortium co-located with the 17th International Conference on Artificial Intelligence and Law in Montreal.

This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of lawmaking. Elaborations of the process of lawmaking have variously emphasised its political, social or economic aspects. Yet despite strong interest in logical analyses of law, questions remains about the role of logical tools in lawmaking. (...) This volume attempts to bridge that gap, or at least to narrow it, drawing together some important research problems-and some possible solutions-as seen through the work of leading contemporary academics. The volume encompasses 20 chapters written by authors from 16 countries and it presents diversified views on the understanding of logic (from strict mathematical approaches to the informal, argumentative ones) and differentiated choices concerning the aspects of lawmaking taken into account. The book presents a broad set of perspectives, insights and results into the emerging field of research devoted to the logical analysis of the area of creation of law. How does logic inform lawmaking? Are legal systems consistent and complete? How can legal rules be represented by means of formal calculi and visualization techniques? Does the structure of statutes or of legal systems resemble the structure of deductive systems? What are the logical relations between the basic concepts of jurisprudence that constitute the system of law? How are theories of legal interpretation relevant to the process of legislation? How might the statutory text be analysed by means of contemporary computer programs? These and other questions, ranging from the theoretical to the immediately practical, are addressed in this definitive collection. (shrink)

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper offers some commentaries on papers drawn from the Journal’s third decade. They indicate a major shift within Artificial Intelligence, both generally and in AI and Law: away from symbolic techniques to those based on Machine Learning approaches, especially those based on Natural Language texts rather than feature sets. Eight papers are discussed: two concern the management and use of documents available on the World Wide Web, (...) and six apply machine learning techniques to a variety of legal applications. (shrink)

The first issue of Artificial Intelligence and Law journal was published in 1992. This paper provides commentaries on nine significant papers drawn from the Journal’s second decade. Four of the papers relate to reasoning with legal cases, introducing contextual considerations, predicting outcomes on the basis of natural language descriptions of the cases, comparing different ways of representing cases, and formalising precedential reasoning. One introduces a method of analysing arguments that was to become very widely used in AI and Law, namely (...) argumentation schemes. Two relate to ontologies for the representation of legal concepts and two take advantage of the increasing availability of legal corpora in this decade, to automate document summarisation and for the mining of arguments. (shrink)

Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)

The thesis of the paper holds that some future developments of argumentation theory may be inspired by the rich logico-methodological legacy of the Lvov–Warsaw School (LWS), the Polish research movement that was most active from 1895 to 1939. As a selection of ideas of the LWS which exploit both formal and pragmatic aspects of the force of argument, we present: Ajdukiewicz’s account of reasoning and inference, Bocheński’s analyses of superstitions or dogmas, and Frydman’s constructive approach to legal interpretation. This paper (...) does not aim at exhaustive elaboration of any of these topics or their usefulness in current discussions within argumentation theory. Rather, we intend to indicate chosen directions of a potentially fruitful research program for the emerging Polish School of Argumentation which would consist in application of methods and conceptions elaborated by the LWS to selected open problems of contemporary research on argumentation. (shrink)

We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...) a history of the last quarter century of the field, and provide some insights into where it has come from, where it is now, and where it might go. (shrink)

In September 2018, the ArgDiaP association, along with colleagues from Germany and the UK, organised one of the longest and most interdisciplinary series of events ever dedicated to argumentation - Warsaw Argumentation Week, WAW 2018. The eleven-day ‘week’ featured a five day graduate school on computational and linguistic perspectives on argumentation (3rd SSA school); five workshops: on systems and algorithms for formal argumentation (2nd SAFA), argumentation in relation to society (1st ArgSoc), philosophical approaches to argumentation (1st ArgPhil), legal argumentation (2ndMET-ARG) (...) and argumentation in rhetoric (1st MET-RhET); and two conferences: on computational models of argumentation (7th COMMA conference) and on argumentation and corpus linguistics (16th ArgDiaP conference). WAW hosted twelve tutorials and eight invited talks as well as welcoming over 130 participants. All the conferences and workshops publish pre- or post-proceedings in the top journals and book series in the field. (shrink)

The first issue of _Artificial Intelligence and Law_ journal was published in 1992. This paper provides commentaries on landmark papers from the first decade of that journal. The topics discussed include reasoning with cases, argumentation, normative reasoning, dialogue, representing legal knowledge and neural networks.

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)

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

This chapter presents the meeting points and conflicts between Arthur Danto’s philosophy of art and George Dickie’s avowedly succeeding theory. Its focus is on the internalist-externalist debate on the ontology of the artwork as created and perceived within the artworld. It shows that both Danto and Dickie developed anti-formalist theories, that contributed to the demise of aesthetic modernism. Inverting the formalist distinction between internal and external properties of the artwork, they classified the sensuous properties of the artwork as secondary in (...) its essence and identity. Accordingly, Danto and Dickie’s definitions of art emerged from the challenge “to be consistent with art appearing in every possible way.” Both negated the Neo-Wittgensteinians’s proposal to forgo the project of defining art and found the then-new pluralism to be revealing of the essence of art, directing philosophy to art’s nonexhibited infrastructure – beyond the reach of the eye. Across from this, the chapter presents their opposing ideas as revealed through different analyses of the concept of the “artworld”: as an intellectual sphere by Danto versus an institutional one by Dickie. Danto’s internalist/intentionalist ontology begins with the mental and stretches to its embodying material. Opposing it, Dickie’s externalist ontology points to social practices as constituting the artwork, which is attributed with the status of “arthood” by agents in its social sphere. Accordingly, I claim, Danto’s ontology is more versatile than Dickie’s. -/- . (shrink)

We give a few results concerning the notions of causal completability and causal closedness of classical probability spaces . We prove that any classical probability space has a causally closed extension; any finite classical probability space with positive rational probabilities on the atoms of the event algebra can be extended to a causally up-to-three-closed finite space; and any classical probability space can be extended to a space in which all correlations between events that are logically independent modulo measure zero event (...) have a countably infinite common-cause system. Collectively, these results show that it is surprisingly easy to find Reichenbach-style ‘explanations' for correlations, underlining doubts as to whether this approach can yield a philosophically relevant account of causality. 1 Introduction2 Basic Definitions and Results in the Literature3 Causal Completability the Easy Way: ‘Splitting the Atom’4 Causal Completability of Classical Probability Spaces: The General Case5 Infinite Statistical Common-Cause Systems for Arbitrary Pairs6 ConclusionAppendix A. (shrink)

This is the editorial of the monothematic issue of the journal Filozofia dedicated to Martin Buber (1878 – 1965) on the occasion of the centenary of the first publication of his most famous and popular book, I and Thou, on his philosophy of dialogue.