An inference is valid if it guarantees the transferability of knowledge from the premisses to the conclusion. If knowledge is here understood as demonstrative knowledge, and demonstration is explained as a chain of valid inferences, we are caught in an explanatory circle. In recent lectures, Per Martin-Löf has sought to avoid the circle by specifying the notion of knowledge appealed to in the explanation of the validity of inference as knowledge of a kind weaker than demonstrative knowledge. The resulting (...) explanation is the main topic of this article. (shrink)

This paper deals with the recent Swedish proposals of a Intuitionistic notion of Truth, by Dag Prawitz and Per Martin-Löf.

In this paper, I offer reasons for thinking that two prominent sceptical arguments in the literature – the underdetermination-based sceptical argument and the closure-based sceptical argument – are less philosophically interesting than is commonly supposed. The underdetermination-based argument begs the question against a non-sceptic and can be dismissed with little fanfare. The closure-based argument, though perhaps not question-begging per se, does rest upon contentious assumptions that a non-sceptic is under no pressure to accept.

Companies committed to corporate social responsibility should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a survey to (...) explore the relative importance of the competencies within each job role. Based on our analysis, we identified six distinct managerial roles, including strategic, coordinating, and stimulating roles. Next, we identified per role key individual CSR-related competencies as prioritized by the respondents. Our results show that the context, as indicated in this study by CSR managers’ job roles, indeed influenced the importance of particular CSR-related competencies, because each role seems to require a different combination and prioritization of these competencies. Moreover, the results suggest that the relative importance of these competencies within each role may be driven by business logic rather than an idealistic logic. The results are presented as a competence profile which can serve as a reflection tool and as a frame of reference to further develop the competence profile for CSR managers. (shrink)

A reality for many information technology (IT) organizations is the need to hire IT talent from other cities or countries to supplement their employee staff. As organizations extend their software development work to remote locations, however, a distinct productivity gap can emerge between co-located and distributed teams. The problem this study addresses is the reduced productivity levels for teams practicing the Agile methodology when team members are distributed by location or time zone. Specifically, it was unknown if there are organizational (...) factors which can improve the productivity of these distributed development teams. The purpose of this study was to determine whether any amount of separation of team members impacts productivity, or if various degrees of time zone overlap allows for sufficient synchronous communication to overcome the communication lag inherit with having distributed teams. Productivity was measured by the number of story points per cycle day completed by the team. Two additional variables were collected to study the impact of sourcing and task complexity on distributed team productivity. A quantitative data analysis was conducted on a large, globally distributed technology organization practicing the Agile methodology across the Americas, Europe, Africa, Asia, and Australia. Teams were classified in the study based on the amount of time zone overlap of the team members. The results of the study found that teams which were co-located or had any amount of time zone overlap performed at similar levels of productivity, while teams with no overlapping business day experienced significantly lower levels of productivity (p < .05). Conversely, sourcing of the resources either as contractors or employees did not demonstrate a significant difference in team productivity. The data analysis on task complexity showed mixed results; there was a different level of productivity when some teams were working tasks of different complexity, but the data was further nuanced by team member location. This study indicates the importance of resource location as a key factor in team productivity. Further study on organizational design could be beneficial to better understand how organizations should select locations to optimize productivity. (shrink)

Companies committed to corporate social responsibility (CSR) should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a survey (...) to explore the relative importance of the competencies within each job role. Based on our analysis, we identified six distinct managerial roles, including strategic, coordinating, and stimulating roles. Next, we identified per role key individual CSR-related competencies as prioritized by the respondents. Our results show that the context, as indicated in this study by CSR managers’ job roles, indeed influenced the importance of particular CSR-related competencies, because each role seems to require a different combination and prioritization of these competencies. Moreover, the results suggest that the relative importance of these competencies within each role may be driven by business logic rather than an idealistic logic. The results are presented as a competence profile which can serve as a reflection tool and as a frame of reference to further develop the competence profile for CSR managers. (shrink)

