Robots are being extensively used for the purpose of discovering and testing empirical hypotheses about biological sensorimotor mechanisms. We examine here methodological problems that have to be addressed in order to design and perform “good” experiments with these machine models. These problems notably concern the mapping of biological mechanism descriptions into robotic mechanism descriptions; the distinction between theoretically unconstrained “implementation details” and robotic features that carry a modeling weight; the role of preliminary calibration experiments; the monitoring of experimental environments for (...) disturbing factors that affect both modeling features and theoretically unconstrained implementation details of robots. Various assumptions that are gradually introduced in the process of setting up and performing these robotic experiments become integral parts of the background hypotheses that are needed to bring experimental observations to bear on biological mechanism descriptions. (shrink)

The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...) do something similar replacing the Kripkean sets of grounded true sentences with revision-theoretic sets of stable true sentences. This can be done by defining a monotone operator through a variant of van Fraassen’s supervaluation scheme which is simply based on ω-length iterations of the Tarskian operator. Clearly, all virtues of Kripke-style theories are preserved, and we can also prove that the resulting set of “grounded” true sentences shares some nice features with the sets of stable true sentences which are provided by the usual ways of formalising revision. What is expected is that a clearer philosophical content could be associated to this way of doing revision; hopefully, a content directly linked with the insights underlying finite revision processes. (shrink)

Human attention is limited in its capacity and duration. In language, this is manifested in many ways, but more conspicuously in the strategies by which information is distributed in utterances, that is, their information structures. We contend that the pragmatic categories of Topic and Presupposition precisely meet the necessity to modulate attentional resources on sentence contents, and they do this by “directing” certain contents to automatic and others to controlled processing mechanisms. We discuss experimental findings suggesting that presupposed or topicalized (...) information correlates with automatic processing, and we suggest that this association grounded for the emergence of topic and presupposition units in human communication. We also put forth the processing automaticity induced by these units as the rationale behind their persuasiveness in some specific contexts of language use. (shrink)

Zusammenfassung Pattison behandelt in dem letzten Band seiner Philosophie des christlichen Lebens die titelgebende Frage nach einer Metaphysik der Liebe. Die Diskussion fokussiert sich auf eine Wiedergabe dreier zentraler Gedankengänge und Elemente: Zunächst auf die Rolle der Sprache mit ihren Formen als Ruf und Versprechen sowie anschließend auf das Verhältnis von Liebe und Zeit als Chronos und Kairos, in deren Verbindung Pattison seine Gedanken von einer individuellen auf eine kirchliche Ebene ausweitet. Schließlich wird nachgezeichnet, inwiefern für Pattison aus seinen dargelegten (...) Gedanken eine unumgängliche menschliche Solidarität folgt. Kritisch wird hinterfragt, wieso eine universale Liebe, wie sie Pattison vorschwebt, Selbstliebe generell ausschließt. (shrink)

The "myside bias'' in evaluating arguments is an empirically well-confirmed phenomenon that consists of overweighting arguments that endorse one's beliefs or attack alternative beliefs while underweighting arguments that attack one's beliefs or defend alternative beliefs. This paper makes two contributions: First, it proposes a probabilistic model that adequately captures three salient features of myside bias in argument evaluation. Second, it provides a Bayesian justification of this model, thus showing that myside bias has a rational Bayesian explanation under certain conditions.

Simulation studies have been carried out in robotics for a variety of epistemic and practical purposes. Here it is argued that two broad classes of simulation studies can be identified in robotics research. The first one is exemplified by the use of robotic systems to acquire knowledge on living systems in so-called biorobotics, while the second class of studies is more distinctively connected to cases in which artificial systems are used to acquire knowledge about the behaviour of autonomous mobile robots. (...) The two classes pertain to sub-areas of robotics which are apparently quite distant from one another in terms of goals, methodologies, technologies, and theoretical backgrounds. Still both are concerned with building, running, and experimenting on simulations of other systems. This paper aims to reveal and discuss some methodological commonalities between the two classes of studies. Philosophical literature on simulation methodologies has been traditionally focused on studies carried out in research fields other than robotics: this article may therefore contribute to shedding light on how the concept of simulation is used in robotics, and on the role simulation methodologies play in this research field. (shrink)

