I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the (...) resulting natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

A supplement to "Metaphysics and Convention in Dimensional Analysis, 1914-1917" in HOPOS. Includes a transcription of the correspondence along with an editorial introduction and expository notes.

Although the controversy between Malthus and Ricardo has long been considered to be an important source for the history of economic thought, it has hardly been the object of a careful study qua controversy, i.e. as a polemical dialogical exchange. We have undertaken to fill this gap, within the framework of a more ambitious project that places controversies at the center of an account of the history of ideas, in science and elsewhere. It is our contention that the dialogical co-text (...) is essential for reconstructing the meaning and the evolution of science. In the present paper we try to substantiate this contention by means of a pragma-rhetorical study of this particular controversy. First, we reconstruct, through an analysis of a chunk of the correspondence, a micro-level of specific moves and countermoves which constitute a sequential structure within which also meta-scientific and meta-controversial considerations play a role. We then move to a macro-level of analysis, looking for recurrent patterns of argumentation. Finally, we draw epistemological conclusions on the nature of rationality and progress as manifested in actual scientific controversies. (shrink)

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. (...) We show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

In a first investigation, a Lacan-motivated template of the Poe story is fitted to the data. A segmentation of the storyline is used in order to map out the diachrony. Based on this, it will be shown how synchronous aspects, potentially related to Lacanian registers, can be sought. This demonstrates the effectiveness of an approach based on a model template of the storyline narrative. In a second and more Comprehensive investigation, we develop an approach for revealing, that is, uncovering, Lacanian (...) register relationships. Objectives of this work include the wide and general application of our methodology. This methodology is strongly based on the “letting the data speak” Correspondence Analysis analytics Platform of Jean-Paul Benzécri, that is also the geometric data analysis, both qualitative and quantitative analytics, developed by Pierre Bourdieu. (shrink)

This research offers a concise analysis of leisure science, leisure studies, and the concept of leisure space-time. It explores the interdisciplinary nature of leisure science, drawing from psychology, sociology, and economics. The research article of corresponding report writing on desk examines leisure studies that contribute to understanding individual and societal leisure behaviors, motivations, and benefits. Additionally, it delves into the notion of leisure space-time, investigating the design and utilization of spaces for leisure activities. This research provides valuable insights into (...) the multifaceted realm of leisure, shedding light on its significance in contemporary society. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) (...) are endowed with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

We performed a qualitative analysis of the Thesaurus in order to assess its conformity with principles of good practice in terminology and ontology design. We used both the on-line browsable version of the Thesaurus and its OWL-representation (version 04.08b, released on August 2, 2004), measuring each in light of the requirements put forward in relevant ISO terminology standards and in light of ontological principles advanced in the recent literature. Version 04.08b of the NCI Thesaurus suffers from the same broad (...) range of problems that have been observed in other biomedical terminologies. For its further development, we recommend the use of a more principled approach that allows the Thesaurus to be tested not just for internal consistency but also for its degree of correspondence to that part of reality which it is designed to represent. (shrink)

In 2003, biophysicist and Nobel Laureate Maurice Wilkins published his autobiography entitled The Third Man. In the preface, he diffidently points out that the title was chosen by his publisher, as a reference to the famous 1949 movie no doubt, featuring Orson Welles in his classical role as penicillin racketeer Harry Lime. In this paper I intend to show that there is much more to this title than merely its familiar ring. If subjected to a comparative analysis, multiple correspondences (...) between movie and memoirs can be brought to the fore. Taken together, these documents shed an intriguing light on the vicissitudes of budding life sciences research during the post-war era. I will focus my comparative analysis on issues still relevant today, such as dual use, the handling of sensitive scientific information and, finally, on the interwovenness of science and warfare. Thus, I will explain how science autobiographies on the one hand and genres of the imagination on the other may deepen our comprehension of tensions and dilemmas of life sciences research then and now. For that reason, science autobiographies can provide valuable input for teaching philosophy and history of science to science students. (shrink)

In his work Why I Am Not a Christian and Other Essays on Religion and Related Subjects, Bertrand Russell attempts to demonstrate the nonexistence of God. In this work we will address the analysis of the consistency of his arguments on the existence of God and the First Cause, using the AV (Acceptability-Inferential Validity) scheme in a philosophical-argumentative study of them, to reveal their weaknesses, and we will propose a more solid type of argumentation and its corresponding counterargument.

In a recent revision (chapter 4 of Nowakowa and Nowak 2000) of an older article Leszek Nowak (1992) has attempted to rebut Niiniluoto’s 1990 critical suggestion that proponents of the Poznań idealizational approach to the sciences have committed a rather elementary logical error in the formal machinery that they advocate for use in the analysis of scientific methodology. In this paper I criticize Nowak’s responses to Niiniluoto’s suggestion, and, subsequently, work out some of the consequences of that criticism for (...) understanding the role that idealization plays in scientific methodology. (shrink)