The purpose of this study was to examine effective communication management and the performance of tertiary institutions in Cross River State. Three hypotheses were formulated to guide the study. The study adopted a correlational design and was conducted using Cross River State College of Education, Akamkpa as case study. A proportionate stratified random sampling technique was used to select 30 per cent each from a total of 176 academic staff and 215 Non-academic staff in the institution. A total of 53 (...) Academic and 66 Non Academic Staff were selected resulting in a sample of 119 participants. A questionnaire titled Effective Communication Management and Performance of Tertiary Institutions Questionnaire (ECMAPOTIQ), was used as the instrument for data was used as the instrument for data collection. The collected data were analysed and the hypotheses were tested using Chi Square test of tested using Chi Square test of independence at .05 level of significance. The findings revealed that effective communication management has a significant relationship with human relationship, work performance and organizational goal attainment. Based on these findings, it was concluded that effective goal attainment. Based on these findings, it was concluded that effective communication leads to good human relationship, promotes work performance and organizational goal attainment. It was recommended among others that educational managers should make efforts to adopt good communication skills to enable them communicate effectively; workers should adopt proper communication strategies if they are to promote good relationship among co-workers and the managers. (shrink)

Background: Critically ill patients often require complex clinical care by highly trained staff within a specialized intensive care unit (ICU) with advanced equipment. There are currently limited data on the costs of critical care in low-and middle-income countries (LMICs). This study aims to investigate the direct-medical costs of key infectious disease (tetanus, sepsis, and dengue) patients admitted to ICU in a hospital in Ho Chi Minh City (HCMC), Vietnam, and explores how the costs and cost drivers can vary between the (...) different diseases. -/- Methods: We calculated the direct medical costs for patients requiring critical care for tetanus, dengue and sepsis. Costing data (stratified into different cost categories) were extracted from the bills of patients hospitalized to the adult ICU with a dengue, sepsis and tetanus diagnosis that were enrolled in three studies conducted at the Hospital for Tropical Diseases in HCMC from January 2017 to December 2019. The costs were considered from the health sector perspective. The total sample size in this study was 342 patients. -/- Results: ICU care was associated with significant direct medical costs. For patients that did not require mechanical ventilation, the median total ICU cost per patient varied between US$64.40 and US$675 for the different diseases. The costs were higher for patients that required mechanical ventilation, with the median total ICU cost per patient for the different diseases varying between US$2,590 and US$4,250. The main cost drivers varied according to disease and associated severity. -/- Conclusion: This study demonstrates the notable cost of ICU care in Vietnam and in similar LMIC settings. Future studies are needed to further evaluate the costs and economic burden incurred by ICU patients. The data also highlight the importance of evaluating novel critical care interventions that could reduce the costs of ICU care. (shrink)

In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.

Philosophy, starting from Kant, tries to delimit the limits and thus to finitize human consciousness, but then it fails in the task of assuming finiteness itself as finite, with a certain beginning and an end. In my essay I present different conceptualizations of the end which resist the logic of means, opened up by ecological thought, starting from the problem – central to the continental philosophy of the 20th century – of human finitude. In the first part of the essay, (...) the relationship between finitude and truth is problematized through a critical reading of Michel Foucault, Martin Heidegger, and Alain Badiou. In the second part I present some hypotheses on how this relationship is transformed by the category of extinction, understood as a non-human transformational capacity of human thought, a radical capacity of alienation which can, however, become an access to a dimension of thought in which «ecology» designates a new thinking of togetherness and of cooperation which drives contemporary thought into reformulation of political possibilities for the future. If, however, current ecological thought sometimes promotes the post-political scenario of an organic return to the earth, an extinction understood in the sense of the end of human life and an abrupt termination of the world, in my essay I rather try to maintain human’s ability of detachment as a political dimension, the capacity of thought to make a difference. (shrink)

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue (...) that a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