The classical theory of definitions bans so-called circular definitions, namely, definitions of a unary predicate P, based on stipulations of the form $$Px =_{\mathsf {Df}} \phi,$$where ϕ is a formula of a fixed first-order language and the definiendumP occurs into the definiensϕ. In their seminal book The Revision Theory of Truth, Gupta and Belnap claim that “General theories of definitions are possible within which circular definitions [...] make logical and semantic sense” [p. IX]. In order to sustain their claim, they (...) develop in this book one general theory of definitions based on revision sequences, namely, ordinal-length iterations of the operator which is induced by the definition of the predicate. Gupta-Belnap’s approach to circular definitions has been criticised, among others, by D. Martin and V. McGee. Their criticisms point to the logical complexity of revision sequences, to their relations with ordinary mathematical practice, and to their merits relative to alternative approaches. I will present an alternative general theory of definitions, based on a combination of supervaluation and ω-length revision, which aims to address some criticisms raised against revision sequences, while preserving the philosophical and mathematical core of revision. (shrink)

What can interactive robots offer to the study of social behaviour? Philosophical reflections about the use of robotic models in animal research have focused so far on methods involving robots which do not interact with the target system. Yet, leading researchers have claimed that interactive robots may constitute powerful experimental tools to study collective behaviour. Can they live up to these epistemic expectations? This question is addressed here by focusing on a particular experimental methodology involving interactive robots which has been (...) often adopted in animal research. This methodology is shown to differ from other robot-supported methods for the study of animal behaviour analysed in the philosophical literature, chiefly including the synthetic method. It is also discussed whether biomimicry and acceptability are necessary for an interactive robot to be sensibly used in animal research according to this method. (shrink)

The significance of consciousness in modern science is discussed by leading authorities from a variety of disciplines. Presenting a wide-ranging survey of current thinking on this important topic, the contributors address such issues as the status of different aspects of consciousness; the criteria for using the concept of consciousness and identifying instances of it; the basis of consciousness in functional brain organization; the relationship between different levels of theoretical discourse; and the functions of consciousness.

In their theoretical and experimental reflections on the capacities and behaviours of living systems, neuroscientists often formulate generalizations about the behaviour of neural circuits. These generalizations are highly idealized, as they omit reference to the myriads of conditions that could perturb the behaviour of the modelled system in real-world settings. This article analyses an experimental investigation of the behaviour of place cells in the rat hippocampus, in which highly idealized generalizations were tested by comparing predictions flowing from them with real-world (...) experimental results. The aim of the article is to identify under what conditions even single prediction failures regarding the behaviour of single cells sufficed to reject highly idealized generalizations, and under what conditions prima facie counter-examples were deemed to be irrelevant to the testing of highly idealized generalizations. The results of this analysis may contribute to understanding how idealized models are tested experimentally in neuroscience and used to make reliable predictions concerning living systems in real-world settings. (shrink)

Bionic systems, connecting biological tissues with computer or robotic devices through brain–machine interfaces, can be used in various ways to discover biological mechanisms. In this article I outline and discuss a “stimulation-connection” bionics-supported methodology for the study of the brain, and compare it with other epistemic uses of bionic systems described in the literature. This methododology differs from the “synthetic”, simulative method often followed in theoretically driven Artificial Intelligence and cognitive science, even though it involves machine models of biological systems. (...) I also bring the previous analysis to bear on some claims on the epistemic value of bionic technologies made in the recent philosophical literature. I believe that the methodological reflections proposed here may contribute to the piecewise understanding of the many ways bionic technologies can be deployed not only to restore lost sensory-motor functions, but also to discover brain mechanisms. (shrink)

This article examines Wittgenstein’s criticism of Moore’s use of “know”, as he developed it in On Certainty. Arguing against much of the literature, the author claims that, by Wittgenstein’s own lights, Moore was not talking nonsense. He does so by showing, first, that the standard reading is based on the idea that hinge propositions are non-epistemic, and second, that Wittgenstein’s alleged adoption of the non-epistemic view is not adequately supported by the textual evidence. The author argues that claims to the (...) contrary depend on an undue conflation, on the part of interpreters, of Wittgenstein’s treatment of psychological avowals in Philosophical Investigations and his discussion of hinge propositions in On Certainty. Moreover, a closer look at Wittgenstein’s objections to Moore shows that Wittgenstein himself repeatedly charged Moore with a similar confusion between the status of psychological statements and the status of his common-sense truisms. (shrink)

