Listening to someone from some distance in a crowded room you may experience the following phenomenon: when looking at them speak, you may both hear and see where the source of the sounds is; but when your eyes are turned elsewhere, you may no longer be able to detect exactly where the voice must be coming from. With your eyes again fixed on the speaker, and the movement of her lips a clear sense of the source of the sound will (...) return. This ‘ventriloquist’ effect reflects the ways in which visual cognition can dominate auditory perception. And this phenomenological observation is one what you can verify or disconfirm in your own case just by the slightest reflection on what it is like for you to listen to someone with or without visual contact with them. (shrink)

Under the assumption that all "rules" are recursive (ECT) the statement $\operatorname{Cont}(N^N,N)$ that all functions from N N to N are continuous becomes equivalent to a statement KLS in the language of arithmetic about "effective operations". Our main result is that KLS is underivable in intuitionistic Zermelo-Fraenkel set theory + ECT. Similar results apply for functions from R to R and from 2 N to N. Such results were known for weaker theories, e.g. HA and HAS. We extend not only (...) the theorem but the method, fp-realizability, to intuitionistic ZF. (shrink)

Polyhedral functions provide a model for an important class of problems that includes both linear programming and applications in data analysis. General methods for minimizing such functions using the polyhedral geometry explicitly are developed. Such methods approach a minimum by moving from extreme point to extreme point along descending edges and are described generically as simplicial. The best-known member of this class is the simplex method of linear programming, but simplicial methods have found important applications in discrete approximation and statistics. (...) The general approach considered in this text, first published in 2001, has permitted the development of finite algorithms for the rank regression problem. The key ideas are those of developing a general format for specifying the polyhedral function and the application of this to derive multiplier conditions to characterize optimality. Also considered is the application of the general approach to the development of active set algorithms for polyhedral function constrained problems and associated Lagrangian forms. (shrink)

In Faculty Misconduct in Collegiate Teaching, higher education researchers John Braxton and Alan Bayer address issues of impropriety and misconduct in the teaching role at the postsecondary level. Braxton and Bayer define and examine norms of teaching behavior: what they are, how they come to exist, and how transgressions are detected and addressed. Do faculty members across various collegiate settings, for example, share views about appropriate and inappropriate teaching behaviors, as they share expectations regarding actions related to research? And what (...) mechanisms are utilized to correct inappropriate behavior on the part of college and university teachers? The authors' work is based on survey results obtained from faculty members at research universities, liberal arts colleges, and two-year community, junior, and technical colleges. Braxton and Bayer's focus is on undergraduate teaching in four disciplines: biology, history, mathematics, and psychology. In their analyses, the authors examine how individual, disciplinary, and institutional differences influence professorial behavior. In contrast to the more explicitly understood and enforced rules of conduct in research, the authors find that teaching norms are informally defined and observed. They argue that a formal code of ethics for undergraduate teaching would serve the dual purpose of improving undergraduate education and elevating the status of college teaching. A groundbreaking study of contemporary academe, Faculty Misconduct in Collegiate Teaching is required reading for all university and college instructors and administrators. (shrink)

Many real-world agents recognise that they impose harms by choosing to emit carbon, e.g., by flying. Yet many do so anyway, and then attempt to make things right by offsetting those harms. Such offsetters typically believe that, by offsetting, they change the deontic status of their behaviour, making an otherwise impermissible action permissible. Do they succeed in practice? Some philosophers have argued that they do, since their offsets appear to reverse the adverse effects of their emissions. But we show that (...) they do not. In practice, standard carbon offsetting does not reverse the harms of the original action, nor does it even benefit the same group as was harmed. Standard moral theories hence deny that such offsetting succeeds. Indeed, we show that any moral theory that allows offsetting in this setting faces a dilemma between allowing any wrong to be offset, no matter how grievous, and recognising an implausibly sharp discontinuity between offsettable actions and non-offsettable actions. The most plausible response is to accept that carbon offsetting fails to right our climate wrongs. (shrink)