The concept of randomness has been unjustly neglected in recent philosophical literature, and when philosophers have thought about it, they have usually acquiesced in views about the concept that are fundamentally flawed. After indicating the ways in which these accounts are flawed, I propose that randomness is to be understood as a special case of the epistemic concept of the unpredictability of a process. This proposal arguably captures the intuitive desiderata for the concept of randomness; at least it should suggest (...) that the commonly accepted accounts cannot be the whole story and more philosophical attention needs to be paid. 1. Randomness in science1.1Random systems1.2Random behaviour1.3Random sampling1.4Caprice, arbitrariness and noise2. Concepts of randomness2.1Von Mises/church/martin-löf randomness2.2KCS-randomness3. Randomness is unpredictability: preliminaries3.1Process and product randomness3.2Randomness is indeterminism?4. Predictability4.1Epistemic constraints on prediction4.2Computational constraints on prediction4.3Pragmatic constraints on prediction4.4Prediction defined5. Unpredictability6. Randomness is unpredictability6.1Clarification of the definition of randomness6.2Randomness and probability6.3Subjectivity and context sensitivity of randomness7. Evaluating the analysis[R]andomness … is going to be a concept which is relative to our body of knowledge, which will somehow reflect what we know and what we don't know. Henry E. Kyburg, Jr ([1974], p. 217)Phenomena that we cannot predict must be judged random. Patrick Suppes ([1984], p. 32). (shrink)

In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of (...) his theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions. (shrink)

Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over them. Predicativity emerged at the beginning of the 20th century as a fundamental component of an influential analysis of the paradoxes by Poincaré and Russell. According to this analysis the (...) paradoxes are caused by a vicious circularity in definitions; adherence to predicativity was therefore proposed as a systematic method for preventing such problematic circularity. In the following, I sketch the origins of predicativity, review the fundamental contributions by Russell and Weyl and look at modern incarnations of this notion. (shrink)

I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and defining (...) a 'probability type' on top of the existing machinery of MLTT, whose inhabitants represent pieces of evidence in favor of a proposition. One upshot of this approach is the potential for a mathematical formalism which treats 'conjectures' as mathematical objects in their own right. Other intuitive properties of evidence occur as theorems in this formalism. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of first-level (...) function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

