1 Context The idea for the current issue of _Philosophia Scientiæ_ emerged from discussions which took place in the Manchester Ethnomethodology Reading Group. This reading group has its origins in Wes Sharrock’s weekly discussion groups, which have taken place in Manchester (UK) since the early 1970s. As the global Covid-19 pandemic hit in early 2020, the reading group moved online, facilitated by Phil Hutchinson and Alex Holder. Being an online reading group opened up participation to people beyond Northwest UK (...) and within weeks the group became global, with the membership including participants logging on from Canada, Czech Republic, Finland, France, Germany, Greece, Hong Kong, Japan, Macau, New Zealand, Spain, Sweden, and the USA. While the name of the group might indicate an exclusive focus on ethnomethodology, following the naming conventions for academic discussion groups, the name really fails to indicate both the heterogeneity of the group’s reading materials, the interests of t... (shrink)

Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...) using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

The precarious rights of senior citizens, especially those who are highly educated and who are expected to counsel and guide the younger generations, has stimulated the creation internationally of advocacy associations and opinion leader groups. The strength of these groups, however, varies from country to country. In some countries, they are supported and are the focus of intense interest; in others, they are practically ignored. For this is reason we believe that the creation of a network of all these associations (...) is essential. The proposed network would act as a support for the already-existing policies of the United Nations’ High Commission for Human Rights, of independent experts, and of the Global Alliance for the Rights of Older People. All three have long ago recommended the creation of a recognized instrument for uniting presently scattered efforts. The proposed network, therefore, will seek to promote the international exchange of relevant expertise, and it will reinforce the commitments and actions that single countries are currently taking to meet these objectives. For example, informative public events can be organised to promote particular support initiatives and to provide an opportunity for new members of the network to be presented. The network will promote health for senior citizens, disease prevention, senior mobility, safe free time for seniors, alimentary education, protection against new risks and dangers, as well as equity in the services necessary for seniors to adopt new information and communication technologies. In the case of retired academic members, the network will promote equality with respect to continuing use of digital technologies (particularly email), continuing access to research libraries, and the guaranteed ability for seniors to fund their own research programs and to deliver free seminars. (shrink)

Despite the renewed interest in Aristotle’s Generation of Animals in recent years, the subject matter of GA V, its preferred mode(s) of explanation, and its place in the treatise as a whole remain misunderstood. Scholars focus on GA I-IV, which explain animal generation in terms of efficient-final causation, but dismiss GA V as a mere appendix, thinking it to concern (a) individual, accidental differences among animals, which are (b) purely materially necessitated, and (c) are only tangentially related to the topics (...) discussed in the earlier books. In this paper, we defend an alternative and more integrated account of GA V by closely examining Aristotle’s methodological introduction in GA V.1 778a16-b19 and his teleological explanation of the differences of teeth in GA V.8. We argue for the unity of both GA V and of GA as a whole and present a more nuanced theory of teleological explanation in Aristotle’s biology. (shrink)

Horwich donne une belle analyse de Wittgenstein (W) et est un érudit W de premier plan, mais à mon avis, ils sont tous en deçà d’une pleine appréciation, comme je l’explique longuement dans cet examen et beaucoup d’autres. Si l’on ne comprend pas W (et de préférence Searle aussi) alors je ne vois pas comment on pourrait avoir plus qu’une compréhension superficielle de la philosophie et de la pensée de l’ordre supérieur et donc de tout comportement complexe (psychologie, sociologie, anthropologie, (...) histoire, littérature, société). En un mot, W a démontré que lorsque vous avez montré comment une phrase est utilisée dans le contexte d’intérêt, il n’y a rien de plus à dire. Je vais commencer par quelques citations notables, puis donner ce que je pense sont les considérations minimales nécessaires pour comprendre Wittgenstein, la philosophie et le comportement humain. Tout d’abord, on pourrait noter que mettre "meta" en face de n’importe quel mot devrait être suspect. W a fait remarquer par exemple, que la métamathématique est mathématiques comme les autres. L’idée que nous pouvons sortir de la philosophie (c’est-à-dire la psychologie descriptive de la pensée de haut ordre) est elle-même une profonde confusion. Une autre irritation ici (et tout au long de l’écriture académique pour les 4 dernières décennies) est le sexisme linguistique inverse constant de «elle» et «la sienne» et «elle» ou «il / elle», etc, où «ils» et «leur» et «eux» ferait bien. De même, l’utilisation du mot Français «répertoire» où le «répertoire» anglais se portera plutôt bien. La lacune majeure est l’échec complet (bien que très commun) d’employer ce que je considère comme la vue extrêmement puissante et intuitive de deux systèmes de HOT et Searle cadre que j’ai décrit ci-dessus. C’est particulièrement poignant dans le chapitre sur le sens p111 et seq. (en particulier dans les notes de bas de page 2-7), où nous nageons dans l’eau très boueuse sans le cadre de l’automatisé vrai seul S1, propositionnelle dispositionnelle S2, COS etc. On peut également avoir une meilleure vue de l’intérieur et de l’extérieur en lisant par exemple, Johnston ou Budd (voir mes commentaires). Horwich fait cependant beaucoup de commentaires incisifs. J’ai particulièrement aimé son résumé de l’importation de la position anti-théorique de W sur p65. Il doit mettre davantage l’accent sur 'On Certainty', récemment l’objet de beaucoup d’efforts de Daniele Moyal- Sharrock, Coliva et d’autres et résumé dans mes récents articles. Horwich est de premier ordre et son travail vaut bien l’effort. On espère qu’il (et tout le monde) étudiera Searle et une certaine psychologie moderne ainsi que Hutto, Read, Hutchinson, Stern, Moyal-Sharrock, Stroll, Hacker et Baker, etc. pour atteindre une large vision moderne du comportement. La plupart de leurs papiers sont sur academia dot edu et philpapers dot org, mais pour PMS Hacker voir http : info dot sjc dot ox dot ac dot uk/ scr / hacker / DownloadPapers dot html. Il donne l’un des plus beaux résumés de l’endroit où une compréhension de Wittgenstein nous laisse que j’ai jamais vu. « Il ne doit y avoir aucune tentative d’expliquer notre activité linguistique/conceptuelle (PI 126) comme dans la réduction de l’arithmétique à la logique de Frege ; aucune tentative de lui donner des fondations épistémologiques (PI 124) comme dans les comptes basés sur le sens d’une connaissance a priori; aucune tentative de caractériser des formes idéalisées de celui-ci (PI 130) comme dans le sens logique; aucune tentative de réforme (PI 124, 132) comme dans la théorie de l’erreur de Mackie ou l’intuitionnisme de Dummett; aucune tentative de rationaliser (PI 133) comme dans le récit de Quine de l’existence; aucune tentative pour le rendre plus cohérent (PI 132) comme dans la réponse de Tarski aux paradoxes menteurs; et aucune tentative pour le rendre plus complet (PI 133) comme dans le règlement des questions d’identité personnelle pour des scénarios hypothétiques bizarres de « téléportation ». Enfin, permettez-moi de suggérer qu’avec la perspective que j’ai encouragée ici, W est au centre de la philosophie et de la psychologie contemporaines et n’est pas obscure, difficile ou non pertinente, mais scintillante, profonde et limpide et que de lui manquer est de manquer l’une des plus grandes aventures intellectuelles possibles. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deuxemssyst peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir «Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2019 3e ed (2019) et Suicidal Utopian Delusions in the 21st Century 4th ed (2019) et autres. (shrink)

