Focusing on the history of prehistoric archaeology in the 20th century, this papers shows (1) that statistical multidimensional analyses were carried out by a new kind of actors who challenged the previous common language shared by prehistorians. This fundamental change was important, considering that (2) language is a fundamental point for the epistemology of archaeology. However, a comparison of multidimensional analyses applications over time shall make clear that (3) the differences are mostly a generational matter: the transmission processes between (...) them will be addressed. (shrink)

Methodological innovations have a special status in disciplinary histories, because they can be widely adopted and anonymised. In the 1950s, this occurred to Georges Laplace’s innovative use of 3-dimensional metric Cartesian coordinate system to record the positions of archaeological objects. This paper proposes a conceptual and social history of this process, with a focus on its spatial context, the Pyrenean region (Spain, Basque Country, and France). Main results of this research based on archives, publications, and bibliometric data, include: 1) a (...) critical discussion of the notions concerning authorship of such methodological innovations; 2) a presentation of the lesser-known aspects of Laplace’s method, showing its contribution to the abstraction and formalisation of archaeological observations and data recording; and 3) the identification of an international Pyrenean intellectual lineage of innovation regarding stratigraphy and excavation methods, from the late 19th century to the early 21th century. (shrink)

This chapter examines two ways in which liberal thinkers have appealed to claims about disagreement in order to defend a principle of free speech. One argument, from Mill, says that free speech is a necessary condition for healthy disagreement, and that healthy disagreement is conducive to human flourishing. The other argument says that in a community of people who disagree about questions of value, free speech is a necessary condition of legitimate democratic government. We argue that both of these arguments, (...) in their standard guises, are premised upon contestable views about the realpolitik of disagreement in a liberal society. (shrink)

Should the government censor dangerous anti-vaccination propoganda? Should it restrict the praise of terrorist groups, or speech intended to promote discriminatory attitudes? In other words, should the government curb the advocacy of dangerous ideas and actions (i.e. 'harmful advocacy'), or should the government take a more permissive approach? Strong free speech supporters argue that citizens should be free to engage in and to hear harmful advocacy, arguing that restrictions are deeply objectionable at best, and, at worst, wholly impermissible. To support (...) their position, strong free speech supporters have offered a wide range of arguments and ideas. One of the most interesting arguments revolves around the idea that restrictions on harmful advocacy are deeply insulting to citizens. The worry, broadly understood, is that this kind of censorship is demeaning, treats citizens as though they are stupid, or as though they are children. As such, even when censorship is effective in preventing harms to citizens, it nonetheless comes at the significant political cost of failing to properly respect the citizenry at large. By contrast, so the thought goes, an alternative political scheme that prohibits censorship, or permits it only in exceptional cases, does a better job of respecting citizens as independent, rational, morally responsible agents. This alternative political system may, sometimes, be less effective at preventing speech harms. But it is a political system where citizens can stand tall and hold their heads high. In this paper, I consider and reject three versions of the worry that censorship is insulting. §1 explores the idea that censorship is insulting qua involving a negative appraisal of the citizens being interfered with. The key idea here is that censorship involves a lack of what Stephen Darwall terms ‘appraisal respect’, insofar as the government is suggesting that citizens cannot be trusted to manage their own beliefs and intentions. Drawing on the work of Thomas Nagel, §2 explores the idea that censorship diminishes the political status of citizens. Finally, §3 explores the suggestion that censorship is incompatible with a full appreciation of the thinking nature of citizens, and thus involves a lack of what Darwall would term ‘recognition respect’. The paper argues that censorship is not necessarily premised upon an insulting view of the citizenry. On the contrary, it argues that the best kind of censorship stems from a rich appreciation of the diverse range of capabilities, needs, vulnerabilities, and responsibilities of citizens, as well as the need for co-operation between citizens if societal flourishing is going to be achieved on a large scale. Granted, such a vision places an emphasis on the imperfections and liabilities of citizens – at least when compared to the rather solitary, highly intellectual creature one sometimes finds in the philosophical literature. Still, such a vision of citizens as imperfect falls well short of being genuinely insulting. To err is human. And there’s nothing insulting about being treated like a human. (shrink)

