A finer-grained delineation of a given explanandum reveals a nexus of closely related causal and non- causal explanations, complementing one another in ways that yield further explanatory traction on the phenomenon in question. By taking a narrower construal of what counts as a causal explanation, a new class of distinctively mathematical explanations pops into focus; Lange’s characterization of distinctively mathematical explanations can be extended to cover these. This new class of distinctively mathematical explanations is illustrated with the Lotka-Volterra equations. There (...) are at least two distinct ways those equations might hold of a system, one of which yields straightforwardly causal explanations, but the other of which yields explanations that are distinctively mathematical in terms of nomological strength. In the first, one first picks out a system or class of systems, finds that the equations hold in a causal -explanatory way; in the second, one starts with the equations and explanations that must apply to any system of which the equations hold, and only then turns to the world to see of what, if any, systems it does in fact hold. Using this new way in which a model might hold of a system, I highlight four specific avenues by which causal and non- causal explanations can complement one another. (shrink)

This paper presents an analysis of wh-complements in Montague Grammar. We will be concerned primarily with semantics, though some remarks on syntax are made in Section 4. Questions and wh-comple ments in Montague Grammar have been studied in Hamblin (1976), Bennett (1979), Karttunen (1977) and Hauser (1978) among others. These proposals will not be discussed explicitly, but some differences with Karttunen's analysis will be pointed out along the way.

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. Traditional logic (...) implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

Serum lmmunglobulin and Complement Levels in the Patients With Head and Neck Carcinoma and the Evaluation of Autoantibody Positivity Ratein this study, smooth muscle antibody (SMA), anti-nücleer antibody (ANA) anti- mitochondrial antibody (AMA), anti-parietal cell antibody (PA), antiglomerular basal membrane antibody (GM), serum immunglobulins and complement-C3 levels have been searched. The positivity rate of ANA (31.91 %) and SMA (38.29 %) were found high in sera of the patients with head and neck carcinoma which had been diagnosed histopathologically. (...) But the positivity rate of AMA (4.25 %) PA (12.76 %) and GM (2.12 %) were low in the same group. ANA and SMA were detected in 1 O of 30 patients with laryngeal carcinoma; ANA were detected in 5 of 9 patients (55.5 %) and SMA were found in 4 of 9 patients (44.5 %) with nasopharyngeal carcinoma. There was no significant deviation in the levels of immunglobulins and complement-C3. The highest levels of immunoglobulins have been detected in patients with laryngeal carcinoma. Finding of high positivity rate of ANA and SMA in the patients with head and neck carcinoma showed an accordance with the other investigators' results. (shrink)

We consider a puzzle in the question semantics literature. The puzzle concerns data when 'know' embeds interrogative complements. For the exhaustive strength in the literature known as intermediately exhaustive, first person ascriptions don't seem to exist, but third person do. By arguing against the only solution in the literature, we suggest that the puzzle is more interesting than previously thought. We provide a compositional semantics for 'know' where the interpretation of 'know' is relativized to an information state. The proposed semantics, (...) we think, is compatible with relativism and nonindexical contextualism, but we opt for relativism for its relative ease in capturing disagreement data we provide. (shrink)

The aim of this article is to demonstrate the thesis that the stabilization of Nigeria’s complicated political situation is furthered by the functioning in that country of institutions based on two models of interethnic power-sharing – consociationalism and centripetalism – and that the two are to some extent complementary in Nigerian practice, despite the fact that political theory sees the two as opposites of each other. The article begins with a short analysis of the political situation in Nigeria. This is (...) followed by a presentation of the problem of defining the notion of political stability and an assessment of the same in the Nigerian context. The article then goes on to discuss the nature of centripetalism and consociationalism and specific centripetal and consociational institutions involved in the stabilization of the political situation in Nigeria. The article ends with the author’s conclusions about the initial thesis. The article has been published in "Politeja" 2016, vol. 42, no. 3, pp. 53-73. For more on combining institutions of different models of power-sharing see: Krzysztof Trzcinski, Hybrid Power Sharing: On How to Stabilize the Political Situation in Multi-Segmental Societies, "Politeja" 2018, vol. 56, no. 5, pp. 86-107. (shrink)

The typical habitat of overt nominative subjects is in finite clauses. But infinitival complements and infinitival adjuncts are also known to have overt nominative subjects, e.g. in Italian (Rizzi 1982), European Portuguese (Raposo 1987), and Spanish (Torrego 1998, Mensching 2000). The analyses make crucial reference to the movement of Aux or Infl to Comp, and to overt or covert infinitival inflection. This working paper is concerned with a novel set of data that appear to be of a different sort, in (...) that they probably do not depend on either rich infinitival inflection or on movement to C. (shrink)