This paper examines the deontic logic of the Talmud. We shall find, by looking at examples, that at first approximation we need deontic logic with several connectives: O T A Talmudic obligation F T A Talmudic prohibition F D A Standard deontic prohibition O D A Standard deontic obligation. In classical logic one would have expected that deontic obligation O D is definable by $O_DA \equiv F_D\neg A$ and that O T and F T are connected by $O_TA \equiv F_T\neg (...) A$ This is not the case in the Talmud for the T (Talmudic) operators, though it does hold for the D operators. We must change our underlying logic. We have to regard {O T , F T } and {O D , F D } as two sets of operators, where O T and F T are independent of one another and where we have some connections between the two sets. We shall list the types of obligation patterns appearing in the Talmud and develop an intuitionistic deontic logic to accommodate them. We shall compare Talmudic deontic logic with modern deontic logic. (shrink)

Looking at the recent spate of claims about “fake news” which appear to be a new feature of political discourse, I argue that fake news presents an interesting problem in epistemology. Te phenomena of fake news trades upon tolerating a certain indiference towards truth, which is sometimes expressed insincerely by political actors. Tis indiference and insincerity, I argue, has been allowed to fourish due to the way in which we have set the terms of the “public” epistemology that maintains what (...) is considered “rational” public discourse. I argue one potential salve to the problem of fake news is to challenge this public epistemology by injecting a certain ethical consideration back into the discourse. (shrink)

Malaria is a disease of developing countries whose local health services do not have the time, resources or personnel to mount studies of drugs or vaccines without the collaboration and technology of western investigators. This investigative collaboration requires a unique bridging of cultural differences with respect to human investigation. The following debate, sponsored by The Institute of Medicine and The American Society of Tropical Medicine and Hygiene, raises questions concerning the conduct of trans-cultural clinical malaria research. Specific questions are raised (...) about the difficulties of informed consent in different cultural settings and whether there is any role for community involvement. Discussants debate whether drug and vaccine trials not approved in an industrialised country are ever defensible if performed in a third-world setting. Potential conflicting priorities between investigators are discussed and ideas regarding conflict resolution are offered. (shrink)

The rationalization of a choice function, in terms of assumptions that involve expansion or contraction properties of the feasible set, over non-finite sets is analyzed. Schwartz's results, stated in the finite case, are extended to this more general framework. Moreover, a characterization result when continuity conditions are imposed on the choice function, as well as on the binary relation that rationalizes it, is presented.

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as (...) the most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

Consider the set of tautologies of the classical propositional calculus containing no connective other than and, or, and not. Consider the subset of this set containing tautologies in exactlyn propositional variables. This paper provides a method for determining the number of equivalence classes of each such subset modulo equivalence in the infinite-valued Lukasiewicz propositional calculus.

Brouwer's positions about existence (reality) and truth are examined in the light of ninety years of scientific progress. Relevant results in proof theory, recursion theory, set theory, relativity, and quantum mechanics are used to cast light on the following philosophical questions: What is real, and how do we know it? What does it mean to say a thing exists? Can things exist that we can't know about? Can things exist that we don't know how to find? What does it mean (...) to say something is true? How can we know whether something is true? Can things be true that we can't ever know to be true? (shrink)

Wines with geographical indication can be classified and represented by such features as designations of origin, producers, vintage years, alcoholic strength, and grape varieties; these features allow us to define wines in terms of a set of necessary and/or sufficient conditions. However, wines can also be identified by other characteristics, involving their look, smell, and taste; in this case, it is hard to define wines in terms of necessary and/or sufficient conditions, as wine concepts exhibit typicality effects. This is a (...) setback for the design of computer science ontologies aiming to represent wine concepts, since knowledge representation formalisms commonly adopted in this field do not allow for the representation of concepts in terms of typical traits. To solve this problem, we propose to adopt a hybrid approach in which ontology-oriented formalisms are combined with a geometric representation of knowledge based on conceptual spaces. As in conceptual spaces, concepts are identified in terms of a number of quality dimensions. In order to determine those relevant for wine representation, we use the terminology developed by the Italian Association of Sommeliers to describe wines. This will allow us to understand typicality effects about wines, determine prototypes and better exemplars, and measure the degree of similarity between different wines. (shrink)