Horwich dà una bella analisi di Wittgenstein (W) ed è uno studioso W leader, ma a mio parere, tutti non sono al di sotto di un pieno apprezzamento, come spiego a lungo in questa recensione e molti altri. Se non si capisce W (e preferibilmente anche Searle) allora non vedo come si possa avere più di una comprensione superficiale della filosofia e del pensiero di ordine superiore e quindi di tutti i comportamenti complessi (psicologia, sociologia, antropologia, storia, letteratura, società). In (...) poche parole, W ha dimostrato che quando hai dimostrato come una frase viene usata nel contesto di interesse, non c'è più nulla da dire. Inizierò con alcune citazioni degne di nota e poi darò quelle che penso siano le considerazioni minime necessarie per capire Wittgenstein, la filosofia e il comportamento umano. La prima si potrebbe notare che mettere "meta" davanti a qualsiasi parola dovrebbe essere sospetto. W ha osservato ad esempio, che la metamatematica è matematica come qualsiasi altra. L'idea che possiamo uscire dalla filosofia (cioè la psicologia descrittiva del pensiero di ordine superiore) è di per sé una profonda confusione. Un'altra irritazione qui (e per tutta la scrittura accademica negli ultimi 4 decenni) è il costante sessismo linguistico inverso di "lei" e "suo" e "lei" o "lui/ lei" ecc., dove "loro" e "loro" e "loro" farebbero bene. Allo stessomodo, l'uso della parola francese "repertorio" in cui l'inglese "repertorio" farà abbastanza bene. La carenza principale è il fallimento completo (anche se molto comune) di impiegare quello che vedo come la vista di due sistemi estremamente potente e intuitiva del quadro di HOT e Searle che ho delineato sopra. Questo è particolarmente toccante nel capitolo sul significato p111 et seq. (soprattutto nelle note a piè di pagina 2-7), dove nuotiamo in acqua molto fangosa senza la struttura di vero automatizzato solo S1, proposizionale disposizionale S2, COS ecc. Si può anche ottenere una migliore vista dell'interno e dell'esterno leggendo ad esempio, Johnston o Budd (vedi le mie recensioni). Horwich però fa molti commenti incisivi. Mi è piaciuto soprattutto il suo riassunto dell'importazione della posizione anti-teorica di W su p65. Ha bisogno di dare più enfasi a 'On Certainty', recentemente oggetto di grande sforzo di Daniele Moyal- Sharrock, Coliva e altri e riassunto nei miei recenti articoli. Horwich è di prim'ordine e il suo lavoro vale la pena. Si spera che lui (e tutti) studierà Searle e un po 'di psicologia moderna così come Hutto, Read, Hutchinson, Stern, Moyal-Sharrock, Stroll, Hacker e Baker ecc per raggiungere una vasta visione moderna del comportamento. La maggior parte dei loro documenti sono su academia dot edu e philpapers dot org etc. Egli dà uno dei più bei riassunti di dove una comprensione di Wittgenstein ci lascia che io abbia mai visto. "Non ci deve essere alcun tentativo di spiegare la nostra attività linguistico/concettuale (PI 126) come nella riduzione dell'aritmetica di Frege alla logica; nessun tentativo di dargli basi epistemologiche (PI 124) come nei resoconti basati sul significato di una conoscenza a priori; nessun tentativo di caratterizzarne le forme idealizzate (PI 130) come nelle logiche del senso; nessun tentativo di riformarlo (PI 124, 132) come nella teoria degli errori di Mackie o nell'intuizione di Dummett; nessun tentativo di snellirla (PI 133) come nel racconto dell'esistenza di Quine; nessun tentativo di renderlo più coerente (PI 132) come nella risposta di Tarski ai paradossi bugiar; e nessun tentativo di renderlo più completo (PI 133) come nel sistemare le questioni di identità personale per bizzarri scenari ipotetici di 'teletrasporto'." Infine, lasciatemi suggerire che con la prospettiva che ho incoraggiato qui, W è al centro della filosofia contemporanea e della psicologia e non è oscura, difficile o irrilevante, ma scintillante, profonda e cristallina e che permane lo è mancare una delle più grandi avventure intellettualipossibili. Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica dellafilosofia, psicologia, Mind e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'TalkingMonkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019 3rd ed (2019) e Suicidal Utopian Delusions nel 21st Century 4th ed (2019) . (shrink)