The majority of analyses investigating the professionalisation of scientific domains tend to assume the linear and general features of this transformation. These studies focus on the shift from a non-professionalised state to a professionalised state. This dual approach, however, crucially lacks some other aspects of the process of professionalisation. This issue is discussed within the context of the growth of prehistoric archaeology in France from the 1940s, by observing scientific societies, national research organisations and their social networks. Looking at the (...) scale of Georges Laplace’s career and that of his research group, which studied the typologie analytique method, this article demonstrates the benefits of a ternary model which also encompasses the modes of refusal of professionalisation. (shrink)

Les efforts pour définir la vie se sont intensifiés ces dernières années dans les sciences biologiques. Partant d’une interrogation sur les motivations qui président à ces efforts, nous montrons que l’on doit distinguer deux projets qui s’exposent à des difficultés philosophiques très différentes : ceux présentant l’obtention d’une définition de la vie comme un moyen nécessaire pour l’enquête scientifique ; ceux qui pensent celle-ci comme une fin. Puis nous analysons les usages qui sont faits du terme « vie ». Tandis (...) que l’ensemble des analyses l’ont considéré comme un terme de classe dont les organismes seraient des instances, nous montrons qu’en pratique il existe un second usage implicite de ce terme : dans certains contextes « vie » sert à désigner un individu dont les organismes sont des parties. (shrink)

Usual narratives among prehistoric archaeologists consider typological approaches as part of a past and outdated episode in the history of research, subsequently replaced by technological, functional, chemical, and cognitive approaches. From a historical and conceptual perspective, this paper addresses several limits of these narratives, which (1) assume a linear, exclusive, and additive conception of scientific change, neglecting the persistence of typological problems; (2) reduce collective developments to personal work (e.g. the “Bordes’” and “Laplace’s” methods in France); and (3) presuppose the (...) coherence and identity of these “methods” over time. It explores the case of the “Structural and analytical typology” method, developed in France, Spain, and Italy from the 1950s to the 2000s by Georges Laplace and his collaborators for lithic implements. This paper (1) provides a detailed historical account of the evolving content of this collective endeavour over five decades; (2) it addresses the epistemological question of what makes the identity and unity of a scientific method, demonstrating that the core component of the “analytical typology” lies in its particular way to represent real-world phenomena through its notation system; and (3) it reveals how this little known but significant episode of advances in the methods and theory of archaeology, contemporary but independent of the “New Archaeology” trend in English-speaking archaeology, was instrumental in the continuation of evolutionary perspectives in France and in the development of quantitative and formal methods in archaeology in southwestern Europe, foreseeing crucial knowledge representation issues raised today by digital methods in archaeology and data curation. (shrink)

Community detection is a major issue in network analysis. This paper combines a socio-historical approach with an experimental reconstruction of programs to investigate the early automation of clique detection algorithms, which remains one of the unsolved NP-complete problems today. The research led by the archaeologist Jean-Claude Gardin from the 1950s on non-numerical information and graph analysis is retraced to demonstrate the early contributions of social sciences and humanities. The limited recognition and reception of Gardin's innovative computer application to the humanities (...) are addressed through two factors, in addition to the effects of historiography and bibliographies on the recording, discoverability, and reuse of scientific productions: (1) funding policies, evidenced by the transfer of research effort on graph applications from temporary interdisciplinary spaces to disciplinary organizations related to the then-emerging field of computer science; and (2) the erratic careers of algorithms, in which efficiency, flaws, corrections, and authors’ status, were determining factors. (shrink)

