It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic (...) approach was guided primarily by model theoretical concerns. Accordingly, the ultimate aim of his consistency program was to prove the model-theoretical consistency of mathematical theories. It turns out that for the purpose of carrying out such consistency proofs, a suitable modification of the ordinary first-order logic is needed. To effect this modification, independence-friendly logic is needed as the appropriate conceptual framework. It is then shown how the model theoretical consistency of arithmetic can be proved by using IF logic as its basic logic. Hilbert’s other problems, manifesting themselves as aspects (ii), (iii), and (iv)—most notably the problem of the status of the axiom of choice, the problem of the role of the law of excluded middle, and the problem of giving an elementary account of quantification—can likewise be approached by using the resources of IF logic. It is shown that by means of IF logic one can carry out Hilbertian solutions to all these problems. The two major results concerning aspects (ii), (iii) and (iv) are the following: (a) The axiom of choice is a logical principle; (b) The law of excluded middle divides metamathematical methods into elementary and non-elementary ones. It is argued that these results show that IF logic helps to vindicate Hilbert’s nominalist philosophy of mathematics. On the basis of an elementary approach to logic, which enriches the expressive resources of ordinary first-order logic, this dissertation shows how the different problems that Hilbert discovered in the foundations of mathematics can be solved. (shrink)

This paper aims to show that Frege’s and Hilbert’s mutual disagreement results from different notions of Anschauung and their relation to axioms. In the first section of the paper, evidence is provided to support that Frege and Hilbert were influenced by the same developments of 19th-century geometry, in particular the work of Gauss, Plücker, and von Staudt. The second section of the paper shows that Frege and Hilbert take different approaches to deal with the problems that the developments (...) in 19th-century geometry posed for the traditional Kantian philosophy of mathematics. Frege maintains that Anschauung is a source of knowledge by which we acknowledge geometrical axioms as true. For Hilbert, in contrast, axioms provide one of several correct “pictures” of reality. Hilbert’s position is thereby deeply influenced by epistemological ideas from Hertz and Helmholtz, and, in turn, influenced the neo-Kantian Cassirer. (shrink)

Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide (...) whether or not the equation has a solution in R. We prove that a positive solution to H_{10}(R) implies that the set of all Diophantine equations with a finite number of solutions in R is recursively enumerable. We show the converse implication for every infinite set R \subseteq Q such that there exist computable functions \tau_1,\tau_2:N \to Z which satisfy (\forall n \in N \tau_2(n) \neq 0) \wedge ({\frac{\tau_1(n)}{\tau_2(n)}: n \in N}=R). This implication for R=N guarantees that Smoryński's theorem follows from Matiyasevich's theorem. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have a rational solution is not recursive. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have only finitely many rational solutions is not recursively enumerable. These conjectures are equivalent by our results for R=Q. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies the (...) existence of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important (...) programmatic remarks on the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

It is commonly assumed that Aristotle thinks that his claim that being exhibits a category-based pros hen structure, which he introduces to obviate the problem of categorial heterogeneity, is sufficient to defend the possibility of a science of being qua being. We, on the contrary, argue that Aristotle thinks that the pros hen structure is necessary only, but not sufficient, for this task. The central thesis of our paper is that Aristotle, in what follows 1003b19, raises a second (...) problem for the possibility of the science of being qua being; and that he does not think that the resolution of the first, the category-based problem, is either necessary or sufficient for resolving this problem. This is the problem: how can a plurality of apparently primary kinds and their opposites (they include to hen, to on, to auto, to homoion, to heteron and to anhomoion) be the subject-matter of the science of being qua being? It has been argued that these kinds are per se attributes of ousia and that, therefore, this problem is not different from the first problem. This, we argue, is mistaken; for nowhere in Gamma 2 does Aristotle claim that unity is a per se attribute of ousia. Rather, he says that identity, similarity, etc. are per se attributes of being qua being and unity qua unity. Aristotle’s resolution of the second problem, we argue, is that most of these kinds are reducible to a single compound principle: being-and-unity. Being and unity, moreover, are themselves related to each other as primary ousia and consequent ousia; but, we argue, Aristotle leaves it open, in Gamma 2, which of the two is primary, and which is consequent ousia. (shrink)

According to Kant, the singular judgement ‘This rose is beautiful’ is, or may be, aesthetic, while the general judgement ‘Roses in general are beautiful’ is not. What, then, is the logical relation between the two judgements? I argue that there is none, and that one cannot allow there to be any if one agrees with Kant that the judgement ‘This rose is beautiful’ cannot be made on the basis of testimony. The appearance of a logical relation between the two judgements (...) can, however, be explained in terms of what one does in making a judgement of taste. Finally, I describe an analogy between Kant's treatment of judgements of taste and J. L. Austin's treatment of explicit performative utterances, which I attribute to a deeper affinity between their respective projects. (shrink)

In the present paper, these authors argue on actual reasons why Hilbert’s axiomatic program to unify gravitation theory and electromagnetism failed completely. An outline of plausible resolution of this problem is given here, based on: a) Gödel’s incompleteness theorem, b) Newton’s aether stream model. And in another paper we will present our calculation of receding Moon from Earth based on such a matter creation hypothesis. More experiments and observations are called to verify this new hypothesis, albeit it is (...) inspired from Newton’s theory himself. (shrink)

David Hume's famous riddle of induction implies a second problem related to the question of whether the laws and principles of nature might change in the course of time. Claims have been made that modern developments in physics and astrophysics corroborate the translational invariance of the laws of physics in time. However, the appearance of a new general principle of nature, which might not be derivable from the known laws of physics, or that might actually be a non-physical (...) one (this means completely independent of physical science) supports the notion that the course of nature can change in time. Here it is argued that natural selection satisfies the criteria that identify a general principle of nature which so far, appears to be non-derivable from the known laws of physics and therefore, it is likely that it arose in the course of time, thus leaving open again the quest for a true solution to Hume's second problem. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had (...) many partial successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

This paper critically examines color relationalism and color relativism, two theories of color that are allegedly supported by variation in normal human color vision. We mostly discuss color relationalism, defended at length in Jonathan Cohen's The Red and the Real, and argue that the theory has insuperable problems.