In this paper, we show that many of the dramatic changes that took place in the course of the history of the English complementation system are the result of a simple morphological Change in the determiner system. We propose that Old English (OE) evolved from a system in which 'complements' clauses, relative clauses and DP were interpreted as adverbials to a system in which they are interpreted as arguments of the verb. As the determiner acquired certain certain type of morphological (...) feature , a complementation system developed. We show that this claim is is reinforced by the fact that apparently unrelated changes all follow from the nature of the determiner system. (shrink)

Since the early 1980s, there has been a debate in the semantics literature pertaining to whether wh-interrogatives can be directly disjoined, as main clauses and as complements. Those who held that the direct disjunction of wh-interrogatives was in conflict with certain theoretical considerations proposed that they could be disjoined indirectly. Indirect disjunction proceeds by first lifting both wh-interrogatives and then disjoining them; it assigns matrix-level scope to OR. As we will see, the notorious theoretical need for indirect disjunction has disappeared (...) by today. But the factual question remains. Are wh-complements disjoined directly or indirectly? What is the fact of the matter? This paper argues that the case for indirect disjunction remains reasonably strong. (shrink)

Are mathematical objects affected by their historicity? Do they simply lose their identity and their validity in the course of history? If not, how can they always be accessible in their ideality regardless of their transmission in the course of time? Husserl and Foucault have raised this question and offered accounts, both of which, albeit different in their originality, are equally provocative. Both acknowledge that a scientific object like a geometrical theorem or a chemical equation has a history because it (...) is only constituted in and transmitted through history. But they see that history as a part of its ideality, so that, although historical, a scientific object retains its identity as one and the same object. (shrink)

Abstract: Sickle cell disease (SCD) comprises an inherited blood disorder that is life long and affects many people globally. Despite progress in therapy, SCA is a considerable cause of mortality and morbidity. This study was designed to measure the immunological and inflammatory parameters of patients with sickle cell disease (SCD) and to found if there is any role of it in the pathogenicity of the disease. This study included A total of 32 patients, their ages ranged from 16 to 55 (...) years patients with Sickle cell disease who have been evaluated during vaso occlusive crisis and had been followed up till they attained steady state, and there are 32 normal control subjects matched with patients in age and sex. In general there was elevation in all parameters the study were included in patients than control and particularly in crisis, despite the IgM value which was insignificantly decrease, but the statically significant elevation reported only in CRP, IgG, IgA. (shrink)

Dans la double conception du sujet que précise Tokieda Motoki dans sa théorie du processus langagier : sujet subordonné au prédicat et sujet d’action langagière volontaire, conception fondée sur une théorie linguistique inspirée principalement d’études grammaticales de la langue japonaise et qui s’est donc totalement émancipée du paradigme de la grammaire des langues européennes, on peut retrouver, de manière tout à fait paradoxale et frappante, le sens originaire du sujet, à savoir celui de son origine latine « subjectum » qui (...) est d’ailleurs la traduction du mot grec « ὑποκείμενον », à double titre : celui qui est assujetti ou soumis à une instance supérieure ou plus fondamentale et celui qui est susceptible de donner lieu ou occasion aux accidents, aux faits contingents. (shrink)

Natural systems are categorized according to their structural and dynamical similarities. A two-dimensional schema is proposed as a kind of "periodic table" of natural systems. Six of eight levels in this schema serve as sources of analogies, two levels are the targets of analogical reasoning. The source domains are the atomic, molecular, macromolecular, micro-organismic, organismic and socio-cultural systems and processes. One of the target domains discussed in the article is the level of subatomic particles. The other target domain, not discussed (...) in the article, could be the level of future supra-national systems. Three types of processes are identified occurring in natural systems: conservation, modification and transformation. Modifications allow a reversible adaptation of a system to environmental influences by changing its internal state. The entirety of all internal states defines the "state space" of the system. Similarities of state spaces between systems of six levels are investigated. A dual-space picture of natural systems can be defined on six levels, the source domains of analogical reasoning. On the subatomic level, space-time is identified as part of the state space of subatomic particles. However, space-time needs a completion by an additional state space in order to obtain a dual-space picture also for subatomic particles. A "basic space" is proposed, so that subatomic particles exist simultaneously in space-time and in basic space. The basic space is assumed to be a circular space, where masses and charges circulate force-free and generate the spin and the magnetic moment of particles. A presumption about the existence of hypothetical matter not detectable in space-time is derived. Such primitive forms of matter could exist in basic space only and represent the dark matter. (shrink)