In the last decades, many changes have occurred in scientific publishing, including online publication, data repositories, file formats and standards. The role played by computers in this process rekindled the argument on forms of technical determinism. This paper addresses this old debate by exploring the case of publishing processes in prehistoric archaeology during the second part of the twentieth century, prior to the wide-scale adoption of computers. It investigates the case of a collective and international attempt to standardize the typological (...) analysis of prehistoric lithic objects, coined typologie analytique by Georges Laplace and developed by a group of French, Italian, and Spanish researchers. The aim of this paper is to: 1) present a general bibliometric scenario of prehistoric archaeology publishing in continental Europe; 2) report on the little-known typologie analytique method in archaeology, using publications, archives, and interviews; 3) show how the publication of scientific production was shaped by social (editorial policies, support networks) and material (typography features and publication formats) constraints; and 4) highlight how actors founded resources to control and counterbalance these effects, namely by changing and improving publishing formats. (shrink)

1. Une dispute épistémologique 1.1 Quatre itinéraires à proximité puis à distance des structuralismes 1.2 Un différend sur les « usages réglés du rationalisme » en sciences de l’homme 2. Les mots et les descriptions en sciences de l’homme 2.1 Une commune limitation du déterminisme linguistique 2.2 Un problème philosophique implicite : descriptions définies et noms propres 2.3 L’usage des descriptions définies en sciences de l’homme 2.4 Les (semi-)noms propres des sciences historiques 2.5 Le degré de généralité des concepts employés (...) et ses conséquences sur les raisonnements 3. La spécificité des raisonnements en sciences de l’homme 3.1 Quelle logique pour raisonner sur les phénomènes humains ? 3.2 Les usages d’une référence commune : la logique naturelle 3.3 Propositions et énoncés : divergences sur l’analyse des raisonnements 4. Le juste degré de formalisation du langage et des raisonnements 4.1 La formalisation des descriptions 4.2 Les modèles et la formalisation des raisonnements 4.3 Des formalisations qui s’ignorent 5. Le caractère historique des sciences de l’homme 5.1 Formaliser implique-t-il de dé-historiciser ? 5.2 Les mécanismes du changement scientifique 5.3 Pragmatique de l’intervention théorique. (shrink)

The issue of the definition and position of archaeology as a discipline is examined in relation to the dispute which took place from 1980 to 2009 between the archaeologist Jean-Claude Gardin and the sociologist Jean-Claude Passeron. This case study enables us to explore the actual conceptual relationships between archaeology and the other sciences (as opposed to those wished for or prescribed). The contrasts between the positions declared by the two researchers and the rooting of their arguments in their disciplines are (...) examined: where the sociologist makes use of his philosophical training, the archaeologist relies mainly on his work on semiology and informatics. Archaeology ultimately plays a minor role in the arguments proposed. This dispute therefore cannot be considered as evidence for the movement of concepts between archaeology and the social sciences. A blind spot in the debate, relating to the ontological specificities of archaeological objects, nevertheless presents itself as a possible way of implementing this movement. (shrink)

In Philosophical Investigations 193–94, Wittgenstein draws a notorious analogy between the working of a machine and the application of a rule. According to the view of rule-following that Wittgenstein is criticizing, the future applications of a rule are completely determined by the rule itself, as the movements of the machine components are completely determined by the machine configuration. On what conception of the machine is such an analogy based? In this paper, I intend to show that Wittgenstein relied on quite (...) a specific scientific tradition very active at the beginning of the twentieth century: the kinematic or the general science of machines. To explain the fundamental tenets of this line of research and its links with Wittgenstein, I focus on Franz Reuleaux, whose works were known to Wittgenstein. The first payoff of this investigation is to help distance the functionalist framework from which this passage is often read: Wittgenstein’s machines are not computers. The second payoff is to explain why Wittgenstein talks about machines at this place in his discussion on rule-following: it is not the machine model in itself that is criticized in PI 193–94, but the “philosophical” temptation to generalize from it. (shrink)