Given the difficulty of characterizing the quandary introduced in Hume’s Appendix to the Treatise, coupled with the alleged “underdetermination” of the text, it is striking how few commentators have considered whether Hume addresses and/or redresses the problem after 1740—in the first Enquiry, for example. This is not only unfortunate, but ironic; for, in the Appendix, Hume mentions that more mature reasonings may reconcile whatever contradiction(s) he has in mind. I argue that Hume’s 1746 letter to Lord Kames foreshadows a (...) subtle, but significant, shift in Hume’s reasonings regarding the relevance of “real connexions”; that the Enquiry of 1748 provides evidence for this shift; and that this shift obviates Hume’s second thoughts by reconciling the contradiction that he had in mind. In short, Hume’s letter to Kames and Enquiry supply the retrodictive keys to a systematically satisfactory account. (shrink)

In order to explain Wittgenstein’s account of the reality of completed infinity in mathematics, a brief overview of Cantor’s initial injection of the idea into set- theory, its trajectory and the philosophic implications he attributed to it will be presented. Subsequently, we will first expound Wittgenstein’s grammatical critique of the use of the term ‘infinity’ in common parlance and its conversion into a notion of an actually existing infinite ‘set’. Secondly, we will delve into Wittgenstein’s technical critique of the concept (...) of ‘denumerability’ as it is presented in set theory as well as his philosophic refutation of Cantor’s Diagonal Argument and the implications of such a refutation onto the problems of the Continuum Hypothesis and Cantor’s Theorem. Throughout, the discussion will be placed within the historical and philosophical framework of the Grundlagenkrise der Mathematik and Hilbert’s problems. (shrink)

The received view of Kripke's Wittgenstein on Rules and Private Language is that it fails as an interpretation because, inter alia, it ignores or overlooks what Wittgenstein has to say in the second paragraph of Philosophical Investigations 201. In this paper, I demonstrate that the paragraph in question is in fact fully accommodated within Kripke's reading, and cannot therefore be reasonably utilised to object to it. -/- In part one I characterise the objection; in part two I explain why (...) it fails; in part three I suggest why commentators might have been motivated to offer it; and in part four I claim that two commentators who have offered it also imply otherwise. (shrink)

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert (...) mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

In a recent paper, María Pía Méndez (2022) offers an epistemic critique of epistocracy according to which the sort of politically well-informed but homogenous groups of citizens that would be empowered under epistocracy would lack reliable access to information about the preferences of less informed citizens. Specifically, they would lack access to such citizens’ preferences regarding the form that policies ought to take—that is, how these policies ought to be implemented. Arguing that this so-called Information Gap Problem militates against (...) epistocracy, Méndez instead recommends that we respond to problems created by widespread voter ignorance by improving the flow of information between political actors by adopting some participatory democratic institutions. In this paper I argue that the severity of the Information Gap Problem for epistocracy is overstated. After first sketching some background (Section 1), I argue that it is hard to see why information about citizens’ preferences for the form that policies ought to take is important enough that the expected costs of epistocracy outweigh its expected benefits if it selectively empowers people who lack access to such information (Section 2). Moreover, different forms of epistocracy are less threatened by the Information Gap Problem, assuming it is indeed a problem. For some forms of epistocracy, it may be no problem whatsoever. However, I conclude by suggesting that Méndez touches upon some more serious problems for epistocracy (Section 3). First, even setting aside the Information Gap Problem, there are open questions about the possible epistemic inferiority of epistocracy relative to democracy. Second, more comprehensive accounts of political competence that move beyond the possession of sufficient levels of political information are much harder to reliably test for, thus complicating the task of devising effective epistocratic selection mechanisms. Lastly, epistocracy arguably creates a serious risk of abuse that may outweigh any other benefits it brings. More research is needed to determine how (and whether) epistocrats can respond to such challenges. (shrink)

In a previous paper, an elementary and thoroughly arithmetical proof of Fermat’s last theorem by induction has been demonstrated if the case for “n = 3” is granted as proved only arithmetically (which is a fact a long time ago), furthermore in a way accessible to Fermat himself though without being absolutely and precisely correct. The present paper elucidates the contemporary mathematical background, from which an inductive proof of FLT can be inferred since its proof for the case for “n (...) = 3” has been known for a long time. It needs “Hilbert mathematics”, which is inherently complete unlike the usual “Gödel mathematics”, and based on “Hilbert arithmetic” to generalize Peano arithmetic in a way to unify it with the qubit Hilbert space of quantum information. An “epoché to infinity” (similar to Husserl’s “epoché to reality”) is necessary to map Hilbert arithmetic into Peano arithmetic in order to be relevant to Fermat’s age. Furthermore, the two linked semigroups originating from addition and multiplication and from the Peano axioms in the final analysis can be postulated algebraically as independent of each other in a “Hamilton” modification of arithmetic supposedly equivalent to Peano arithmetic. The inductive proof of FLT can be deduced absolutely precisely in that Hamilton arithmetic and the pransfered as a corollary in the standard Peano arithmetic furthermore in a way accessible in Fermat’s epoch and thus, to himself in principle. A future, second part of the paper is outlined, getting directed to an eventual proof of the case “n=3” based on the qubit Hilbert space and the Kochen-Specker theorem inferable from it. (shrink)

This paper explores the possibility that Hobbesian jurisprudence is best understood as a ‘third way’ in legal theory, irreducible to classical natural law or legal positivism. I sketch two potential ‘third theories’ of law -- legal pragmatism and legal dualism -- and argue that, when considered in its broadest sense, Leviathan is best viewed as an example of legal pragmatism. I consider whether this legal pragmatist interpretation can be sustained in the examination of Leviathan’s treatment of civil law, and argue (...) that the pragmatic interpretation can only be successful if we can resolve two textual issues in that chapter. First, while Hobbes argues that law entails the existence of public (sharable) reasons, he does not adequately defend the view that the sovereign is the unique authority over such reasons in all cases, especially as far as they concern known collective emergencies. Second, Hobbes both affirms and denies that a sovereign can fail to do justice, which is paradoxical. Both problems are best resolved by legal pragmatism, though the second problem resists a fully satisfying resolution. The upshot is that, although Leviathan ought to be regarded as an episode of legal pragmatism, there are trade-offs on every reading. (shrink)