А necessary and sllmcient condilion that а given proposition (о Ье provable in such а theory that allows (о Ье assigned to the proposition а Gödеl пunbег fог containing Реanо arithmetic is that Gödеl number itself. This is tlle sense о[ Martin LöЬ's theorem (1955). Now wе сan рut several philosophpllical questions. Is the Gödеl numbег of а propositional formula necessarily finite or onthe contrary? What would the Gödel number of а theorem be containing Реanо arithmetic itself? That is (...) the case of the so-called first incolnpleteness theorem (Gбdеl 1931). What would the Gödеl питЬег of а self-referential statement be? What w'ould the Gödеl пumbег оГ such а proposition Ье (its Реanо arithmetic expression after encoding contains itself as ап operand)? What is the Gödеl numbег оГ Gödеl's proposition [R(q); q] that states its ргоper imргоvаbility? It is the key statement for his proving of the first incompleteness theorem. Is Реапо arithmetic available in it (ог in the ones similar to it) as а single symbol, Ьу which actual infinity would bе introduced, ог as а constructively infinite set of primary signs? Jn fact, the Gödel number оГ the first incompleteness theorem should Ье infinite in that last case. If the Gödеl number of а statement is infinite, then сап it bе accepted as а theorem? What would the Gбdеl numbeг of its negation bе? Is the infinite Gбdеl numbeг of а statement equivalent to its irresolvability? Respectively, is Ihe following statement valid: irresolvable pгopositions with finite Gбdеl numbers (еуеп in anу encoding) do поl exist? (shrink)

Based on an interpretation of the work of martin Heidegger, this article o ers a shi away om social and cultural anthropology, which explores sociocultural aspects, and also om general anthropology, which aims to summarise all dimensions of human being. the author de nes the speci city of existential anthropology: observing and conceiving human beings as they exist and continue to exist towards death. With a few twists in relation to Heidegger’s thought, the author discusses what is theoretically and (...) methodologically at stake in this per‐ spective, opening existential anthropology to a large empirical eld. (shrink)

Martin Heidegger did not write ethics, but basic ethical thought permeates the systematic draft and the main idea of his philosophy from Being and Time. Heidegger believes that the traditional division of philosophy into logic, physics and ethics is appropriate to the very thing of thought. The task of contemporary philosophy is to explain the principle of the traditional division of philosophy. Heidegger’s early philosophy designates a systematic metontological place for the question of ethics. Interpretations of Heidegger’s philosophy by (...) Günter Figal and Franco Volpi show that the ethical thought figure – that human life should be taken from itself and subordinated to the d emand for self-care – is at the core of Heidegger’s systematics of Being and Time. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

IL MOSTRO E L'EROE. Quando Pomponio Algieri da Nola, all’età di soli 24 anni, viene bruciato vivo a Roma in piazza Navona, Giordano Bruno di anni ne ha appena otto. Oltre che per la giovane età del condannato, l’esecuzione è insolita anche per il luogo e il metodo scelto dall’Inquisizione: anziché le solite fascine, per alimentare il fuoco viene approntato un pentolone di pece, olio e trementina, nel quale viene immersa la povera vittima.

Here I respond to Anthony Brueckner and John Martin Fischer’s “The Evil of Death: A Reply to Yi.” They developed an influential strategy in defense of the deprivation account of death’s badness against the Lucretian symmetry problem. The core of their argument consists in the claim that it is rational for us to welcome future intrinsic goods while being indifferent to past intrinsic goods. Previously, I argued that their approach is compatible with the evil of late birth insofar as (...) an earlier birth would have generated more goods in the future. In reply, Brueckner and Fischer argue that my critique fails to appreciate an important aspect of their thought experiment, which aims only to show that the deprivation of past goods per se is not bad for us. Thus, purportedly, my critique poses no threat to their view. Here I argue that since the deprivation account explains the evil of death with recourse to how one’s life would have fared had one lived longer, it ought to respond to the symmetry problem with reference to how one’s life would have fared had one been born earlier. However, it is not generally true that the life one would have had with an earlier birth is not preferable to one’s actual life, because in many cases such a life would contain more future goods. (shrink)

Spengler’s work is typically represented as speculative philosophy of history. However, I argue that there is good reason to consider much of his thought as preoccupied with existential and phenomenological questions about the nature and ends of human existence, rather than with history per se. In this paper I consider Spengler’s work in comparison with Heidegger’s history of Being and analysis of technological modernity. I argue that Spengler’s considerable proximity to much of Heidegger’s thought compels us to reconsider the nature (...) and scope of Spengler’s philosophical project. (shrink)

This study develops the approach by Minh & Khanh [1] to the classic Barro and Sala-i-Martin method [2], [3] named “expanded Barro regression method”, and applies this approach in analyzing the convergence of provincial per capita GDP in Vietnam over the period of 1991-2007. Different aspects of provincial convergence are considered in this paper. The estimated result on conver-gence from our model is compared to other models.

This paper aims to advance our understanding of Heidegger's politics as it is laid bare within the 'Schwarze Hefte'. Yet my interest is not in Heidegger's first order political views, but rather in his conception of the political sphere per se. Beginning from a close analysis of the earliest volume of the notebooks, Gesamtausgabe Bd.94, I suggest that the dominant characterisation of the political space within Heidegger's text is as a threat-to philosophy and to ontology. Underlying that characterisation, however, it (...) is simultaneously possible to identify another pattern, one on which the political is itself gradually suppressed or occluded by the ontological. This tacit occlusion has, I suggest, a number of deeply problematic consequences. I close by indicating how the argument might be extended to the question of a Heideggerian ethics. (shrink)

This book explores a question central to philosophy--namely, what does it take for a belief to be justified or rational? According to a widespread view, whether one has justification for believing a proposition is determined by how probable that proposition is, given one's evidence. In this book this view is rejected and replaced with another: in order for one to have justification for believing a proposition, one's evidence must normically support it--roughly, one's evidence must make the falsity of that proposition (...) abnormal in the sense of calling for special, independent explanation. This conception of justification bears upon a range of topics in epistemology and beyond. Ultimately, this way of looking at justification guides us to a new, unfamiliar picture of how we should respond to our evidence and manage our own fallibility. This picture is developed here. (shrink)

There is something puzzling about statistical evidence. One place this manifests is in the law, where courts are reluctant to base affirmative verdicts on evidence that is purely statistical, in spite of the fact that it is perfectly capable of meeting the standards of proof enshrined in legal doctrine. After surveying some proposed explanations for this, I shall outline a new approach – one that makes use of a notion of normalcy that is distinct from the idea of statistical frequency. (...) The puzzle is not, however, merely a legal one. Our unwillingness to base beliefs on statistical evidence is by no means limited to the courtroom, and is at odds with almost every general principle that epistemologists have proposed as to how we ought to manage our beliefs. (shrink)

According to the principle of Conjunction Closure, if one has justification for believing each of a set of propositions, one has justification for believing their conjunction. The lottery and preface paradoxes can both be seen as posing challenges for Closure, but leave open familiar strategies for preserving the principle. While this is all relatively well-trodden ground, a new Closure-challenging paradox has recently emerged, in two somewhat different forms, due to Backes :3773–3787, 2019a) and Praolini :715–726, 2019). This paradox synthesises elements (...) of the lottery and the preface and is designed to close off the familiar Closure-preserving strategies. By appealing to a normic theory of justification, I will defend Closure in the face of this new paradox. Along the way I will draw more general conclusions about justification, normalcy and defeat, which bear upon what Backes :2877–2895, 2019b) has dubbed the ‘easy defeat’ problem for the normic theory. (shrink)