James Levine has recently argued that there is a tension between Russell’s Moorean semantical framework and Russell’s Peano-inspired analytical practice. According to Levine, this discrepancy runs deep in Russell’s thought from 1900 to 1918, and underlies many of the doctrinal changes occurring during this period. In this paper, I suggest that, contrary to what Levine claims, there is no incompatibility between Moore’s theory of meaning and the idea of informative conceptual analysis. I show this by relating Moore’s view of meaning (...) to his Sidgwick-inspired criticism of the so-called naturalistic fallacy. I maintain that Moore’s semantical framework has a methodological intent: following Sidgwick, Moore wants to block any attempt to justify ethical principles through setting ad hoc conditions on the meaning of the terms involved. Thus, far from grounding philosophical knowledge on subjective intuitions, as Levine suggests, Moore’s framework would provide us with the means to make room for a discursive and dialectic conception of philosophical inquiry. (shrink)

The relationship between archaeology and other sciences has only recently become a research topic for sociologists and historians of science. From the 1950s to the present day, different approaches have been taken and the aims of research studies have changed considerably. Besides methodological textbooks, which aim at advancing archaeological knowledge, historians of archaeology have tackled this question by exploring the development of archaeology as a scientific discipline. More recently, collaborations between archaeologists and other scientists have been examined as a general (...) phenomenon regarding transfers of knowledge and power relationships between specialists, organizations, and scientific tools, where archaeology is considered as a scientific practice. Adopting a sociohistorical perspective, this entry examines the specificity of aims, facts, and procedures shared by archaeologists and other scientists regarding the crucial question of measuring time and computations. (shrink)

Human agents happen to judge that a conjunction of two terms is more probable than one of the terms, in contradiction with the rules of classical probabilities—this is the conjunction fallacy. One of the most discussed accounts of this fallacy is currently the quantum-like explanation, which relies on models exploiting the mathematics of quantum mechanics. The aim of this paper is to investigate the empirical adequacy of major quantum-like models which represent beliefs with quantum states. We first argue that they (...) can be tested in three different ways, in a question order effect configuration which is different from the traditional conjunction fallacy experiment. We then carry out our proposed experiment, with varied methodologies from experimental economics. The experimental results we get are at odds with the predictions of the quantum-like models. This strongly suggests that this quantum-like account of the conjunction fallacy fails. Future possible research paths are discussed. (shrink)

The success of the mission of the school based largely on teachers, it is important to understand exactly how they see their role in the actualization of this mission. So this article initiates a reflection on how secondary school teachers in Quebec think their educational mission. More specifically, we analyze how the educational mission takes shape in their professional practice. La réussite de la mission de l’école reposant en grande partie sur les enseignants, il importe de cerner avec précision comment (...) ces derniers conçoivent leur rôle dans l’actualisation de cette mission. Ainsi cet article amorce une réflexion sur la manière dont les enseignants du secondaire au Québec, pensent leur mission éducative. Plus particulièrement, nous analysons ici comment cette mission éducative prend forme dans leur pratique professionnelle. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

In the literature seeking to explain concepts in terms of their point, talk of ‘the point’ of concepts remains under-theorised. I propose a typology of points which distinguishes practical, evaluative, animating, and inferential points. This allows us to resolve tensions such as that between the ambition of explanations in terms of the points of concepts to be informative and the claim that mastering concepts requires grasping their point; and it allows us to exploit connections between types of (...) points to understand why they come apart, and whether they do so for problematic ideological reasons or for benignly functional reasons. (shrink)

I have two objectives in this article. The first is methodological: I elaborate a minimal phenomenological method and attempt to show its importance in studies of infant behavior. The second objective is substantive: Applying the minimal phenomenological approach, combined with Meltzoff’s “like-me” developmental framework, I propose the hypothesis that infants learn the pointing gesture at least in part through imitation. I explain how developments in sensorimotor ability (posture, arm and hand control and coordination, and locomotion) in the first year of (...) life prepare the infant for acquiring the pointing gesture. The former may directly enable the latter by allowing the infant to experience its own body as being “like those” of others, thus allowing it to imitatively appropriate a broader range of adult behavior. My proposal emphasizes the embodiment of mind in the development of cognition, contrary to latent dualistic tendencies in some developmental literature. (shrink)

