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)

The aim here is to investigate assertion and inference as notions of logic. Assertion will be explained in terms of its purpose, which is to give interlocutors the right to request the assertor to do a certain task. The assertion is correct if, and only if, the assertor knows how to do this task. Inference will be explained as an assertion equipped with what I shall call a justification profile, a strategy for making good on the assertion. The inference is (...) valid if, and only if, correctness is preserved from the premiss assertions to the conclusion assertion. Most of this is a spelling out of views on assertion and inference presented by Per Martin-Löf in lectures since 2015. (shrink)

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

Johan Georg Granström’s Treatise on Intuitionistic Type Theory represents a landmark contribution to our understanding of the philosophical foundations of Per Martin-Löf’s intuitionistic type theory (ITT). The work is particularly noteworthy for its careful exposition of how ITT emerges as a sophisticated codification of Brouwerian intuitionism while simultaneously advancing a distinctly Kantian program in the philosophy of mathematics. This philosophical grounding, drawing heavily on both Kantian and Husserlian phenomenology, offers valuable insights into the nature of mathematical knowledge and computation. (...) The significance of this work cannot be overstated. At a time when type theory is gaining increasing prominence in both mathematics and computer science, Granström provides a philosophical foundation that helps explain why type-theoretic approaches have proven so successful. By situating ITT within the broader philosophical tradition, particularly in relation to Kant’s views on mathematical knowledge, the book illuminates both the historical development of constructive mathematics and its contemporary relevance. The work comes at a crucial moment in the development of mathematical foundations. The increasing importance of computer-assisted proof and formal verification has led to renewed interest in constructive approaches to mathematics. Granström’s analysis helps explain why type-theoretic foundations are particularly well-suited to meet these contemporary challenges. His careful exposition of the philosophical foundations of ITT provides essential context for understanding both its historical development and its future potential. Moreover, the book represents a significant contribution to our understanding of the relationship between philosophy and mathematics. By showing how deep philosophical insights about the nature of mathematical knowledge inform the development of formal systems, Granström demonstrates the continuing relevance of philosophical reflection for mathematical practice. This is particularly valuable at a time when the relationship between philosophy and mathematics is often questioned. (shrink)

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)

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.

This article is concerned not so much with school improvement issues per se as with the messages about school improvement provided by academic texts. School im­provement texts are important because they can be expected to reflect the current state of play of intellectual thinking about school improvement and because they also clearly have some impact on policy and practice, that is, to some extent they frame up school improvement issues for practitioners and policymakers. Yet academics holding socially critical perspectives have (...) sometimes been dismissive of school improvement and other education management texts because of their per­ception of a 'problem-solving' tendency which is socially and politically decon­ textualised. Thus when Jenny Ozga provided a review of education management texts in the British Journal of Sociology of Education in 1992 she didn't actually review any books because she didn't think they were worth it (Ozga, 1992). (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)

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)

I discuss problems with Martin-Löf's distinction between analytic and synthetic judgments in constructive type theory and propose a revision of his views. I maintain that a judgment is analytic when its correctness follows exclusively from the evaluation of the expressions occurring in it. I argue that Martin-Löf's claim that all judgments of the forms a : A and a = b : A are analytic is unfounded. As I shall show, when A evaluates to a dependent function type (...) (x : B) → C, all judgments of these forms fail to be analytic and therefore end up as synthetic. Going beyond the scope of Martin-Löf's original distinction, I also argue that all hypothetical judgments are synthetic and show how the analytic-synthetic distinction reworked here is capable of accommodating judgments of the forms A type and A = B type as well. Finally, I consider and reject an alternative account of analyticity as decidability and assess Martin-Löf's position on the analytic grounding of synthetic judgments. (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)

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)

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)

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)

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)

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)

А 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)

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)

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)

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.

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)

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 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 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)

This article explores aspects of Rosenzweig’s Star of Redemption from the perspective of systems theory. Mosès, Pollock, and others have noted the systematic character of the Star. While “systematic” does not mean “systems theoretic,” the philosophical theology of the Star encompasses ideas that are salient in systems theory. The Magen David star to which the title refers, and which deeply structures Rosenzweig’s thought, fits the classic definition of “system” – a set of elements (God, World, Human) and relations between the (...) elements (Creation, Revelation, Redemption). The Yes and No of the elements and their reversals illustrate the bridging of element and relation with the third category of “attribute,” a notion also central to the definition of “system.” In the diachronics of “the All,” the relations actualize what is only potential in the elements in their primordial state and thus remedy the incompleteness of these elements, fusing them into an integrated whole. Incompleteness is a major theme of systems theory, which also explicitly examines the relations between wholes and parts and offers a formal framework for expressing such fusions. In this article, the systems character of Parts I & II of the Star is explored through extensive use of diagrams; a systems exploration of Part III is left for future work. Remarkably, given its highly architectonic character, diagrams are absent in Rosenzweig’s book, except for the triangle of elements, the triangle of relations, and the hexadic star, which are presented on the opening page of each part of the book. While structures can be explicated entirely in words, diagrams are a visual medium of communication that supplements words and supports a nonverbal understanding that structures both thought and experience. (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)

Systems theory offers a language in which one might formulate a metaphysics (or more specifically an ontology) of problems. This proposal is based upon a conception of systems theory shared by vonBertalanffy, Wiener, Boulding, Rapoport, Ashby, Klir, and others,and expressed succinctly by Bunge, who considered game theory, information theory, feedback control theory, and the like to be attempts to construct an "exact and scientific metaphysics." Our prevailing conceptions of "problems" are concretized yet also fragmented, and in fact dissolved, by the (...) standard reductionist model of science, which cannot provide a general framework for analysis. The idea of a "systems theory," however, suggests the possibility of an abstract and coherent account of the origin and essence of problems. Such an account would constitute a secular theodicy. (shrink)

