In 1936, Gerhard Gentzen published a proof of consistency for Peano Arithmetic using transfinite induction up to ε0, which was considered a finitistically acceptable procedure by both Gentzen and Paul Bernays. Gentzen’s method of arithmetising ordinals and thus avoiding the Platonistic metaphysics of set theory traces back to the 1920s, when Bernays and David Hilbert used the method for an attempted proof of the Continuum Hypothesis. The idea that recursion on higher types could be used to simulate the limit-building in (...) transfinite recursion seems to originate from Bernays. The main difficulty, which was already discovered in Gabriel Sudan’s nearly forgotten paper of 1927, was that measuring transfinite ordinals requires stronger methods than representing them. This paper presents a historical account of the idea of nominalistic ordinals in the context of the Hilbert Programme as well as Gentzen and Bernays’ finitary interpretation of transfinite induction. (shrink)

This volume analyses the religious, philosophical and folkloristic content of Ibn Waḥshiyya's (d. 931) Nabatean Agriculture, a book containing rich information on Late Antique paganism in Iraq. The book also contains 61 translated excerpts from the Nabatean Agriculture.

This book publishes for the first time notes from two notebooks of Gödel which formed the basis of a course on intuitionism Gödel delivered at Princeton in the.

The privilege against self-incrimination entails that anyone accused of a criminal offence has the right to remain silent. However, waiving the privilege is possible, but such waiver must be voluntary and in accordance with the will of the accused. This article examines the impact of sentence reductions based on confessions on the voluntariness of confessions. I argue that the concept of voluntariness must be interpreted from the perspective of the values and objectives underlying the privilege against self-incrimination. Depending on the (...) perspective chosen (i.e. objectives and values), sentence reductions can be problematic from the standpoint of the privilege against self-incrimination and the voluntariness requirement it entails. However, it should be also noted that moderate incentives can simultaneously promote the realization of these values and objectives, such as material truth. Categorical negative attitude towards all sentence reductions can be detrimental to the values that the privilege and the voluntariness requirement seek to protect. (shrink)

Les articles présentés et traduits dans le présent ouvrage, réunis sous un titre qu'approuva l’auteur lors de sa première publication, portent sur la période qui s’ouvre peu d’années après la publication de Knowledge and Belief et qui s’étend jusqu’aux prémices des découvertes qui ont relancé une recherche particulièrement féconde — la sémantique des jeux, parfois plus connue sous l’acronyme de GTS, et la Logique IF, ou Independance Friendly Logic, développée avec Gabriel Sandu. L’Intentionnalité et les mondes possibles montre jusqu’où la (...) sémantique des mondes possibles permet de rendre compte de l’intentionnalité et d’en explorer les multiples dimensions : les six articles dégagent les méthodes et les directions de recherche ainsi ouvertes. Une postface de la traductrice les met en perspective relativement aux aboutissements actuels des travaux de Hintikka, en explorant sommairement certaines des méthodes et des recherches des deux premières décennies du vingt et unième siècle — occasion de s’apercevoir que l’épistémologie générale et spéciale, l’informatique théorique contemporaine aussi bien que l’exploration de la nature de la métaphore trouvent à se nourrir de la relance permanente du questionnement assurée par l’enquête-Hintikka, et ce, parfois, de manière très surprenante. (shrink)

We mobilise contemporary philosophy of science to further clarify observations on economic modelling made by Gilboa et al. (2023). We adopt a normative stance towards these modelling practices to identify the extent to which they are epistemically justified. Our message is simple: many of the distinctions proposed by Gilboa et al. (2023) are useful, but without the proper qualifications, too much flexibility in choosing the right interpretation risks downplaying the crucial role that empirical evidence should play in any modelling endeavour.

As the title suggests, this paper is something of a leftover – or perhaps a new branch – to my "Meaning in Time: on temporal externalism and Kripkenstein’s skeptical challenge". In that work I essayed to portray my understanding of the sceptical challenge uncovered by Saul Kripke’s reading of Wittgenstein’s later works in a nutshell as to its nature and resolution. Here, my task is to dig a little deeper into the key phrase of the earlier paper, namely the claim (...) that meanings, facts grounding meaning facts, and ascriptions of meaning have an important historical dimension to them. In particular, I explore the ideas that (i) the problem of finitude is fundamentally a logical and not a metaphysical problem and (ii) Devitt's development of Kripke's causal-historical theory of reference implies a natural explanation for how at least the meanings of some terms can have a historical dimension. (shrink)

