We respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021).

We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.

We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...) informal argument plays no rôle in Gödel’s technical results. Going deeper into the issue and investigating truth conditions of Gödelian sentences (i.e., those sentences which are provably equivalent to their own unprovability) will provide us with insights regarding the philosophical debate on the truth of Gödelian sentences of systems—a debate which goes back to Dummett (1963). (shrink)

We take an argument of Gödel's from his ground‐breaking 1931 paper, generalize it, and examine its validity. The argument in question is this: "the sentence G says about itself that it is not provable, and G is indeed not provable; therefore, G is true".

Publication date: 29 September 2016 Source: Author: Laleh Atashi This research is an ecocritical reading of Melville's "Bartleby the Scrivener." Melville's treatment of the environment is described and analyzed with regard to Augé 's theory of non-Places. The examples of non-place in Melville's Wall Street story include the compartmentalized office, the urban labyrinth, artificial and natural greeneries and oriental landscapes. The motif of compartmentalization forms the binary of insider and outsider. A close attention to the binaries in this story (...) reveal Melville's critical attitude towards urban culture that threatens the American identity and mocks the American predilection for mobility in open spaces. This story reveals the way social institutions of an urban culture can determine the tragic fate of an out of place individual. Melville, in this story, reveals the consequences of marginalizing nature and indicates his ecological concerns in mid-nineteenth century America. He mourns the fading out of biocentric view of nature and warns against the domination of the anthropocentric worldview which is brought about by modernity, enlightenment and capitalism. (shrink)

I make a point concerning the construction ‘A or B or both’ in English, to the effect that if the connective ‘or’ is understood exclusively across the board then this familiar construction cannot convey the intended inclusive sense of disjunction. If we take ‘or’ inclusively, ‘A or B or both’ has the function of emphasizing that the disjunction is inclusive; taking ‘or’ exclusively, it does nothing.

I aim at dissolving Kripke's dogmatism paradox by arguing that, with respect to any particular proposition p which is known by a subject A, it is not irrational for A to ignore all evidence against p. Along the way, I offer a definition of 'A is dogmatic with respect to p', and make a distinction between an objective and a subjective sense of 'should' in the statement 'A should ignore all the evidence against p'. For the most part, I deal (...) with Kripke's original version of the paradox, wherein the subject wishes, above all else, to avoid losing her true belief or gaining a false one; in the final section I investigate the possibility of having a paradox for a subject who values knowledge above anything else. (shrink)

Essentialism about natural kinds involves talking about kinds across possible worlds. I argue that there is a non-trivial transworld identity problem here, which cannot be (dis)solved in the same way that Kripke treats the corresponding transworld identity problem for individuals. -/- I will briefly discuss some ideas for a solution. The upshot is scepticism concerning natural-kind essentialism.

For over 14 centuries, Muslim men have misinterpreted a verse of the Quran to allow themselves to beat their wives. The Sublime Quran, the first critical English translation of the Quran by a woman, corrects this error and shows how it has created a contradiction not inherent in the Quran itself.

ABSTRACT: Appealing to the failure of counterfactual support is a standard device in refuting a Humean view on laws of nature: some true generalisations do not support relevant counterfactuals; therefore not every true general fact is a law of nature—so goes the refutation. I will argue that this strategy does not work, for our understanding of the truth-value of any counterfactual is grounded in our understanding of the lawhood of some statements related to it.

In several publications, Juliet Floyd and Hilary Putnam have argued that the so-called ‘notorious paragraph’ of the Remarks on the Foundations of Mathematics contains a valuable philosophical insight about Gödel’s informal proof of the first incompleteness theorem – in a nutshell, the idea they attribute to Wittgenstein is that if the Gödel sentence of a system is refutable, then, because of the resulting ω-inconsistency of the system, we should give up the translation of Gödel’s sentence by the English sentence “I (...) am unprovable”.I will argue against Floyd and Putnam’s use of the idea, and I will indirectly question its attribution to Wittgenstein. First, I will point out that the idea is inefficient in the context of the first incompleteness theorem because there is an explicit assumption of soundness in Gödel’s informal discussion of that theorem. Secondly, I will argue that of he who makes the observation that Floyd and Putnam think Wittgenstein has made about the first theorem, one will expect to see an analogous observation about Gödel’s second incompleteness theorem – yet we see nothing to that effect in Wittgenstein’s remarks. Incidentally, that never-made remark on the import of the second theorem is of genuine logical significance.‏. (shrink)