This thesis in an invistigation into the concept of "harm" and its moral relevance. A common view is that an analysis of harm should include a counterfactual condition: an act harms a person iff it makes that person worse off. A common objection to the moral relevance of harm, thus understood, is the non-identity problem. -/- This thesis criticises the counterfactual condition, argues for an alternative analysis and that harm plays two important normative roles. -/- The main ground for rejecting (...) the counterfactual condition is that it has unacceptable consequences in cases of overdetermination and pre-emption. Several modifications to the condition are considered but all fail to solve this problem. -/- According to the alternative analysis to do harm is to perform an act which is responsible for the obtaining of a state of affairs which makes a person’s life go worse. It is argued that should be understood in terms of counterfactual dependence. This claim is defended against counterexamples based on redundant causation. An analysis of is also provided using the notion of a well-being function. It is argued that by introducing this notion it is possible to analyse contributive value without making use of counterfactual comparisons and to solve the non-identity problem. -/- Regarding the normative importance of harm, a popular intuition is that there is an asymmetry in our obligations to future people: that a person would have a life worth living were she to exist is not a reason in favour of creating that person while that a person would have a life not worth living is a reason against creating that person. It is argued that the asymmetry can be classified as a moral option grounded in autonomy. Central to this defence is the suggestion that harm is relevant to understanding autonomy. Autonomy involves partly the freedom to pursue one’s own aims as long as one does no harm. (shrink)

In this talk, I want to present a conception that I have been working on for a number of years (Zwick, 1983, 1995) about the use of systems ideas. I start from the negative and proceed to the positive. The negative assertion is that systems ideas by themselves , unsupplemented by more specific and concrete knowledge (e.g., from the various disciplines), are insufficient for practical application, either for obtaining knowledge about the world or for solving problems. The reason for this (...) is the inherent abstractness of these ideas. The positive assertion is that this metaphysics can be a rich source of insights needed to improve the human condition and a component of a new scientific world view. (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)

The _Principle of Indifference_ was once regarded as a linchpin of probabilistic reasoning, but has now fallen into disrepute as a result of the so-called _problem of multiple of partitions_. In ‘Evidential symmetry and mushy credence’ Roger White suggests that we have been too quick to jettison this principle and argues that the problem of multiple partitions rests on a mistake. In this paper I will criticise White’s attempt to revive POI. In so doing, I will argue that what underlies (...) the problem of multiple partitions is a fundamental tension between POI and the very idea of _evidential incomparability_. (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)

In this paper I draw attention to a peculiar epistemic feature exhibited by certain deductively valid inferences. Certain deductively valid inferences are unable to enhance the reliability of one's belief that the conclusion is true—in a sense that will be fully explained. As I shall show, this feature is demonstrably present in certain philosophically significant inferences—such as GE Moore's notorious 'proof' of the existence of the external world. I suggest that this peculiar epistemic feature might be correlated with the much (...) discussed phenomenon that Crispin Wright and Martin Davies have called 'transmission failure'—the apparent failure, on the part of some deductively valid inferences to transmit one's justification for believing the premises. (shrink)

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

In ‘The normative role of knowledge’ (2012), Declan Smithies defends a ‘JK-rule’ for belief: One has justification to believe that P iff one has justification to believe that one is in a position to know that P. Similar claims have been defended by others (Huemer, 2007, Reynolds, forthcoming). In this paper, I shall argue that the JK-rule is false. The standard and familiar way of arguing against putative rules for belief or assertion is, of course, to describe putative counterexamples. My (...) argument, though, won’t be like this – indeed I doubt that there are any intuitively compelling counterexamples to the JK-rule. Nevertheless, the claim that there are counterexamples to the JK-rule can, I think, be given something approaching a formal proof. My primary aim here is to sketch this proof. I will briefly consider some broader implications for how we ought to think about the epistemic standards governing belief and assertion. (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)

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 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)

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)

A moral requirement R1 is said to be lexically prior to a moral requirement R2 just in case we are morally obliged to uphold R1 at the expense of R2 – no matter how many times R2 must be violated thereby. While lexical priority is a feature of many ethical theories, and arguably a part of common sense morality, attempts to model it within the framework of decision theory have led to a series of problems – a fact which is (...) sometimes spun as a ‘decision theoretic critique’ of lexical priority. In this paper, I develop an enriched decision theoretic framework that is capable of modelling lexical priority while avoiding all extant problems. This will involve introducing several new ingredients into the standard decision theoretic framework, including multidimensional utilities, de minimis risks, and the means to represent two different conceptions of risk. (shrink)

By Martin Roderick & Jacquelyn Allen-Collinson -/- To date, no sociological studies of professional athletes have investigated the lived experiences of sportspeople in highly publicly-visible occupations that provide relatively few opportunities for back-stage relaxation from role demands. Drawing on findings from a British Academy-funded project examining high-profile sports workers, and employing Goffman’s dramaturgical insights, this article provides a novel examination of high-profile athletes who work in highly publicly visible contexts. This working context can render them ‘open’ persons in interactional (...) situations. To explore this sociologically significant occupational domain, interviews were conducted with 26 UK-based professional athletes (female and male) from seven different sports. For these athletes, dramaturgical demands were found to be relentless and unremitting, as back-stage regions proved so challenging to access. -/- . (shrink)

In their 2010 book, Biology’s First Law, D. McShea and R. Brandon present a principle that they call ‘‘ZFEL,’’ the zero force evolutionary law. ZFEL says (roughly) that when there are no evolutionary forces acting on a population, the population’s complexity (i.e., how diverse its member organisms are) will increase. Here we develop criticisms of ZFEL and describe a different law of evolution; it says that diversity and complexity do not change when there are no evolutionary causes.