For Aristotle, a verb (ῥῆμα) is that which a) besides a proper meaning b) carry with it the notion of time; c) its parts do not significate separately and d) is a sign of something said of something else (OI ., 2, 16b6-8). This comprehensive definition distinguishes verbs from both nouns (since they do not carry the notion of time with themselves) and sentences or co-positings of words (since they have parts with independent meanings). Based on this definition, a verb (...) signifies three things: i) A main or proper meaning which is the meaning of the verb, e.g. running or sleeping; ii) time and iii) co-positing (or positing away). Although it is not asserted that one part is responsible for prossignification of time, its responsibility is given to co-positing-is. This might seem to be in contradiction with (c). However, it seems that (c) cannot include prossignifications of time and co-positing. What Aristotle means in (c) is just that parts of a verb cannot separately signify a meaning. Therefore, it is better to distinguish between signification, which is about meaning and prossignification, which is generally about anything but meaning. Hence, while the parts of the verb cannot have separate signification, they can have separate prossignification. Aristotle distinguishes between different kinds of verbs: 1) Definite verbs: those verbs that have definite nouns as their verb-name. 2) Indefinite verbs: those verbs that do not have definite nouns as their verb-name (OI., I, 3, 16b12-14; 10, 19b10-11). Aristotle’s examples of an indefinite verb are ‘is not-healthy’ and ‘is not-ill’. 3) Tenses of verbs: ‘was healthy’ and ‘will be healthy’ are tenses of the verb ‘is healthy’ because a verb indicates only the present time (OI., I, 3, 16b16-18). For Aristotle, almost all verbs either are composed of or can be analyzed to parts. An example of the former is ‘is healthy’ and of the latter is ‘runs,’ which can be analyzed to two parts: ‘is running.’ (OI., I, 10, 20a3-5; II, 12, 21b5-8). Thus, for him a verb either includes or can be analyzed to two parts: a part that includes the meaning and is, or is shown, by a name we call ‘verb-name’ (a), and a part that includes the co-positing of that meaning with the subject of the verb, which is or is shown by ‘is’, which we call ‘co-positing-is’ (d). The verb ‘runs’, for example, can be analyzed to a verb-name, ‘running’ and a co-positing-is (Note: Aristotle distinguishes between the verb ‘is’ in the sense of ‘exists’ and the co-positing ‘is’. Whereas in the former ‘is’ is a verb, having a signification of its own, which is ‘existing’, besides signifying time (OI., I, 10, 19b12-19), the ‘is’ in the latter is not a verb (Aristotle calls it ‘incidental’ is (OI., II, 11, 21a25-28) and is not sure whether to call it a verb or a noun (OI., I, 10, 19b22-24)) because it does not signify existing and, thus, need something else to be added. This something else is the meaning we are discussing. Therefore, it is only after the addition of the meaning to this ‘is’ that we have a verb. This is, I believe, the sense of the so much controversial text of OI, I, 3, 16b22-25: ‘For being and not being signify the existence of a thing not τὸ ὄν εἴπῃς αὐτὸ καθ᾿ ἑαυτὸ ψιλόν. For it does not indicate anything but prossignifies some co-positing (σύνθεσίν). Aristotle’s words at 16b24 about co-positing-is that it ‘prossignifies some co-positing’ (προσσημαίνει δὲ σύνθεσίν τινα) is an explicit evidence that she cannot be right.) and is not a concept apart from the things co-posited (συγκειμένων).’ This text, however, is so controversial. Originating from Ammonius and Boethius after him, who used the verb ‘copular’ for ‘est’ and Abelard, some commentators like Weidemann, Oehler, Francisco Ademollo take ‘is’ as having a copulative function. Allen Bāck notes that Aristotle does not separate off ‘is’ from other verbs as a mere copula but takes it ‘as the basic, paradigmatic form of the verb.’ He believes that in his interpretation of Aristotle (in: OI., 55, 19-24) Ammonius also took it as the paradigm for all verbs. Francisco Ademollo criticizes the standard view of taking ‘is’ as copula here and is inclined to take it as essential. David Ross thinks that although Aristotle is aware of the distinction between the existential and the copulative is, he has as yet no very clear idea of their relation. Although Jonathan Barnes agrees that the copula is surely present in de Interpretation, he thinks that at 16b22-25 Aristotle ought to be talking of existential εἶναι. Marie De Rijk Lambartus believes that there is no copula in Aristotle’s philosophical analysis of the elementary sentences and it is a mere corpus alienum in Aristotle’s semantics. Allan Bȃck believes that the copulative theory is not Aristotle’s and ‘may have come to dominate as a result of the neoPlatonizing interpretations of Aristotle’s works by Proclus, Ammonius and Boethius, which is the sign of the relation of running with a subject, e.g. Socrates in ‘Socrates runs’. Nonetheless, none of these parts significate separately. This is supposed to mean that a verb is a single signification. However, it is evident that each of the parts can signify if we use them in a different context as both of ‘running’ and ‘is’ in ‘runs’ or both of ‘is’ and ‘healthy’ in ‘is healthy’ can do. It might seem now that the first mentioned definition of verb might be contradictory. While Aristotle asserts that the parts of verb do not signify separately (d), he considers two other significations for a verb: the signification of time and relation. As it is obvious, both of these significations are done by one part of the verb, that is the co-positing-is. Therefore, in a verb e.g. ‘is healthy’ we have three significations: the significations of meaning, time and co-positing. Aristotle uses prossignification both for time (προσσημαῖνον χρόνον, OI., 2, 16b4) and co-positing (προσσημαίνει δἑ σύνθεσὶν τινα, OI, I, 3, 16b23-24). Since the copula part of a verb has no signification and does not form any conception, a verb is indeed its verb-name. Thus we see Aristotle saying that ‘verbs are in and by themselves names and signify something’ and like names, he adds, they arrest the hearer’s mind and fix his attention (OI., I, 3, 16b19-22). We can conclude then that verbs are names said of something else and carrying time. In other words, verbs are words that though have one single signification, as names have, they also have two other prossignifications: time and relation. (shrink)