The relation between extension and impenetrability is a major issue in the Descartes-More correspondence, which implies an analysis of the concept of extension. The mereological structure partes extra partes is a crucial element here. Both philosophers hold two opposed views of this mereological structure. I try to show that these two views can be traced back to scholastic discussions on quantity’s relation to extension. This background provides a vantage point, which enables to propose a new construal of the (...) argumentative exchange around impenetrability, and which casts some light too on our understanding of two properties – spissitude and indiscerpibility – which More attributes to spiritual extension in his later writings. (shrink)

This article is primarily concerned with the articulation of a defensible position on the relevance of phenomenological analysis with the current epistemological edifice as this latter has evolved since the rupture with the classical scientific paradigm pointing to the Newtonian-Leibnizian tradition which took place around the beginning of 20th century. My approach is generally based on the reduction of the objects-contents of natural sciences, abstracted in the form of ideal objectivities in the corresponding logical-mathematical theories, to the content of (...) meaning-acts ultimately referring to a specific being-within-the-world experience. This is a position that finds itself in line with Husserl’s gradual departure from the psychologistic interpretations of his earlier works on the philosophy of logic and mathematics and culminates in a properly meant phenomenological foundation of natural sciences in his last major published work, namely the Crisis of European Sciences and the Transcendental Phenomenology. Further this article tries to set up a context of discourse in which to found both physical and formal objects in parallel terms as essentially temporal-noematic objects to the extent that they may be considered as invariants of the constitutional modes of a temporal consciousness. (shrink)

Early in his career and in critical engagement with ordinary language philosophy, John Mackie developed the roots of a methodology that would be fundamental to his thinking: Mackie argues that we need to clearly separate the conceptual analysis which determines the meaning of an ordinary term and the factual analysis which is concerned with the question what, if anything, our language corresponds to in the world. I discuss how Mackie came to develop this distinction and how central ideas (...) of his philosophy are based on it. Using the examples of Mackie’s moral skepticism and his work on Locke’s theory of perception I show how his methodology opens the door to error theories but can also support more positive claims. Finally, I put Mackie’s methodology in a historical perspective and argue that in cases like the Gettier debate, we can use it to cast light on the vagueness of the underlying methodology in some philosophical debates. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been (...) combined with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly taken to be unambiguous. Ch. 2 is (...) a critical historical survey of deflationary theories, where notably disquotationalism is found untenable as a descriptive theory of “true”. In Ch. 3, I aim to show that deflationism cannot be finitely and non-circularly formulated by using “true”, and so must only mention it. Hence, it must be a theory specifically about the word “true” (and its foreign counterparts). To capture the ordinary notion, the theory must thus be an empirical, use-theoretic, semantic account of “true”. The task of explaining facts about truth now becomes that of showing that various sentences containing “true” are (unconditionally) assertible. In Ch. 4, I defend the claim (D) that every sentence of the form “That p is true” and the corresponding “p” are intersubstitutable (in a use-theoretic sense), and show how this claim provides a unified and simple account of a wide variety of occurrences of “true”. Disquotationalism then only has the advantage of avoiding propositions. But in Ch. 5, I note that (D) is not committed to propositions. Use-theoretic semantics is then argued to serve nominalism better than truth-theoretic ditto. In particular, it can avoid propositions while sustaining a natural syntactic treatment of “that”-clauses as singular terms and of “Everything he says is true”, as any other quantification. Finally, Horwich’s problem of deriving universal truth-claims is given a solution by recourse to an assertibilist semantics of the universal quantifier. (shrink)

The conventional implicature, arguably, refers to plenty of linguistic aspects with respect to episteme, metaphysics, as well as semantic criticism of language. Accordingly, the conventional implication consists of a sort of specific literal meanings, which slightly differ from the conversational implication. In addition to that, the particular taxonomy of slur words intends to utter a variety of dyslogistic, disparaging expressions in terms of bad or awful contents along with immoral conducts of a word. Hence, it is, apparently, debatable and doubtful (...) that to what extent slur words can convey unethical substance in a way of the conventional implicature? This contrastive article, therefore, attempts to examine credible reasons for clarifying the thesis: the awful essence of pejorative words comes with a conventional implicature. Correspondingly, I have emphasised a few substantial findings such as combinatorial externalism, prohibitionism alongside expressivism. However, notwithstanding this semantic analysis, it is restricted to investigate epistemic and metaphysical affiliations in this regard. (shrink)

The debate around the notions of a priori knowledge and a posteriori knowledge has proven crucial for the development of many fields in philosophy, such as metaphysics, epistemology, metametaphysics etc. We advocate that the recent debate on the two notions is also fruitful for man-made distributed computing systems and for the epistemic analysis thereof. Following a recently proposed modal and fallibilistic account of a priori knowledge, we elaborate the corresponding concept of a priori belief: We propose a rich taxonomy (...) of types of a priori beliefs and their role for the different agents that participate in the system engineering process, which match the existing view exceedingly well and are particularly promising for explaining and dealing with unexpected behaviors in fault-tolerant distributed systems. Developing such a philosophical foundation will provide a sound basis for eventually implementing our ideas in a suitable epistemic reasoning and analysis framework and, hence, constitutes a mandatory first step for developing methods and tools to cope with the various challenges that emerge in such systems. (shrink)