The purpose of this article is to show a structural relationship in Dutch between sentences with the main verb "duren" (last) and specifying complements such as een week (a week) or "drie kwartier" (three quarters of an hour) on the one hand, and sentences with Duration Measuring Adverbials such as "gedurende een week" (for a week), "gedurende die week" (lit: for that week) on the other.

In this paper, we propose a new concept named the uniform single valued neutrosophic graph. An illustrative example and some properties are examined. Next, we develop an algorithmic approach for computing the complement of the single valued neutrosophic graph. A numerical example is demonstrated for computing the complement of single valued neutrosophic graphs and uniform single valued neutrosophic graph.

This chapter makes the following main claims about Hungarian: A. There is a detailed parallelism between the structures of noun phrases (DPs) and clauses (CPs), involving inflection, possessor extraction, and articles as complementizers. B. "HAVE sentences" are existential sentences involving possessor extraction. C. The argument frame of complex event nominals is identical to that of the underlying verb. D. The deverbal affix in nominals may have either a plain verb or a complex verb in its scope.

With reference to Hungarian, the paper argues that DP is analogous to CP. The D head *a(z)* is an analog of the complementizer C. It enables its complement to act as an argument. Definiteness is anchored in a feature lower in the structure.

The rise of experimental philosophy has placed metaphilosophical questions, particularly those concerning concepts, at the center of philosophical attention. X-phi offers empirically rigorous methods for identifying conceptual content, but what exactly it contributes towards evaluating conceptual content remains unclear. We show how x-phi complements Rudolf Carnap’s underappreciated methodology for concept determination, explication. This clarifies and extends x-phi’s positive philosophical import, and also exhibits explication’s broad appeal. But there is a potential problem: Carnap’s account of explication was limited to empirical and (...) logical concepts, but many concepts of interest to philosophers are essentially normative. With formal epistemology as a case study, we show how x-phi assisted explication can apply to normative domains. (shrink)

Once symbolized by a burning armchair, experimental philosophy has in recent years shifted away from its original hostility to traditional methods. Starting with a brief historical review of the experimentalist challenge to traditional philosophical practice, this chapter looks at research undercutting that challenge, and at ways in which experimental work has evolved to complement and strengthen traditional approaches to philosophical questions.

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that (...) p"—as they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (shrink)

It is widely agreed that fiction is necessarily incomplete, but some recent work postulates the existence of universal fictions—stories according to which everything is true. Building such a story is supposedly straightforward: authors can either assert that everything is true in their story, define a complement function that does the assertoric work for them, or, most compellingly, write a story combining a contradiction with the principle of explosion. The case for universal fictions thus turns on the intuitive priority we (...) assign to the law of non-contradiction. My goal in this paper is to show that our critical and reflective literary practices set constraints on story-telling which preclude universal fictions. I will raise four stumbling blocks for universal fictionalists: the gap between saying and making true, our actual interpretive reactions to story-level contradictions, the criteria we accept for what counts as a story in our literary practices, and the undesirability of the universal fictionalist’s closure principles. (shrink)

I argue that the best scientific package is anti-Humean in its ontology, but Humean in its laws. This is because potencies and the best system account of laws complement each other surprisingly well. If there are potencies, then the BSA is the most plausible account of the laws of nature. Conversely, if the BSA is the correct theory of laws, then formulating the laws in terms of potencies rather than categorical properties avoids three serious objections: the mismatch objection, the (...) impoverished worlds objection, and the metaphysical 'oomph' objection. I argue that combining anti-Humean properties with Humean laws into a Potency-Best System Account of Laws is a powerful and science-friendly account---something that people on both sides should be able to appreciate. (shrink)

The first few years of the 21st century were characterised by a progressive loss of privacy. Two phenomena converged to give rise to the data economy: the realisation that data trails from users interacting with technology could be used to develop personalised advertising, and a concern for security that led authorities to use such personal data for the purposes of intelligence and policing. In contrast to the early days of the data economy and internet surveillance, the last few years have (...) witnessed a rising concern for privacy. As bad data practices have come to light, citizens are starting to understand the real cost of using online digital technologies. Two events stamped 2018 as a landmark year for privacy: the Cambridge Analytica scandal, and the implementation of the European Union’s General Data Protection Regulation (GDPR). The former showed the extent to which personal data has been shared without data subjects’ knowledge and consent and many times for unacceptable purposes, such as swaying elections. The latter inaugurated the beginning of robust data protection regulation in the digital age. Getting privacy right is one of the biggest challenges of this new decade of the 21st century. The past year has shown that there is still much work to be done on privacy to tame the darkest aspects of the data economy. As data scandals continue to emerge, questions abound as to how to interpret and enforce regulation, how to design new and better laws, how to complement regulation with better ethics, and how to find technical solutions to data problems. The aim of the research project Data, Privacy, and the Individual is to contribute to a better understanding of the ethics of privacy and of differential privacy. The outcomes of the project are seven research papers on privacy, a survey, and this final report, which summarises each research paper, and goes on to offer a set of reflections and recommendations to implement best practices regarding privacy. (shrink)