A study was conducted in order to examine the relationship between corporate codes of ethics and behaviour. Fifty-seven interviews of employees, managers, and ethics officers were conducted at four large Canadian companies. The study found that codes of ethics are a potential factor influencing the behaviour of corporate agents. Reasons are provided why codes are violated as well as complied with. A set of eight metaphors are developed which help to explain how codes of ethics influence behaviour.

The early decades of the last century saw European philosophical thought becoming increasingly interested in the sociological extension of the idea of law. From the viewpoint of the sociology of law, law is formed in the process of social interactions and is not sanctioned by the state. Sergey Hessen and Georges Gurvitch base their conceptions of social law on the sociology of law in the 1920s and 1930s. They start a polemic in the pages of the journal Sovremenniye zapiski. Although (...) they differ radically in their definitions of the status of the state they concur in defining society as a set of social institutions and communities existing as instruments for expressing personal freedom. The social regulations they propose are already legal situations. Hessen and Gurvitch believe that the individual can fully exercise his/her freedom only in conditions of such legal pluralism. However, the concept of legal pluralism involves an inherent problem of preserving social unity: why is it that society does not fall into a range of autonomous social entities, each offering the individual its own legal order for actualising freedom? To solve this problem the philosophers use the concept of “the general will”. General will is an instrument of correlation between individual freedom and the development of society and culture as a whole. The object of philosophical dispute is how the general will is formed: 1) in the process of social self-organisation according to Gurvitch; 2) in the operation of the suprafunctional organisation according to Hessen. The difference in the grounding of the general will leads to a difference in the concepts of social unity: 1) sobornost according to Gurvitch and 2) solidarity according to Hessen. Analysis of the dispute between Gurvitch and Hessen brings out not only the differences in the interpretation of social unity but also the fundamental problems with the conceptions of social law. (shrink)

In this paper I attempt to address what appears to be a novel theoretical and practical problem concerning physician-assisted suicide (PAS). This problem arises out of a newly created set of circumstances in which persons are hospitalized in jurisdictions where PAS, though now legally available to patients, remains morally contentious. When moral disagreements over PAS come to divide physicians, patients, and family members, it is quite likely they will today find their way to the hospital’s consulting ethicist, a member of (...) an emerging group of professionals charged with the responsibility (so we are told) of resolving moral conflict in the clinic. What can or should an ethics consultant do to fulfill this mandate in such circumstances? I argue that the now predominant conception of clinical ethics consultation is importantly deficient in that it provides no final guidance to ethicists on how they should respond in such cases. The ethicist may only recommend—or assist others to reach—solutions to moral disagreements falling within the limits of established norms. Since the normative landscape of PAS appears to be changing, whether it falls within these limits is unsettled. I conclude that the accepted goals of ethics consultation require a revised and expanded conception of the ethicist's role in cases involving PAS. I close by outlining what that revised understanding would look like and the further questions it raises. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set of (...) formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

Discusses the metaphysics of the iterative conception of set.

In his last book, David Armstrong sets out his metaphysical system in a set of concise and lively chapters each dealing with one aspect of the world. He begins with the assumption that all that exists is the physical world of space-time. On this foundation he constructs a coherent metaphysical scheme that gives plausible answers to many of the great problems of metaphysics. He gives accounts of properties, relations, and particulars; laws of nature; modality; abstract objects such as numbers; (...) and time and mind. (shrink)

This article looks at some of the salient analyses of moderation in the ancient Greek and the Islamic traditions and uses them to develop a contemporary view of the matter. Greek ethics played a huge role in shaping the ethical views of the Muslim philosophers and theologians, and thus the article starts with an overview of the revival of contemporary western virtue ethics--in many ways an extension of Platonic-Aristotelian ethics--and then looks at the place of moderation or temperance in Platonic-Aristotelian (...) ethics. This sets the stage for an exposition of the position taken by Ibn Miskawayh and al-Ghazali, which is then used as a backdrop for suggesting a revival of the Quran's virtue ethics. After outlining a basis for its virtue ethics, the Quranic view of wasatiyya or moderation is discussed briefly. (shrink)