In developing a theory of truth, as the main condition of knowledge, four issues are usually examined: definition or analysis of truth, truth bearer, truth-maker, and relation (in correspondence and coherence theories). A proper theory of truth is the one that affords the explanation of the truth of all types of propositions, and, at the same time, resists the liar paradox. The aim of this inquiry is to analyze Nasīr al-Dīn al-Tūsī’s theory of truth one who is involved (...) both in the liar paradox and in the explanation of the truth of the verity propositions and propositions that are made of intelligibles that have no instance in external world. This inquiry shows, with an analytical approach mostly systematic analysis, that he regards, against the difficulty of the lair paradox, propositions that are other than what they are about as the bearers of truth. Further, it shows that he, against the other difficulty, has two attitudes: first, he desists from the correspondence theory of truth and defines it as “ascription of an ideational thing to what, with its characteristic, is proper for it”; second, he considers the agent intellect to be the truth-maker. Although he regards the correspondence relation as an intentional relation, he does not discuss it much. One explanation could be that the issue of the correspondence relation does not play a serious part in the aforementioned difficulties. (shrink)

In 1980 F. Wattenberg constructed the Dedekind completion

d of the Robinson non-archimedean field

and established basic algebraic properties of

d [6]. In 1985 H. Gonshor established further fundamental properties of

d [7].In [4] important construction of summation of countable sequence of Wattenberg numbers was proposed and corresponding basic properties of such summation were considered. In this paper the important applications of the Dedekind completion

d in transcendental number theory were considered. We dealing using set theory ZFC
(
-model of ZFC).Given (...) an class of analytic functions of one complex variable f  

z, we investigate the arithmetic nature of the values of fz at transcendental points en, n  .Main results are: (i) the both numbers e
 and e   are irrational, (ii) number ee is transcendental. Nontrivial generalization of the Lindemann- Weierstrass theorem is obtained. (shrink)

Climate negotiations under the United Nations Framework Convention on Climate Change have so far failed to achieve a robust international agreement to reduce greenhouse gas emissions. Game theory has been used to investigate possible climate negotiation solutions and strategies for accomplishing them. Negotiations have been primarily modelled as public goods games such as the Prisoner’s Dilemma, though coordination games or games of conflict have also been used. Many of these models have solutions, in the form of equilibria, corresponding to possible (...) positive outcomes—that is, agreements with the requisite emissions reduction commitments. Other work on large-scale social dilemmas suggests that it should be possible to resolve the climate problem. It therefore seems that equilibrium selection may be a barrier to successful negotiations. Here we use an N-player bargaining game in an agent-based model with learning dynamics to examine the past failures of and future prospects for a robust international climate agreement. The model suggests reasons why the desirable solutions identified in previous game-theoretic models have not yet been accomplished in practice and what mechanisms might be used to achieve these solutions. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

In Toleranz im Konflikt and in other works the German philosopher Rainer Forst presents an intricate interpretation of tolerance as a moral-political virtue. His aim is to resolve many of the well-known paradoxes by distinguishing different components of tolerance and distinguishing the reasons that we may have for objecting, accepting or rejecting certain practices and views. Good ethical reasons for objecting to certain practices and views do not morally justify their suppression by legal means and state power. In this way (...) Forst connects his inclusive analysis of tolerance, with both his account of the contexts of justification and his defense of what he calls the moral right to justification. In his critical discussion Tim Heysse sounds the political implications of this analysis of tolerance. He criticizes its exclusive focus on political and legal power and its corresponding neglect of social power. However, he also calls attention to the fact that Forst’s analysis has the merit of revealing tolerance as a potential source of political conflict in society. (shrink)

This article brings animal protection theory to bear on Temple Grandin’s work, in her capacity both as a designer of slaughter facilities and as an advocate for omnivorism. Animal protection is a better term for what is often termed animal rights, given that many of the theories grouped under the animal rights label do not extend the concept of rights to animals. I outline the nature of Grandin’s system of humane slaughter as it pertains to cattle. I then outline four (...) arguments Grandin has made defending meat-eating. On a protection-based approach, I argue, Grandin’s system of slaughter is superior to its traditional counterpart. Grandin’s success as a designer of humane slaughterhouses however is not matched by any corresponding success in offering a moral defence of meat-eating. Despite, or perhaps because of, the popularity of her work, Grandin’s arguments for continuing to eat animals are noteworthy only in how disappointing and rudimentary they are. If we can thank Grandin for making a difference in the lives of millions of farm animals, her work can also be criticized for not engaging the moral status of animals with the depth and rigor that it deserves. (shrink)

The aim of this work is to understand the retraction phenomenon in the arts and humanities domain through an analysis of the retraction notices – formal documents stating and describing the retraction of a particular publication. The retractions and the corresponding notices are identified using the data provided by Retraction Watch. Our methodology for the analysis combines a metadata analysis and a content analysis (mainly performed using a topic modeling process) of the retraction notices. Considering 343 (...) cases of retraction, we found that many retraction notices are neither identifiable nor findable. In addition, these were not always separated from the original papers, introducing ambiguity in understanding how these notices were perceived by the community (i.e., cited). Also, we noticed that there is no systematic way to write a retraction notice. Indeed, some retraction notices presented a complete discussion of the reasons for retraction, while others tended to be more direct and succinct. We have also reported many notices having similar text while addressing different retractions. We think a further study with a larger collection should be done using the same methodology to confirm and investigate our findings further. (shrink)