In some recent papers (G. ‘t Hooft and others), it has been argued that quantum mechanics can arise from classical cellular automata. Nonetheless, G. Shpenkov has proved that the classical wave equation makes it possible to derive a periodic table of elements, which is very close to Mendeleyev’s one, and describe also other phenomena related to the structure of molecules. Hence the classical wave equation complements Schrödinger’s equation, which implies the appearance of a cellular automaton molecular model starting from classical (...) wave equation. The other studies show that the microworld is constituted as a tessellation of primary topological balls. The tessellattice becomes the origin of a submicrospic mechanics in which a quantum system is subdivided to two subsystems: the particle and its inerton cloud, which appears due to the interaction of the moving particle with oncoming cells of the tessellattice. The particle and its inerton cloud periodically change the momentum and hence move like a wave. The new approach allows us to correlate the Klein-Gordon equation with the deformation coat that is formed in the tessellatice around the particle. The submicroscopic approach shows that the source of any type of wave movements including the Klein-Gordon, Schrödinger, and classical wave equations is hidden in the tessellattice and its basic exciations – inertons, carriers of mass and inert properies of matter. We also discuss possible correspondence with Konrad Zuse’s calculating space. (shrink)

Friendship is an important part of the good life. While many roboticists are eager to create friend-like robots, many philosophers and ethicists are concerned. They argue that robots cannot really be our friends. Robots can only fake the emotional and behavioural cues we associate with friendship. Consequently, we should resist the drive to create robot friends. In this article, I argue that the philosophical critics are wrong. Using the classic virtue-ideal of friendship, I argue that robots can plausibly be considered (...) our virtue friends - that to do so is philosophically reasonable. Furthermore, I argue that even if you do not think that robots can be our virtue friends, they can fulfil other important friendship roles, and can complement and enhance the virtue friendships between human beings. (shrink)

This Open Access book provides both a broad perspective and a focused examination of cow care as a subject of widespread ethical concern in India, and increasingly in other parts of the world. In the face of what has persisted as a highly charged political issue over cow protection in India, intellectual space must be made to bring the wealth of Indian traditional ethical discourse to bear on the realities of current human-animal relationships, particularly those of humans with cows. Dharma, (...) yoga, and bhakti paradigms serve as starting points for bringing Hindu--particularly Vaishnava Hindu--animal ethics into conversation with contemporary Western animal ethics. The author argues that a culture of bhakti--the inclusive, empathetic practice of spirituality centered in Krishna as the beloved cowherd of Vraja--can complement recently developed ethics-of-care thinking to create a solid basis for sustaining all kinds of cow care communities. (shrink)

Human values seem to vary across time and space. What implications does this have for the future of human value? Will our human and (perhaps) post-human offspring have very different values from our own? Can we study the future of human values in an insightful and systematic way? This article makes three contributions to the debate about the future of human values. First, it argues that the systematic study of future values is both necessary in and of itself and an (...) important complement to other future-oriented inquiries. Second, it sets out a methodology and a set of methods for undertaking this study. Third, it gives a practical illustration of what this ‘axiological futurism’ might look like by developing a model of the axiological possibility space that humans are likely to navigate over the coming decades. (shrink)

Psychiatry has witnessed a new wave of approaches to clinical phenotyping and the study of psychopathology, including the National Institute of Mental Health’s Research Domain Criteria, clinical staging, network approaches, the Hierarchical Taxonomy of Psychopathology, and the general psychopathology factor, as well as a revival of interest in phenomenological psychopathology. The question naturally emerges as to what the relationship between these new approaches is – are they mutually exclusive, competing approaches, or can they be integrated in some way and used (...) to enrich each other? In this opinion piece, we propose a possible integration between clinical staging and phenomenological psychopathology. Domains identified in phenomenological psychopathology, such as selfhood, embodiment, affectivity, etc., can be overlaid on clinical stages in order to enrich and deepen the phenotypes captured in clinical staging (‘high resolution’ clinical phenotypes). This approach may be useful both ideographically and nomothetically, in that it could complement diagnosis, enrich clinical formulation, and inform treatment of individual patients, as well as help guide aetiological, prediction, and treatment research. The overlaying of phenomenological domains on clinical stages may require that these domains are reformulated in dimensional rather than categorial terms. This integrative project requires assessment tools, some of which are already available, that are sensitive and thorough enough to pick up on the range of relevant psychopathology. The proposed approach offers opportunities for mutual enrichment: clinical staging may be enriched by introducing greater depth to phenotypes; phenomenological psychopathology may be enriched by introducing stages of severity and disorder progression to phenomenological analysis. (shrink)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