The evolutionary advantage of psychological phenomena can be gleaned by comparing them with physical traits that have proven adaptive in other organisms. The present article provides a novel evolutionary explanation of suicide in humans by comparing it with aposematism in insects. Aposematic insects are brightly colored, making them conspicuous to predators. However, such insects are equipped with toxins that cause a noxious reaction when eaten. Thus, the death of a few insects conditions predators to avoid other insects of similar coloration. (...) Analogously, human suicides may increase the credibility of future suicide threats and attempts from others, conveying an evolutionary advantage to the phenotypic expression of suicidal behavior in low-fitness contexts. (shrink)

This essay argues that reparations for wrongs by one's ancestors can be justified. Differential benefits to those descended from victims of one's ancestors is discrimination which can be justified by one's right to be partial to one's ancestors, doing what they, with clearer thinking, would have done--namely compensating their victims. So, while there is no obligation to discriminate, one has a right to, in virtue of one's partiality towards one's ancestors.

We argue that there is a conflict among classical theism's commitments to divine simplicity, divine creative freedom, and omniscience. We start by defining key terms for the debate related to classical theism. Then we articulate a new argument, the Aloneness Argument, aiming to establish a conflict among these attributes. In broad outline, the argument proceeds as follows. Under classical theism, it's possible that God exists without anything apart from Him. Any knowledge God has in such a world would be wholly (...) intrinsic. But there are contingent truths in every world, including the world in which God exists alone. So, it's possible that God contingently has wholly intrinsic knowledge. But whatever is contingent and wholly intrinsic is an accident. So, God possibly has an accident. This is incompatible with classical theism. Finally, we consider and rebut several objections. (shrink)

James Henry Collin recently developed a new symmetry breaker favouring the ontological argument’s possibility premiss over that of the reverse ontological argument. The symmetry breaker amounts to an undercutting defeater for the reverse possibility premiss based on Kripkean cases of a posteriori necessity. I argue, however, that symmetry re-arises in two forms. First, I challenge the purported asymmetry in epistemic entitlements to the original and reverse possibility premisses. Second, relevantly similar Kripkean cases equally undercut the original possibility premiss.

Modal collapse arguments are all the rage in certain philosophical circles as of late. The arguments purport to show that classical theism entails the absurdly fatalistic conclusion that everything exists necessarily. My first aim in this paper is bold: to put an end to action-based modal collapse arguments against classical theism. To accomplish this, I first articulate the ‘Simple Modal Collapse Argument’ and then characterize and defend Tomaszewski’s criticism thereof. Second, I critically examine Mullins’ new modal collapse argument formulated in (...) response to the aforementioned criticism. I argue that Mullins’ new argument does not succeed. Third, I critically examine a powers-based modal collapse argument against classical theism that has received much less attention in the literature. Fourth, I show why God’s being purely actual, as well God’s being identical to each of God’s acts, simply cannot entail modal collapse given indeterministic causation. This, I take it, signals the death of modal collapse arguments. But not all hope is lost for proponents of modal collapse arguments—for the death is a fruitful one insofar as it paves the way for new inquiry into at least two new potential problems for classical theism. Showing this is my paper’s second aim. (shrink)