Introduction Reza Davari Ardakni, the Iranian contemporary philosopher, distinguishes development from Western modernity; in that it considers modernity as natural and organic changes that Europe has gone through, but sees development as a planned design for implementing modernity in other countries. As a result, the closedness of development concerns only the developing countries, not Western modern ones. Davari emphasizes that the Western modernity has a universality that pertains to a unique reason and a unified world. The only way of thinking (...) in this world is a philosophical thought based on human self-centered reason, and given the pervasiveness of Western civilization. Therefore, Davari does not consider Westernization as mere imitation of Western customs and methods, but rather as a way of existence in the world. Westernization is a subjective view of the world and beings. Westernization is not optional, enabling non-Western people to avoid it. According to the Westernization scenario, the world today is entirely Westernized, and Davari considers Westernization as the inevitable fate of the people of this era, seeing two alternatives for them, both of which ultimately lead to the same destination, which is to embrace development; either they seize the power of science and technology and join the process of global modernization and participate in it, or they become subdued by this process and accept it without participation. Davari regards the first type of Westernization as active and the second type as passive. Problematique Therefore, underdevelopment is not a concept of the ancient world, nor even of a world between the ancient and the modern, or on the threshold of modernization. Underdevelopment is a condition of suspension and timelessness and being exposed to modernization. To escape the paradox of underdevelopment, which is the inevitable historical fate of non-modernized societies, Davari sees no way out other than embracing development. In other words, Westernized societies, which have become confused due to modernization, have no escape route other than turning to development. Therefore, some critics of Davari accuse the theory of Westernization of being a theoretical rupture. M. T. Tabatabaei, by rejecting the theoretical rupture in the theory of Westernization, believes that in the argument of Davari, we are only faced with a shift from a philosophical to an intellectual level. Tabatabaei, by avoiding providing a philosophical response to the critics of the theoretical rupture, believes that the introduction of active Westernization and collaboration in science and technology as a solution to escape from underdevelopment conditions, is only a shift from a philosophical level to an intellectual level and does not involve a rupture. Therefore, it seems that the philosophical issue of how or the possibility of escaping from underdevelopment conditions is still an open non answered problem. In this study, seeking a philosophical answer to this problem, an attempt has been made to summarize Davari's definitions of development, underdevelopment, participation in the world of science, and the role of humanities and social sciences in development, using his writings and speeches. It is proposed that a way to escape from the clesedness of development based on Davari's views, is to make use of analytical method with emphasizing on concepts and theories of the philosophy and metaphysics of science. Argument According to Davari, the social and human sciences that are responsible for development planning in underdeveloped societies must consider the characteristics of underdevelopment in order to facilitate the transition to more favorable conditions. Davari identifies the following conditions for successful development: 1) replacing tradition with science as the organizing and coordinating principle in society, 2) recognizing the universality of philosophy and science of the Western modernity and the impossibility of blindly imitation and adopting it, 3) inevitability of actively engaging and interacting with development, 4) recognizing the internal dynamics of scientific progress and avoiding authoritarian control, and 5) promoting free participation in the scientific paradigms. Therefore, Davari suggests the following steps towards development: 1) recognizing and understanding the problems of society and the local ecosystem, 2) understanding the philosophical and cultural foundations of Western civilization, 3) understanding the historical context and paradigms of science, 4) understanding the philosophical and metaphysical foundations of science, 5) recognizing the intellectual and philosophical capacities of our own community, and 6) reflecting our own philosophical and metaphysical assumptions in the scientific world in a way that is compatible with scientific methods. Given the motivations for change in science at both the global and national levels, including the emergence of heterodox or indigenous sciences, and the inevitable nature of development, Davari points to the possibility of a path between absolute rejecting or accepting the mainstream social and human sciences. However, this path is challenging and contingent upon the aforementioned conditions and steps of transition. Conclusion It is necessary to seek this path within the realm of the philosophy and metaphysics of science, particularly in the origins and foundations of the social and human sciences. Research in the metaphysics and philosophy of the social sciences provides the opportunity for active scientific engagement in the scientific paradigms and a reconsideration of the foundations of science, allowing for different philosophical foundations while are compatible with scientific methods. Successfully finding a path between absolute rejecting or accepting the existing social sciences will lead to an internal transformation within the field of science and, in fact, will advance the boundaries of knowledge. Therefore, it is possible, while adhering to the conditions of transition and actively participating in the world of science and technology, and accepting the unity of modernity and avoiding selectivity and imitation, to search for a way to overcome the closedness of development through a reconsideration of the philosophical and metaphysical foundations of science, while recognizing our own intellectual heritage and critically assessing Western science and technology. (shrink)

This article presents a critical analysis of two influential readings of Kant’s Second Analogy, namely, Gerd Buchdahl’s “modest reading” and Michael Friedman’s “strong reading.” After pointing out the textual and philosophical problems with each, I advance an alternative reading of the Second Analogy argument. On my reading, the Second Analogy argument proves the existence of necessary and strictly universal causal laws. This, however, does not guarantee that Kant has a solution for the problem of induction. After (...) I explain why the empirical lawfulness of nature does not guarantee the empirical uniformity of nature, I examine the modal status of empirical laws in Kant and argue contra Buchdahl and Friedman that empirical laws express two different kinds of necessity that are not reducible to each other. -/- . (shrink)

Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.

My aim in what follows is to expound and (if possible) resolve two problems in Spinoza’s theory of mind. The first problem is how Spinoza can accept a key premise in Descartes’s argument for dualism—that thought and extension are separately conceivable, “one without the help of the other”—without accepting Descartes’s conclusion that no substance is both thinking and extended. Resolving this problem will require us to consider a crucial ambiguity in the notion of conceiving one thing without another, (...) the credentials of Descartes’s principle that each substance has a principal attribute, and the prospect of neutral monism as a theory of the mind. The second problem is how Spinoza can maintain that each mental event is identical with some physical event (and conversely) while denying that there is ever any causal interaction between mental and physical events. If one mental event causes another and the first is identical with some physical event, must that physical event not cause the mental event? Resolving this problem will require looking into the reach of opacity in Spinoza’s philosophy and considering whether there are ever any legitimate exceptions to Leibniz’s Law. (shrink)