The republican tradition has long been ambivalent about markets and commercial society more generally: from the contrasting positions of Rousseau and Smith in the eighteenth century to recent neorepublican debates about capitalism, republicans have staked out diverse positions on fundamental issues of political economy. Rather than offering a systematic historical survey of these discussions, this chapter will instead focus on the leading neo-republican theory—that of Philip Pettit—and consider its implications for market society. As I will argue, Pettit’s theory is even (...) friendlier to markets than most have believed: far from condemning commercial society, his theory recognizes that competitive markets and their institutional preconditions are an alternative means to limit arbitrary power across the domestic, economic, and even political spheres. While most republican theorists have focused on political means to limit such power—including both constitutional means (e.g., separation of powers, judicial review, the rule of law, federalism) and participatory ones (democratic elections and oversight)—I will examine here an economic model of republicanism that can complement, substitute for, and at times displace the standard political model. Whether we look at spousal markets, labor markets, or residential markets within federal systems, state policies that heighten competition among their participants and resource exit from abusive relationships within them can advance freedom as non-domination as effectively or even more effectively than social-democratic approaches that have recently gained enthusiasts among republicans. These conclusions suggest that democracy, be it social or political, is just one means among others for restraining arbitrary power and is consequently less central to (certain versions of) republicanism than we may have expected. So long as they counteract domination, economic inroads into notionally democratic territory are no more worrisome than constitutional ones. (shrink)

Informational theories of semantic content have been recently gaining prominence in the debate on the notion of mental representation. In this paper we examine new-wave informational theories which have a special focus on cognitive science. In particular, we argue that these theories face four important difficulties: they do not fully solve the problem of error, fall prey to the wrong distality attribution problem, have serious difficulties accounting for ambiguous and redundant representations and fail to deliver a metasemantic theory of representation. (...) Furthermore, we argue that these difficulties derive from their exclusive reliance on the notion of information, so we suggest that pure informational accounts should be complemented with functional approaches. (shrink)

This paper discusses two theses about Plato that Nietzsche defends in his lectures on the Athenian philosopher offered by him at the University of Basel during the 1870s. Nietzsche’s first claim concerns Plato’s philosophy: relying on Aristotle, Nietzsche holds that Plato was initially brought to a metaphysically motivated version of scepticism as a result of his affiliation to the Cratilian interpretation of Heraclitus. Although the Socratic method of defining and testing concepts as well as its metaphysical complement, the theory (...) of Forms, has allowed Plato to overcome this kind of metaphysically motivated scepticism, Nietzsche argues that such an overcoming is only provisional if one needs to accept the authenticity of Parmenides, then the arguments displayed in this later dialogue lead to a sceptical conclusion regarding the theory of Forms. The second claim advanced by Nietzsche in his lectures concerns Plato’s philosophical character, which is identified with the figures of the legislator and the political reformer. According to Nietzsche, all of Plato’s philosophical commitments must ultimately be interpreted in the light of his political project, for here there is no place for scepticism anymore. (shrink)

The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

The debate about the ethical implications of Artificial Intelligence dates from the 1960s :741–742, 1960; Wiener in Cybernetics: or control and communication in the animal and the machine, MIT Press, New York, 1961). However, in recent years symbolic AI has been complemented and sometimes replaced by Neural Networks and Machine Learning techniques. This has vastly increased its potential utility and impact on society, with the consequence that the ethical debate has gone mainstream. Such a debate has primarily focused on principles—the (...) ‘what’ of AI ethics —rather than on practices, the ‘how.’ Awareness of the potential issues is increasing at a fast rate, but the AI community’s ability to take action to mitigate the associated risks is still at its infancy. Our intention in presenting this research is to contribute to closing the gap between principles and practices by constructing a typology that may help practically-minded developers apply ethics at each stage of the Machine Learning development pipeline, and to signal to researchers where further work is needed. The focus is exclusively on Machine Learning, but it is hoped that the results of this research may be easily applicable to other branches of AI. The article outlines the research method for creating this typology, the initial findings, and provides a summary of future research needs. (shrink)

