Questo contributo tratta della perifrasi ‘εἶναι + participio’ in greco omerico all’interfaccia fra morfosintassi e semantica. I dati sono analizzati con riferimento al quadro teorico elaborato da Nardi e Romagno (2022), che considerano la perifrasi con εἶναι in greco antico come una categoria prototipica: secondo questa prospettiva, la categoria sovraordinata ‘εἶναι + participio’ include due manifestazioni formalmente diverse ma funzionalmente equivalenti, un costrutto con una copula espressa, cioè una perifrasi vera e propria, e un costrutto senza copula espressa, cioè un (...) participio predicativo (fondamentalmente, un participio che funziona come una forma finita). Questa indagine mira a valutare se si possano individuare fattori che determinano o soggiacciono all’uso di queste costruzioni participiali in greco omerico. L’analisi dei dati raccolti nei poemi omerici mostra che le costruzioni participiali codificano la funzione specifica di significare lo stato, inerente o acquisito, del soggetto del predicato, costituendo pertanto un’alternativa (più o meno libera) al perfetto originario (cfr. Romagno 2005). (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)

Parmi les différents types d’implicite, les implicatures portent sur le niveau du contenu, les présuppositions et les topicalisations sur le niveau de la responsabilité, en provoquant ce que Givón appelle la unchallengeability d’une information, c’est-à-dire la difficulté pour le destinataire d’y appliquer un “défi” cognitif qui puisse aboutir au doute sur sa vérité. Cette fonction des implicites se trouve de façon massive dans les textes persuasifs. L’article vise à quantifier l’implicitation du contenu et de la responsabilité dans quelques textes de (...) propagande politique et commerciale, au moyen d’un système d’indices d’implicitation assignés aux dites catégories. On propose ce procédé comme un exemple du rôle que l’analyse linguistique peut jouer pour l’amélioration des conditions de transparence et de garantie dans la pratique de la communication commerciale, et dans les processus où se forme le consentement démocratique. (shrink)

In so-called ethorobotics and robot-supported social cognitive neurosciences, robots are used as scientific tools to study animal behavior and cognition. Building on previous epistemological analyses of biorobotics, in this article it is argued that these two research fields, widely differing from one another in the kinds of robots involved and in the research questions addressed, share a common methodology, which significantly differs from the “synthetic method” that, until recently, dominated biorobotics. The methodological novelty of this strategy, the research opportunities that (...) it opens, and the theoretical and technological challenges that it gives rise to, will be discussed with reference to the peculiarities of the two research fields. Some broad methodological issues related to the generalization of results concerning robot-animal interaction to theoretical conclusions on animal-animal interaction will be identified and discussed. (shrink)

BackgroundThis study aimed at standardizing and providing preliminary evidence on the clinical usability of the Italian telephone-based Verbal Fluency Battery, which includes phonemic, semantic and alternate verbal fluency tasks.MethodsThree-hundred and thirty-five Italian healthy participants and 27 individuals with neurodegenerative or cerebrovascular diseases were administered the t-VFB. Switch number and cluster size were computed via latent semantic analyses. HPs underwent the telephone-based Mental State Examination and Backward Digit Span. Construct validity, factorial structure, internal consistency, test-retest and inter-rater reliability and equivalence with (...) the in-person Verbal Fluency tasks were assessed. Norms were derived via Equivalent Scores. Diagnostic accuracy against clinical populations was assessed.ResultsThe majority of t-VFB scores correlated among each other and with the BDS, but not with the MMSE. Switch number correlated with t-PVF, t-SVF, t-AVF scores, whilst cluster size with the t-SVF and t-AVF scores only. The t-VFB was underpinned by a mono-component structure and was internally consistent. Test-retest and inter-rater reliability were optimal. Each t-VFB test was statistically equivalent to its in-person version. Education predicted all t-VFB scores, whereas age t-SVF and t-AVF scores and sex only some t-SVF scores. Diagnostic accuracy against clinical samples was optimal.DiscussionThe t-VFB is a valid, reliable and normed telephone-based assessment tool for language and executive functioning, equivalent to the in-person version; results show promising evidence of its diagnostic accuracy in neurological populations. (shrink)