Purpose – This study aims to examine the observer’s role in “infant psychophysics”. Infant psychophysics was developed because the diagnosis of perceptual deficits should be done as early in a patient’s life as possible, to provide efficacious treatment and thereby reduce potential long-term costs. Infants, however, cannot report their perceptions. Hence, the intensity of a stimulus at which the infant can detect it, the “threshold”, must be inferred from the infant’s behavior, as judged by observers (watchers). But whose abilities are (...) actually being inferred? The answer affects all behavior-based conclusions about infants’ perceptions, including the well-proselytized notion that auditory stimulus-detection thresholds improve rapidly during infancy. Design/methodology/approach – In total, 55 years of infant psychophysics is scrutinized, starting with seminal studies in infant vision, followed by the studies that they inspired in infant hearing. Findings – The inferred stimulus-detection thresholds are those of the infant-plus-watcher and, more broadly, the entire laboratory. The thresholds are therefore tenuous, because infants’ actions may differ with stimulus intensity; expressiveness may differ between infants; different watchers may judge infants differently; etc. Particularly, the watcher’s ability to “read” the infant may improve with the infant’s age, confounding any interpretation of perceptual maturation. Further, the infant’s gaze duration, an assumed cue to stimulus detection, may lengthen or shorten nonlinearly with infant age. Research limitations/implications – Infant psychophysics investigators have neglected the role of the observer, resulting in an accumulation of data that requires substantial re-interpretation. Altogether, infant psychophysics has proven far too resilient for its own good. Originality/value – Infant psychophysics is examined for the first time through second-order cybernetics. The approach reveals serious unresolved issues. (shrink)

Panpsychism, the view that consciousness is present everywhere at the fundamental level of reality, has established itself as an increasingly popular option in the philosophy of mind. Situated between substance dualism and reductive physicalism, panpsychism aims to capture the intuitions behind both, integrating consciousness into the physical world without explaining it in terms of purely physical facts. In this thesis, I offer a defence of panpsychism. -/- First, I examine influential arguments against physicalism, such as Thomas Nagel’s (1974, 1979) perspective-based (...) proposal, Frank Jackson’s (1982) knowledge argument, David Chalmers’ (1996, 2010) conceivability argument, as well as vagueness arguments (Antony 2006a; Tye 1996). I argue that none of them offers a knockdown case against physicalism, particularly because of the threat presented by the phenomenal concept strategy (Chalmers 2007; Papineau 2007a), though they suggest panpsychism as a promising alternative that avoids many common objections. -/- Second, I discuss independent arguments for panpsychism, including the Russellian monist view (Goff 2017; Russell 1927/1992), the intrinsic nature argument (Seager 2006; Strawson 2006), recent developments in the literature as presented by Hedda Hassel Mørch (2018, 2020) and Luca Dondoni (2022), Tye’s (2021b) representational panpsychism based on the vagueness argument, as well as cosmopsychism (Nagasawa & Wager 2016; Shani 2015) – an alternative to panpsychism that shares its aims whilst claiming to avoid its shortcomings. -/- Third, I address the most pressing objection to panpsychism: the combination problem or the question of how fundamental consciousness can combine to lead to complex consciousness (James 1890). Focusing especially on the subject-summing version of the combination problem or the issue of how small subjects can combine to form complex subjects, I go over various proposals for either solving or avoiding it, such as Philip Goff’s (2016) phenomenal bonding relation and William Seager’s (2010) combinatorial infusion proposal, arguing against both and agreeing at the end with Sam Coleman (2014), who advocates that subject-summing is demonstrably incoherent. -/- However, as I argue in the fourth and final chapter, the panpsychist still has an option that avoids the subject-summing problem, while also circumventing the objections faced by the alternative view of cosmopsychism. Inspired though not reliant on the philosophy of Gottfried Wilhelm Leibniz (1902/2005), I introduce what I call monadic panpsychism, the view that the phenomenal character of any given consciousness-bearing physical ultimate is determined by its relations to other such ultimates featuring in the relevant causal structure. -/- The theory consists of two key claims. The first is that phenomenal qualities are relational rather than intrinsic. This view has precedent in literature on the philosophy of mind, such as in Rudolf Carnap (1928), Gottlob Frege (1956), Moritz Schlick (1959), as well as more recently in David Hilbert and Mark Kalderon (2000) and Austen Clark (2000), though not in the context of panpsychism. -/- The second claim is that physical ultimates only possess a very basic form of consciousness necessary for experiencing as such. There are many ways to conceptualise this basic consciousness: non-relational or intrinsic, rudimentary and non-specific, a point of view without experiences, the minimal subject, a mere conduit for experience, phenomenal space, etc. Russellian panpsychists offer a more detailed proposal in which every physical ultimate has an appropriate associated type of experience. For example, all quarks have the same quark-type of experience, assuming for the sake of discussion that quarks are ultimates. Still, arguing for a more minimal notion, as I do, requires making less claims and should not be controversial to any panpsychist. -/- So, what follows from these two claims? I propose that the relational constitution of phenomenal qualities has its endpoint at the fundamental level rather than at the level of a combined complex or emergent subject. Put simply, physical ultimates guarantee the basic consciousness or the point of view that I occupy, while the relational structure constitutes my rich and full human experience. So to speak, relationally constituted phenomenal qualities ‘anchor’ themselves in physical ultimates. As long as these relations result in a phenomenally unified experience, which is an uncontroversial thesis, then no matter where that process reaches the end of its causal chain, it will necessarily be experienced from a subjective point of view. -/- Since only qualities but not subjects need to combine, my proposal avoids the subject-summing version of the combination problem, which is arguably an insurmountable challenge to other forms of panpsychism. Because of this, I conclude that my theory contributes to the field, serving as a good starting point for further developments of neither combinatory nor emergent panpsychism with regard to subjects. (shrink)

In the debates regarding the ethics of human organoid biobanking, the locus of donor autonomy has been identified in processes of consent. The problem is that, by focusing on consent, biobanking processes preclude adequate engagement with donor autonomy because they are unable to adequately recognise or respond to factors that determine authentic choice. This is particularly problematic in biobanking contexts associated with organoid research or the clinical application of organoids because, given the probability of unforeseen and varying purposes for (...) which a donor’s organoids could be employed and given the different ways in which a donor can relate to her biospecimens, a donor can value her organoids differently in different contexts and her reasons for autonomously permitting use of her cells and tissues in one case may not support an autonomous decision in another. In response, this paper has three aims: firstly, to make the case for why organoid biobanks ought to respect donor autonomy conceived as authentic choice; secondly, to explore the autonomy-respecting limits of established and widely prevalent models of biobank consent; and thirdly, to propose certain conditions that organoid biobanks ought to support or facilitate in order to respect donor autonomy. (shrink)