The CMI Millennium “P vs NP Problem” can be resolved e.g. if one shows at least one counterexample to the "P = NP" conjecture. A certain class of problems being such counterexamples will be formulated. This implies the rejection of the hypothesis that "P = NP" for any conditions satisfying the formulation of the problem. Thus, the solution "P is different from NP" of the problem in general is proved. The class of counterexamples can be interpreted as any quantum superposition (...) of any finite set of quantum states. The Kochen-Specker theorem is involved. Any fundamentally random choice among a finite set of alternatives belong to "NP" but not to "P". The conjecture that the set complement of "P" to "NP" can be described by that kind of choice exhaustively is formulated. (shrink)

In his Quadratura, Paul of Venice considers a sophism involving time and tense which appears to show that there is a valid inference which is also invalid. His argument runs as follows: consider this inference concerning some proposition A: A will signify only that everything true will be false, so A will be false. Call this inference B. Then B is valid because the opposite of its conclusion is incompatible with its premise. In accordance with the standard doctrine of ampliation, (...) Paul takes A to be equivalent to 'Everything that is or will be true will be false'. But he proceeds to argue that it is possible that B's premise ('A will signify only that everything true will be false') could be true and its conclusion false, so B is not only valid but also invalid. Thus A and B are the basis of an insoluble. In his Logica Parva, a self-confessedly elementary text aimed at students and not necessarily representing his own view, and in the Quadratura, Paul follows the solution found in the Logica Oxoniensis, which posits an implicit assertion of its own truth in insolubles like B. However, in the treatise on insolubles in his Logica Magna, Paul develops and endorses Swyneshed's solution, which stood out against this ''multiple-meanings'' approach in offering a solution that took insolubles at face value, meaning no more than is explicit in what they say. On this account, insolubles imply their own falsity, and that is why, in so falsifying themselves, they are false. We consider how both types of solution apply to B and how they complement each other. On both, B is valid. But on one (following Swyneshed), B has true premises and false conclusion, and contradictories can be false together; on the other (following the Logica Oxoniensis), the counterexample is rejected. (shrink)

From playing basketball to ordering at a food counter, we frequently and effortlessly coordinate our attention with others towards a common focus: we look at the ball, or point at a piece of cake. This non-verbal coordination of attention plays a fundamental role in our social lives: it ensures that we refer to the same object, develop a shared language, understand each other’s mental states, and coordinate our actions. Models of joint attention generally attribute this accomplishment to gaze coordination. But (...) are visual attentional mechanisms sufficient to achieve joint attention, in all cases? Besides cases where visual information is missing, we show how combining it with other senses can be helpful, and even necessary to certain uses of joint attention. We explain the two ways in which non-visual cues contribute to joint attention: either as enhancers, when they complement gaze and pointing gestures in order to coordinate joint attention on visible objects, or as modality pointers, when joint attention needs to be shifted away from the whole object to one of its properties, say weight or texture. This multisensory approach to joint attention has important implications for social robotics, clinical diagnostics, pedagogy and theoretical debates on the construction of a shared world. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

The exploration of chemical periodicity over the past 250 years led to the development of the Periodic System of Elements and demonstrates the value of vague ideas that ignored early scientific anomalies and instead allowed for extended periods of normal science where new methodologies and concepts are developed. The basic chemical element provides this exploration with direction and explanation and has shown to be a central and historically adaptable concept for a theory of matter far from the reductionist frontier. This (...) is explored in the histories of Prout’s hypothesis, Döbereiner Triads, element inversions necessary when ordering chemical elements by atomic weights, and van den Broeck’s ad-hoc proposal to switch to nuclear charges instead. The development of more accurate methods to determine atomic weights, Rayleigh and Ramsey’s gas separation and analytical techniques, Moseley’s X-ray spectroscopy to identify chemical elements, and more recent accelerator-based cold fusion methods to create new elements at the end of the Periodic Table point to the importance of methodological development complementing conceptual advances. I propose to frame the crossover from physics to chemistry not as a loss of accuracy and precision but as an increased application of vague concepts such as similarity which permit classification. This approach provides epistemic flexibility to adapt to scientific anomalies and the continued growth of chemical compound space and rejects the Procrustean philosophy of reductionist physics. Furthermore, it establishes chemistry with its explanatory and operational autonomy epitomized by the periodic system of elements as a gateway to other experimental sciences. (shrink)