Recent discussions among lawyers, philosophers, policy researchers and athletes have focused on the potential threat to privacy posed by the World Anti-Doping Agency’s (WADA) whereabouts requirements. These requirements demand, among other things, that all elite athletes file their whereabouts information for the subsequent quarter on a quarterly basis and comprise data for one hour of each day when the athlete will be available and accessible for no advance notice testing at a specified location of their choosing. Failure to file one’s (...) whereabouts, or the non-availability for testing at said location on three occasions within any 18-month period constitutes an anti-doping rule violation that is equivalent to testing positive to a banned substance, and may lead to a suspension of the athlete for a time period of between one and two years. We critically explore the extent to which WADA’s whereabouts requirements are in tension with existing legislation on privacy, with respect to UK athletes, who are simultaneously protected by UK domestic and EU law. Both UK domestic and EU law are subject to the European Convention on Human Rights (ECHR) Article 8, which establishes a right to “respect for private and family life, home and correspondence”. We critically discuss the centrality of the whereabouts requirements in relation to WADA’s aims, and the adoption and implementation of its whereabouts rules. We conclude that as WADA’s whereabouts requirements appear to be in breach of an elite athlete’s rights under European workers’ rights, health & safety and data protection law they are also, therefore, in conflict with Article 8 of the ECHR and the UK Human Rights Act 1998. We call for specific amendments that cater for the exceptional case of elite sports labour if the WADA requirements are to be considered legitimate. (shrink)

Practical research, according to Aristotle, strives to actualize the Supreme Good as the ultimate end of life. The Final Good could be determined if preceded by an outline based on conceptual analysis. For this reason, Aristotle considers agathón (ἀγαθόν), as the universal concept of good, and clarifies its conceptual-categorical structure to explain how we can understand it. In virtue of the similarity between good and existences for their extension of senses (good has as many meanings as existences), Aristotle proceeds (...) to analyze good compared to existence as an absolute philosophical conception. Alongside his comparative study of good and existence, we can consider a metaphysics for good similar to the metaphysics of being and question its possibility. Corresponding to the metaphysics of existence that considers being qua being, one can imagine a metaphysics for good that investigates goodness qua goodness and explores its philosophical characteristics and theoretical attributes aimed at the question of its possibility. It appears, in the process of Aristotle’s analysis that there is a common meaning and central definite characteristic in several significations and different categories of being by reference to one starting point: the primary being or substance. From the categorical point of view, similarly, various categories are accidental qualities of the fundamental category of substance. Because of the one principle of the primary being or substance, a metaphysics for being which contemplates on being qua being would be possible. But good, on the contrary, is used homonymously in various different senses without any common meaning and with no reference to one principle. Of the categorical attitude, good is applied in any individual category independently with no connection with each other and by no reference to one main category. There is not, in fact, any category of primary good or substantial good which constitutes universal meaning and a single category as an appropriate subject matter for the intended knowledge of the metaphysics of good. Consequently, it is not possible to establish one primary philosophy for goodness qua goodness in the same way as the first philosophy of being as being. Knowledge, according to Aristotle, is composed of the eidos (form or essence) as a universal absolute subject and eidetic attitude as a necessary theoretical way of understanding. Eidetic view and eidos entity are based on the common meaning and single principle which are not found in the concept of good. Thus, the theoretical approach to good, which could not constitute the eidos of good and eidetic knowledge, leads to the Platonic Idea of good and the dialectical attitude. But Aristotle who does not follow dialectic, cannot obtain the eidetic path to goodness either, and, therefore, reconstructs good as the well-being which is the final good that humankind can obtain practically. So he goes on to outline good not as the good in itself which in essence necessitates theoretical cognition, but as a final good of human life that is a condition that entails practical realization. (shrink)

The paper has two objectives: to introduce the fundamentals of a triplet model of a concept, and to show that the main concept models may be structurally treated as its partial cases. The triplet model considers a concept as a mental representation and characterizes it from three interrelated perspectives. The first deals with objects (and their attributes of various orders) subsumed under a concept. The second focuses on representing structures that depict objects and their attributes in some intelligent system. The (...) third concentrates on the ways of establishing correspondences between objects with their attributes and appropriate representing structures. (shrink)

In this article I propose a new problem for the classical analysis of knowledge (as justified true belief) and all analyses belonging to its legacy. The gist of my argument is that truth as a condition for a belief to be knowledge is problematic insofar there is no definition of truth. From this, and other remarks relating to the possibility of defining truth (or lack thereof) and about what truth theories fit our thoughts about knowledge, I conclude that as (...) long as truth is unquestioningly taken as a condition of knowing, knowledge can never be defined in a way that could satisfy our intuitions about it. (shrink)

Through engagement with key informants and review of ethical theories applicable to refugee policy, this paper examines the ethical and policy considerations that policy-level stakeholders believe should factor into setting the refugee resettlement ceiling. We find that the ceiling traditionally has been influenced by policy goals, underlying values, and practical considerations. These factors map onto several ethical approaches to resettlement. There is significant alignment between U.S. policy interests and ethical obligations toward refugees. We argue that the refugee ceiling should be (...) restored to historical norms, and that there exists a corresponding obligation to counter negative public perceptions about refugees and the costs of resettlement. (shrink)

