We discuss Smirnovs problem of finding a common background for classifying implicational logics. We formulate and solve the problem of extending, in an appropriate way, an implicational fragment H of the intuitionistic propositional logic to an implicational fragment TV of the classical propositional logic. As a result we obtain logical constructions having the form of Boolean lattices whose elements are implicational logics. In this way, whole classes of new logics can be obtained. We also consider the transition from implicational logics (...) to full logics. On the base of the lattices constructed, we formulate the main classification principles for propositional logics. (shrink)

In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.

A survey is given of three-valued paraconsistent propositionallogics connected with Jaśkowski’s criterion for constructing paraconsistentlogics. Several problems are raised and four new matrix three-valued paraconsistent logics are suggested.

The paper discusses functional properties of some four-valued logics which are the expansions of four-valued Belnap’s logic DM4. At first, we consider the logics with two designated values, and then logics defined by matrices having the same underlying algebra, but with a different choice of designated values, i.e. with one designated value. In the preceding literature both approaches were developed independently. Moreover, we present the lattices of the functional expansions of DM4.

This paper is an abstract of the report which was presented on the Polish-Soviet meeting on logic . It is shown that one can consider a lineary-ordered Heyting’s and Brouwer’s algebras as truth-values for Lukasiewicz’s infinite-valued logic’s Lω.

In this paper we define n+1-valued matrix logic Kn+1 whose class of tautologies is non-empty iff n is a prime number. This result amounts to a new definition of a prime number. We prove that if n is prime, then the functional properties of Kn+1 are the same as those of ukasiewicz's n +1-valued matrix logic n+1. In an indirect way, the proof we provide reflects the complexity of the distribution of prime numbers in the natural series. Further, we introduce (...) a generalization K n+1 * of Kn+1 such that the set of tautologies of Kn+1 is not empty iff n is of the form p , where p is prime and is natural. Also in this case we prove the equivalence of functional properties of the introduced logic and those of n+1. In the concluding part, we discuss briefly a partition of the natural series into equivalence classes such that each class contains exactly one prime number. We conjecture that for each prime number the corresponding equivalence class is finite. (shrink)

The readiness potential (RP) is one of the most controversial topics in neuroscience and philosophy due to its perceived relevance to the role of conscious willing in action. Libet and colleagues reported that RP onset precedes both volitional movement and conscious awareness of willing that movement, suggesting that the experience of conscious will may not cause volitional movement (Libet, Gleason, Wright, & Pearl, 1983). Rather, they suggested that the RP indexes unconscious processes that may actually cause both volitional movement and (...) the accompanying conscious feeling of will (Libet et al., 1983; pg. 640). Here, we demonstrate that volitional movement can occur without an accompanying feeling of will. We additionally show that the neural processes indexed by RPs are insufficient to cause the experience of conscious willing. Specifically, RPs still occur when subjects make self-timed, endogenously-initiated movements due to a post-hypnotic suggestion, without a conscious feeling of having willed those movements. (shrink)

This paper explicates two notions of emergencewhich are based on two ways of distinguishinglevels of properties for dynamical systems.Once the levels are defined, the strategies ofcharacterizing the relation of higher level to lower levelproperties as diachronic and synchronic emergenceare the same. In each case, the higher level properties aresaid to be emergent if they are novel or irreducible with respect to the lower level properties. Novelty andirreducibility are given precise meanings in terms of the effectsthat the change of a bifurcation (...) or perturbation parameterin the system has. (The same strategy can be applied to otherways of separating levels of properties, like themicro/macro distinction.)The notions of emergence developed here are notions of emergencein a weak sense: the higher level emergent properties wecapture are always structural properties (or are realized insuch properties), that is, they are defined in terms of the lowerlevel properties and their relations. Diachronic and synchronicemergent properties are distinctions within thecategory of structural properties. (shrink)