The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies. CARO has a structural axis of classification based on the top-level nodes of the Foundational Model of Anatomy. CARO will complement the developmental process sub-ontology of the GO Biological Process ontology, using it to ensure the coherent treatment of developmental stages, and to provide a common framework for the model organism (...) communities to classify developmental structures. Definitions for the types and relationships are being generated by a consortium of investigators from diverse backgrounds to ensure applicability to all organisms. CARO will support the coordination of cross-species ontologies at all levels of anatomical granularity by cross-referencing types within the cell type ontology (CL) and the Gene Ontology (GO) Cellular Component ontology. A complete cross-species CARO could be utilized in other ontologies for cross-product generation. (shrink)

The article proposes to further develop the ideas of the Extended Evolutionary Synthesis by including into evolutionary research an analysis of phenomena that occur above the organismal level. We demonstrate that the current Extended Synthesis is focused more on individual traits (genetically or non-genetically inherited) and less on community system traits (synergetic/organizational traits) that characterize transgenerational biological, ecological, social, and cultural systems. In this regard, we will consider various communities that are made up of interacting populations, and for which the (...) individual members can belong to the same or to different species. Examples of communities include biofilms, ant colonies, symbiotic associations resulting in holobiont formation, and human societies. The proposed model of evolution at the level of communities revises classic theorizing on the major transitions in evolution by analyzing the interplay between community/social traits and individual traits, and how this brings forth ideas of top-down regulations of bottom-up evolutionary processes (collaboration of downward and upward causation). The work demonstrates that such interplay also includes reticulate interactions and reticulate causation. In this regard, we exemplify how community systems provide various non-genetic ‘scaffoldings’, ‘constraints’, and ‘affordances’ for individual and sociocultural evolutionary development. Such research complements prevailing models that focus on the vertical transmission of heritable information, from parent to offspring, with research that instead focusses on horizontal, oblique and even reverse information transmission, going from offspring to parent. We call this reversed information transfer the ‘offspring effect’ to contrast it from the ‘parental effect’. We argue that the proposed approach to inheritance is effective for modelling cumulative and distributed developmental process and for explaining the biological origins and evolution of language. (shrink)

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...) arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

It is crucial to actively detect the risks of transactions in a financial company to improve customer experience and minimize financial loss. In this study, we compare different machine learning algorithms to effectively and efficiently predict the legitimacy of financial transactions. The algorithms used in this study were: MLP Repressor, Random Forest Classifier, Complement NB, MLP Classifier, Gaussian NB, Bernoulli NB, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Bagging Classifier, Decision Tree Classifier and Deep Learning. The (...) dataset was collected from Kaggle depository. It consists of 6362620 rows and 10 columns. The best classifier with unbalanced dataset was the Random Forest Classifier. The Accuracy 99.97%, precession 99.96%, Recall 99.97% and the F1-score 99.96%. However, the best classifier with balanced dataset was the Bagging Classifier. The Accuracy 99.96%, precession 99.95%, Recall 99.98% and the F1-score 99.96%. (shrink)

My main aim is to clarify what we mean by ‘look’ sentences such as (1) below – ones that we use to talk about visual experience: -/- (1) The ball looked red to Sue -/- This is to help better understand a part of natural language that has so far resisted treatment, and also to help better understand the nature of visual experience. -/- By appealing to general linguistic principles I argue for the following account. First, we use (1) to (...) talk about an event. Second, we use the verb ‘look’ to specify the kind of event about which we are talking – it is a looking event. Third, we use the subject ‘the ball’ to specify a stimulus of the event – something that looks some way in the event. Fourth, we use the adjunct ‘to Sue’ to specify an experiencer of the event – someone to whom things look some way in the event. Finally, we use the complement ‘red’ to specify a way of the event – a way in which the event occurs (I take ways of occurring to be properties of events). Which way do we use ‘red’ in (1) to specify? I argue: the maximally specific way w such that the following is generically true: looking events whose stimulus is red occur in way w (it is important that this is understood generically: this is what does much of the work in explaining our use of (1) and other ‘look’ sentences). Putting this together, what we mean by (1) is: there was a looking event whose stimulus was the ball, whose experiencer was Sue, and which occurred in the maximally specific way that looking events occur when their stimulus is red. -/- This account of how we use ‘red’ in (1) is one of the most interesting aspects of my thesis. It extends to an account of how we use ‘proud’ in ‘John walks proud’, ‘as if he is American’ in ‘John talks as if he is American’, ‘like a duck’ in ‘John sounds like a duck’, and so on. In each case we use the expression in question to specify a way: the maximally specific way proud people walk, the maximally specific way American people talk, and so on. So the study of ‘look’ sentences has much to tell us about the functioning of many other English language constructions, and suggests that ways have a significant role to play in the semantics of natural language – a fact that has not yet been sufficiently recognised by linguists or philosophers of language. -/- My thesis also has implications for the philosophy of perception. One of the central questions about perception is: What is the nature of visual experience? What is it, for example, for a ball to look red to Sue? My thesis offers an answer: What it is for the ball to look red to Sue is for whatever it is that we mean by ‘The ball looks red to Sue’ to be the case, and what we mean by ‘The ball looks red to Sue’ is that there is a looking event whose stimulus is the ball, whose experiencer is Sue, and which is occurring in a certain way. It thus delivers an adverbial account of visual experience, one that has the resources to better deal with problems that are traditionally thought to be decisive against adverbial accounts. (shrink)