For two reasons, physics occupies a preeminent position among the sciences. On the one hand, due to its recognized position as a fundamental science, and on the other hand, due to the characteristic of its obvious certainty of knowledge. For both reasons it is regarded as the paradigm of scientificity par excellence. With its focus on the issue of epistemic certainty, philosophy of science follows in the footsteps of classical epistemology, and this is also the basis of its 'judicial' pretension (...) vis-à-vis physics. Whereas physics is in a strong competitive relationship to philosophy and epistemology with respect to its position as a fundamental science - even on the subject of cognition, as the pretension of 'reductionism' shows. It is the thematic focus on epistemic certainty itself, however, that becomes the root of a profound epistemological misunderstanding of physics. The reason for this is twofold: first, the idea of epistemic certainty as a criterion of 'demarcation' between physics and metaphysics obscures the view of the much deeper heuristic differences between the two kinds of knowledge. The second, related, reason is that epistemology does not ask the question of the reason for the epistemic certainty of physics; instead, it sets itself the task of 'legitimating' physical knowledge, and this, crucially, with reference to the interpretation of the process of cognition. Thus, as a matter of course, all epistemological assumptions about this process – including the common descriptive understanding of knowledge and its ontological premises – flow into the interpretation of physics as a science. Consequently, this undertaking is not only doubtful from the ground up, because it presupposes for its meaningfulness nothing less than certainty of knowledge concerning (the interpretation of) the process of knowledge, thereby relying on mere convictions; moreover, by projecting the descriptive, 'metaphysical' concept of knowledge onto physics, it leads to unsolvable epistemological problems and corresponding resignative conclusions concerning the claim of knowledge of physics. In other words, epistemology itself builds, due to its basic assumptions, a major obstacle for an adequate understanding of physics. Physics' cross-object, deconstructive approach to knowledge implies a completely different, non-descriptive understanding of its concepts, with consequences that extend far beyond itself due to its status as a basic science. (shrink)

Most of the existing studies on Bourdieu and the digital regards the social and class distinctions in the use of digital technologies, thus presupposing a certain transparency of technologies themselves. Our proposal is to refer to this attitude as “Bourdieu outside the digital.” Yet in this paper, another perspective called “Bourdieu inside the digital” is developed, which moves the focus on the effects of some emerging technologies on social distinctions and discrimination. The main hypothesis is that algorithms of machine learning (...) are producers and reproducers of habitus. Although their results present a greater granularity with respect to the standard techniques of the past, these algorithms still reduce individuals to categories, general trends, classes, and behaviors. Such a reduction has flattening effects on the individuals’ self-understanding, especially in terms of identity and interaction with the social world. This is the phenomenon described in the article as the “personalization without personality,” whose consequences are both existential and social-political. This idea will be illustrated through qualitative and comparative analysis between the correspondence analysis and the multiple correspondence analysis used by Bourdieu in his works and some of those techniques that are performed today in big data analytics. (shrink)

Robert Brandom’s normative-pragmatic theory is intended to represent the minimal set of practical abilities whose exhibition qualifies creatures as speaking a language. His model of a minimally discursive practice (MDP) is one in which participants, devoid of logical vocabulary, are only capable of making assertions and drawing inferences. This paper argues that Brandom’s purely assertional practices are not MDPs and that speech acts of asking questions (queries) must be included in any practice that counts as an MDP. The upshot of (...) the argument is support for the claim that the normative pragmatic analysis of assertions requires a corresponding analysis of queries and vice versa. (shrink)

The aim of this paper is to demonstrate the applicability of multivariate mapping techniques to the exploration of the rhetorical semiotic brand image structure of ad films. By drawing on correspondence analysis and multidimensional scaling, two techniques that are amply used in corpus linguistics and in marketing research, but also on the data reduction technique of factor analysis, it will be displayed how a set of nuclear semes and classemes or an intended semic structure that underlies ad (...) filmic discursive structures may be projected alongside rhetorical figures by its internal stakeholders (i.e., a brand management team, an account planning team or a marketing research team) with view to attaining differential brand associations. The illustration of the exploratory analytical methods takes place by recourse to a corpus of 62 ad filmic texts from 13 sub-brands of the 3 major brands in the UK cereals market and 321 ad filmic segments that resulted from the segmentation procedure. This paper seeks to contribute to advancements in the brand image and advertising rhetoric research streams by addressing distinctive modes of advertising rhetorical configuration at the level of the ad filmic text (as against print ads where the bulk of research on advertising rhetoric has concentrated), and moreover on a segment-by-segment level, rather than treating the ad film as a standalone unit of analysis, by adopting a multimodal outlook to advertising configurations that takes into account not only the verbal or the visual mode, but also interactions among modes, by adopting a product category-specific approach to advertising/brand textuality that draws on rhetorical semiotics and by employing exploratory statistical methods against the background of content analytic output. (shrink)