Reference is a central topic in philosophy of language, and has been the main focus of discussion about how language relates to the world. R. M. Sainsbury sets out a new approach to the concept, which promises to bring to an end some long-standing debates in semantic theory.There is a single category of referring expressions, all of which deserve essentially the same kind of semantic treatment. Included in this category are both singular and plural referring expressions, complex and non-complex (...) referring expressions, and empty and non-empty referring expressions. Referring expressions are to be described semantically by a reference condition, rather than by being associated with a referent. In arguing for these theses, Sainsbury's book promises to end the fruitless oscillation between Millian and descriptivist views. Millian views insist that every name has a referent, and find it hard to give a good account of names which appear not to have referents, or at least are not known to do so, like ones introduced through error, ones where it is disputed whether they have a bearer and ones used in fiction. Descriptivist theories require that each name be associated with some body of information. These theories fly in the face of the fact names are useful precisely because there is often no overlap of information among speakers and hearers. The alternative position for which the book argues is firmly non-descriptivist, though it also does not require a referent. A much broader view can be taken of which expressions are referring expressions: not just names and pronouns used demonstratively, but also some complex expressions and some anaphoric uses of pronouns.Sainsbury's approach brings reference into line with truth: no one would think that a semantic theory should associate a sentence with a truth value, but it is commonly held that a semantic theory should associate a sentence with a truth condition, a condition which an arbitrary state of the world would have to satisfy in order to make the sentence true. The right analogy is that a semantic theory should associate a referring expression with a reference condition, a condition which an arbitrary object would have to satisfy in order to be the expression's referent.Lucid and accessible, and written with a minimum of technicality, Sainsbury's book also includes a useful historical survey. It will be of interest to those working in logic, mind, and metaphysics as well as essential reading for philosophers of language. (shrink)

The issue of the recognition scene in Euripides' Electra, if not as ‘eternal’ as the controversy over the relative dating of the Sophoclean and Euripidean plays of that name, is certainly recurrent. After Eduard Fraenkel's resurrection of the problem at the end of his great commentary on Aeschylus' Agamemnon, the contributions of Hugh Lloyd-Jones and the late Godfrey Bond seemed to have settled the case in favour of authenticity. But soon after, David Bain and then M. L. West, G. Basta (...) Donzelli and finally David Kovacs, all writing in the same journal, raised some new and awkward questions, which, at the very least, require more in the way of answers than they have yet received. The last word, as the saying goes, has not yet been spoken. In this article I try to provide the last word—no, that would be too much to expect, but further reflections on the issue—yes. In particular, I try to set the matter in a wider context, seeking analogies for what, if w. 518–44 are Euripidean, the playwright may have been aiming at in this particular scene. Such analogies should be important, for scholars have generally by contrast stressed the uniqueness of the recognition scene: ‘in the extant remains of Greek tragedy we have indeed nothing’, says Bond, ‘comparable to the Electra parody’. (shrink)

In the past decades, an enormous amount of precious information has been collected about molecular and genetic characteristics of cancer. This knowledge is mainly based on a reductionistic approach, meanwhile cancer is widely recognized to be a ‘system biology disease’. The behavior of complex physiological processes cannot be understood simply by knowing how the parts work in isolation. There is not solely a matter how to integrate all available knowledge in such a way that we can still deal with complexity, (...) but we must be aware that a deeply transformation of the currently accepted oncologic paradigm is urgently needed. We have to think in terms of biological networks: understanding of complex functions may in fact be impossible without taking into consideration influences outside of the genome. Systems Biology involves connecting experimental unsupervised multivariate data to mathematical and computational approach than can simulate biologic systems for hypothesis testing or that can account for what it is not known from high-throughput data sets. Metabolomics could establish the requested link between genotype and phenotype, providing informations that ensure an integrated understanding of pathogenic mechanisms and metabolic phenotypes and provide a screening tool for new targeted drug. (shrink)