One powerful argument for dualism is provided by Chalmers: the ‘zombie’ or conceivability argument. This paper aims to establish that if one adopts the ‘Powerful Qualities’ account of properties developed by Martin and Heil, this argument can be resisted at the first premise: the claim that zombies are conceivable is, by the lights of Chalmers’ own account of conceivability, false. The Powerful Qualities account is outlined. Chalmers’ argument, and several distinctions which underlie it, are explained. It is argued that to (...) make sense of the claim that zombies are conceivable, some account of properties must be given. The paper’s central claim is presented and defended from potential responses: given the Powerful Qualities view, zombies are in fact inconceivable. Finally, an error theory is presented, which offers an explanation of why so many have taken the conceivability of zombies to be unproblematic, and the view is briefly contrasted with Russellian monism. (shrink)

Creativity is typically defined as a disposition to produce valuable ideas. We argue that this is a mistake and defend a new definition of creativity in terms of the imagination. It follows that creativity has instrumental value at most and then only in the right circumstances. We consider the role of tradition and judgment in worthwhile creativity and argue that there is frequently a tension between greater creativity and the production of value.

Do the same epistemic standards govern scientific and religious belief? Or should science and religion operate in completely independent epistemic spheres? Commentators have recently been divided on William James’s answer to this question. One side depicts “The Will to Believe” as offering a separate-spheres defense of religious belief in the manner of Galileo. The other contends that “The Will to Believe” seeks to loosen the usual epistemic standards so that religious and scientific beliefs can both be justified by a unitary (...) set of evidentiary rules. I argue that James did build a unitary epistemology but not by loosening cognitive standards. In his psychological research, he had adopted the Comtian view that hypotheses and regulative assumptions play a crucial role in the context of discovery even though they must be provisionally adopted before they can be supported by evidence. “The Will to Believe” relies on this methodological point to achieve a therapeutic goal—to convince despairing Victorians that religious faith can be reconciled with a scientific epistemology. James argues that the prospective theist is in the same epistemic situation with respect to the “religious hypothesis” as the scientist working in the context of discovery. (shrink)

Non-reductive physicalists have made a number of attempts to provide the relation of supervenience between levels of properties with enough bite to analyze interesting cases without at the same time losing the relation's acceptability for the physicalist. I criticize some of these proposals and suggest an alternative supplementation of the supervenience relation by imposing a requirement of robustness which is motivated by the notion of structural stability familiar from dynamical systems theory. Robust supervenience, I argue, captures what the non-reductive physicalist (...) wants from supervenience; most importantly, it provides a natural background for reconstructing the notion of (diachronic) property emergence in a way acceptable to physicalists. (shrink)

As the USA contends with another surge in COVID-19 cases, hospitals may soon need to answer the unresolved question of who lives and dies when ventilator demand exceeds supply. Although most triage policies in the USA have seemingly converged on the use of clinical need and benefit as primary criteria for prioritisation, significant differences exist between institutions in how to assign priority to patients with identical medical prognoses: the so-called ‘tie-breaker’ situations. In particular, one’s status as a frontline healthcare worker (...) has been a proposed criterion for prioritisation in the event of a tie. This article outlines two major grounds for reconsidering HCW prioritisation. The first recognises trust as an indispensable element of clinical care and mistrust as a hindrance to any public health strategy against the virus, thus raising concerns about the outward appearance of favouritism. The second considers the ways in which proponents of HCW prioritisation deviate from the very ‘ethics frameworks’ that often preface triage policies and serve to guide resource allocation—a rhetorical strategy that may undermine the very ethical foundations on which triage policies stand. By appealing to trust and consistency, we re-examine existing arguments in favour of HCW prioritisation and provide a more tenable justification for adjudicating on tie-breaker events during crisis standards of care. (shrink)

To understand the future of informed consent, we should pay attention to two ethical-legal sources in addition to the revised Common Rule. Physicians acting as investigators and patients serving as research subjects bring to that relationship a long history regarding consent to treatment, and everyone dealing with research ethics needs to be aware of the Nuremberg Code and other human-rights documents. These three streams make separate and distinctly different contributions to informed consent doctrine.