_Riassunto_: Questo contributo offre un confronto tra la scienza cognitiva enattivista e la fenomenologia classica, rivolgendo in particolare la sua attenzione su figure chiave come Husserl, Heidegger e Merleau-Ponty. Due questioni saranno al centro dell’indagine la relazione tra soggetto/corpo/mondo e il ruolo mediatore dell’azione all’interno di una concezione dinamica della cognizione. Quanto al primo punto, la prospettiva trascendentale che emerge dalla soggettività incarnata enfatizza la continuità tra azione, percezione e funzioni cognitive superiori, ponendo in questione la dicotomia mente-corpo a favore (...) di un’esperienza fenomenologica unificata e continua. Il secondo punto concerne la messa in revoca del naturalismo fisicalista e la necessità di superare le assunzioni meccanicistiche, proponendo un naturalismo debole che rimanga compatibile con una prospettiva trascendentale, tale da fondare la soggettività in un organismo biologico incarnato. Da ultimo, viene esplorata un’ontologia della natura ispirata da Merleau-Ponty, che enfatizza gli aspetti qualitativi della “carne” e supera le limitazioni proprie dell’approccio husserliano. _Parole chiave_: Cognizione incarnata; Fenomenologia; Enattivismo; Percezione; Soggettività _Transcendental phenomenology and embodied cognition. The relation between subject, body, and world in the framework of a reformed natural ontology_ _Abstract_: This contribution offers a comparison between enactivist cognitive science and classical phenomenology, with a particular focus on key figures such as Husserl, Heidegger, and Merleau-Ponty. Two central issues are explored: the relationship between subject, body, and world, and the mediating role of action within a dynamic conception of cognition. The transcendental perspective emerging from incarnate subjectivity emphasizes the continuity between action, perception, and higher cognitive functions, challenging the mind-body duality in favor of a unified and continuous phenomenological experience. The second issue addresses physicalist naturalism and the need to move beyond mechanistic assumptions, proposing a weak naturalism that remains compatible with a transcendental perspective, one that grounds subjectivity in an embodied biological organism. An ontology of nature, inspired by Merleau-Ponty, is explored, emphasizing the qualitative aspects of the “flesh” and overcoming the limitations inherent in Husserl’s approach. _Keywords_: Embodied Cognition; Phenomenology; Enactivism; Perception; Subjectivity. (shrink)

Fifty years after Wittgenstein's death, his philosophy and the arguments it embodied remain vital and applicable. _Wittgenstein's Enduring Arguments_ illustrates the use of Wittgenstein's thought for continuing philosophical debates, old and new. Featuring essays by leading international philosophers, the collection examines the key theme of representation in Wittgenstein's philosophy. Organised into three clear parts the book considers representation in cognition, in language and in what cannot be represented - the absolute. The first part applies Wittgenstein to leading questions concerning qualia, (...) the grammar of phenomenology and developmental psychology. The second part applies Wittgenstein to vexing knots in the philosophy of language like language and concept acquisition, the normativity of meaning and linguistic understanding. The final section addresses Wittgenstein's unique philosophical approach to logic, self, religion and ethics. Each specially commissioned chapter demonstrates the successful application of Wittgenstein's philosophy; collectively they express a confidence that Wittgenstein's arguments and his philosophy will endure. _Wittgenstein's Enduring Arguments_ is essential reading for those seeking to examine and assess the philosopher's lasting contribution to modern thought. (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.

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.

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)

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.

BackgroundThe aim of this study was to explore the construct validity and diagnostic properties of the Reading the Mind in the Eyes Test in non-demented patients with amyotrophic lateral sclerosis.MaterialsA total of 61 consecutive patients and 50 healthy controls were administered the 36-item RMET. Additionally, patients underwent a comprehensive assessment of social cognition via the Story-Based Empathy Task, which encompasses three subtests targeting Causal Inference, Emotion Attribution, and Intention Attribution, as well as global cognitive [the Edinburgh Cognitive and Behavioral ALS (...) Screen ] and behavioral screening [the Frontal Behavioral Inventory ; the Dimensional Apathy Scale ; the Beck Depression Inventory ; and the State and Trait Anxiety Inventory-Y]. The construct validity of the RMET was tested by regressing it within a stepwise model that encompassed as predictors the abovementioned cognitive and behavioral measures, covarying for demographic and motor confounders. Receiver-operating characteristics analyses allowed exploring intrinsic and post-test properties of the RMET both in discriminating patients from HCs and in identifying patients with a defective SET-EA performance.ResultsThe RMET was solely predicted by the SET-EA and SET-IA. RMET scores showed high accuracy both in discriminating patients from HCs and in identifying patients with a defective SET-EA score, with adequate-to-optimal both intrinsic and post-test properties.DiscussionThe RMET is a convergently and divergently valid measure of affective social cognition in non-demented ALS patients, also featuring optimal intrinsic and post-test diagnostic properties in both case-control and case-finding scenarios. (shrink)

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)

Frege and Peano started in 1896 a debate where they contrasted the respective conceptions on the theory and practice of mathematical definitions. Which was (if any) the influence of the Frege-Peano debate on the conceptions by the two authors on the theme of defining in mathematics and which was the role played by this debate in the broader context of their scientific interaction?

BackgroundThe present study aimed at assessing the diagnostic properties of the Montreal Cognitive Assessment in non-demented ALS patients and at exploring the MoCA administrability according to motor-functional status.MaterialsN = 348 patients were administered the MoCA and Edinburgh Cognitive and Behavioural ALS Screen. Administrability rates and prevalence of defective MoCA scores were compared across King’s and Milano-Torino clinical stages. Regression models were run to test whether the non-administrability of the MoCA and a defective score on it were predicted, net of the (...) ECAS-Total, by disease duration, ALS Functional Rating Scale-Revised and progression rate, computed as /disease duration. Intrinsic and post-test diagnostics were tested against a below-cut-off ECAS-total score.ResultsThe 79.9% of patients successfully underwent the MoCA, whose administrability rates decreased with advanced clinical stages, at variance with its defective score prevalence. The probability of the FAB not being administrable was predicted only by lower ALSFRS-R-bulbar and-upper-limb scores; no motor features, but the ECAS-Total, predicted a defective MoCA performance. The MoCA showed high accuracy and good intrinsic and post-test properties—being slightly more specific than sensitive.DiscussionIn non-demented ALS patients, the MoCA is featured by optimal diagnostics as a screener for cognitive impairment, especially for ruling-out its occurrence, as long as patients are in the early stages of the disease and have sufficiently spared bulbar and upper-limb functions. (shrink)