In this paper we propose an informal exposition of the structure approach in the philosophy of science. Scientific knowledge is here considered as a collection of scientific theories. Each scientific theory has logico-linguistic, model-representing, pragmatic-procedural, and problem-heuristical subsystems and a subsystem of ties. The pivotal methodological concept for the exact description of these subsystems is the named set. We also outline the possibility of applying the structure-nominative approach to certain problems in the philosophy of science.

In 1958 Arnould Bayart, 1911-1998, produced a semantics for first and second-order S5 modal logic, and in 1959 a completeness proof for first-order S5, and what he calls a 'quasi-completeness' proof for second-order S5. The 1959 paper is the first completeness proof for modal predicate logic based on the Henkin construction of maximal consistent sets, and indeed may be the easier application of the Henkin method even to propositional modal logic. The semantics is in terms of possible worlds, which, (...) Bayart notes, can be anything at all. The present paper provides an English translation of both these papers together with an historical introduction and a logical commentary. (shrink)

We give a corrected proof of an extension of the Robinson Splitting Theorem for the d. c. e. degrees.

In retrospect, I think I was right to compose Natural Supernaturalism by relying on taste, tact, and intuition rather than on a controlling method. A book of this kind, which deals with the history of human intellection, feeling, and imagination, employs special vocabularies, procedures, and modes of demonstration which, over many centuries of development, have shown their profitability when applied to matters of this sort. I agree with Booth that these procedures, when valid, are in a broad sense rational, and (...) subject to analysis and some degree of definition. But the rules underlying such a discourse are complex, elusive, unsystematic, and subject to innovative modification; they manifest themselves in the intuitive expertise of the historian; and the specification of these rules should not precede, but follow practice. . . . After the fact, nevertheless, a book like Natural Supernaturalism is subject to close critical inquiry about its methods and rationale. I am grateful to Booth for opening up such an inquiry, and for doing so in a way that is not only disarming, but seems to me to be the most promising of useful results. That is, instead of adopting a prosecutorial stance, demanding: "Justify the rationality and probative force of what you have done; it looks dammed suspicious to me," he has adopted the friendly tactic of saying: "Your book, in my experience of it, has yielded discoveries that I want to call knowledge, by methods, however deviant from standard rubrics of valid reasoning, that it seems irrational to call non-rational. Let's set out to clarify what these methods are, and to see what grounds we can find for the claim that they provide warranted knowledge." M.H. Abrams' contributions to Critical Inquiry are "The Deconstructive Angel" and "Behaviorism and Deconstruction: A Comment on Morse Peckham's 'The Infinitude of Pluralism'". (shrink)

A frequent objection to the fine-tuning argument has been that although certain necessary conditions for life were admittedly exceedingly improbable, still, the many possible alternative sets of conditions were all equally improbable, so that no special significance is to be attached to the realization of the conditions of life. Some authors, however, have rejected this objection as fallacious. The object of this paper is to state the objection to the fine-tuning argument in a more telling form than has been (...) done hitherto, and to meet the charge of fallacy. (shrink)

Versions and extensions of intuitionistic and modal logic involving biHeyting and bimodal operators, the axiom of constant domains and Barcan's formula, are formulated as structured categories. Representation theorems for the resulting concepts are proved. Essentially stronger versions, requiring new methods of proof, of known completeness theorems are consequences. A new type of completeness result, with a topos theoretic character, is given for theories satisfying a condition considered by Lawvere . The completeness theorems are used to conclude results asserting that certain (...) logics are conservatively interpretable in others. (shrink)