Despite the ever-changing field of artificial intelligence (AI) and its preponderance of pre-print articles, Cohen offers a timely, nuanced, and self-aware overview of ChatGPT and the world of Larg...

Current debates between behavioural and orthodox economists indicate that the role and epistemological status of first principles is a particularly pressing problem in economics. As an alleged paragon of extreme apriorism, the methodology of Austrian economics in Mises’ tradition is often dismissed as untenable in the light of modern philosophy. In particular, the defence of the so-called fundamental axiom of praxeology—“Man acts.”—by means of pure intuition is almost unanimously rejected. However, in recently resurfacing debates, the extremeness of Mises’ epistemological position (...) has been called into question. Rather than directly engaging in these exegetical discussions, this paper aims to substantiate the possibility and plausibility of conventionalist defences of praxeology per se. The proposed shift includes settling for an analytic fundamental axiom and acknowledging the prima facie tenability of other research programs than praxeology. Since conventionalist praxeology is only moderately aprioristic, mainstream economists and philosophers might be more likely to engage in fruitful discussions with those Austrian scholars who elaborate pragmatic arguments for praxeology instead of invoking pure intuition. (shrink)

_Laruelle_ is one of the first books in English to undertake in an extended critical survey of the work of the idiosyncratic French thinker François Laruelle, the promulgator of non-standard philosophy. Laruelle, who was born in 1937, has recently gained widespread recognition, and Alexander R. Galloway suggests that readers may benefit from colliding Laruelle’s concept of the One with its binary counterpart, the Zero, to explore more fully the relationship between philosophy and the digital. In _Laruelle_, Galloway argues that (...) the digital is a philosophical concept and not simply a technical one, employing a detailed analysis of Laruelle to build this case while referencing other thinkers in the French and Continental traditions, including Alain Badiou, Gilles Deleuze, Martin Heidegger, and Immanuel Kant. In order to explain clearly Laruelle’s concepts such as the philosophical decision and the principle of sufficient philosophy, Galloway lays a broad foundation with his discussions of “the One” as it has developed in continental philosophy, the standard model of philosophy, and how philosophers view “the digital.” Digital machines dominate today’s world, while so-called digital thinking—that is, binary thinking such as presence and absence or self and world—is often synonymous with what it means to think at all. In examining Laruelle and digitality together, Galloway shows how Laruelle remains a profoundly non-digital thinker—perhaps the only non-digital thinker today—and engages in an extensive discussion on the interconnections between media, philosophy, and technology. (shrink)

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

The growing support for voluntary active euthanasia is evident in the recently approved Dutch Law on Termination of Life on Request. Indeed, the debate over legalized VAE has increased in European countries, the United States, and many other nations over the last several years. The proponents of VAE argue that when a patient judges that the burdens of living outweigh the benefits, euthanasia can be justified. If some adults suffer to such an extent that VAE is justified, then one may (...) conclude that some children suffer to this extent as well. In an attempt to alleviate the suffering of extremely ill neonates, the University Medical Center Groningen developed a protocol for neonatal euthanasia. In this article, I first present the ethical justifications for VAE and discuss how these arguments relate to euthanizing ill neonates. I then argue that, even if one accepts the justification for VAE in adults, neonatal euthanasia cannot be supported, primarily because physicians and parents can never accurately assess the suffering of children. I argue that without the testament of the patient herself as to the nature and magnitude of her suffering, physicians can never accurately weigh the benefits and burdens of a child’s life, and therefore any such system would condemn to death some children whose suffering is not unbearable. I conclude that because the primary duty of physicians is to never harm their patients, neonatal euthanasia cannot be supported. (shrink)