Understanding the policymaking process in an emerging economy in the global south, such as Bangladesh, holds significant importance. The country's remarkable socio-economic development, once the most impoverished in the region, has been facilitated by post-globalization economic transformation. While the literature on institutional change has predominantly focused on states in industrialist countries, this dissertation presents an innovative theoretical approach. It deeply explores primary case materials to illustrate how the state engages in policy evolution in a developing country's gradual shift from the (...) import substitution model towards globalization and deregulation. The central argument posited is that Bangladesh's globalization, particularly through its private sector-led garment exports, stands as a significant success story. Bangladesh is now the world's second-largest garment exporter after China. This achievement is attributed to the entrepreneurial development it fosters and its role in driving socio-economic change. Moreover, it has enabled the mobilization of resources, reducing aid dependence, enhancing climate resilience, improving public health and wellbeing, empowering women, and addressing critical needs in physical infrastructure and human development. The argument presented here diverges from the conventional explanation found in the literature, which tends to emphasize the role of external forces, particularly institutions like the World Bank, the International Monetary Fund, and donors, in triggering policy reforms in Bangladesh. These reforms, commonly linked with structural adjustment packages implemented during the balance of payments crisis, are frequently perceived as predominantly influenced by external pressures. Additionally, the influence of the business class or Bangladeshi non-governmental organizations (NGOs) is often asserted. This dissertation proposes an alternative explanation by suggesting that ideational viewpoints within the state, specifically the ideas espoused by top technocrats and political executives, played a significant role. It argues that these internal ideational factors were more influential than materialistic ones, highlighting the causal role of the policy process driven by endogenous imperatives. The introduction of the dissertation addresses the research problem and research puzzle while suggesting conjectures after problematizing existing arguments. The significant economic transformation observed in Bangladesh today is portrayed as the outcome of a gradual process spanning several decades. The transition towards promoting the private sector and embracing globalization commenced in 1991, following a series of incremental changes dating back to the 1970s and 1980s. During these periods, the institutional path progressed towards empowering the private sector and embracing globalization, laying the groundwork for a trajectory led by the private sector in the context of globalization. The theory chapter serves to establish the conceptual and theoretical foundation for analyzing both economic change and transformation by examining the evolutionary nature of the process. The study adopts an institutional change framework, drawing on the theory of gradual change and focusing on concepts such as layering and tipping points. Within this framework, causal variables such as powering and puzzling, social learning, and ideas are identified. The methodological approach is grounded in historical institutionalism, employing the process-tracing "within case" method. The selection of cases deliberately targets an important yet under-researched area—the policy process in Bangladesh concerning the success of garment-led industrialization. This dissertation fills a noticeable gap in the literature through rigorous analysis, enabling an in-depth exploration of the institutional dynamics spanning four governments from 1972 to 1991. The study relies on substantial primary materials, including interviews with key officials. Each empirical chapter not only presents data but also connects the findings to conceptual and theoretical conjectures, underscoring the significant contributions of this research. The key causal variables identified include the concepts of ‘puzzling’ and ‘social learning’ within the state capacity framework, along with a narrowly defined and developed concept of a "policy committee." The learning process entails technocrats engaging in what Hugh Heclo and Peter Hall term as "social learning," where they play a crucial role in addressing policy challenges, particularly during times of uncertainty and political turmoil, based on their learning from past experiences. Additionally, the concept of ‘powering’ is highlighted, emphasizing that while technocrats provide policy recommendations, it is ultimately the political executive who endorses policies. The interplay between ‘puzzling and powering’ and ‘social learning’ shapes the outcomes of the policy process. The first empirical chapter focusing on the Sheikh Mujibur Rahman Government (1972-1975) illustrates the emergence of policy learning during this period. Initially, this government pursued import substitution under strict government controls, with a predominant public sector. The historical context of exploitation under Pakistani rule and the centralization of industry by West Pakistan fostered socialism as an ideal for East Pakistan's economic emancipation. Additionally, close ties with India and the Soviet Union reinforced this socialist tendency. However, due to severe economic conditions resulting from stringent control on private investment and emphasis on large-scale public investment, policy puzzling and learning ensued. As a result, incremental changes were initiated, allowing limited private sector participation. The second empirical chapter explores the General Ziaur Rahman government's tenure (1975-1981) and how deregulation was consolidated within a layering step, paving the way for a shift towards globalization. General Zia and his technocrats, operating under authoritarian conditions, acknowledged the inefficacy of existing policies. Furthermore, General Zia's inclination towards the West fostered closer collaboration with donors. The Multifiber Agreement (MFA) presented an opportunity for garments, coinciding with the decline in jute exports. This government opened up industrial sectors for private participation, and banks provided funding across various sectors, with special emphasis on the burgeoning garment industry. The chapter also explores the origins of the garment industry during this period. Notably, Noorul Quader Khan, upon retiring as cabinet secretary, collaborated with a Korean multinational, Daewoo, with the support of General Zia, leading to the establishment of Desh Garments—a pioneering venture that catalyzed the export orientation of the sector. The third empirical chapter delves into the economic policies of the General Hussain Muhammad Ershad Government (1982-1990), highlighting its emphasis on greater private sector involvement. Under this administration, there was a political inclination towards globalization and deregulation, leading to the appointment of technocrats aligned with this vision. The leadership believed that promoting the private sector would be more effective in job creation. Despite facing significant political opposition, efforts towards disinvestment were made, eventually resulting in compromises like public-private partnerships. The decentralization of administration and restructuring of ministries aimed at promoting industrialization and economic globalization driven by the private sector at the regional level. Initiatives such as the Industrial Promotion and Development Company, with support from organizations like the International Finance Corporation, aimed to boost the private sector. Efforts towards globalization were synchronized with the establishment of an export processing zone in Chittagong, focusing on promoting private and foreign investment. Foreign investment promotion was encouraged through diplomatic efforts and legislative measures to safeguard investors. Currency devaluation was utilized to stimulate exports, along with some degree of import liberalization. The chapter convincingly argues that the groundwork for globalization, initiated under General Zia, came to fruition under General Ershad. The final empirical chapter contends that the system shifted towards globalization and deregulation in 1991. Although a severe balance of payments crisis occurred in 1989, it wasn't perceived as the sole cause of the industrial policy of 1991. The democratic uprising in 1990 led to the downfall of the military-backed government and the rise of a democratic government. The chapter argues that while economic and political changes may have been intertwined, the economic shift in 1991 was primarily driven by ideas within the state and driven by endogenous imperatives. It examines preceding periods to illustrate how the tipping mechanism might have operated, detailing the roles of top technocrats and political executives. The chapter provides insights into key policymakers and their ideas, as well as their interactions with industrialists, entrepreneurs, and representatives of multilateral organizations like the World Bank. Significant reform measures, including tariff reduction, the introduction of value-added tax, banking sector reform, and the adoption of floating exchange rates, are outcomes of the policy change. Additionally, sectors such as power, banks, and telecommunications, formerly monopolized by the public sector, are now deregulated. (shrink)