Packing optimization problems have a wide spectrum of real-word applications. One of the applications of the problems is problem of placement of containers with spent nuclear fuel on the storage platform. The solution of the problem can be reduced to the solution of the problem of finding the optimal placement of a given set of congruent circles into a multiconnected domain taking into account technological restrictions. A mathematical model of the prob-lem is constructed and its peculiarities are considered. Our approach (...) is based on the mathematical modelling of rela-tions between geometric objects by means of phi-function technique. That allowed us to reduce the problem solving to nonlinear programming. Today, an important scientific problem is the problem of creating conditions for safe storage of spent nuclear fuel. In the process of creating any dry spent nuclear fuel storage, the following main stages can be identified: site selection, storage design, construction, operation and decommissioning. A full check for compliance of the repository and its elements with these standards usually begins at the design stage. At the stage of site selection, the inspection for compliance with safety standards is carried out only in terms of the impact of the repository as a whole on the environment. This approach cannot be considered fully appropriate, because, taking into account, for example, all the climatic features of the future storage site, it is possible to adjust the thermal storage regimes of spent nuclear fuel. Similarly, it can be considered necessary to analyze and select the shape of the storage site in order to accommo-date the maximum possible number of spent fuel containers. Such a choice, obviously, should be made taking into ac-count the norms of nuclear, radiation and thermal safety, as well as in compliance with technological limitations. The problem of finding the optimal placement of containers taking into account the given technological limitations can be formulated in the form of the problem of optimization of geometric design. Therefore, the purpose of the study is to build a mathematical model of the problem and study its characteristics to develop effective methods of solution. The proposed approach is based on mathematical modeling of relations between geometric objects using the method of phi-functions. This allowed to reduce the solution of the problem to the problem of nonlinear programming. (shrink)

This work is devoted to the testing, research and comparative analysis of the most well-known and widely used methods and algorithms for clustering numerical data sets. Multidimensional scaling was applied to evaluate the results of solving the clustering problem by visualizing datasets at all stages of the implementation of the studied algorithms. All algorithms were tested for artificial and real data sets. As a result, for each of the investigated algorithms, the main characteristics were formulated in the form (...) of their relative strengths and weaknesses. Based on the test results, conclusions and recommendations for using these algorithms are formulated. (shrink)

In the Dialogues Hume attaches great importance to an objection to the design argument which states, negatively, that from phenomena which embody evil as well as good there can be no analogical inference to the morally perfect deity of traditional theism and, positively, that the proper conclusion as regards moral character is an indifferent designer. The first section of this paper sets out Hume's points, and the next three offer an updating of Hume's objection which will apply to Swinburne's (...) Bayesian form of the design argument. The final section concludes that Hume's objection, suitably developed, holds against most of the main theistic arguments, even in their Bayesian form. (shrink)

The book offers a proposal on how to define truth in all its complexity, without reductionism, showing at the same time which questions a theory of truth has to answer and which questions, although related to truth, do not belong within the scope of such a theory. Just like any other theory, a theory of truth has its structure and limits. The semantic core of the position is that truth-ascriptions are pro-forms, i.e. natural language propositional variables. The book also offers (...) an explanation of the syntactic behaviour of truth-terms, and the pragmatic roles of truth-acts. The theory of truth we present is a technical proposal, relatively uncontaminated by radical philosophical discussion. It makes indeed philosophical points, but it is intended to be a conceptual analysis, as neutral as possible, of the aspects that may serve as a point of departure for more philosophically-laden destinations. Like the Fregean account of quantifiers, which is prior to and, to a large extent, independent of the metaphysical debate about existence and its forms, or the Kaplanian view on demonstratives, that is neutral regarding the debate about individuals and the possibilities we have to actually “reach” them in a referring act, we intend our proposal about truth to be a sophisticated and explicative setting that helps to situate other debates about truth accurately, far from the distorted and sometimes strongly ideological discussions that have turned the topic into a paradigm of philosophical impasse. (shrink)

Nursing, a scientific and practical discipline, faces continuing challenges of finding new direction in order to decipher its core values and develop current ethical codes for nursing practice. In 2009–10, 28 nurses were purposely selected and interviewed using a semi-structured format in focus groups and individually. Thematic Content Analysis helped explore the perception of Iranian nurses on ethical values in patient care. Seven major themes emerged: respect for dignity, professional integrity, professional commitment, developing human relationships, justice, honesty, and promoting individuals (...) and the nursing profession. Iranian nurses revealed a unique and culture-based set of ethical values. This study found that Iranian nurses place a greater emphasis on preserving the dignity of those accompanying the patient and in showing regard for patients' religious beliefs in a gender appropriate environment. (shrink)

