Persons with Parkinson’s disease are advised to use compensatory strategies such as external cues or cognitive movement strategies to overcome gait disturbances. It is suggested that external cues involve the processing of sensory stimulation, while cognitive-movement strategies use attention allocation. This study aimed to compare over time changes in attention allocation in PwP between prolonged walking with cognitive movement strategy and external cues; to compare the effect of cognitive movement strategies and external cues on gait parameters; and evaluate whether these (...) changes depend on cognitive function. Eleven PwP participated in a single-group pilot study. Participants walked for 10 min under each of three conditions: natural walking, using external cuing, using a cognitive movement strategy. Attention and gait variables were extracted from a single-channel electroencephalogram and accelerometers recordings, respectively. Attention allocation was assessed by the% of Brain Engagement Index signals within an attentive engagement range. Cognitive function was assessed using a neuropsychological battery. The walk was divided into 2-min time segments, and the results from each 2-min segment were used to determine the effects of time and condition. Associations between cognitive function and BEI signals were tested. Findings show that in the cognitive movement strategy condition, there was a reduction in the % of BEI signals within the attentive engagement range after the first 2 min of walking. Despite this reduction the BEI did not consistently differ from natural and metronome walking. Spatiotemporal gait variables were better in the cognitive movement strategy condition relative to the other conditions. Global cognitive and information processing scores were significantly associated with the BEI only when the cognitive movement strategy was applied. In conclusion, the study shows that a cognitive movement strategy has positive effects on gait variables but may impose a higher attentional load. Furthermore, when walking using a cognitive movement strategy, persons with higher cognitive function showed elevated attentive engagement. The findings support the idea that cognitive and attentional resources are required for cognitive movement strategies in PwP. Additionally, this study provides support for using single-channel EEG to explore mechanistic aspects of clinical interventions. (shrink)