Worker well-being is a hot topic in organizations, consultancy and academia. However, too often, the buzz about worker well-being, enthusiasm for new programs to promote it and interest to research it, have not been accompanied by universal enthusiasm for scientific measurement. Aim to bridge this gap, we address three questions. To address the question ‘What is worker well-being?’, we explain that worker well-being is a multi-facetted concept and that it can be operationalized in a variety of constructs. We propose a (...) four-dimensional taxonomy of worker well-being constructs to illustrate the concept’s complexity and classify ten constructs within this taxonomy. To answer the question ‘How can worker well-being constructs be measured?’, we present two aspects of measures: measure obtrusiveness (i.e., the extent to which obtaining a measure interferes with workers’ experiences) and measure type (i.e., closed question survey, word, behavioral and physiological). We illustrate the diversity of measures across our taxonomy and uncover some hitherto under-appreciated avenues for measuring worker well-being. Finally, we address the question ‘How should a worker well-being measure be selected?’ by discussing conceptual, methodological, practical and ethical considerations when selecting a measure. We summarize these considerations in a short checklist. It is our hope that with this study researchers – working in organizations, in academia or both – will feel more competent to find effective strategies for the measurement worker well-being and eventually make policies and choices with a better understanding of what drives worker well-being. (shrink)

This paper seeks to indicate some connections between a major philosophi- cal project of the seventeenth century, the conception of a mathesis universalis, and the practice of baroque poetry. I shall argue that these connections consist in a peculiar view of language and systems of notation which was particularly common in European baroque culture and which provided the necessary conceptual background for both poetry and the mathesis universalis.

Daniel Dennett has offered a set of necessary and sufficient conditions for something's being the proper object of our moral commitment, that is, for something's being a person. Strict application of these largely pragmatic conditions, however, would result in a moral community with quite a surprising membership roster, because of both who is on it and who isn't. The problem is that "your" being a person should amount to more than a function of "my" goals and cleverness.

The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP entry on (...) Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

This paper argues that the Theaetetus establishes conditions on objects of knowledge which entail that only of Forms can there be knowledge. Plato's arguments for this are valid. The principles needed to make Plato's premises true will turn out to have deep connection with important parts of Plato's over-all theory, and to have consequences which Plato, in the middle dialogues, seems to welcome on other grounds as well.

In “The Myth of Factive Verbs” (Hazlett 2010), I had four closely related goals. The first (pp. 497-99, p. 522) was to criticize appeals to ordinary language in epistemology. The second (p. 499) was to criticize the argument that truth is a necessary condition on knowledge because “knows” is factive. The third (pp. 507-19) – which was the intended means of achieving the first two – was to defend a semantics for “knows” on which <S knows p> can be true (...) even if p isn’t true. The fourth (Ibid.) – which seemed necessary for the success of the third – was to defend a pragmatic account of the fact that utterances of <S knows p> typically imply p, on which the implication in those cases is down to conversational implicature. In this paper I’ll go after these goals again, with an emphasis on the second. Our topic will be whether the factivity of “knows” (whatever this amounts to) supports the truth condition on knowledge. A new goal will be to defend my argument against some criticisms from John Turri (2011) and Savas Tsohatzidis (forthcoming). We’ll first look at the truth condition (§1) and factive presupposition (§§2 – 3), before turning to replies to Turri and Tsohatzidis (§§4 – 7). (shrink)

The contribution of the body to cognition and control in natural and artificial agents is increasingly described as “off-loading computation from the brain to the body”, where the body is said to perform “morphological computation”. Our investigation of four characteristic cases of morphological computation in animals and robots shows that the ‘off-loading’ perspective is misleading. Actually, the contribution of body morphology to cognition and control is rarely computational, in any useful sense of the word. We thus distinguish (1) morphology that (...) facilitates control, (2) morphology that facilitates perception and the rare cases of (3) morphological computation proper, such as ‘reservoir computing.’ where the body is actually used for computation. This result contributes to the understanding of the relation between embodiment and computation: The question for robot design and cognitive science is not whether computation is offloaded to the body, but to what extent the body facilitates cognition and control – how it contributes to the overall ‘orchestration’ of intelligent behaviour. (shrink)

This paper reconstructs the function argument of Aristotle’s Eudemian Ethics 2.1. The argument seeks to define happiness through the method of division; shows that the highest good is better than all four of the goods of the soul, not only two, as commentators have thought; and unlike the Nicomachean argument, makes the highest good definitionally independent of the human function.

The potential benefits of cognitive skills in enhancing mathematics ability have been claimed by numerous researchers. Since mathematics requires a complete understanding and grasp of abstract concepts, it is essential to explore how learning with metacognitive skills affects mathematics learning. Thus, the study investigates the students' metacognitive awareness and conceptual understanding of integers. A descriptive-correlational method approach was utilized, and it was carried out on 303 seventh-grade students. The data were obtained using a metacognitive awareness inventory and achievement test on (...) integers. It was further revealed that the students have average metacognitive awareness and performed well in the fundamental operation of integers. Follow-up qualitative analysis revealed that students who were high achievers had the best understanding, average achievers had corrected or incomplete understanding, and low achievers had a functional misconception of integers. Moreover, the student's metacognitive awareness was significantly related to their conceptual understanding of integers. This indicates that student's higher-order thinking skills, such as metacognition, are essential since they are associated with building conceptual skills. Thus, teachers should encourage students' metacognitive awareness to improve students' conceptual understanding of integers. The study provides relevant information for educational managers on the potential factors to be considered in improving mathematics education practices, particularly in promoting metacognition among high school students. (shrink)