An intuitive and widely accepted view is that (a) beliefs aim at truth, (b) many citizens have stable and meaningful political beliefs, and (c) citizens choose to support political candidates or parties on the basis of their political beliefs. We argue that all three claims are false. First, we argue that political beliefs often differ from ordinary world-modelling beliefs because they do not aim at truth. Second, we draw on empirical evidence from political science and psychology to argue that most (...) people lack stable and meaningful political beliefs. Third, we claim that the true psychological basis for voting behavior is not an individual’s political beliefs but rather group identity. Along the way, we reflect on what this means for normative democratic theory. (shrink)

Loyalty is considered central to people’s moral life, yet little is known about how people think about what it means to be loyal. We used a prototype approach to understand how loyalty is represented in Colombia and the United States and how these representations mediate attributions of loyalty and moral judgments of loyalty violations. Across 7 studies (N = 1,984), we found cross-cultural similarities in the associative meaning of loyalty (Study 1) but found differences in the centrality of features associated (...) with loyalty (Study 2) and the latent structure of loyalty representations (Study 3). Colombians represent loyalty in terms of more general moral characteristics, while US participants represent loyalty in terms of interpersonal commitment, both in contrast with current approaches to loyalty. By comparing representations of loyalty and honesty, we establish that difference in loyalty conceptualizations reflect a different way of thinking about loyalty rather than morality more generally (Study 4). Further, Colombians attributed greater loyalty to individuals with general moral characteristics compared to participants from the United States sample (Study 5) and were more likely to classify non-loyal values as loyalty-related (Study 6). While the centrality of prototypical features predicts categorizing norm violations as loyalty-related, differences in prototypical structure account for differences in the severity of moral judgment for such violations (Study 7), which suggests that loyalty representations have similar functions even though these representations differ in structural characteristics. (shrink)

In this paper I introduce Horwich’s deflationary theory of truth, called ‘Minimalism’, and I present his proposal of how to cope with the Liar Paradox. The proposal proceeds by restricting the T-schema and, as a consequence of that, it needs a constructive specification of which instances of the T-schema are to be excluded from Minimalism. Horwich has presented, in an informal way, one construction that specifies the Minimalist theory. The main aim of the paper is to present and scrutinize some (...) formal versions of Horwich’s construction. (shrink)

Recent work in philosophy and cognitive science shows that knowledge is the norm of our social practice of assertion, in the sense that an assertion should express knowledge. But why should an assertion express knowledge? I hypothesize that an assertion should express knowledge because the point of assertion is to transmit knowledge. I present evidence supporting this hypothesis.

The definition of a point in geometry is primordial in order to understand the different elements of this branch of mathematics ( line, surface, solids…). This paper aims at shedding fresh light on the concept to demonstrate that it is related to another one named, here, the Primary Geometric Object; both concepts concur to understand the multiplicity of geometries and to provide hints as concerns a new understanding of some concepts in physics such as time, energy, mass….

We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

The definition of a point in geometry is primordial in order to understand the different elements of this branch of mathematics ( line, surface, solids…). This paper aims at shedding fresh light on the concept to demonstrate that it is related to another one named, here, the Primary Geometric Object; both concepts concur to understand the multiplicity of geometries and to provide hints as concerns a new understanding of some concepts in physics such as time, energy, mass….

I argue that knowing and having points of view are fundamentally different epistemic states if we assume that having justified true beliefs is necessary for knowledge. Knowers necessarily possess justified true beliefs, but persons holding points of view may, for example, lack justification, have false beliefs, or both. I examine these differences and expose other crucial differentiating patterns between the structure of knowledge and points of view that make the latter more likely to lead to disagreements. I hypothesize that these (...) patterns remain invariant in alternative views of knowledge like contextualism as long as we preserve the classical structure. Yet there is much research to be done on the multiple and contrasting properties that emerge if we consider non‐classical analyses of knowledge and points of view. (shrink)