With the aim of providing an empiricist-friendly rational reconstruction of scientists’ modal talk, I represent and defend the following unoriginal idea of relative modalities, focused on natural ones: the assertion of physical necessity of φ can be understood as the logical provability of φ from the background theory of the context of assertion. I elaborate on my conception of the background theory, and reply to a number of objections, among which an objection concerning the failure of factivity.

Predicates involved in language and reasoning are claimed to radically differ from categories applied to objects. Human predicates are the cognitive result of a contrast between perceived objects. Object recognition alone cannot generate such operations as modification and explicit negation. The mechanism studied by Hurford constitutes at best an evolutionary prerequisite of human predication ability.

Philosophers have long debated whether, if determinism is true, we should hold people morally responsible for their actions since in a deterministic universe, people are arguably not the ultimate source of their actions nor could they have done otherwise if initial conditions and the laws of nature are held fixed. To reveal how non-philosophers ordinarily reason about the conditions for free will, we conducted a cross-cultural and cross-linguistic survey (N = 5,268) spanning twenty countries and sixteen languages. Overall, participants tended (...) to ascribe moral responsibility whether the perpetrator lacked sourcehood or alternate possibilities. However, for American, European, and Middle Eastern participants, being the ultimate source of one’s actions promoted perceptions of free will and control as well as ascriptions of blame and punishment. By contrast, being the source of one’s actions was not particularly salient to Asian participants. Finally, across cultures, participants exhibiting greater cognitive reflection were more likely to view free will as incompatible with causal determinism. We discuss these findings in light of documented cultural differences in the tendency toward dispositional versus situational attributions. (shrink)

In the remainder of this article, we will disarm an important motivation for epistemic contextualism and interest-relative invariantism. We will accomplish this by presenting a stringent test of whether there is a stakes effect on ordinary knowledge ascription. Having shown that, even on a stringent way of testing, stakes fail to impact ordinary knowledge ascription, we will conclude that we should take another look at classical invariantism. Here is how we will proceed. Section 1 lays out some limitations of previous (...) research on stakes. Section 2 presents our study and concludes that there is little evidence for a substantial stakes effect. Section 3 responds to objections. The conclusion clears the way for classical invariantism. (shrink)

Since at least Hume and Kant, philosophers working on the nature of aesthetic judgment have generally agreed that common sense does not treat aesthetic judgments in the same way as typical expressions of subjective preferences—rather, it endows them with intersubjective validity, the property of being right or wrong regardless of disagreement. Moreover, this apparent intersubjective validity has been taken to constitute one of the main explananda for philosophical accounts of aesthetic judgment. But is it really the case that most people (...) spontaneously treat aesthetic judgments as having intersubjective validity? In this paper, we report the results of a cross‐cultural study with over 2,000 respondents spanning 19 countries. Despite significant geographical variations, these results suggest that most people do not treat their own aesthetic judgments as having intersubjective validity. We conclude by discussing the implications of our findings for theories of aesthetic judgment and the purpose of aesthetics in general. (shrink)

This institutional self-study investigated the use of text-matching software to prevent plagiarism by students in a Canadian university that did not have an institutional license for TMS at the time of the study. Assignments from a graduate-level engineering course were analyzed using iThenticate®. During the initial phase of the study, similarity scores from the first student assignments were collected to determine a baseline level of textual similarity. Students were then offered an educational intervention workshop on academic integrity. Another set of (...) similarity scores from consenting participants’ second assignments were then collected, and a statistically significant assignment effect was found between the similarity scores of the two assignments. The results of this study indicate that TMS, when used in conjunction with educational interventions about academic integrity, can be useful to students and educators to prevent and identify academic misconduct. This study adds to the growing body of empirical research about academic integrity in Canadian higher education and, in particular, in engineering fields. (shrink)