The purpose of this article is to show that animal rights are not necessarily at odds with the use of animals for research. If animals hold basic moral rights similar to those of humans, then we should consequently extend the ethical requirements guiding research with humans to research with animals. The article spells out how this can be done in practice by applying the seven requirements for ethical research with humans proposed by Ezekiel Emanuel, David Wendler and Christine Grady to (...) animal research. These requirements are i) social value, ii) scientific validity, iii) independent review, iv) fair subject selection, v) favorable risk-benefit ratio, vi) informed consent, and vii) respect for research subjects. In practice, this means that we must reform the practice of animal research to make it more similar to research with humans, rather than completely abolish the former. Indeed, if we banned animal research altogether, then we would also deprive animals of its potential benefits – which would be ethically problematic. (shrink)

Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical treatment.

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract sciences. If we wish (...) to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

Is it right to convict a person of a crime on the basis of purely statistical evidence? Many who have considered this question agree that it is not, posing a direct challenge to legal probabilism – the claim that the criminal standard of proof should be understood in terms of a high probability threshold. Some defenders of legal probabilism have, however, held their ground: Schoeman (1987) argues that there are no clear epistemic or moral problems with convictions based on purely (...) statistical evidence, and speculates that our aversion to such convictions may be nothing more than an irrational bias. More recently, Hedden and Colyvan (2019, section VI) describe our reluctance to convict on the basis of purely statistical evidence as an ‘intuition’, but suggest that there may be no ‘in principle’ problem with such convictions (see also Papineau, forthcoming, section 6). In this paper, I argue that there is, in some cases, an in principle problem with a conviction based upon statistical evidence alone – namely, it commits us to a precedent which, if consistently followed through, could lead to the deliberate conviction of an innocent person. I conclude with some reflections on the idea that the criminal justice system should strive to maximise the accuracy of its verdicts – and the related idea that we should each strive to maximise the accuracy of our beliefs. (shrink)

Recent years have seen an explosion of interest in metaphysical explanation, and philosophers have fixed on the notion of ground as the conceptual tool with which such explanation should be investigated. I will argue that this focus on ground is myopic and that some metaphysical explanations that involve the essences of things cannot be understood in terms of ground. Such ‘essentialist’ explanation is of interest, not only for its ubiquity in philosophy, but for its being in a sense an ultimate (...) form of explanation. I give an account of the sense in which such explanation is ultimate and support it by defending what I call the inessentiality of essence. I close by suggesting that this principle is the key to understanding why essentialist explanations can seem so satisfying. (shrink)

According to a captivating picture, epistemic justification is essentially a matter of epistemic or evidential likelihood. While certain problems for this view are well known, it is motivated by a very natural thought—if justification can fall short of epistemic certainty, then what else could it possibly be? In this paper I shall develop an alternative way of thinking about epistemic justification. On this conception, the difference between justification and likelihood turns out to be akin to the more widely recognised difference (...) between ceteris paribus laws and brute statistical generalisations. I go on to discuss, in light of this suggestion, issues such as classical and lottery-driven scepticism as well as the lottery and preface paradoxes. (shrink)