I seek to advance enquiry into the point of a public higher education institution by drawing on ideals salient in the sub-Saharan African philosophical tradition. There are relational, and specifically communal, values prominently held by African thinkers that I use to ground a promising rival to the dominant contemporary Western, and especially Anglo-American, accounts of what a university ultimately ought to strive to achieve, which focus mainly on autonomy, truth, and citizenship. My aims are not merely comparative, contrasting an (...) Afro-communal approach with other ones that have been more globally influential, but also substantive. Although the theory of a university’s point that I articulate and defend has an African pedigree, I work to show that it should be taken seriously by a global audience, for plausibly capturing a variety of intuitions and claims that are widely shared. (shrink)

Numerous evolutionary linguists have indicated that human pointing behaviour might be associated with the evolution of language. At an ontogenetic level, and in normal individuals, pointing develops spontaneously and the onset of human pointing precedes as well as facilitates phases in speech and language development. Phylogenetically, pointing behaviour might have preceded and facilitated the evolutionary origin of both gestural and vocal language. Contrary to wild non-human primates, captive and human-reared nonhuman primates also demonstrate pointing behaviour. In this article, we analyse (...) the debates on pointing and its role it might have played in language evolution from a meta-level. From within an Applied Evolutionary Epistemological approach, we examine how exactly we can determine whether pointing has been a unit, a level or a mechanism in language evolution. (shrink)

The normative mechanics of promising seem complex. The strength and content of promissory obligations, and the residual duties they entail upon being violated, have various prima facie surprising features. We give an account to explain these features. Promises have a point. The point of a promise to φ is a promise-independent reason to φ for the promisee’s sake. A promise turns this reason into a duty. This explains the mechanics of promises. And it grounds a nuanced picture of (...) immoral promises, an argument against promissory bare wrongings, and a constraint on theories of why we have promissory obligations at all. (shrink)

I argue that it’s quite comprehensible to get upset about metaethical nihilism, to indulge what I call nihilistic despair. When we lose the objective moral or normative point of view, we lose the promise of luck-immune guidance and categorical importance, things many of us hope for. This is all quite Williams-friendly, but I reject his puzzling but suggestive remarks that nihilistic despair must be a self-pitying muddle. Finally, I argue that internalism about reasons is even more depressing than outright (...) nihilism, in one way at least. (shrink)

Cuneo and Shafer-Landau (2014) argued that there are moral conceptual truths that are substantive in content, what they called ‘moral fixed points’. I argue that insofar as we have some reason to postulate moral fixed points, we have equal reason to postulate epistemic fixed points (e.g. the factivity condition). To this effect, I show that the two basic reasons Cuneo and Shafer-Landau (2014) offer in support of moral fixed points naturally carry over to epistemic fixed points. In particular, epistemic fixed (...) points exhibit the four ‘marks’ of conceptual truths that they identify and can be utilized to address important challenges to epistemic realism. I conclude that insofar as we have some reason to postulate moral fixed points, we have equal reason to postulate epistemic fixed points. -/- . (shrink)

I examine what the point of self-ownership might best be thought to be.

The goal of this paper consists of developing a new (more physical and numerical in comparison with standard and non-standard analysis approaches) point of view on Calculus with functions assuming infinite and infinitesimal values. It uses recently introduced infinite and infinitesimal numbers being in accordance with the principle ‘The part is less than the whole’ observed in the physical world around us. These numbers have a strong practical advantage with respect to traditional approaches: they are representable at a new (...) kind of a computer – the Infinity Computer – able to work numerically with all of them. An introduction to the theory of physical and mathematical continuity and differentiation (including subdifferentials) for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains is developed in the paper. This theory allows one to work with derivatives that can assume not only finite but infinite and infinitesimal values, as well. It is emphasized that the newly introduced notion of the physical continuity allows one to see the same mathematical object as a continuous or a discrete one, in dependence on the wish of the researcher, i.e., as it happens in the physical world where the same object can be viewed as a continuous or a discrete in dependence on the instrument of the observation used by the researcher. Connections between pure mathematical concepts and their computational realizations are continuously emphasized through the text. Numerous examples are given. (shrink)