This book focuses on the relationship between different epistemological and theoretical advances in archaeology within different academic and philosophical traditions."--Publisher's web site.

Revision sequences were introduced in 1982 by Herzberger and Gupta as a mathematical tool in formalising their respective theories of truth. Since then, revision has developed in a method of analysis of theoretical concepts with several applications in other areas of logic and philosophy. Revision sequences are usually formalised as ordinal-length sequences of objects of some sort. A common idea of revision process is shared by all revision theories but specific proposals can differ in the so-called limit rule, namely the (...) way they handle the limit stages of the process. The limit rules proposed by Herzberger and by Belnap show different mathematical properties, called periodicity and reflexivity, respectively. In this paper we isolate a notion of cofinally dependent limit rule, encompassing both Herzberger’s and Belnap’s ones, to study periodicity and reflexivity in a common framework and to contrast them both from a philosophical and from a mathematical point of view. We establish the equivalence of weak versions of these properties with the revision-theoretic notion of recurring hypothesis and draw from this fact some observations about the problem of choosing the “right” limit rule when performing a revision-theoretic analysis. (shrink)

We examine the relationship between scientific knowledge and the legal system with a focus on the exclusion of expert testimony from trial as ruled by the Daubert standard in the US.We introduce a simple framework to understand and assess the role of judges as “gatekeepers”, monitoring the admission of science in the courtroom. We show how judges face a crucial choice, namely, whether to limit Daubert assessment to the abstract reliability of the methods used by the expert witness or also (...) to check whether the application of those methods was correct. Undesirable outcomes result from both choices, thereby giving rise to the “gatekeeper’s dilemma.” We illustrate the dilemma by analyzing in some detail two well-known cases of Daubert challenges to economic experts. Finally, we present reasons for the absence of straightforward solutions to the dilemma and for its likely endurance. (shrink)

The my-side bias is a well-documented cognitive bias in the evaluation of arguments, in which reasoners in a discussion tend to overvalue arguments that confirm their prior beliefs, while undervaluing arguments that attack their prior beliefs. The first part of this paper develops and justifies a Bayesian model of myside bias at the level of individual reasoning. In the second part, this Bayesian model is implemented in an agent-based model of group discussion among myside-biased agents. The agent-based model is then (...) used to perform a number of experiments with the objective to study whether the myside bias hinders or enhances the ability of groups to collectively track the truth, that is, to reach the correct answer to a given binary issue. An analysis of the results suggests the following: First, whether the truth-tracking ability of groups is helped or hindered by myside bias crucially depends on how the strength of myside bias is differentially distributed across subgroups of discussants holding different beliefs. Second, small groups are more likely to track the truth than larger groups, suggesting that increasing group size has a detrimental effect on collective truth-tracking through discussion. (shrink)

Revision sequences are a kind of transfinite sequences which were introduced by Herzberger and Gupta in 1982 as the main mathematical tool for developing their respective revision theories of truth. We generalise revision sequences to the notion of cofinally invariant sequences, showing that several known facts about Herzberger’s and Gupta’s theories also hold for this more abstract kind of sequences and providing new and more informative proofs of the old results.

In Hannes Leitgeb’s article What truth depends on the author provides a formally correct and materially adequate truth definition for the set of all grounded sentences, defined as the least fixed point of a monotone operator of semantic dependence. In this paper we will focus on the mathematical aspects of Leitgeb’s notions of dependence, grounding and truth, recasting Leitgeb’s construction in a functional setting in which we establish some new facts about these notions.

This paper defends the viability of de-idealization strategies in economic modeling against recent criticism. De-idealization occurs when an idealized assumption of a theoretical model is replaced with a more realistic one. Recently, some scholars have raised objections against the possibility or fruitfulness of de-idealizing economic models, suggesting that economists do not employ this kind of strategy. We present a detailed case study from the theory of industrial organization, discussing three different models, two of which can be construed as de-idealized versions (...) of the first. We conclude that recent pessimism about de-idealization in economics is largely unfounded, and that de-idealization strategies are not only possible but also widely employed in economics. (shrink)

Aristotle and Eudemus report a Speusippean argument to the effect that defining anything requires knowing everything. Scholars have failed to make sense of this argument. This paper argues that the main preoccupations to which the Puzzle is meant to respond are: (i) to ensure the co-extensiveness of the definition with the definiendum; (ii) to rule out a particular definitional mistake—underdivision. The implications of the Puzzle for Speusippus’ conception of knowledge are further explored.