The philosophy of information (PI) is a new area of research with its own field of investigation and methodology. This article, based on the Herbert A. Simon Lecture of Computing and Philosophy I gave at Carnegie Mellon University in 2001, analyses the eighteen principal open problems in PI. Section 1 introduces the analysis by outlining Herbert Simon's approach to PI. Section 2 discusses some methodological considerations about what counts as a good philosophical problem. The discussion centers on Hilbert's famous (...) analysis of the central problems in mathematics. The rest of the article is devoted to the eighteen problems. These are organized into five sections: problems in the analysis of the concept of information, in semantics, in the study of intelligence, in the relation between information and nature, and in the investigation of values. (shrink)

About six weeks ago, our post referred to the long-winding path to a new theoretical innovation as the pursuit of “useless knowledge” in Flexner’s terms. That little creation is the freshly minted informational entropy-based definition of value, presented in a very short paper, initially regarded by its authors as a research note. (And it still is.) Well, only two and a half months since its birth, this new concept of value has had enough time to power up several of our (...) publications in different disciplinary fields. The first published paper using the new definition deals with climate change denialism. The second paper (forthcoming) discusses the problem of academic retractions amidst the growing influence of generative AI. And the third, just accepted, explains the underlying mechanism of submission mechanism employed by journal editors and peer-reviewers, and the information-value nexus associated with it. (shrink)

How do we prepare engineering students to make ethical and responsible decisions in their professional work? This paper presents an approach that enhances engineering students’ engagement with ethical reasoning by simulating decision-making in a complex scenario. The approach has two principal inspirations. The first is Anthony Weston’s scenario-based teaching. Weston’s concept of a scenario is a situation that changes in response to choices made by participants, according to an inner logic. Scenarios can dynamically explore open-ended complex problems without imposing predetermined (...) results, allowing students to apply their ethical reasoning in a more realistic fashion. The second inspiration is Thi Nguyen’s theory of games. According to Nguyen, games are the “art of agency,” meaning that they provide a structure under which some result is agreed to be valuable, along with prescribed ways of achieving that result, in a relatively low-stakes and temporary social arrangement. By playing many games, Nguyen argues, we can develop a “library of agency,” that is to say, a set of values and means to achieving them that can inform how we make high-stakes decisions in real life. Engaging with carefully designed game scenarios, then, can enable students to practice making ethical decisions within a structured framework, which unfolds in response to their choices, while their decisions are driven by some defined goal. This roleplaying game–based approach thus allows students to build their own ethical libraries of agency, in preparation for professional decision-making. The approach is illustrated using a specific example recently deployed in a seminar on engineered living materials (building materials that incorporate living tissues). The scenario uses techniques from tabletop roleplaying games (e.g. Dungeons & Dragons) for outcome resolution, adventure design, and character creation. Through the game, students practice making difficult decisions in a humanitarian context. (shrink)

As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed (...) individuation conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed individuation conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. (shrink)

Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.

In contemporary Western analytic philosophy, the classic analogical argument explaining our knowledge of other minds has been rejected. But at least three alternative positive theories of our knowledge of the second person have been formulated: the theory-theory, the simulation theory and the theory of direct empathy. After sketching out the problems faced by these accounts of the ego’s access to the contents of the mind of a “second ego”, this paper tries to recreate one argument given by Abhinavagupta (...) (Shaiva philosopher of recognition) to the effect that even in another’s body, one must feel and recognize one’s own self, if one is able to address that embodied person as a “you”. The otherness of You does not take away from its subjectivity. In that sense, just as every second person to whom one could speak is, first, a person, she is also a first person. Even as I regret that I do not know exactly how some other person is feeling right now, I must have some general access to the subjective experience of that other person, for otherwise what is it that I feel so painfully ignorant about? My subjective world is mine only to the extent that I recognize its continuity with a sharable subjective world where other I-s can make a You out of me. (shrink)

When we encounter extremist rhetoric, we often find it dumbfounding, incredible, or straightforwardly unintelligible. For this reason, it can be tempting to dismiss or ignore it, at least where it is safe to do so. The problem discussed in this paper is that such dismissals may be, at least in certain circumstances, epistemically unjust. Specifically, it appears that recent work on the phenomenon of hermeneutical injustice compels us to accept two unpalatable conclusions: first, that this failure of intelligibility when (...) we encounter extremist rhetoric may be a manifestation of a hermeneutical injustice; and second, that remedying this injustice requires that we ought to become more engaged with and receptive of extremist worldviews. Whilst some theorists might interpret this as a reductio of this framework of epistemic in/justice, we push back against this conclusion. First, we argue that with a suitably amended conception of hermeneutical justice—one that is sensitive to the contextual nature of our hermeneutical responsibilities, and to the difference between understanding a worldview and accepting it—we can bite the bullet and accept that certain extremists are subject to hermeneutical injustice, but without committing ourselves to any unpalatable conclusions about how we ought to remedy these injustices. Second, we argue that bringing the framework of hermeneutical in/justice to bear upon the experience of certain extremists actually provides a new and useful perspective on one of the causes of extremism, and how it might be undermined. (shrink)

Conceptual engineering is concerned with the improvement of our concepts. The motivating thought behind many such projects is that some of our concepts are defective. But, if to use a defective concept is to do something wrong, and if to do something wrong one must be in control of what one is doing, there might be no defective concepts, since we typically are not in control of our concept use. To address this problem, this paper turns from appraising the (...) concepts we use to appraising the people who use them. First, I outline several ways in which the use of a concept can violate moral standards. Second, I discuss three accounts of moral responsibility, which I call voluntarism, rationalism, and psychologism, arguing that each allows us to find at least some cases where we are responsible for using defective concepts. Third, I answer an objection that because most of our concepts are acquired through processes for which we are not responsible, our use of defective concepts is a matter of bad luck, and not something for which we are responsible after all. Finally, I conclude by discussing some of the ways we may hold people accountable for using defective concepts. (shrink)