We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.

The current standard interpretation of Moore’s proof assumes Moore offers a solution to Kant’s famously posed problem of an external world, which Moore quotes at the start of his 1939 lecture “Proof of an External World.” As a solution to Kant’s problem, Moore’s proof fails utterly. Similarly, a second received interpretation imputes an aim of refuting metaphysical idealism that Moore’s proof does not at all achieve. This study departs from the received interpretations to credit Moore’s stated aim for the proof (...) Moore performed in his 1939 lecture that is to impose a counter-example to an explicitly stated presupposition of Kant’s famously posed problem of an external world. The outcome would therefore subvert Kant’s problem. There is not, however, any rival external world problem that Moore commends in place of Kant’s problem. (shrink)

This paper investigates the prospects for a semantic theory that treats disjunction as a modal operator. Potential motivation for such a theory comes from the way in which modals embed within disjunctions. After reviewing some of the relevant data, I go on to distinguish a variety of modal theories of disjunction. I analyze these theories by considering pairs of conflicting desiderata, highlighting some of the tradeoffs they must face.

The current standard interpretation of Moore’s proof assumes he offers a solution to Kant’s famously posed problem of an external world, which Moore quotes at the start of his 1939 lecture “Proof of an External World.” As a solution to Kant’s problem, Moore’s proof would fail utterly. A second received interpretation imputes an aim of refuting metaphysical idealism that Moore’s proof does not at all achieve. This study departs from received interpretations to credit the aim Moore announced for the proof (...) Moore performed in his 1939 lecture. Moore’s aim was to impose a counter-example to a stated presupposition of Kant’s problem of an external world. Moore’s lecture nevertheless neither endorses a replacement for Kant’s problem nor acknowledges that an immediate implication of achieving his announced aim would subvert Kant’s famously posed problem of an external world. (shrink)

What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors Proposal extends (...) the LRQ to characterize approaches with sequences of questions and factors. I highlight the importance that ordering one’s investigation plays in approaches at the level of adaptationism by analyzing two research programs in community ecology: competitionists and neutralists. Competitionists and neutralists take opposed starting points and use explanatory and developmental heuristics to consider more factors in due time. On the Ordered Factors Proposal, these approaches are not only the ecological factors they are open to considering but also the order in which they will consider them. My disagreement with Lloyd’s over how to characterize methodological approaches reflects different views about methodological monism and pluralism. (shrink)

Artwork of astounding genius requires a spectator (and not just anyone will do!). The materialist magic worked by an artistic genius only affects others; each genius is impervious to their own magic. Diderot's thought is wonderful and really deserves wider attention (if any thought really does deserve attention ...): a masterpiece is incomplete without one who can appreciate it. -/- This is a talk presented (a few years ago) to an audience of nearly none at a conference. I only post (...) it in case there is anyone out there who enjoys Diderot, art, French, hardcore materialism and magic. (shrink)

I defend a novel pragmatist account of truth that I call ‘truth from the agent point of view’ or ‘agential truth’, drawing on insights from Hilary Putnam. According to the agential view, as inquirers, when we take something to be truth-apt, we are taking ourselves and all other thinkers to be accountable to getting right a shared target that is independent of any individual's or community's view of that target. That we have this relationship to truth is what enables (...) our practices of disagreement and agreement, even when subject to the glare of self-conscious reflection, and represents a crucial ingredient in our capacity for rational thought. The resulting account shares elements with Huw Price's and Cheryl Misak's views, but also has important advantages over both. It also yields a surprising conclusion—that our best pragmatist account of truth may well be a version of the correspondence theory of truth. (shrink)