This paper proposes a view of time that takes passage to be the most basic temporal notion, instead of the usual A-theoretic and B-theoretic notions, and explores how we should think of a world that exhibits such a genuine temporal passage. It will be argued that an objective passage of time can only be made sense of from an atemporal point of view and only when it is able to constitute a genuine change of objects across time. This requires that (...) passage can flip one fact into a contrary fact, even though neither side of the temporal passage is privileged over the other. We can make sense of this if the world is inherently perspectival. Such an inherently perspectival world is characterized by fragmentalism, a view that has been introduced by Fine in his ‘Tense and Reality’ (2005). Unlike Fine's tense-theoretic fragmentalism though, the proposed view will be a fragmentalist view based in a primitive notion of passage. (shrink)

In this paper, I identify a theoretical and political role for ‘white ignorance’, present three alternative accounts of white ignorance, and assess how well each fulfils this role. On the Willful Ignorance View, white ignorance refers to white individuals’ willful ignorance about racial injustice. On the Cognitivist View, white ignorance refers to ignorance resulting from social practices that distribute faulty cognitive resources. On the Structuralist View, white ignorance refers to ignorance that (1) results as part of a social process that (...) systematically gives rise to racial injustice, and (2) is an active player in the process. I argue that, because of its greater power and flexibility, the Structuralist View better explains the patterns of ignorance that we observe, better illuminates the connection to white racial domination, and is overall better suited to the project of ameliorating racial injustice. As such, the Structuralist View should be preferred. (shrink)

A de minimis risk is defined as a risk that is so small that it may be legitimately ignored when making a decision. While ignoring small risks is common in our day-to-day decision making, attempts to introduce the notion of a de minimis risk into the framework of decision theory have run up against a series of well-known difficulties. In this paper, I will develop an enriched decision theoretic framework that is capable of overcoming two major obstacles to the modelling (...) of de minimis risk. The key move is to introduce, into decision theory, a non-probabilistic conception of risk known as normic risk. (shrink)

This essay is dedicated to the memory of Katherine Hawley.1Bitcoin was invented to serve as a digital currency that demands no trust in financial institutions, such as commercial and central banks. This paper discusses metaphysical aspects of bitcoin, in particular the view that bitcoin is socially constructed, non-concrete, and genuinely exists. If bitcoin is socially constructed, then one may worry that this reintroduces trust in the communities responsible for the social construction. Although we may have to rely on certain communities, (...) I argue that social construction doesn’t imply a demand for trust because the relevant communities don’t take on any relevant commitments. Bitcoin is indeed trust-free. (shrink)

In 1990 Edward Craig published a book called Knowledge and the State of Nature in which he introduced and defended a genealogical approach to epistemology. In recent years Craig’s book has attracted a lot of attention, and his distinctive approach has been put to a wide range of uses including anti-realist metaepistemology, contextualism, relativism, anti-luck virtue epistemology, epistemic injustice, value of knowledge, pragmatism and virtue epistemology. While the number of objections to Craig’s approach has accumulated, there has been no sustained (...) attempt to develop answers to these objections. In this paper we provide answers to seven important objections in the literature. (shrink)

I survey the philosophical literature on grounding explanation and its connection to metaphysical ground.

In this paper I respond to Marcello Di Bello’s criticisms of the ‘normic account’ of the criminal standard of proof. In so doing, I further elaborate on what the normic account predicts about certain significant legal categories of evidence, including DNA and fingerprint evidence and eyewitness identifications.

This article focuses on two developments in nineteenth-century (philosophy of) social science: Moritz Lazarus’s and Heymann Steinthal’s Völkerpsychologie and Georg Simmel’s early sociology of knowledge. The article defends the following theses. First, Lazarus and Steinthal wavered between a “strong” and a “weak” program for Völkerpsychologie. Ingredients for the strong program included methodological neutrality and symmetry; causal explanation of beliefs based on causal laws; a focus on groups, interests, tradition, culture, or materiality; determinism; and a self-referential model of social institutions. Second, (...) elements of the weak program were the blurring of explanatory and normative interests, an emphasis on freedom of the will, and antirelativism and antimaterialism. Third, later research projects keeping the label “Völkerpsychologie” followed the weak program. Fourth, in the 1880s and 1890s, Simmel tried to build on some of the elements of the strong program. Finally, and fifth, part of the explanation for why Simmel did not succeed in his attempt had to do with the social-political situation of German academia around 1900. (shrink)