What explains change? Edward Feser argues in his ‘Aristotelian proof’ that the only adequate answer to these questions is ultimately in terms of an unchangeable, purely actual being. In this paper, I target the cogency of Feser’s reasoning to such an answer. In particular, I present novel paths of criticism—both undercutting and rebutting—against one of Feser’s central premises. I then argue that Feser’s inference that the unactualized actualizer lacks any potentialities contains a number of non-sequiturs.

José Benardete developed a famous paradox involving a beginningless set of items each member of which satisfies some predicate just in case no earlier member satisfies it. The Grim Reaper version of this paradox has recently been employed in favor of various finitist metaphysical theses, ranging from temporal finitism to causal finitism to the discrete nature of time. Here, I examine a new challenge to these finitist arguments—namely, the challenge of implying that the future cannot be endless. In particular, I (...) develop future-oriented Benardete paradoxes and examine their epistemic symmetry with past-oriented paradoxes. (shrink)

Leslie Allan demonstrates how human rights are unproblematic for utilitarian moral theory and how, upon consideration, utilitarianism turns out to be the best theory for justifying human rights. Using case studies of historical and contemporary human rights conventions and recent psychological research, he argues how our concept of human rights is founded on the satisfaction of fundamental human needs and the consequences for human happiness.

there seems to be some kind of asymmetry, at least in some cases, between moral testimony and non-moral testimony, between aesthetic testimony and non-aesthetic testimony, and between religious testimony and non-religious testimony. In these domains, at least in some cases, we object to deference, and for this reason expect people to form their beliefs on non-testimonial grounds, in a way that we do not object to deference in paradigm cases of testimonial knowledge. Our philosophical puzzle is therefore: what explains these (...) (apparent) asymmetries (or are they merely apparent)? My aim here is to criticize three accounts of these testimonial asymmetries and to suggest an alternative strategy for solving our puzzle. I’ll consider the idea that testimony cannot be a source of understanding (§2), the idea that testimony cannot be a source of acquaintance (§3), and the idea that testimonial belief is not conducive to moral virtue (§4). These accounts all explain the badness of testimonial belief, in the relevant cases, by appeal to its consequences for the believer—respectively, a lack of understanding, acquaintance, or moral virtue. I’ll conclude by suggesting a way forward (§5): we should try to understand the badness of testimonial belief, in the relevant cases, as deriving from its consequences for the believer’s society. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

Healthcare systems across the globe are struggling with increasing costs and worsening outcomes. This presents those responsible for overseeing healthcare with a challenge. Increasingly, policymakers, politicians, clinical entrepreneurs and computer and data scientists argue that a key part of the solution will be ‘Artificial Intelligence’ (AI) – particularly Machine Learning (ML). This argument stems not from the belief that all healthcare needs will soon be taken care of by “robot doctors.” Instead, it is an argument that rests on the classic (...) counterfactual definition of AI as an umbrella term for a range of techniques that can be used to make machines complete tasks in a way that would be considered intelligent were they to be completed by a human. Automation of this nature could offer great opportunities for the improvement of healthcare services and ultimately patients’ health by significantly improving human clinical capabilities in diagnosis, drug discovery, epidemiology, personalised medicine, and operational efficiency. However, if these AI solutions are to be embedded in clinical practice, then at least three issues need to be considered: the technical possibilities and limitations; the ethical, regulatory and legal framework; and the governance framework. In this article, we report on the results of a systematic analysis designed to provide a clear overview of the second of these elements: the ethical, regulatory and legal framework. We find that ethical issues arise at six levels of abstraction (individual, interpersonal, group, institutional, sectoral, and societal) and can be categorised as epistemic, normative, or overarching. We conclude by stressing how important it is that the ethical challenges raised by implementing AI in healthcare settings are tackled proactively rather than reactively and map the key considerations for policymakers to each of the ethical concerns highlighted. (shrink)

In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...) between analytic reasoning and socioemotional reasoning. We argue that organizational culture often encourages too heavy a reliance on nonemotional forms of reasoning to arrive at moral judgments. As a result, leaders run the risk of suppressing their ability to pay attention to the human side of moral dilemmas and, in doing so, dehumanize colleagues, particularly subordinates, and clients. (shrink)