Writing a captivating book about a bureaucrat and his statistical modelling techniques is impossible? Erwin Dekker’s biography of Jan Tinbergen proves otherwise. As he has done before, Dekker tells the history of economic thought and methodology as part and parcel of general intellectual and cultural history. Nevertheless, he never downplays or neglects the analysis of inner-scientific problem situations. Drawing on rich archival material and conversations with Tinbergen’s family, students, and colleagues, Dekker vividly introduces us to an extraordinary personality and career. (...) Tinbergen of course was so much more than a Dutch bureaucrat and Nobel Prize winning econometrician. He became a key figure in transforming the discipline of economics. Perhaps even more sweeping – and reaching far beyond academia – is Tinbergen’s re-invention of the role played by economists in the modern nation state and in the international community. Ultimately, he spearheaded a shift in the public notion of how malleable “the economy” is by conscious policy efforts – or so Dekker convincingly exhibits and critically discusses. Anybody reflecting on the proper role of scientific experts in democratic societies, may want to pick up Dekker’s entertaining and thought-provoking study. (shrink)

Locke's definition of miracles in “A Discourse of Miracles” is widely cited by scholars as evidence of his subjectivism on the matter. According to this interpretation, Locke held it to be sufficient that an event seems to be a violation of the laws of nature for it to count as a miracle. Nothing supernatural need actually occur. The principal aim of this article is to argue that Locke can and ought to be read as an objectivist about miracles. A subjectivist (...) reading falls short in two crucial respects: It undermines the function of miracles as evidence for divine revelation, so central to his account, and is at odds with his consistent and explicitly objective use of the term, as an event that necessarily involves a violation of the laws of nature. Indeed, it is from their objective nature that Locke thinks miracles derive their evidential force. A key part of my argument lies in distinguishing between ontological and epistemological issues concerning miracles and demonstrating how this distinction is present throughout his work on the matter. Ultimately, I conclude that what is often interpreted as Locke's subjectivism about miracles is his privileging of these epistemic issues. (shrink)

§1. I will start with a quick definition of descriptive set theory: It is the study of the structure of definable sets and functions in separable completely metrizable spaces. Such spaces are usually called Polish spaces. Typical examples are ℝn, ℂn, Hilbert space and more generally all separable Banach spaces, the Cantor space 2ℕ, the Baire space ℕℕ, the infinite symmetric group S∞, the unitary group, the group of measure preserving transformations of the unit interval, etc.In this theory sets are (...) classified in hierarchies according to the complexity of their definitions and the structure of sets in each level of these hierarchies is systematically analyzed. In the beginning we have the Borel sets in Polish spaces, obtained by starting with the open sets and closing under the operations of complementation and countable unions, and the corresponding Borel hierarchy. After this come the projective sets, obtained by starting with the Borel sets and closing under the operations of complementation and projection, and the corresponding projective hierarchy.There are also transfinite extensions of the projective hierarchy and even much more complex definable sets studied in descriptive set theory, but I will restrict myself here to Borel and projective sets, in fact just those at the first level of the projective hierarchy, i.e., the Borel (), analytic () and coanalytic () sets. (shrink)

One recently popular way to characterise strong emergence is to say that emergent entities possess novel causal powers. However, there is little agreement concerning the nature of powers. One controversy involves whether powers are single- or multi-track; that is, whether each power has only one manifestation type, or whether a single power can be directed towards a number of distinct manifestations. Another concerns how powers operate: whether a lone power manifests when triggered by the presence of a suitable stimulus, or (...) whether powers operate mutually such that several powers must ‘work together’ to bring about a particular manifestation. This paper examines how these distinctions—which can be cross-combined to frame four distinct accounts of the nature of powers—bear on the debate between emergentists and reductionists. (shrink)

The article shows that Kuhn's concept of incommensurability emphasizes mainly the objective dimension of communication. To the thesis about the incommensurability of the meanings of scientific concepts in competing paradigms, we oppose the idea of a three-dimensional space of communicative dimensions. We supplement the objective dimension of communication, within which the environmental evolutionary selection of the best knowledge is carried out, with equal social and temporal horizons.