There is a type of metaphysical picture that surfaces in a range of philosophical discussions, is of intrinsic interest, and yet remains ill-understood. According to this picture, the world contains a range of standpoints relative to which different facts obtain. Any true representation of the world cannot but adopt a particular standpoint. The aim of this paper is to propose a regimentation of a metaphysics that underwrites this picture. Key components are a factive notion of metaphysical relativity, a deflationary notion (...) of adopting standpoints, and two kinds of valid inference, one that allows one to abandon standpoints and one that does not. To better understand how theories formulated in terms of this framework are situated in dialectical space, I sketch a theory in the philosophy of time that admits both temporal and atemporal standpoints. (shrink)

We make choices about our own appearance and evaluate others' choices – every day. These choices are meaningful for us as individuals and as members of communities. But many features of personal appearance are due to luck, and many cultural beauty standards make some groups and individuals worse off (this is called “lookism”). So, how are we to square these two facets of personal appearance? And how are we to evaluate agency in the context of personal beauty? I identify three (...) ways of responding to these questions: beauty advo- cacy, beauty skepticism, and beauty revisionism. Advocates connect an honorific sense of beauty with personal charac- ter. Skeptics focus on beauty standards, and primarily offer a social critique of beauty standards. Some skeptics suggest embracing other aesthetic ideals – even ugliness. Revision- ists critique beauty standards, but retain an honorific sense of beauty. Each position offers tools to evaluate personal agency as aesthetic agency, whether first-personally or through our appreciation of others' appearance. (shrink)

Say that two goals are normatively coincident just in case one cannot aim for one goal without automatically aiming for the other. While knowledge and justification are distinct epistemic goals, with distinct achievement conditions, this paper begins from the suggestion that they are nevertheless normatively coincident—aiming for knowledge and aiming for justification are one and the same activity. A number of surprising consequences follow from this—both specific consequences about how we can ascribe knowledge and justification in lottery cases and more (...) general consequences about the nature of justification and the relationship between justification and evidential probability. Many of these consequences turn out to be at variance with conventional, prevailing views. (shrink)

The starting point of this paper is the thought that the phenomenal appearances that accompany mental states are somehow only there, or only real, from the standpoint of the subject of those mental states. The world differs across subjects in terms of which appearances obtain. Not only are subjects standpoints across which the world varies, subjects are standpoints that we can ‘adopt’ in our own theorizing about the world (or stand back from). The picture that is suggested by these claims (...) has an appeal but is at the same time obscure and stands in need of regimentation. This paper explores and motivates a metaphysical account of what it is for subjects to be standpoints, what it is to adopt standpoints in our representations and, most importantly, how these notions might help us better understand the subjective character of conscious mental states. Some well-known observations by Thomas Nagel serve as starting points and the paper concludes by revisiting Nagel’s argument for the inevitable incompleteness of objective accounts of mental states, which will be reframed in terms of the central commitments of the proposed framework. (shrink)

Metaphysical rationalism, the doctrine which affirms the Principle of Sufficient Reason (the PSR), is out of favor today. The best argument against it is that it appears to lead to necessitarianism, the claim that all truths are necessarily true. Whatever the intuitive appeal of the PSR, the intuitive appeal of the claim that things could have been otherwise is greater. This problem did not go unnoticed by the great metaphysical rationalists Spinoza and Leibniz. Spinoza’s response was to embrace necessitarianism. Leibniz’s (...) response was to argue that, despite appearances, rationalism does not lead to necessitarianism. This paper examines the debate between these two rationalists and concludes that Leibniz has persuasive grounds for his opinion. This has significant implications both for the plausibility of the PSR and for our understanding of modality. (shrink)

One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.