Duncan Pritchard has, in the years following his (2005) defence of a safety-based account of knowledge in Epistemic Luck, abjured his (2005) view that knowledge can be analysed exclusively in terms of a modal safety condition. He has since (Pritchard in Synthese 158:277–297, 2007; J Philosophic Res 34:33–45, 2009a, 2010) opted for an account according to which two distinct conditions function with equal importance and weight within an analysis of knowledge: an anti-luck condition (safety) and an ability condition-the latter being (...) a condition aimed at preserving what Pritchard now takes to be a fundamental insight about knowledge: that it arises from cognitive ability (Greco 2010; Sosa 2007, 2009). Pritchard calls his new view anti-luck virtue epistemology (ALVE). A key premise in Pritchard’s argument for ALVE is what I call the independence thesis; the thesis that satisfying neither the anti-luck condition nor the ability condition entails that the other is satisfied. Pritchard’s argument for the independence thesis relies crucially upon the case he makes for thinking that cognitive achievements are compatible with knowledge-undermining environmental luck—that is, the sort of luck widely thought to undermine knowledge in standard barn facade cases. In the first part of this paper, I outline the key steps in Pritchard’s argument for anti-luck virtue epistemology and highlight how it is that the compatibility of cognitive achievement and knowledge- undermining environmental luck is indispensible to the argument’s success. The second part of this paper aims to show that this compatibility premise crucial to Pritchard’s argument is incorrect. (shrink)

In spite of its everyday connotations, the term independence as republicans understand it is not a celebration of individualism or self-reliance but embodies an acknowledgement of the importance of personal and social relationships in people’s lives. It reflects our connectedness rather than separateness and is in this regard a relational ideal. Properly understood, independence is a useful concept in addressing a fundamental problem in social philosophy that has preoccupied theorists of relational autonomy, namely how to reconcile the idea of (...) individual human agency with the inevitable and necessary influence of other people, both directly and indirectly. I derive my account from the work of Mary Wollstonecraft and Catharine Macaulay, whose contributions have remained largely overlooked by current republican theorists. I have three purposes in this chapter. First, I set out the relational character of independence. Secondly, I outline a republican approach to the problem of structural social threats to agency. Finally, I hope to establish the basis for a fruitful dialogue between republicans and relational autonomy theorists on the requirements and dynamics of individual agency and freedom in oppressive social situations. I identify three distinctive features of the internal logic of freedom as independence that give it a relational character: it always locates the person within a community; there is a mediating role played by the notion of arbitrariness in connecting individual and collective perspectives; a causal relationship exists linking each person’s freedom as independence such that that the dependence of one class of persons jeopardizes the independence of the whole community. (shrink)

Brandom’s philosophical programme can be seen as a reversion of the traditional order of explanation in semantics. Whereas traditional semantic theories start with a grip on a notion like truth or reference, Brandom argues that it is also possible to begin with an analysis of the speech acts of what one is doing by making a claim in order to explain representational notions like truth and objectivity. Evaluating the explanatory values of Brandom’s theory, it therefore is necessary to ask to (...) what extent Brandom’s analysis of our linguistic practices is able to explain what other theories start with. That is, can linguistic practices in Brandom’s sense give an account of why we are capable of referring to language-external objects? And can they make evident why we take truth and falsity not to depend upon our beliefs or claims but upon an extra-linguistic reality? After a short discussion of Brandom’s answer to the first question, I argue that Brandom’s answer to the second is not sufficient and that it does not seem to be possible to give a sufficient answer within his theory. (shrink)

With regards to the inefficiencies and uncompromising situations within the humanities and social sciences field in Iran, the challenge of problematizing these sciences is inevitable. So far, numerous research analyzing humanities and social sciences’ problems in the Iranian academic system have been published. Considering the important role of humanities and social sciences in the modern Iranian society, we attempt to suggest a theoretical framework for the problematization of humanities and social sciences in Iran. The exploration of the main challenges facing (...) humanities and social sciences in Iran from the community, academy and administration point of view, sparks three hypotheses. First, humanities and social sciences’ theories and teachings are not applied accurately. Second, the humanities and social sciences’ schools of thought are not chosen properly according to Iranian circumstances. And third, there are metaphysical differences between axioms and presupposition of humanities and social sciences having western origins and those with Islamic-Iranian culture. (shrink)

According to the “paradox of knowability”, the moderate thesis that all truths are knowable – ... – implies the seemingly preposterous claim that all truths are actually known – ... –, i.e. that we are omniscient. If Fitch’s argument were successful, it would amount to a knockdown rebuttal of anti-realism by reductio. In the paper I defend the nowadays rather neglected strategy of intuitionistic revisionism. Employing only intuitionistically acceptable rules of inference, the conclusion of the argument is, firstly, not ..., (...) but .... Secondly, even if there were an intuitionistically acceptable proof of ..., i.e. an argument based on a different set of premises, the conclusion would have to be interpreted in accordance with Heyting semantics, and read in this way, the apparently preposterous conclusion would be true on conceptual grounds and acceptable even from a realist point of view. Fitch’s argument, understood as an immanent critique of verificationism, fails because in a debate dealing with the justification of deduction there can be no interpreted formal language on which realists and anti-realists could agree. Thus, the underlying problem is that a satisfactory solution to the “problem of shared content” is not available. I conclude with some remarks on the proposals by J. Salerno and N. Tennant to reconstruct certain arguments in the debate on anti-realism by establishing aporias. (shrink)