Edmund Husserl’s eidetic phenomenology seeks a priori knowledge of essences and eidetic laws pertaining to conscious experience and its objects. Husserl believes that such eidetic knowledge has a higher epistemic status than the inherently fallible empirical knowledge, but a closer reading of his work shows that even eidetic claims are subject to error and open to modification. In this article, I develop a self-correcting account of Husserl’s method of eidetic variation, arguing that eidetic variation plays a critical role in both (...) challenging and improving upon the eidetic results in phenomenology. More specifically, I argue that the self-correcting account of eidetic variation 1) is consistent with Husserl’s own formulations of his eidetic methodology and epistemic principles; 2) captures the dual epistemic function of eidetic variation as means for both testing and intuitively validating eidetic claims; and 3) offers methodological support for contemporary attempts to integrate eidetic variation with non-eidetic methods and resources. To substantiate these claims, I first contrast the self-correcting account with the falsificationist interpretations of eidetic variation. Then, I turn to three applications of eidetic variation in order to examine how eidetic phenomenology could draw from real-life deviations, artificial variations, and critical–historical reflection. The goal is to lay the methodological groundwork for a self-correcting and integrative account of eidetic variation and illustrate its usefulness in research practice. (shrink)

The organisation of mammalian mitochondrial DNA (mtDNA) is more complex than usually assumed. Despite often being depicted as a simple circle, the topology of mtDNA can vary from supercoiled monomeric circles over catenanes and oligomers to complex multimeric networks. Replication of mtDNA is also not clear cut. Two different mechanisms of replication have been found in cultured cells and in most tissues: a strand‐asynchronous mode involving temporary RNA coverage of one strand, and a strand‐coupled mode rather resembling conventional nuclear DNA (...) replication. In addition, a recombination‐initiated replication mechanism is likely to be associated with the multimeric mtDNA networks found in human heart. Although an insight into the general principles and key factors of mtDNA organisation and maintenance has been gained over the last few years, there are many open questions regarding replication initiation, termination and physiological factors determining mtDNA organisation and replication mode. However, common themes in mtDNA maintenance across eukaryotic kingdoms can provide valuable lessons for future work. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

Integrating corporate social responsibility (CSR) into a for-profit organization’s business activities is fraught with tensions. This paper reports a case study of a construction company, exploring how different tensions emerged to challenge company-level aspirations for strategic CSR integration. The study identifies three types of persistent CSR tensions and four management practices, discussing how the management practices led the organization to navigate CSR tensions in both active and defensive ways. Furthermore, the study explicates why the case company succeeded in integrating CSR (...) into formal business strategy and shared attitudes but struggled with CSR integration in the domain of day-to-day operations. The paper contributes to the CSR literature by developing a tension-centric perspective on CSR development. It highlights the necessity of tension navigation at both the organizational and the action levels, the key role of active (as opposed to defensive) navigation of CSR tensions, and the importance of alignment between organizational and action levels in navigating tensions for sustaining strategic focus on CSR over time. (shrink)

ABSTRACTThe distinction between minimal self and narrative self has gained ground in recent discussions of selfhood. In this article, this distinction is reassessed by analysing Zahavi and Gallagher’s account of selfhood and supplementing it with Husserl’s concept of person. I argue that Zahavi and Gallagher offer two compatible and complementary notions of self. Nevertheless, the relationship between minimal self and narrative self requires further clarification. Especially the embeddedness of self, the interplay between passivity and activity, and the problems of uniqueness (...) and persistence are better understood with Husserl’s analysis of person and its central concepts of position-taking, habitualities, and overall style. The embeddedness of self is elucidated by outlining how person is related to its environment, to other people, and to its past. This relational notion of self is both passively constituted and actively shaped: person mediates between minimal self characterized by perspectival ownership... (shrink)

... to discuss the state of epistemology, inspired by new perspectives and possibilities opened by Hintikka's recent papers on the study of epistemic logic, information, rationality, and inquiry as questioning."--Page 4 of cover.