Gaston Bachelard occupies a unique position in the history of European thinking. As a philosopher of science, he developed a profound interest in genres of the imagination, notably poetry and novels. While emphatically acknowledging the strength, precision and reliability of scientific knowledge compared to every-day experience, he saw literary phantasies as important supplementary sources of insight. Although he significantly influenced authors such as Lacan, Althusser, Foucault and others, while some of his key concepts are still widely used, his oeuvre tends (...) to be overlooked. And yet, as I will argue, Bachelard’s extended series of books opens up an intriguing perspective on contemporary science. First, I will point to a remarkable duality that runs through Bachelard’s oeuvre. His philosophy of science consists of two sub-oeuvres: a psychoanalysis of technoscience, complemented by a poetics of elementary imagination. I will point out how these two branches deal with complementary themes: technoscientific artefacts and literary fictions, two realms of human experience separated by an epistemological rupture. Whereas Bachelard’s work initially entails a panegyric in praise of scientific practice, he becomes increasingly intrigued by the imaginary and its basic images, such as the Mother Earth archetype. (shrink)

Some common explanations of issue polarization and echo chambers rely on social or cognitive mechanisms of exclusion. Accordingly, suggested interventions like “be more open-minded” target these mechanisms: avoid epistemic bubbles and don’t discount contrary information. Contrary to such explanations, we show how a much weaker mechanism—the preference for belief—can produce issue polarization in epistemic communities with little to no mechanisms of exclusion. We present a network model that demonstrates how a dynamic interaction between the preference for belief and common structures (...) of epistemic communities can turn very small unequal distributions of initial beliefs into full-blown polarization. This points to a different class of explanations, one that emphasizes the importance of the initial spread of information. We also show how our model complements extant explanations by including a version of biased assimilation and motivated reasoning—cognitive mechanisms of exclusion. We find that mechanisms of exclusion can exacerbate issue polarization, but may not be the ultimate root of it. Hence, the recommended interventions suggested by extant literature is expected to be limited and the problem of issue polarization to be even more intractable. (shrink)

Artificial agents (AAs), particularly but not only those in Cyberspace, extend the class of entities that can be involved in moral situations. For they can be conceived of as moral patients (as entities that can be acted upon for good or evil) and also as moral agents (as entities that can perform actions, again for good or evil). In this paper, we clarify the concept of agent and go on to separate the concerns of morality and responsibility of agents (most (...) interestingly for us, of AAs). We conclude that there is substantial and important scope, particularly in Computer Ethics, for the concept of moral agent not necessarily exhibiting free will, mental states or responsibility. This complements the more traditional approach, common at least since Montaigne and Descartes, which considers whether or not (artificial) agents have mental states, feelings, emotions and so on. By focussing directly on mind-less morality we are able to avoid that question and also many of the concerns of Artificial Intelligence. A vital component in our approach is the Method of Abstraction for analysing the level of abstraction (LoA) at which an agent is considered to act. The LoA is determined by the way in which one chooses to describe, analyse and discuss a system and its context. The Method of Abstraction is explained in terms of an interface or set of features or observables at a given LoA. Agenthood, and in particular moral agenthood, depends on a LoA. Our guidelines for agenthood are: interactivity (response to stimulus by change of state), autonomy (ability to change state without stimulus) and adaptability (ability to change the transition rules by which state is changed) at a given LoA. Morality may be thought of as a threshold defined on the observables in the interface determining the LoA under consideration. An agent is morally good if its actions all respect that threshold; and it is morally evil if some action violates it. That view is particularly informative when the agent constitutes a software or digital system, and the observables are numerical. Finally we review the consequences for Computer Ethics of our approach. In conclusion, this approach facilitates the discussion of the morality of agents not only in Cyberspace but also in the biosphere, where animals can be considered moral agents without their having to display free will, emotions or mental states, and in social contexts, where systems like organizations can play the role of moral agents. The primary cost of this facility is the extension of the class of agents and moral agents to embrace AAs. (shrink)