This article examines whether people share the Gettier intuition (viz. that someone who has a true justified belief that p may nonetheless fail to know that p) in 24 sites, located in 23 countries (counting Hong Kong as a distinct country) and across 17 languages. We also consider the possible influence of gender and personality on this intuition with a very large sample size. Finally, we examine whether the Gettier intuition varies across people as a function of their disposition to (...) engage in “reflective” thinking. (shrink)

This article examines whether people share the Gettier intuition (viz. that someone who has a true justified belief that p may nonetheless fail to know that p) in 24 sites, located in 23 countries (counting Hong-Kong as a distinct country) and across 17 languages. We also consider the possible influence of gender and personality on this intuition with a very large sample size. Finally, we examine whether the Gettier intuition varies across people as a function of their disposition to engage (...) in “reflective” thinking. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

Is behavioral integration (i.e., which occurs when a subjects assertion that p matches her non-verbal behavior) a necessary feature of belief in folk psychology? Our data from nearly 6,000 people across twenty-six samples, spanning twenty-two countries suggests that it is not. Given the surprising cross-cultural robustness of our findings, we suggest that the types of evidence for the ascription of a belief are, at least in some circumstances, lexicographically ordered: assertions are first taken into account, and when an agent sincerely (...) asserts that p, non-linguistic behavioral evidence is disregarded. In light of this, we take ourselves to have discovered a universal principle governing the ascription of beliefs in folk psychology. (shrink)

Is behavioral integration a necessary feature of belief in folk psychology? Our data from over 5,000 people across 26 samples, spanning 22 countries suggests that it is not. Given the surprising cross-cultural robustness of our findings, we argue that the types of evidence for the ascription of a belief are, at least in some circumstances, lexicographically ordered: assertions are first taken into account, and when an agent sincerely asserts that p, nonlinguistic behavioral evidence is disregarded. In light of this, we (...) take ourselves to have discovered a universal principle governing the ascription of beliefs in folk psychology. (shrink)

Exclusivists interpret the ‘or’ of English (and other natural languages) exclusively, but may wish to introduce an inclusive sense of disjunction. A common natu.

Lajevardi and Salehi, in “There may be many arithmetical Gödel sentences”, argue against the use of the definite article in the expression “the Gödel sentence”, by claiming that any unsound theory has Gödelian sentences with different truth values. We show that their Theorems 1 and 2 are special cases (modulo Löb's theorem and the first incompleteness theorem) of general observations pertaining to fixed points of any formula, and argue that the false sentences of Lajevardi and Salehi are in (...) fact not Gödel sentences. (shrink)

Lajevardi and Salehi, in “There may be many arithmetical Gödel sentences”, argue against the use of the definite article in the expression “the Gödel sentence”, by claiming that any unsound theory has Gödelian sentences with different truth values. We show that their Theorems 1 and 2 are special cases (modulo Löb's theorem and the first incompleteness theorem) of general observations pertaining to fixed points of any formula, and argue that the false sentences of Lajevardi and Salehi are in (...) fact not Gödel sentences. (shrink)

Lajevardi and Salehi, in “There may be many arithmetical Gödel sentences”, argue against the use of the definite article in the expression “the Gödel sentence”, by claiming that any unsound theory has Gödelian sentences with different truth values. We show that their Theorems 1 and 2 are special cases (modulo Löb's theorem and the first incompleteness theorem) of general observations pertaining to fixed points of any formula, and argue that the false sentences of Lajevardi and Salehi are in (...) fact not Gödel sentences. (shrink)

This review article engages with a rich field of scholarship on logistics that has gathered momentum over the past decade, focusing on two new publications by Laleh Khalili and Martín Arboleda. It contextualizes how and why logistics is bound up with the militarization of contemporary political and social life. I argue that the later 20th century rise of logistics can be better understood as both a response to and symptom of capitalist crisis and I situate this scholarship on war (...) and logistics in relationship to Giovanni Arrighi’s account of crisis and ‘unravelling hegemony’. I also show how logistics provides essential critical and visual resources that contribute to efforts to map global capitalism and to debates on totality and class composition in contemporary critical theory. Finally, contemporary events such as the ongoing Coronavirus crisis and the reemergence of Black Lives Matter are considered in light of this analysis with reference to the centrality of logistics to racial capitalism. (shrink)