In this paper, we develop an analysis of unrealistic fiction that captures the everyday sense of ‘unrealistic’. On our view, unrealistic fictions are a species of inconsistent fictions, but fictions for which such inconsistency, given the supporting role we claim played by genre, needn’t be a critical defect. We first consider and reject an analysis of unrealistic fiction as fiction that depicts or describes unlikely events; we then develop our own account and make an initial statement of it: unrealistic fictions (...) are those that invite us to believe something false. We further develop this account and restate it in terms of the notion of “import-export inconsistency.” That is, unrealistic fictions invite us to import certain propositions true in the actual world then invite us to export propositions entailing the negation of those imported. Finally, we consider whether for fiction being unrealistic is always an aesthetic flaw. (shrink)

Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...) representations, to be a token of a representational type, where the function of the type is to represent. [An earlier version of this paper was discussed in the web-conference "Interdisciplines" https://web.archive.org/web/20100221125700/http://www.interdisciplines.org/adaptation/papers/7 ]. (shrink)

This paper concerns would-be necessary connections between doxastic attitudes about the epistemic statuses of your doxastic attitudes, or ‘higher-order epistemic attitudes’, and the epistemic statuses of those doxastic attitudes. I will argue that, in some situations, it can be reasonable for a person to believe p and to suspend judgment about whether believing p is reasonable for her. This will set the stage for an account of the virtue of intellectual humility, on which humility is a matter of your higher-order (...) epistemic attitudes. Recent discussions in the epistemology of disagreement have assumed that the question of the proper response to disagreement about p concerns whether you ought to change your doxastic attitude towards p. My conclusion here suggests an alternative approach, on which the question of the proper response to disagreement about p concerns the proper doxastic attitude to adopt concerning the epistemic status of your doxastic attitude towards p.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. HIGHER-ORDER EPISTEMIC ATTITUDES AND INTELLECTUAL HUMILITYVolume 9, Issue 3Allan HazlettDOI: https://doi.org/10.1017/epi.2012.11Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

The problem of moral luck arises due to a particular tension in our thought. On the one hand, we seem readily inclined to endorse the principle that moral responsibility, that is, one’s praiseworthiness or blameworthiness, cannot be affected by luck, that is, by factors over which one lacks control. But, when we examine our actual practices, we find that our moral judgments are highly sensitive to luck. This resulting tension between principle and practice is the problem of moral luck, and (...) an attempt to solve this problem is an attempt to resolve this tension. The article first explains the traditional characterization of the problem and reviews three general strategies in responding to it. It is then argued that we should characterize the problem in a slightly broader way. This refocusing turns out to have significant methodological implications. (shrink)

Climate adaptation and resilience scholars are struggling to address distributive and procedural justice in climate resilience efforts. While the capability approach (CA) has been widely appraised as a suitable justice basis for this context, there are few detailed studies assessing this possibility. This paper addresses this gap by advancing discussions about the prospects of the CA for guiding justice work in climate resilience. With its emphasis on the final value and mutually irreducible character of the concrete beings and doings of (...) individuals, we find the CA relevant for tackling salient aspects of adaptation, such as the multi-faceted and locally specific nature of climate vulnerability. We also present and discuss a capability application that has particular relevance for including distributive and procedural justice considerations in climate resilience. On the other hand, we find that extant arguments in support of the CA neglect the limitations of the CA and some dilemmas involved in applying it, also overestimating the differences between the CA and other justice approaches, especially those based on resources and needs. These problems lead us to advise against treating the CA as a one-size-fits-all solution to the ills of climate resilience and they further raise a need for joining efforts with complementary approaches. -/- . (shrink)

This tutorial is for beginners wanting to learn the basics of propositional logic; the simplest of the formal systems of logic. Leslie Allan introduces students to the nature of arguments, validity, formal proofs, logical operators and rules of inference. With many examples, Allan shows how these concepts are employed through the application of three different methods for proving the formal validity of arguments.

In the literature on expert trust, it is often assumed that track records are the gold standard for evaluating expertise, and the difficulty of expert identification arises from either the lack of access to track records, or the inability to assess them. I show, using a computational model, that even in an idealized environment where agents have a God’s eye view on track records, they may fail to identify experts. Under plausible conditions, selecting testimony based on track records ends up (...) reducing overall accuracy, and preventing the community from identifying the real experts. (shrink)

Enric F. Gel has recently argued that classical theism enjoys a significant advantage over Graham Oppy's naturalism. According to Gel, classical theism – unlike Oppy's naturalism – satisfactorily answers two questions: first, how many first causes are there, and second, why is it that number rather than another? In this article, I reply to Gel's argument for classical theism's advantage over Oppy's naturalism. I also draw out wider implications of my investigation for the gap problem and Christian doctrine along the (...) way. (shrink)

Floridi and Taddeo propose a condition of “zero semantic commitment” for solutions to the grounding problem, and a solution to it. I argue briefly that their condition cannot be fulfilled, not even by their own solution. After a look at Luc Steels' very different competing suggestion, I suggest that we need to re-think what the problem is and what role the ‘goals’ in a system play in formulating the problem. On the basis of a proper understanding of computing, I come (...) to the conclusion that the only sensible ground-ing problem is how we can explain and re-produce the behavioral ability and function of meaning in artificial computational agents. (shrink)

The idea that appearances provide justifications for beliefs—the principle of phenomenal conservatism—is self-evidently true. In the case of cognitive penetration, however, it seems that certain irrational etiologies of a belief may influence the epistemic quality of that belief. Susanna Siegel argues that these etiologies lead to ‘epistemic downgrade.’ Instead of providing us with a decisive objection, cognitive penetration calls for us to clarify our epistemic framework by understanding the formative parts of appearances. In doing so, the two different but inseparable (...) ideas of sensation and intellection provide us with a basis of our appearances. These appearances, in turn, provide us with the objective evidence needed to test our judgements. Thus, the extra-sensory concepts of intellectual identification and the appearances they help form become an epistemic groundwork. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

When consumers choose to abstain from purchasing meat, they face some uncertainty about whether their decisions will have an impact on the number of animals raised and killed. Consequentialists have argued that this uncertainty should not dissuade consumers from a vegetarian diet because the “expected” impact, or average impact, will be predictable. Recently, however, critics have argued that the expected marginal impact of a consumer change is likely to be much smaller or more radically unpredictable than previously thought. This objection (...) to the consequentialist case for vegetarianism is known as the “causal inefficacy” (or “causal impotence”) objection. In this paper, we argue that the inefficacy objection fails. First, we summarize the contours of the objection and the standard “expected impact” response to it. Second, we examine and rebut two contemporary attempts (by Mark Budolfson and Ted Warfield) to defeat the expected impact reply through alleged demonstrations of the inefficacy of abstaining from meat consumption. Third, we argue that there are good reasons to believe that single individual consumers—not just individual consumers taken as an aggregate—really do make a positive difference when they choose to abstain from meat consumption. Our case rests on three economic observations: (i) animal producers operate in a highly competitive environment, (ii) complex supply chains efficiently communicate some information about product demand, and (iii) consumers of plant-based meat alternatives have positive consumption spillover effects on other consumers. (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

A new translation and edition of Aristotle's Protrepticus (with critical comments on the fragments) -/- Welcome -/- The Protrepticus was an early work of Aristotle, written while he was still a member of Plato's Academy, but it soon became one of the most famous works in the whole history of philosophy. Unfortunately it was not directly copied in the middle ages and so did not survive in its own manuscript tradition. But substantial fragments of it have been preserved in several (...) works by Iamblichus of Chalcis, a third century A.D. neo-Pythagorean philosopher and educator. On the basis of a close study of Iamblichus' extensive use and excerption of Aristotle's Protrepticus, it is possible to reconstruct the backbone of the lost work, and then to flesh it out with the other surviving reports about the work from antiquity (for example in Alexander of Aphrodisias and other ancient commentators on Aristotle). It is also possible to identify several papyrus fragments of the work, and many references and literary allusions in later authors, especially Cicero, whose own lost dialogue Hortensius was a defense of philosophy modeleld on Aristotle's. (shrink)

A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as m-graphs. After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the (...) approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with nondeterministic semantics, and subsume all logics endowed with an algebraic semantics. (shrink)

Most people not only think that it is possible for reasonable people to disagree, but that it is possible for people to recognize that they are parties to a reasonable disagreement. The aim of this paper is to explain how such mutually recognized reasonable disagreements are possible. I appeal to an which implies a form of relativism about reasonable belief, based on the idea that whether a belief is reasonable for a person can depend on the fact that she has (...) inherited a particular worldview from her community. (shrink)

A graph-theoretic account of fibring of logics is developed, capitalizing on the interleaving characteristics of fibring at the linguistic, semantic and proof levels. Fibring of two signatures is seen as a multi-graph (m-graph) where the nodes and the m-edges include the sorts and the constructors of the signatures at hand. Fibring of two models is a multi-graph (m-graph) where the nodes and the m-edges are the values and the operations in the models, respectively. Fibring of two deductive systems is an (...) m-graph whose nodes are language expressions and the m-edges represent the inference rules of the two original systems. The sobriety of the approach is confirmed by proving that all the fibring notions are universal constructions. This graph-theoretic view is general enough to accommodate very different fibrings of propositional based logics encompassing logics with non-deterministic semantics, logics with an algebraic semantics, logics with partial semantics and substructural logics, among others. Soundness and weak completeness are proved to be preserved under very general conditions. Strong completeness is also shown to be preserved under tighter conditions. In this setting, the collapsing problem appearing in several combinations of logic systems can be avoided. (shrink)

The political distinction between left and right remains ideologically muddled. This was not always so, but an immediate return to the pristine usage is impractical. Putting a theory of social liberty to one side, this essay defends the interpretation of left-wing as personal-choice and right-wing as property-choice. This allows an axis that is north/choice (or state-free) and south/control (or state-ruled). This Political Compass clarifies matters without being tendentious or too complicated. It shows that what is called ‘libertarianism’ is north-wing. A (...) quiz gives the reader’s Political Compass reading. (shrink)

An often-overlooked characteristic of the human mind is its propensity to wander. Despite growing interest in the science of mind-wandering, most studies operationalize mind-wandering by its task-unrelated contents. But these contents may be orthogonal to the processes that determine how thoughts unfold over time, remaining stable or wandering from one topic to another. In this chapter, we emphasize the importance of incorporating such processes into current definitions of mind-wandering, and propose that mind-wandering and other forms of spontaneous thought (such as (...) dreaming and creativity) are mental states that arise and transition relatively freely due to an absence of constraints on cognition. We review existing psychological, philosophical and neuroscientific research on spontaneous thought through the lens of this framework, and call for additional research into the dynamic properties of the mind and brain. (shrink)

In this address, Leslie Allan shares his early experiences and how they shape his humanist outlook today. He then outlines what he considers to be the three core principles underlying the humanist world view and illustrates their application with historical and contemporary examples. He concludes by drawing upon each of these principles to tease out what it means to live a good life; a life of meaning and purpose.