Ectogenesis (artificial wombs) might soon become a reality. This paper will analyse how the development of such technologies will affect Judith Jarvis Thomson’s defence of abortion, and what the potential consequences of this will be for society. Thomson attempts to justify abortion by appealing to the mother’s right to bodily autonomy. We will argue that once these technologies have been developed, the right to abortion can no longer be justified by such appeals. As a result, when justifying abortion, Thomson-style arguments (...) will no longer work, and a very different strategy will have to be adopted by those wishing to justify its permissibility. Anticipating a consequent weaker position of the pro-choice view, we briefly consider some of the practical implications of ectogenesis for society: effects on parental dynamics, governmental expenditure, research, and gender equality. (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 aim of this paper is to present the ontic approach to the normativity of cognitive functions and mechanisms, which is directly related to the understanding of biological normativity in terms of normative mechanisms. This approach assumes the hypothesis that cognitive processes contain a certain normative component independent of external attributions and researchers’ beliefs. This component consists of specific cognitive mechanisms, which I call normative. I argue that a mechanism is normative when it constitutes given actions or behaviors of a (...) system. More precisely, it means that, on the one hand, it is their constitutive cause, and on the other hand, it determines a certain field of possibilities from which the system, guided by its own goals, preferences, environmental constraints, etc., chooses the appropriate action or behavior according to a given situation. The background for the analyses presented here is the predictive processing framework, in which it can be shown that at least some of the predictive mechanisms are in fact normative mechanisms. I refer here to the existence of a motivational relation which determines the normative dependence of the agent’s actions due to specific predictions and environmental constraints. (shrink)

This text aims at a multi-dimensional reflection on Erich Fromm’s conception of the human being. Starting from Marxist-Freudian sources of the philosopher’s thought, the authors show the fundamental ideas underlying his version of psychoanalysis. Next, Fromm’s view of the human being as a social being is discussed, referring to the concepts of unproductive and productive orientations. Another important dimension of Fromm’s thought that is discussed is the reflection on the nature and functions of the symbolic language of the unconscious, which (...) reveals to the human being both the best and the worst aspects of his or her personality. One of the most famous concepts of the American philosopher is also discussed — the distinction between the being mode and the having mode. The authors drawattention to the value Fromm placed on a life oriented towards the being mode. Finally, they remind us, following Fromm, that a human being turns towards himself in his or her dreams, going beyond all the schemes and concepts that bind his mind when he or she is awake. The understanding of oneself that comes from a deep reflection on the content and character of a dream can awaken in a person the recognition of previously unknown dimensions of his or her mind; from now on, he is not merely someone immersed in the reality of everyday life. Crossing the horizon of oneiric imagination, he or she becomes free, in the dream, and she experiences the freedom of being on waking. (shrink)

There is an ethical dilemma present when considering updating predictive clinical artificial intelligence (AI) models, which should be part of the departmental quality improvement process. One needs to consider whether withdrawing the AI model is necessary to obtain the relevant information from a naive patient population or whether to use causal inference techniques to obtain this information. Withdrawing an AI model from patient care might pose challenges if the AI model is considered standard of care, while use of causal inference (...) will not be reliable if the relevant statistical assumptions do not hold true. Hence, each of these two updating strategies is associated with patient risks, but lack of reliable data might endanger future patients. Similarly, not withdrawing an outdated AI might also expose patients to risk. Here I propose a high level ethical framework – epistemic risk management - that provides guidance for which route of model updating should be taken based on the likelihood of the assumptions used during the creation of the original AI model and the assumptions required for causal inference holding true. This approach balances our uncertainty about the status of the AI as standard of care with the risk of not obtaining the necessary data, so as to increase the probability of benefiting current and future patients for whose care the AI is being used. (shrink)

The article is an attempt at explaining the category of logical form used by Ludwig Wittgenstein in his Tractatus logico-philosophicus by using concepts from Gottfried Wilhelm Leibniz’s The Monadology. There are many similarities and analogies between those works, and the key concept for them is the category of the inner and acknowledged importance of consideration based on basic categories of thinking about the world. The Leibnizian prospect allows for a broader look at Wittgenstein’s analysis of the relation between propositions and (...) facts, between language and the world. Using the Hanoverian philosopher’s terminology allows for the demonstration of the ambivalence of the concept of logical form in the philosophy of Wittgenstein and also the metaphysical nature of his first book. (shrink)

The case of Alta Fixsler, where a judge ruled that withdrawing life sustaining care was in her best interest rather than transferring her to Israel, as her parents wanted, is the latest in a series of controversial paediatric best interest decisions. Using this case, as well as some other recent cases, I argue that the UK exhibits a high degree of medico-legal paternalism in best interest decisions, even though paternalism seems to be ubiquitously negatively perceived in medical ethics. Firstly, I (...) explain what I mean by medico-legal paternalism and defend my claim that this phenomenon is present in the UK. I then argue that at least philosophically (rather than legally) such a situation is impossible to justify in a secular state and that how we treat paediatric best interest decisions is very different from other areas of medical law. Lastly, I discuss proposals that aim to rectify this situation. (shrink)

Engineering an artificial intelligence to play an advisory role in morally charged decision making will inevitably introduce meta-ethical positions into the design. Some of these positions, by informing the design and operation of the AI, will introduce risks. This paper offers an analysis of these potential risks along the realism/anti-realism dimension in metaethics and reveals that realism poses greater risks, but, on the other hand, anti-realism undermines the motivation for engineering a moral AI in the first place.

In the paper I discuss Geach’s rejection of volitions (inner acts of the will) both in the exegesis of Aquinas and in systematic action theory – a rejection followed by some analytical commentators of Aquinas (like Davies and Kenny). I claim that Geach’s interpretation of Aquinas’s action theory in terms of tendencies (treating the will as a special kind of tendency) enables – pace Geach – a sound defense of volitionism both in the exegesis of Aquinas and in the action (...) theory. In other words, I offer arguments in favour of volitions (inner acts of the will) starting from some insights to be found in Geach, and I response to some standard objections against volitionism. Moreover, I try to sketch a framework (based on an ontology of tendencies suggested by Geach) suitable to discuss some other volitionist claims. I proceed in four steps: first I introduce the definition of a volition or inner act of the will that may be ascribed to various camps in the volitionism debate; then I discuss three main arguments of Geach against volitionism – the argument from trying, the argument from voluntary omissions, and the argument from natural theology. I pay special attention to the issue of the timing of volitions. (shrink)

W artykule dyskutuję z interpretacją tomistycznej teorii uniwersaliów w książce Pawła Rojka Tropy i uniwersalia. Badania ontologiczne w kontekście problematyki „ukrytego nominalizmu”. Stawiam sobie w nim trzy cele. (i) Proponuję uściślenie definicji powszechnika, pozwalające bronić zasadniczych tez Pawła Rojka dotyczących ukrytego nominalizmu; (ii) pokazuję, że zaproponowana przez Pawła Rojka interpretacja Akwinaty sama popada w ukryty nominalizm; (iii) proponuję, w oparciu o teorię triplex status naturae Awicenny, inne odczytanie tomistycznej teorii uniwersaliów, które wydaje mi się unikać pułapki ukrytego nominalizmu.

The following paper discusses John of St. Thomas’ study of the way in which a habit (moral or epistemic virtue or vice) is a cause of an action it prompts. I begin with contrasting the question of causality of habits with the general question of the causal relevance of dispositions (2). I argue that habits constitute a very peculiar kind of dispositions marked by the connection with the properties of being difficult and being easy, and there are some special reasons (...) to admit the irreducibility of dispositions of this kind. I argue also that there is a special sort of causal connection between a habit and an action it actually prompts. Then I present an analysis of four theses of John of St. Thomas on the causality of habits, which, I think, constitute the most mature and reliable study of the causality of habits in the scholastic tradition: (i) Habits are efficient causes of actions they prompt (3.1). (ii) Virtues do determine the very natures of actions they prompt (3.2); (iii) Virtues do not have a proper counterpart among the characteristics of actions they prompt (3.3); (iv) The formal object of causality of virtue is a masterpiece performance of an action (3.4). In my analyses of John’s arguments for these theses I make three claims: not all powers are “in state of readiness for action”; habits are powers of powers or dispositions of powers; the general concept of a strategy is the key to grasp the properties of being difficult and being easy, and habits should be analysed as a kind of strategies. (shrink)

This text is a kind of sketch and presents some simple ideas. The aim of this article is to carry out a critical and reflexive analysis of Roman Ingarden's philosophy of responsibility. Being a member of the phenomenological current, Ingarden mainly studied the ontological bases or conditions of responsibility by identifying different situations of responsibility. In this paper situations of responsibility have been analysed in the semantic contexts in which the word "responsibility" appears. Legally, the prescriptive contexts of using the (...) word "responsibility" are particularly important since they are usually either ignored or inadequately separated from descriptive contexts. Roman Ingarden's views were supplemented by Alf Ross's aspects of responsibility. As a result, the elementary ways of understanding responsibility have been reconstructed; they are the basis for reflections on moral responsibility as well as legal responsibility. (shrink)

In recent decades, societal perceptions about sexuality have undergone immense changes, which in turn led to substantial reform of states’ criminal regulation of sexual misconduct. Traditional Angl...

Niniejszy zbiór tekstów poświęconych zagadnieniu poznania rozproszonego składa się z siedmiu artykułów napisanych przez naukowców z różnych środowisk akademickich w Polsce i różnych dyscyplin. Jego celem jest wywołanie interdyscyplinarnej dyskusji na temat kontrowersji związanych z filozoficznie rozwiniętą koncepcją poznania rozproszonego Witolda Wachowskiego, pojęciem afordancji oraz tzw. heurystyką ekologiczną. Książka Wachowskiego, Poznanie rozproszone. Od heurystyk do mechanizmów (2022), stanowi naturalny punkt wyjścia ze względu na wysiłek teoretyczny podjęty przez jej autora.

In his ‘When conscientious objection runs amok: A physician refusing human immunodeficiency virus preventative to a bisexual patient’, Brummett has argued that Catholic physicians should not be able to raise conscientious objections to HIV pre-exposure prophylaxis for bisexual patients, as this constitutes discrimination. Brummett argues that such a conscientious objection represents an instance of conscience creep, which he argues is undesirable. Here I re-analyse the case presented by Brummett using a teleological framework and making reference to Catholic teaching on cooperation (...) with evil. While I agree with Brummett that in this case the physician should not have had the right to conscientiously object, I argue that the teleological framework offers advantages over the argument Brummett has presented. I also comment on why only considering empirically measurable harm as a publicly defensible reason for one to hold a conscientious objection is problematic, as well as on the difficulties associated with cases of discrimination in a pluralistic society. (shrink)

Dear Editor, -/- One of the recent changes in the UK cabinet, after Liz Truss became the Prime Minister, was that Dr Therese Coffey become the new Health Secretary. Some news outlets were quick to point out her anti-abortion stance (see e.g. (1–3)) and that this, according to them, might be a problem. While pro-lifers might not completely rejoice over this situation as Coffey stated that ‘she wouldn’t “seek to undo” abortion laws’(3), I do not wish to focus here on (...) speculating on the future status of UK abortion legislation. Rather, I wish to focus on some statements quoted by the media as made by Clare Murphy, chief executive of the British Pregnancy Advisory Service (BPAS), who stated that: (2,4) -/- ‘Earlier this year, our new Health Secretary voted to revoke access to at-home abortion care, and recriminalise women who end their own pregnancies without the approval of two doctors.’ ‘In doing so, Therese Coffey voted against the advice of leading medical bodies.’ ‘To have a health secretary who would place their personal beliefs above expert clinical guidance is deeply concerning.’ -/- Coffey is a Catholic, and this brings back to mind some of the aspects of the debate surrounding conflicts of interest in bioethics. There have been, for example, discussions and proposals that having a religious belief should be declared as a conflict of interest.(5,6) But something seems to be missing in these portrayals of conflict of interest and the disagreement between Coffey and these ‘leading medical bodies’. If we regard financial conflicts of interests as the classical case of such conflicts that is used as a reference to other types of conflicts of interest,(5,6) then why do we not see the media complaining that ‘leading medical bodies’ support procedures that will give them more work oppor-tunities and improve their financial stability? To paraphrase Murphy who (according to the BBC 'said while politicians were entitled to their own views on abortion, what mattered was whether their "personal convictions stand in the way of women's ability to act on their own”. (4) perhaps ‘BPAS and the leading medical bodies are entitled to considerations of their financial interests, but what matters is whether the advice they give is clinically sound and founded in the principles of ethical clinical practice. In Matthew 6:24 Our Lord said that one cannot serve two masters, so perhaps we should not be so concerned with Coffey consulting her conscience, but rather scrutinise clinical institutions. (shrink)

In his recent paper Hatherley discusses four reasons given to support mandatory disclosure of the use of machine learning technologies in healthcare, and provides counters to each of these reasons. While I agree with Hatherley’s conclusion that such disclosures should not be mandatory (at least not in an upfront fashion), I raise some problems with his counters to the materiality argument. Finally, I raise another potential problem that exists in a democratic society: that even if Hatherley’s (and other authors who (...) share his conclusions) arguments are sound, in a democratic society the simple fact that most people might wish for such disclosures to be made might be an enough compelling reason to make such disclosures mandatory. (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)

This collection of photographs uncovers the mystery and beauty of a part of the country that for most people is hidden in plain view, Places of Grace reveals both the physical splendor and the natural history of a ten-state region encompassing Illinois, Nebraska, Wisconsin, Minnesota, Iowa, Missouri, Kansas, Ohio, Indiana, and Michigan. Open Places of Grace and be guided through forest, wetland, and prairie into the heart of the undiscovered Midwest. From the prairie grasses of western Nebraska to the boreal (...) forests of Michigan's Upper Peninsula, this volume delights the eye and fires the imagination with unexpected images of lands that yet retain the marks of their primeval origins. (shrink)

We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, both taking a finite set as argument. We present a basic Hilbert-style axiomatisation, and study its completeness. The main results are syntactic and semantic characterisations of complete extensions of the logic.