There is clearly some area of thematic overlap between the subject matter of Edmund Husserl's genetic phenomenology and studies of cognitive development. I aim in this paper to clarify the extent of this overlap. This will, I hope, serve as an indicator about whether genetic phenomenology might be able to shed some light on actual cognitive-development phenomena. To begin with, I differentiate two strands within Husserl's genetic phenomenology, an idealized and a concrete approach. After providing a schematic outline of the (...) former I argue that its application to actual, empirical cases of cognitive development faces serious challenges. I then set out the concrete approach, in two stages. First, I explain the importance of bodily experience on the concrete approach and note some affinities it has with the work of Piaget and embodied approaches to cognitive development. Second, I introduce the notion of affect as the engine of the developmental process on the concrete approach, an idea that, moreover, helps clarify how the concrete approach overcomes the problems facing the idealized approach. Finally, I propose that Vygotsky's notion of the 'zone of proximal development' can serve as a bridge between Husserl's concrete approach and contemporary scaffolded and extended accounts of cognitive development. (shrink)

With the increasing prevalence of artificial intelligence (AI) and other digital technologies in healthcare, the ethical debate surrounding their adoption is becoming more prominent. Here I consider the issue of gaining informed patient consent to AI-enhanced care from the vantage point of the United Kingdom’s National Health Service setting. I build my discussion around two claims from the World Health Organization: that healthcare services should not be denied to individuals who refuse AI-enhanced care and that there is no precedence to (...) seeking patient consent to AI-enhanced care. I discus U.K. law relating to patient consent and the General Data Protection Regulation to show that current standards relating to patient consent are adequate for AI-enhanced care. I then suggest that in the future it may not be possible to guarantee patient access to non-AI-enhanced healthcare, in a similar way to how we do not offer patients manual alternatives to automated healthcare processes. Throughout my discussion I focus on the issues of patient choice and veracity in the patient–clinician relationship. Finally, I suggest that the best way to protect patients from potential harms associated with the introduction of AI to patient care is not via an overly burdensome patient consent process but via evaluation and regulation of AI technologies. (shrink)

An ω-model (a model in which all natural numbers are standard) of the predicative fragment of Quine's set theory "New Foundations" (NF) is constructed. Marcel Crabbe has shown that a theory NFI extending predicative NF is consistent, and the model constructed is actually a model of NFI as well. The construction follows the construction of ω-models of NFU (NF with urelements) by R. B. Jensen, and, like the construction of Jensen for NFU, it can be used to construct α-models for (...) any ordinal α. The construction proceeds via a model of a type theory of a peculiar kind; we first discuss such "tangled type theories" in general, exhibiting a "tangled type theory" (and also an extension of Zermelo set theory with Δ 0 comprehension) which is equiconsistent with NF (for which the consistency problem seems no easier than the corresponding problem for NF (still open)), and pointing out that "tangled type theory with urelements" has a quite natural interpretation, which seems to provide an explanation for the more natural behaviour of NFU relative to the other set theories of this kind, and can be seen anachronistically as underlying Jensen's consistency proof for NFU. (shrink)

Let κ be a regular cardinal, and let B be a subalgebra of an interval algebra of size κ. The existence of a chain or an antichain of size κ in B is due to M. Rubin (see [7]). We show that if the density of B is countable, then the same conclusion holds without this assumption on κ. Next we also show that this is the best possible result by showing that it is consistent with 2 ℵ 0 = (...) ℵ ω 1 that there is a boolean algebra B of size ℵ ω 1 such that length(B) = ℵ ω 1 is not attained and the incomparability of B is less than ℵ ω 1 . Notice that B is a subalgebra of an interval algebra. For more on chains and antichains in boolean algebras see, e.g. [1] and [2]. (shrink)

This paper analyses the concept of justice that John Stuart Mill exposes in one of his main works: The Utilitarianism. The article states that this notion of justice, paradoxically to Mill’s spirit, can set up the foundations for a totalitarian society, instead of the liberal order that he promotes in his other main work, On liberty.