Generally speaking, political theory avoids considering the kind of damage suffered by he who lives excluded from any political community or perhaps sees such damage as a juridical and political phenomenon that is the loss of nationality. One must instead be aware that they who are compelled to live within the circumscribed space of a set of regulations, institutions and spaces that can be labelled under the umbrella term of camp are subject to a specific existential deprivation and not only (...) to a juridical damage. To justify this argumentation it is worth going back to Hannah Arendt's works where the condition of people without citizenship is understood under ontological-existential terms thus offering a wiser perspective to understand one's moral obligations towards stateless people and refugees. (shrink)

La democrazia vive dello scambio tra opinioni in un contesto di libertà e pluralismo. Quando però nel dibattito pubblico comincia a farsi strada l’idea che le opinioni possano prescindere dai più elementari dati di realtà e possano essere supportate da “verità alternative” prive di ogni riscontro fattuale, viene meno ogni denominatore comune a tutti i discorsi sociali. Come ha sottolineato Hannah Arendt, la libertà di opinione scade a mera illusione se non viene garantita l’informazione obiettiva e i fatti non sono (...) più alla base delle opinioni. Le verità fattuali rendono possibile la discussione politica proprio perché ricordano agli esseri umani che esiste un limite invalicabile alla discussione, quello costituito da evidenze che non è possibile sconfessare né respingere. Anche se le procedure della persuasione politica non si prestano ad alcuna forma di validazione cognitiva, ciò non impedisce ad Arendt di riconoscere la necessità di un orientamento “veritativo” anche rispetto a quanto accade nella vita politica. Parole chiave: Opinione, post-verità, democrazia, mondo comune, populismo. (shrink)

Citation-based metrics are increasingly used as a proxy to define representative, considerable, or significant papers. We challenge this belief by taking into account factors that may play a role in providing citations to a manuscript and whether/how those highly cited studies could shape a scientific field. A different approach to summarisation of relevant core publications within a topic is proposed.

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)

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)

Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination which characterises (...) this move. (shrink)

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)

O artigo visa mostrar como Eric Weil (1904-1977) recompreendeu a famosa tese do “fim da história”, elaborada por Alexandre Kojève (1902-1968) desde os anos de 1930, propondo uma nova versão de caráter essencialmente “kantiano pós-hegeliano”: um elemento teórico fundamental do inter histórico- filosófico weiliano, que emergiria claramente dos estudos específicos sobre Kant aos quais Weil se dedicou de modo pontual a partir da década de 1960. Veremos, portanto, como as reviravoltas “práticas” de tal recompreensão tenham de fato indicado a estrada (...) para a constituição de uma nova filosofia política, eminentemente crítica e antidogmática. (shrink)

O objetivo deste artigo é mostrar como Alexandre Kojève, através de um Hegelo-Marxismo decididamente heterodoxo, tentou tematizar uma forma de dualismo ontológico que poderia ser baseada em um materialismo ao mesmo tempo ‘dualista’ e essencialmente ‘indeterminista’. Para este fim, divido meu ensaio em três partes. Na primeira, veremos como Kojève tentou redefinir os pressupostos ‘ontológicos’ do pensamento tanto do Hegel quanto do de Marx; na segunda parte, focalizarei o projeto de Kojève de mise à jour do hegelianismo também à luz (...) das novas descobertas da física quântica; na terceira e última parte, tentarei fazer emergir, de forma crítica, alguns aspectos puramente aporéticos das teorias de Kojève. (shrink)

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)

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.

Bionic technologies connecting biological nervous systems to computer or robotic devices for therapeutic purposes have been recently claimed to provide novel experimental tools for the investigation of biological mechanisms. This claim is examined here by means of a methodological analysis of bionics-supported experimental inquiries on adaptive sensory-motor behaviours. Two broad classes of bionic systems (regarded here as hybrid simulations of the target biological system) are identified, which differ from each other according to whether a component of the biological target system (...) is replaced by an artificial component, or else a component of an artificial system is replaced by a biological component. The role of these hybrid systems in the modelling of adaptive sensory-motor biological behaviours is discussed with reference to bionics-supported experiments on the mechanisms of body stabilization in lampreys. Methodological problems emerging from these case studies often arise in computer-based and biorobotic simulations of biological behaviours too. Accordingly, the present analysis contributes to identifying a more general regulative methodological framework for the machine-based modelling of biological systems. (shrink)

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)

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)

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)

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)

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.