The study aimed to identify the creative environment of the technical colleges operating in Gaza Strip. The analytical descriptive method was used through a questionnaire which was randomly distributed to 289 employees of the technical colleges in Gaza Strip with a total number of (1168) employees and a response rate equal to (79.2%) of the sample study. The results confirmed the existence of a high degree of approval for the dimensions of the creative environment with a relative weight of (75.19%) (...) according to the perspective of the employees of the technical colleges in Gaza Strip. The results of the study showed a high level of creative environment (fluency, flexibility, originality, sensitivity to problems) in the technical colleges in Gaza Strip, where the field (fluency) ranked first and relative weight (76.86%), in the second place came the area (sense of problems) and relative weight (74.89%). The field of elasticity came in third place with a relative weight of (74.59%). Finally, the field of originality came in fourth and final rank with a relative weight of (74.41%). The results showed that there are differences between the technical colleges in the principles of the creative environment in all fields and the overall degree except for the field of flexibility. The most available colleges in these principles were the university college of applied sciences, and that was the least of the Faculty of Al-Aqsa Society. The results showed that there were differences according to the age variable in the areas of creative environment only in the sense of problems for age groups (less than 30 years) and (from 40 to 50 years). The researchers suggested a number of recommendations, the need to enhance the dimensions of the creative environment in technical colleges by working to improve the faculties of fluency, flexibility, originality and sensitivity to problems. The need to work on continuity and improve aspects of the creative environment of the colleges and the creation of new and innovative ways to support and develop and support these aspects combined. Necessity of technical colleges to continue to develop the creative environment (fluency, flexibility, originality, sensitivity to problems) for employees by engaging them in specialized training courses for creative thinking and problem solving. Developing work procedures with new innovative methods that will accomplish the various tasks quickly and accurately, and provide the effort, time and costs. The researchers urged more future studies that address the same variables of the current study in the field of creative environment and applied to other sectors. (shrink)

According to Mathias Risse and Richard Zeckhauser, racial profiling can be justified in a society, such as the contemporary United States, where the legacy of slavery and segregation is found in lesser but, nonetheless, troubling forms of racial inequality. Racial profiling, Risse and Zeckhauser recognize, is often marked by police abuse and the harassment of racial minorities and by the disproportionate use of race in profiling. These, on their view, are unjustified. But, they contend, this does not mean that all (...) forms of racial profiling are unjustified; nor, they claim, need one be indifferent to the harms of racism in order to justify racial profiling. In fact, one of the aims of their paper is to show that racial profiling, suitably understood, “is consistent with support for far-reaching measures to decrease racial inequities and inequality.” Hence, one of their most striking claims, in an original and provocative paper, is that one can endorse racial profiling without being in any way indifferent to the disadvantaged status of racial minorities. In an initial response to these claims, I argued that Risse and Zeckhauser tend to underestimate the harms of racial profiling. I suggested two main reasons why they did so. The first is that they tend to identify the more serious harms associated with profiling with background racism, and therefore to believe that these are not properly attributable to profiling itself. The second reason is that they ignore the ways in which background racism makes even relatively minor harms harder to bear and to justify than would otherwise be the case. Hence, I concluded, racial profiling cannot be a normal part of police practice in a society still struggling with racism, although under very special conditions and with special regulation and compensation in place, it might be justified as an extraordinary police measure. I want to stand by those claims. However, Risse’s response to my arguments persuades me that I misinterpreted his earlier position in one significant respect. So I will start by explaining what interpretive mistake I believe that I made. I will then argue that despite Risse’s patient and careful response to my arguments, my initial concerns with his justification of profiling remain valid. -/- . (shrink)

What ought to be the aims of science? How can science best serve humanity? What would an ideal science be like, a science that is sensitively and humanely responsive to the needs, problems and aspirations of people? How ought the institutional enterprise of science to be related to the rest of society? What ought to be the relationship between science and art, thought and feeling, reason and desire, mind and heart? Should the social sciences model themselves on the natural sciences: (...) or ought they to take a different form if they are to serve the interests of humanity objectively, sensitively and rigorously? Might it be possible to get into human life, into art, education, politics, industry, international affairs, and other domains of human activity, the same kind of progressive success that is found so strikingly, on the intellectual level, within science? These are some of the questions tackled by What’s Wrong With Science? But the book is no abstruse treatise on the philosophy of science. Most of it takes the form of a passionate debate between a Scientist and a Philosopher, a debate that is by turns humorous, ironical, bitter, dramatically explosive. Even as the argument explores the relationship between thought and feeling, reason and desire, the two main protagonists find it necessary to examine their own feelings and motivations. (shrink)

To provide metaphysical grounds for the physics of her time, Du Châtelet argued for the notion of an active force. This was different from the impressed force in Newton’s second law. The former force was a property of a body, whereas the latter was an external cause. I shall study this discrepancy and argue that the interactive concept of force in Newton’s third law is consistent with Du Châtelet’s standards for an intelligible physics. Consequently, the interaction entailed by the (...) law of universal gravitation complies with Du Châtelet’s principles of human knowledge. (shrink)

Social emergence is one the most important problems in social science that the way it is answered affects the results of social studies and policies. The complexity of social emergence conception has caused a variety of definitions. This article seeks to define the robust social emergence conditions, using the philosophy of mind conception such as subvenience, wildly disjunctives, and multiple realization. Different approaches have different challenges in satisfying robust social emergence conditions. These challenges could be formulated in three problems i.e. (...) realism, top-down causality, and mechanism. This article aims to analytically criticize how critical realism approaches these problems. Critics believe that critical realism faces two sort of difficulties in satisfying robust social emergence: the first, the independence of structure from agencies that leads to reifying and the second, that ontological and causal emergence conflicts with subvenience. It seems the first problem could be resolved by employing the unrestricted mereological composition conception, and the second by the fact that subvenience do not necessitate ontological dependence. (shrink)

Coronavirus disease 2019 (COVID-19) is an infectious disease that causes respiratory illness in human and has now become a major challenge for all over the world. In spite of all their efforts to restore the nature during the last few decades, humans could only move a few steps forward. But during the last few months, consequences of the COVID-19 Pandemic have successfully recovered the environment to a large extent that should definitely set positive impact on global climate change. The COVID-19 (...) spread around the world and severely affected the world's education, economy, social interactions and other global impacts. We have come across one of the most daunting problems of the modern times, which is, educational crisis. One of the many challenges faced by the students due to COVID-19 is loss of learning. Distance learning has been a failure throughout this period, due to the fact that the educators are unsupported and they lack the practical experience of teaching online through technology. On the other hand, not all students have the technology infrastructure at home to support their ongoing learning. Many of them are economically backward and find it difficult to support their education without internet or a learning tablet. (shrink)

Fiona Macpherson (2012) argues that various experimental results provide strong evidence in favor of the cognitive penetration of perceptual color experience. Moreover, she proposes a mechanism for how such cognitive penetration occurs. We argue, first, that the results on which Macpherson relies do not provide strong grounds for her claim of cognitive penetrability; and, second, that, if the results do reflect cognitive penetrability, then time-course considerations raise worries for her proposed mechanism. We base our arguments in part on several (...) of our own experiments, reported herein. (shrink)