An analysis of the classical-quantum correspondence shows that it needs to identify a preferred class of coordinate systems, which defines a torsionless connection. One such class is that of the locally-geodesic systems, corresponding to the Levi-Civita connection. Another class, thus another connection, emerges if a preferred reference frame is available. From the classical Hamiltonian that rules geodesic motion, the correspondence yields two distinct Klein-Gordon equations and two distinct Dirac-type equations in a general metric, depending on the connection (...) used. Each of these two equations is generally-covariant, transforms the wave function as a four-vector, and differs from the Fock-Weyl gravitational Dirac equation (DFW equation). One obeys the equivalence principle in an often-accepted sense, whereas the DFW equation obeys that principle only in an extended sense. (shrink)

The research material proposes the use of decision support information-analytical technology in discharge military personnel employment, which, in contrast to the usual processing of survey results, makes it possible to obtain more information for decision-making. Adherence to such an approach in the development of public administration mechanisms increases the likelihood that in the case of their implementation in the country there will be positive changes, as they will indirectly take into account the availability of necessary resources. Information and analytical technology (...) to support decisions in the field of labor economics substantiates the development of the example of discharged military personnel social welfare. According to the content, the developed decision support information-analytical technology in the field of labor economics provides for the following components: formation of social protection mechanisms; development of a questionnaire on the use of the appropriate mechanism; statistical analysis of survey results (generation of empirical distributions of answers to questions relative frequencies; comparison of answers medians; correspondences analysis; factor analysis; analysis of hierarchies); meaningful interpretation; decision making. (shrink)

This article aims to analyze the theory of truth contained in Edmund Husserl’s Logical Investigations. In my analysis, I start from a detailed description of conditions of the possibility of truth based on Husserl’s alethiology. I show that his theory assumes correlation, the parallelism between subjective and objective conditions of the possibility of cognition as a condition of truth. Based on this, I explain Husserl’s interpretation of the correspondence definition of truth found in Logical Investigations. I also provide (...) arguments that this interpretation presupposes the ontological definition of truth and the idea of the infinite intellect as the ideal of a direct and exhaustive presentation of the object of cognition. Nonetheless, my conclusions don’t provide a complete interpretation of Husserl’s alethiology because I refrain from drawing metaphysical consequences from it. That is to say, I neither answer the question about realism/idealism in Logical Investigations nor the question of whether the idea of the infinite intellect should be understood in some metaphysical way (e.g. theistic one) or only as a regulative idea in the Kantian sense. (shrink)

Science and engineering rely on the accumulation and dissemination of knowledge to make discoveries and create new designs. Discovery-driven genome research rests on knowledge passed on via gene annotations. In response to the deluge of sequencing big data, standard annotation practice employs automated procedures that rely on majority rules. We argue this hinders progress through the generation and propagation of errors, leading investigators into blind alleys. More subtly, this inductive process discourages the discovery of novelty, which remains essential in biological (...) research and reflects the nature of biology itself. Annotation systems, rather than being repositories of facts, should be tools that support multiple modes of inference. By combining deduction, induction and abduction, investigators can generate hypotheses when accurate knowledge is extracted from model databases. A key stance is to depart from ‘the sequence tells the structure tells the function’ fallacy, placing function first. We illustrate our approach with examples of critical or unexpected pathways, using MicroScope to demonstrate how tools can be implemented following the principles we advocate. We end with a challenge to the reader. (shrink)

An analysis of the physical implications of abstractness reveals the reality of three interconnected modes of existence: abstract, virtual and concrete, corresponding in physics to information, energy and matter. This triple-aspect monism clarifies the ontological status of subatomic quantum particles. It also provides a non-spooky solution to the weirdness of quantum physics and a new outlook for the mind-body problem. The ontological implications are profound for both physics and philosophy.

The chapter discusses two points of intersection between the communication of science-based information about risk and philosophical ethics. The first is a logically unnecessary bias toward consequentialist ethics, and a corresponding tendency to overlook the significance of deontological and virtue based ways to interpret the findings of a scientific risk analysis. The second is a grammatical bias that puts scientific communicators at odds with the expectations of a non-scientific audience.

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

Despite the centrality of the idea of history to Dewey's overall philosophical outlook, his brief treatment of philosophical issues in history has never attracted much attention, partly because of the dearth of the available material. Nonetheless, as argued in this essay, what we do have provides for the outlines of a comprehensive pragmatist view of history distinguished by an emphasis on methodological pluralism and a principled opposition to thinking of historical knowledge in correspondence terms. The key conceptions of Dewey's (...) philosophy of history outlined in this paper -- i.e. historical constitution of human nature, constructivist ontology of historical events, as well as the belief that the proper form of historical judgments is underwritten by the category of continual change -- are discussed with a view to the current challenges in philosophy of history, e.g. the contest between naturalism and rationalism, objectivity and relativism, questions surrounding the function of narrative in history, and the relationship of history to the problems of identity and self-knowledge. The intended upshot of the essay is to suggest that Dewey's brief yet substantial analysis may be capable of supplying the guiding principles for articulating a viable and promising pragmatist (and naturalist) conception of historical knowledge. (shrink)