As Christian List (2021) has recently argued, the increasing arrival of powerful AI systems that operate autonomously in high-stakes contexts creates a need for “future-proofing” our regulatory frameworks, i.e., for reassessing them in the face of these developments. One core part of our regulatory frameworks that dominates our everyday moral interactions is blame. Therefore, “future-proofing” our extant regulatory frameworks in the face of the increasing arrival of powerful AI systems requires, among others things, that we ask whether it makes sense (...) to extend our blaming practices to these systems. In the paper, we argue for the admittedly surprising thesis that this question should be answered in the affirmative: contrary to what one might initially think, it can make a lot of sense to blame AI systems, since, as we furthermore argue, many of the important functions that are fulfilled by blaming humans can also be served by blaming AI systems. The paper concludes that this result gives us a good pro tanto reason to extend our blame practices to AI systems. (shrink)

I offer a novel two-stage reconstruction of Hume’s general-point-of-view account, modeled in part on his qualified-judges account in ‘Of the Standard of Taste.’ In particular, I argue that the general point of view needs to be jointly constructed by spectators who have sympathized with (at least some of) the agents in (at least some of) the actor’s circles of influence. The upshot of the account is two-fold. First, Hume’s later thought developed in such a way that it can (...) rectify the problems inherent in his Treatise account of the general point of view. Second, the proposed account provides the grounds for an adequate and well-motivated modest ideal observer theory of the standard of virtue. (shrink)

While it is known that Euclid’s five axioms include a proposition that a line consists at least of two points, modern geometry avoid consistently any discussion on the precise definition of point, line, etc. It is our aim to clarify one of notorious question in Euclidean geometry: how many points are there in a line segment? – from discrete-cellular space (DCS) viewpoint. In retrospect, it may offer an alternative of quantum gravity, i.e. by exploring discrete gravitational theories. To elucidate (...) our propositions, in the last section we will discuss some implications of discrete cellular-space model in several areas of interest: (a) cell biology, (b) cellular computing, (c) Maxwell equations, (d) low energy fusion, and (e) cosmology modelling. (shrink)

What is human understanding and why should we care about it? I propose a method of philosophical investigation called ‘function-first epistemology’ and use this method to investigate the nature and value of understanding-why. I argue that the concept of understanding-why serves the practical function of identifying good explainers, which is an important role in the general economy of our concepts. This hypothesis sheds light on a variety of issues in the epistemology of understanding including the role of explanation, the relationship (...) between understanding-why and knowledge, and the value of understanding-why. I conclude that understanding-why is valuable and yet knowledge plays more important roles in our epistemic life. (shrink)

A “conceptual spaces” approach is used to formalize Aristotle’s main intuitions about time and change, and other ideas about temporal points of view. That approach has been used in earlier studies about points of view. Properties of entities are represented by locations in multidimensional conceptual spaces; and concepts of entities are identified with subsets or regions of conceptual spaces. The dimensions of the spaces, called “determinables”, are qualities in a very general sense. A temporal element is introduced by adding a (...) time variable to state functions that map entities into conceptual spaces. That way, states may have some permanency or stability around time instances. Following Aristotle’s intuitions, changes and events will not be necessarily instant phenomena, instead they could be processual and interval dependent. Change is defined relatively to the interval during which the change is taking place. Time intervals themselves are taken to represent points of view. To have a point of view is to look at the world as it is in the selected interval. Many important concepts are relativized to intervals, for instance change, events, identity, ontology, potentiality, etc. The definition of points of view as intervals allows to compare points of view in relation to all these concepts. The conceptual space approach has an immediate semantic and structural character, but it is tempting to develop also logics to describe them. A formal language is introduced to show how this could be done. (shrink)