Mammalian mitochondrial DNA (mtDNA) replication and repair have been studied intensively for the last 50 years. Although recently advances in elucidating the molecular mechanisms of mtDNA maintenance and the proteins involved in these have been made, there are disturbing gaps between the existing theoretical models and experimental observations. Conflicting data and hypotheses exist about the role of RNA and ribonucleotides in mtDNA replication, but also about the priming of replication and the formation of pathological rearrangements. In the presented review, we (...) have attempted to match these loose ends and draft consensus where it can be found, while identifying outstanding issues for future research. (shrink)

Mammalian mitochondrial DNA (mtDNA) replication and repair have been studied intensively for the last 50 years. Although recently advances in elucidating the molecular mechanisms of mtDNA maintenance and the proteins involved in these have been made, there are disturbing gaps between the existing theoretical models and experimental observations. Conflicting data and hypotheses exist about the role of RNA and ribonucleotides in mtDNA replication, but also about the priming of replication and the formation of pathological rearrangements. In the presented review, we (...) have attempted to match these loose ends and draft consensus where it can be found, while identifying outstanding issues for future research. (shrink)

Comparisons of rival explanations or theories often involve vague appeals to explanatory power. In this paper, we dissect this metaphor by distinguishing between different dimensions of the goodness of an explanation: non-sensitivity, cognitive salience, precision, factual accuracy and degree of integration. These dimensions are partially independent and often come into conflict. Our main contribution is to go beyond simple stipulation or description by explicating why these factors are taken to be explanatory virtues. We accomplish this by using the contrastive-counterfactual approach (...) to explanation and the view of understanding as an inferential ability. By combining these perspectives, we show how the explanatory power of an explanation in a given dimension can be assessed by showing the range of answers it provides to what-if-things-had-been-different questions and the theoretical and pragmatic importance of these questions. Our account also explains intuitions linking explanation to unification or to exhibition of a mechanism. (shrink)

No detailed description available for "Analogy".

The objective of our article is to show how “quality of evidence” and “imprecision,” as they are defined in Grading of Recommendations Assessment, Development, and Evaluation articles, may lead to confusion. We focus only on the context of systematic reviews.

In medical research, it is not unusual that risks are ruled out without any specification the exact risk that was ruled out. This makes it difficult to balance expected health benefits and risk of harm when choosing between alternative treatment options. International guidelines for reporting medical research results are sufficiently specific when it comes to establishing health benefits. However, there is a lack of standards for reporting on ruling out risks. We argue that transparency is needed, as in the case (...) of non-inferiority trials. The Consolidated Standards of Reporting Trials and the Preferred Reporting Items for Systematic Reviews and Meta-Analyses statements should be revised accordingly. (shrink)

Attachment theory proposes that the activation of the attachment system enacts emotion regulation (ER) to maintain security or cope with insecurity. However, the effects of ER on attachment states and their bidirectional influences remain poorly understood. In this ecological momentary assessment study, we examined the dynamics between attachment and ER. We hypothesised that attachment states and ER influence each other through time. Specifically, we hypothesised bidirectional short-term cycles between state attachment security and reappraisal, state attachment anxiety and rumination, and state (...) attachment avoidance and suppression. We also tested how trait attachment is related to state attachment and ER. One hundred twenty-two participants (Mage = 26.4) completed the Experiences in Close Relationship–Revised and reported state attachment and ER seven times daily for seven days. The results were only partly consistent with our cycle hypotheses yet revealed a cycle between low state attachment security and rumination that was attenuated by reappraisal. Moreover, rumination and suppression predicted increased insecure states, and reappraisal predicted increased secure and insecure states. Finally, trait attachment showed associations with state attachment and ER. Our study suggests regulatory dynamics between attachment and ER and opens important questions about their functional relationship in maintaining attachment-related behavioural patterns and emotional well-being. (shrink)

The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad absurdum (...) argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

ABSTRACT Is meaning essentially normative, and what does claiming that amount to? One popular interpretation is that in virtue of their nature meanings are capable of guiding subjects in their applications of concepts, for meaning is constituted by norms. However, the guidance view has been met with criticism to the effect that if semantic norms constitute facts about meaning, then they cannot simultaneously guide subjects in their applications. In response, some normativist authors have proposed that the key sense of ‘normative’ (...) in the claim that meaning is essentially normative is not ‘guidance’ but ‘assessment’. In this paper, I shall argue that switching from guidance to assessment offers no respite from the anti-normativist argument that normativity in the sense of prescriptivity emerges not from meaning as such but from the attitudes of subjects insofar as the normativist is unable to offer a plausible account of what makes assessment appropriate. (shrink)