This paper examines Aristotle's discussion of the priority of actuality to potentiality in geometry at Metaphysics Θ9, 1051a21–33. Many scholars have assumed what I call the "geometrical construction" interpretation, according to which his point here concerns the relation between an inquirer's thinking and a geometrical figure. In contrast, I defend what I call the "geometrical analysis" interpretation, according to which it concerns the asymmetrical relation between geometrical propositions in which one is proved by means of the other. His argument (...) as so construed is ultimately based on the asymmetrical relation between the corresponding geometrical facts. Then I explore this ontological priority in geometry by drawing attention to a parallel passage, Posterior Analytics II.11, 94a24–35, where Aristotle explains the relation between the same geometrical propositions in connection to material causation. (shrink)

_Nicolai Hartmann and Alexius Meinong on Apriority and Causality. Notes on the Correspondence_ The article offers a critical reading of the nine letters composing the correspondence exchanged by Alexius Meinong (1853-1920) and Nicolai Hartmann (1882-1950) in 1915 and 1918-1920. The author explores the main contents of the correspondence, through a chronological-thematic analysis. The letters of 1915 are eminently dedicated to a discussion of the gnoseology-ontology relationship. Here, the author focuses (1.1) on the relationship between reality and knowledge (...) and (1.2) on that between a priori and cognitive principles. The analysis (2) of the 1918-1920 correspondence concludes the article, engaging in the theme of the law of causality. Different in the philosophical background and argumentative style, the late Meinong and the young Hartmann find a field of dialogue that appears not lacking in consequences on the philosophical evolution of the latter. (shrink)