This thesis examines philosophical controversies surrounding the evaluation of medical treatments, with a focus on the evidential roles of randomised trials and mechanisms in Evidence-Based Medicine. Current 'best practice' usually involves excluding non-randomised trial evidence from systematic reviews in cases where randomised trials are available for inclusion in the reviews. The first paper challenges this practice and evaluates whether adding of evidence from non-randomised trials might improve the quality and precision of some systematic reviews. The second paper compares the alleged (...) methodological benefits of randomised trials over observational studies for investigating treatment benefits. It suggests that claims about the superiority of well-conducted randomised controlled trials over well-conducted observational studies are justified, especially when results from the two methods are contradictory. The third paper argues that postulating the unpredictability paradox in systematic reviews when no detectable empirical differences can be found requires further justification. The fourth paper examines the problem of absence causation in the context of explaining causal mechanisms and argues that a recent solution is incomplete and requires further justification. Solving the problem by describing absences as causes of 'mechanism failure' fails to take into account the effects of absences that lead to vacillating levels of mechanism functionality. The fifth paper criticises literature that has emphasised functioning versus 'broken' or 'non-functioning' mechanisms emphasising that many diseases result from increased or decreased mechanism function, rather than complete loss of function. Mechanistic explanations must account for differences in the effectiveness of performed functions, yet current philosophical mechanistic explanations do not achieve this. The last paper argues that the standard of evidence embodied in the ICE theory of technological function is too permissive for evaluating whether the proposed functions of medical technologies have been adequately assessed and correctly ascribed. It argues that high-quality evidence from clinical studies is necessary to justify functional ascriptions to health care technologies. (shrink)

Many potential therapeutic agents are discarded before they are tested in humans. These are not quack medications. They are drugs and other interventions that have been developed by responsible scientists in respectable companies or universities and are often backed up by publications in peer-reviewed journals. These possible treatments might ease suffering and prolong the lives of innumerable patients, yet they have been put aside. In this paper, we outline a novel mechanism—the Plutocratic Proposal—to revive such neglected research and fund early (...) phase clinical trials. The central idea of the Proposal is that any patient who rescues a potential therapeutic agent from neglect by funding early phase clinical trials should be offered a place on the trial. (shrink)

In his lengthy introduction, Alexander Broadie emphasizes not only the diversity of intellectual discussion taking place in Scotland, but also the European ...

Norwegian School of Economics and Business Administration and Chr. Michelsen Institute, Norway, bertil.tungodden{at}nhh.no ' + u + '@' + d + ' '//--> Liberal egalitarian theories of justice argue that inequalities arising from non-responsibility factors should be eliminated, but that inequalities arising from responsibility factors should be accepted. This article discusses how the fairness argument for redistribution within a liberal egalitarian framework is affected by a relocation of the cut between responsibility and non-responsibility factors. The article also discusses the claim (...) that equalization of some non-responsibility factors will reduce the ideal level of redistribution. Key Words: responsibility • liberal egalitarianism • redistribution. (shrink)

Background: Continuous viewing of ambiguous patterns is characterized by wavering perception that alternates between two or more equally valid visual solutions. However, when such patterns are viewed intermittently, either by repetitive presentation or by periodic closing of the eyes, perception can become locked or "frozen" in one configuration for several minutes at a time. One aspect of this stabilization is the possible existence of a perceptual memory that persists during periods in which the ambiguous stimulus is absent. Here, we use (...) a novel paradgim of temporally interleaved ambiguous stimuli to explore the nature of this memory, with particular regard to its potential impact on perceptual organization. Results: We found that the persistence of a perceptual configuration was robust to interposed visual patterns and, further, that at least three ambiguous patterns, when interleaved in time, could undergo parallel, stable time courses. Then, using an interleaved presentation paradigm, we established that the occasional reversal in one pattern could be coupled with that of its interleaved counterpart, and that this coupling was a function of the structural similarity between the patterns. Conclusions: We postulate that the stabilization observed with repetitive presentation of ambiguous patterns can be at least partially accounted for by processes that retain a recent perceptual interpretation, and we speculate that such memory may be important in natural vision. We further propose tha the interleaved paradigm introduced here may be of great value to gauge aspects of stimulus similarity that appeal to particular mechanisms of perceptual organization. (shrink)