The following analysis shows how developments in epistemic logic can play a nontrivial role in cognitive neuroscience. We argue that the striking correspondence between two modes of identification, as distinguished in the epistemic context, and two cognitive systems distinguished by neuroscientific investigation of the visual system (the "where" and "what" systems) is not coincidental, and that it can play a clarificatory role at the most fundamental levels of neuroscientific theory.

While various strategic business issues related to product design have been explored by academicians and practitioners, one issue has largely been ignored: how do financial markets assess and evaluate companies’ product design? The purpose of this article is to examine this issue, especially when it comes to the assessments and evaluations made by the most essential actors of contemporary financial markets: investment analysts and institutional investors. I develop propositions concerning the product design-related evaluative schemes and heuristics used by the financial (...) market actors in evaluating companies as investment opportunities. I illustrate my propositions with examples from, e.g., the mobile phone industry as well as with interview excerpts from interviews with investment analysts and institutional investors. Propositions are provided both for assessments of companies’ individual end products (‘design as the end product’ perspective) and for assessments of companies’ design capabilities (‘design as a capability’ perspective). In essence, the propositions highlight that the evaluative schemes used by financial market actors are partly rational, yet involve biases and are likely to lead to overvaluation and undervaluation of certain kinds of product designs by certain kinds of companies. Thus, even from the perspective of profit-maximization, many of the evaluative schemes of the financial market actors are, at most, quasi-rational. Moreover, the evaluative schemes of the financial market actors may motivate company managers to pursue certain kinds of product design rather than others—and may even lead to self-reinforcing (vicious or virtuous) circles of certain kinds of product designs being advocated. (shrink)

According to the causal-historical theory of reference, natural kind terms refer in virtue of complicated causal relations the speakers have to their environment. A common objection to the theory is that purely causal relations are insufficient to fix reference in a determinate fashion. The so-called hybrid view holds that what is also needed for successful fixing are true descriptions associated in the mind of the speaker with the referent. The main claim of this paper is that the objection fails: reference (...) fixing of natural kind terms can be purely causal. The main argument draws inspiration from recent theoretical advances made in metaphysics of kinds by Marion Godman, Antonella Mallozzi, and David Papineau. The main claim is that their notion of super-explanatory properties may explain how reference of many kind terms can be fixed purely causally. (shrink)

We claim that the process of theoretical model refinement in economics is best characterised as robustness analysis: the systematic examination of the robustness of modelling results with respect to particular modelling assumptions. We argue that this practise has epistemic value by extending William Wimsatt's account of robustness analysis as triangulation via independent means of determination. For economists robustness analysis is a crucial methodological strategy because their models are often based on idealisations and abstractions, and it is usually difficult to tell (...) which idealisations are truly harmful. (shrink)

The basic ideas of game-theoretical semantics are implicit in logicians' and mathematicians' folklore but used only sporadically (e.g., game quantifiers, back-and-forth methods, partly ordered quantifiers). the general suggestions of this approach for natural languages are emphasized: the univocity of "is," the failure of compositionality, a reconstruction of aristotelian categories, limitations of generative grammars, unity of sentence and discourse semantics, a new treatment of tenses and other temporal notions, etc.

Timothy Williamson famously argued that assertion is constituted either by the knowledge rule or some similar epistemic rule. If true, the proposal has important implications for criticism of assertions. If assertions are analogical to other rule-constituted kinds like games, we can criticize assertions either on external or internal grounds, depending on whether the criticism draws from the necessary norms of assertion or some contingent ones. More recently, authors like Goldberg and MacFarlane have argued against other theories of assertion on the (...) grounds that they cannot explain the possibility of internal criticism for assertions. This paper raises methodological problems with these arguments. The main idea is to show that alternative, non-normative accounts of assertion can also explain the apparent differences in grounds of criticism without assuming that assertion is necessarily governed by some epistemic norm. (shrink)