We study, in an abstract and general framework, formal representations of dependence and groundedness which occur in semantic theories of truth. Our goals are: (a) to relate the different ways in which groundedness is defined according to the way dependence is represented; and (b) to represent different notions of dependence as instances of a suitable generalisation of the mathematical notion of functional dependence.

Economists are often called upon as expert witnesses by the parties involved in antitrust litigation. One challenge they may face in US federal courts is compliance with the Daubert standard of admissibility of expert testimony. The interplay between model applicability and the Daubert standard is analyzed, suggesting the importance of distinguishing between weak applicability claims, those that state that a model’s critical assumptions are shared by the target, and strong applicability claims, those that connect empirical models and quantitative market features. (...) Recent antitrust cases in which expert testimonies based on economic models have been assessed following the Daubert standard are examined using this framework. Some normative implications are drawn concerning how to improve judges’ assessment of model-based arguments. (shrink)

The advancement of computing technology makes it possible to build extremely accurate digital reconstructions of brain circuits. Are such unprecedented levels of biological accuracy essential for brain simulations to play the roles they are expected to play in neuroscientific research? The main goal of this paper is to clarify this question by distinguishing between various roles played by large-scale simulations in contemporary neuroscience, and by reflecting about what makes a simulation biologically accurate. It is argued that large-scale simulations may play (...) model-oriented and prediction-oriented roles in brain research, and that the concept of biological accuracy can be interpreted as related to the plausibility of the theoretical model implemented in the simulation system, to the accuracy of the computer implementation, and to the level of details of the implemented model. Building on these observations and distinctions, it is argued that biological accuracy is not essential for a computer simulation to play the epistemic roles it is expected to play in brain research. (shrink)

Sometimes we speak of behaviours and actions as reactions, just as we speak of physical conditions and mental states as reactions. But what do we mean when we say that emotions are reactions? I answer this question by developing an account of emotions as psychological reactions to presentations or representations of states of affairs. I show that this account may provide a novel conceptual framework for explaining aspects of the intentionality, phenomenology and behavioural manifestation of emotions. I conclude by showing (...) that this account is compatible with the view that emotions can be assessed on grounds of justification and correctness. (shrink)

This paper defends the viability of de-idealization strategies in economic modeling against recent criticism. De-idealization occurs when an idealized assumption of a theoretical model is replaced with a more realistic one. Recently, some scholars have raised objections against the possibility or fruitfulness of de-idealizing economic models, suggesting that economists do not employ this kind of strategy. We present a detailed case study from the theory of industrial organization, discussing three different models, two of which can be construed as de-idealized versions (...) of the first (the so-called Bertrand model of oligopoly). We conclude that recent pessimism about de-idealization in economics is largely unfounded, and that de-idealization strategies are not only possible but also widely employed in economics. (shrink)

Proceeding from the insights of Petrażycki, Polish-Russian legal realists distinguished legal theory, legal dogmatics, and legal policy. Legal theory describes legal phenomena in a value-free way and formulates causal laws concerning those phenomena. Legal dogmatics and legal policy are, by contrast, value-laden sciences involving the subject's—i.e., the scientist's—own attitudes toward existing or imagined phenomena: Dogmatics evaluates behaviors based on the subject's adoption of given normative sources as binding, while legal policy evaluates the effects produced by given NSs based on causal (...) laws and on the subject's goals. PRRs then conceptualize custom as a representation of people behaving in a certain way : We have a custom on the threefold condition that Rc is believed true by a given X, Rc causes the existence of a given normative psychical experience in X, and X expressly refers to—or would refer—to Rc in justifying an NPE. PRRs use the term customary law to refer to legal experiences caused and justified by an Rc. From a theoretical perspective, both the subject's adoption of custom as a binding NS and its truth are irrelevant. It is only the presence of a customary NPE in the X under study that matters. From a dogmatic perspective, by contrast, what matters is whether the dogmatician—qua subject—adopts custom as a binding NS, whether it is true that people behave in a given way bw, and whether bw resembles the behavior that is deontically qualified in the norm under dogmatic evaluation. Finally, from a legal-political viewpoint, PRRs hold that customary law in modern societies, owing to its conservative nature, should be eradicated for the goal of removing inequalities and fostering benevolence. (shrink)