Philosophy was at the core of the eighteenth century movement known as the Scottish Enlightenment. The movement included major figures, such as Francis Hutcheson, David Hume, Adam Smith, Thomas Reid and Adam Ferguson, and also many others who produced notable works, such as Gershom Carmichael, George Turnbull, George Campbell, James Beattie, Alexander Gerard, Henry Home (Lord Kames) and Dugald Stewart. I discuss some of the leading ideas of these thinkers, though paying less attention than I otherwise would to Hume, (...) Smith and Reid, who have separate Encyclopedia entries. Amongst the topics covered in this entry are aesthetics (particularly Hutcheson's), Moral philosophy (particularly Hutcheson's and Smith's), Turnbull's providential naturalism, Kames's doctrines on divine goodness and human freedom, Campbell's criticism of the Humean account of miracles, the philosophy of rhetoric, Ferguson's criticism of the idea of a state of nature, and finally the concept of conjectural history, a concept especially associated with Dugald Stewart. (shrink)

1 A Versatile Mediator 2 Theory and Method in the Social Sciences 3 Kaufmann and Logical Empiricism 4 Kaufmann and the Liberal Wing of Viennese Late Enlightenment 5 Kaufmann and Popper 6 Kaufmann in the United States 7 Rediscovering Kaufmann's Methodology.

The article is devoted to social problems of modern science (as it were interpreted Max Weber) considered in the context of the system-communicative approach by N. Luhmann. In contrast to the modern work of art, the modern science, as M. Weber believes, is associated with the fundamental unattainability of “true being”, and, as a result, with the transitory character of any scientific achievement. The specialty of modern science, as Weber noted, is determinated, on the one hand by its self-understanding, due (...) to the “peculiarity of the current moment”, and, on the other, by its transformation into a kind of blind spot of scientific observation. As a result, Weber formulated the main problem of the meaning of modern science: he wondered why any scientist needs a science under (1) external alienation and (2) inaccessibility of a scientific object? Moreover, the category of truth not just acquires its special value, but also sets a special meaning to the purpose of scientific communication, that becomes an object but not a property of scientific search. The main content of the article is the study of the Weberian concepts of the external (science as a profession) and internal (science as vocation) social factors of modern science as they were interpreted by E. von Kahler, G. Rickert, M. Scheller, K. Loewit. The authors discuss their attempts to modernize the fundamental Weberian distinction of truth/value as a principle of inclusion in the scientific community, that was formulated as a response to the “Weber’s challenge”. The authors argue that von Kahler criticized the Weberian concept for the incompatibility of the spatial and temporal discreteness of science within the “organic understanding” of the unity of the world. At the same time Scheler and Rickert payed special attention to the problem of subject specification of science. K. Levit discussed the possibility of Weber’s substitution of objectivity as a key distinction of modern knowledge with some opposite attribute. In the final part, the authors summarize the inconsistency of predictions about the further internal differentiation of scientific disciplines and the rejection of research motive for “genuine being”. (shrink)

The scaling of body parts is central to the evolution of morphology and shape. Most traits scale proportionally with each other and body size such that larger adults are essentially magnified versions of smaller ones. This pattern is so ubiquitous that departures from it – disproportionate scaling between trait and body size – pique interest because it can generate dramatically exaggerated traits. These extreme morphologies are frequently hypothesized to result from sexual selection and their study has a long history, with (...) several hypotheses seeking to explain their evolution. Despite this effort, surprisingly little progress has been made in demonstrating the forms of selection that produce different scaling patterns or in identifying the mechanisms that underlie the expression and evolution of scaling relationships. Here we review recent insights regarding the proximate mechanisms that regulate and integrate trait growth and that offer a new framework for studying the evolution of morphological scaling. (shrink)