ACTION-THEORETICALLY EXPLANATORY INTERPRETATIONS AS A MEANS OF SEMANTIC MEANING ANALYSIS The article first develops a general procedure for semantic meaning analysis in difficult cases where the meaning is very uncertain. The procedure consists of searching for one or more possible hypothetical causal explanations of the text, these explanations containing, among other things, the semantic intention of the author, his subjective reasons for this meaning and for the writing down of the text, but also the path of transmission of (...) the text from the writing down to the respective present text version. These hypothetical explanations (interpretations) are deductive-nomological or probabilistic, therefore presuppose corresponding general law hypotheses. If there is only one possible (hypothetical) explanation of the text at hand, this hypothetical explanation is also true. Very often, however, there are several possible explanations. In this case, the probabilities of these possible explanations must be determined; these probabilities then carry over to the individual hypotheses in the explanation (according to Bayes' law). This general procedure of meaning analysis is used in the second part of the article to reconstruct two famous interpretations (by Wapnewski and Hahn) of a poem by Walther von der Vogelweide ("Nemt, frowe, disen kranz"). -/- GERMAN ABSTRACT In dem Artikel wird zunächst ein allgemeines Verfahren zur semantischen Bedeutungsanalyse in schwierigen Fällen entwickelt, in denen die Bedeutung sehr unsicher ist. Das Verfahren besteht darin, daß eine oder mehrere mögliche hypothetische kausale Erklärungen des Textes gesucht werden, wobei diese Erklärungen u.a. die semantische Intention des Autors enthalten, seine subjektiven Gründe für diese Bedeutung und für die Niederschrift des Textes, aber auch den Weg der Tradierung des Textes von der Niederschrift bis zur jeweils vorliegenden Textversion. Diese hypothetischen Erklärungen (Deutungen) sind deduktiv-nomologisch oder probabilistisch, setzen deshalb entsprechende allgemeine Gesetzeshypothesen voraus. Wenn es nur eine mögliche (hypothetische) Erklärung des vorliegenden Textes gibt, ist diese hypothetische Erklärung auch wahr. Sehr häufig gibt es aber mehrere mögliche Erklärungen. In diesem Fall müssen die Wahrscheinlichkeiten dieser möglichen Erklärungen bestimmt werden; diese Wahrscheinlichkeiten übertragen sich dann auch auf die einzelnen Hypothesen in der Erklärung (nach dem Bayesschen Gesetz). Dieses allgemeine Verfahren der Bedeutungsanalyse wird im zweiten Teil des Artikels zur Rekonstruktion zweier berühmter Interpretationen (von Wapnewski und Hahn) eines Gedichts von Walther von der Vogelweide („Nemt, frowe, disen kranz“) verwendet. (shrink)

The main aim of Samuel Hartlib was to provide an advancement of learning finalized to the amelioration of the material conditions of men and the pursuit of a religious peace, i.e., the unification of the Protestants. To this aim, inspired by Comenius, he devoted his efforts or gathering knowledge by the creation of a society or office of learned men (in technical fields, philosophy, and theology), and by the establishment of a network of correspondents (the Hartlib Circle). The method of (...) discovery underlying his program of advancement of learning was inspired by Bacon’s Novum Organum and by Jacopo Aconcio’s method of analysis, while the categorization and transmission of knowledge had to be based on commonplace books and artificial languages. His plan of economic improvement, to be fulfilled mainly through the amelioration of husbandry, was motivated by the Puritan Millenarianism to which he adhered. (shrink)

The purpose of this paper is to provide a detailed technical protocol analysis of chess masters' evaluative expertise, paying particular attention to the analysis of the structure of their memory process in evaluating foreseen possibilities in games of dynamic equilibrium. The paper has two purposes. First, to publish a results chapter from my DPhil thesis (in revised journal article form) attending to the measurement of foresight in chess masters' evaluation process, testing alternative theories of cognitive expertise in the (...) domain of chess; and second to provide a subset of the technical graphical analysis that corresponds to that measurement to preserve this protocol analysis for access in the academic domain for future studies of expert memory and foresight (e.g., Ericsson & Simon, 1993). The step-by-step protocol analysis consists of: (i) an introduction to foresight cognition as hypothesis testing, (ii) a theoretical review in the domain of chess masters' expertise according to the theoretical frameworks in that field purporting hypotheses relevant to chess masters' evaluative skill processes, and (iii) summary tables and non-parametric statistical analysis corroborating chunking theory frameworks of expert cognition (e.g., DeGroot, 1965; Newell & Simon, 1972; Gobet, 1998; Gobet et al., 2004), and refuting the alternative search-evaluation models (e.g., Holding & Reynolds, 1982). Moreover, the journal article espouses the preservation of the traditional protocol analysis method core to the field of expert cognition (DeGroot, 1969; Kotov, 1971). The full protocol analysis can be found in monograph form here on my SSRN profile in ‘The role of falsification in hypothesis testing’. It takes the form of a specialist population study (e.g., detailed case study work; Luria, 1987). Thus the outline consists of a short introduction, a theoretical methodological review discussing protocol analysis methods for specialist population studies in cognition (with particular attention to the preservation of protocol analysis methods for chess studies in cognition and expert memory/ with a fresh angle on the foresight process), and the full set of protocol analyses with corresponding problem behaviour graphs. A subset of the main results has been published elsewhere (e.g., Cowley & Byrne, 2004; Cowley 2006), receiving scientific and scientific journalistic acclaim (e.g., Nature Online News 2004). (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more (...) than one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

The idea of artificial intelligence for social good is gaining traction within information societies in general and the AI community in particular. It has the potential to tackle social problems through the development of AI-based solutions. Yet, to date, there is only limited understanding of what makes AI socially good in theory, what counts as AI4SG in practice, and how to reproduce its initial successes in terms of policies. This article addresses this gap by identifying seven ethical factors that are (...) essential for future AI4SG initiatives. The analysis is supported by 27 case examples of AI4SG projects. Some of these factors are almost entirely novel to AI, while the significance of other factors is heightened by the use of AI. From each of these factors, corresponding best practices are formulated which, subject to context and balance, may serve as preliminary guidelines to ensure that well-designed AI is more likely to serve the social good. (shrink)

The vertiginous rise of right-wing populism, especially in its “nationalist, xenophobic and conservative form”, and some “racist, anti-Semitic, homophobic and sexist” drifts associated with this phenomenon – whether real or perceived as such – make the mainstream media play a double role. On the one hand, the mainstream media reflect the struggle for political hegemony between different vested interests; on the other hand, they engage in the fight against right-wing populism blasting both right-wing populist candidates and their voters or supporters. (...) Many mainstream journalists ask citizens to realize a “sanitary cordon”, a “wall” or a “republican front” to block far-right populism and preserve liberal democracy. Moreover, they urge people to be wary of all attempts to “dediabolize” or “normalize” some tokens of right-wing populism. The main idea of this article is that right-wing populism is more harmless than is generally believed and, if excessive, negative media coverage doesn’t baffle but feed it. Populism is essentially a latent side effect of liberal democracy. Populism rises and becomes obtrusive only if a significant part of society perceives a regime of illiberal majoritarianism instead of one of liberal democracy. Right-wing populists are chiefly frustrated “ci-devants” who feel dispossessed of their past, identity, properties, qualities, privileges or titles. Inasmuch as the causes of collective frustration are many and varied (e.g. the real or just perceived corruption of the elites, the “system”, the deep state, the relocation of jobs, immigration, national sovereignty, national identity, communitarianism, radical Islamism, the status of some traditional institutions, some chapters of official history, etc.), there will always be right-wing populists, whether they are self-declared or covert. By adopting David G. Hackett’s thesis that the media are “agents of hegemony”, we applied the critical analysis of discourse to a set of 346 media articles in order to reveal the discursive sources of power, domination, inequality and partiality. The articles appeared in The New York Times and Le Monde during the period 2016-2017, at the time when the presidential elections took place in the United States and France. The articles were selected according to the occurrence of the keywords “Donald Trump” – “populism” and “Marine Le Pen” – “populisme” within the titles. The analysis of these articles reveals a divisive discursive structure that correspond to a real political cleavage in society. It is true that populism presents a “Manichean outlook”, in which there are only friends and foes” and no compromise is possible. It is also true that mainstream media reinforce this Manichean perspective on society and make populists feel marginalized and politically disempowered. The mainstream media may appease right-wing populism if they treat its followers as legitimate and equal political actors. For this, they have to give up the narrative structures that underscore insurmountable divergences and irreconcilable interests. In a liberal democracy, mass media should chiefly play the role of mediator. They may not aim to defeat or re-educate certain categories of citizens just because they advocate “wrong” political solutions. (shrink)