The most promising contemporary form of epistemic scientific realism is based on the following intuition: Belief should be directed, not toward theories as wholes, but toward particular theoretical constituents that are responsible for, or deployed in, key successes. While the debate on deployment realism is quite fresh, a significant degree of confusion has already entered into it. Here I identify five criteria that have sidetracked that debate. Setting these distractions aside, I endeavor to redirect the attention of both realists (...) and non-realists to the fundamental intuition above. In more detail: I show that Stathis Psillos (1999) has offered an explicit criterion for picking out particular constituents, which, contrary to Kyle Stanford’s (2006a) criticisms, neither assumes the truth of theories nor requires hindsight. I contend, however, that, in Psillos’s case studies, Psillos has not successfully applied his explicit criterion. After clarifying the various alternative criteria at work (in those case studies and in a second line of criticism offered by Stanford), I argue that, irrespective of Stanford’s criticisms, the explicit criterion Psillos does offer is not an acceptable one. Nonetheless, the deployment realist’s fundamental intuition withstands all of these challenges. In closing, I point in a direction toward which I’ve elsewhere focused, suggesting that, despite the legitimacy and applicability of the deployment realist’s intuition, the historical threat that prompted it remains. (shrink)

The problem of truth in fiction concerns how to tell whether a given proposition is true in a given fiction. Thus far, the nearly universal consensus has been that some propositions are ‘implicitly true’ in some fictions: such propositions are not expressed by any explicit statements in the relevant work, but are nevertheless held to be true in those works on the basis of some other set of criteria. I call this family of views ‘implicitism’. I argue that (...) implicitism faces serious problems, whereas the opposite view is much more plausible than has previously been thought. After mounting a limited defence of explicitism, I explore a difficult problem for the view and discuss some possible responses. (shrink)

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these studies, an assertion’s truth value dramatically affects whether people think it should (...) be made. Whereas nearly everyone agreed that a true assertion supported by good evidence should be made, most people judged that a false assertion supported by good evidence should not be made. The studies also suggest that people are consciously aware of criteria that guide their evaluation of assertions. Evidence is also presented that some intuitive support for a non-factive norm of assertion comes from a surprising tendency people have to misdescribe cases of blameless rule-breaking as cases where no rule is broken. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

Ian Hacking defines a “style of scientific thinking” loosely as a “way to find things out about the world” characterised by five hallmark features of a number of scientific template styles. Most prominently, these are autonomy and “self-authentication”: a scientific style of thinking, according to Hacking, is not good because it helps us find out the truth in some domain, it itself defines the criteria for truth-telling in its domain. I argue that Renaissance medicine, Mediaeval “demonology”, and (...) magical thinking pass muster as scientific according to Hacking's criteria. However, application of these thought styles to the entities they introduce generates statements that logically imply a set of “ordinary” statements—or what Bernard Williams calls “plain truths”—which, contra the claims of autonomy and self-authentication, allows styles to be assessed from a style- independent perspective. Using Williams’ notion of plain truth, I show that Renaissance medicine, demonology, and magical thinking, in reality issue in many plain falsehoods. This confronts us with what I call Hacking's dilemma: either define stricter necessary conditions on being a style of scientific thinking, or concede that some styles albeit scientific are not as good at finding things out about the world as others. I make three suggestions to deal with the dilemma. (shrink)

Analytic aesthetics has had little to say about academic schools of criticism, such as Freudian, Marxist, feminist, or postcolonial perspectives. Historicists typically view their interpretations as anachronistic; non-historicists assess all interpretations according to formalist criteria. Insofar as these strategies treat these interpretations as on a par, however, they are inadequate. For the theories that ground the interpretations differ in the claims they make about the world. I argue that the interpretations of different critical schools can be evaluated according to (...) the truth or epistemic merit of these claims. (shrink)

In the literature on transitional justice, there is disagreement about whether countries like the United States can be characterized as transitional societies. Though it is widely recognized that transitional justice mechanisms such as truth commissions and reparations can be used by Global North nations to address racial injustice, some consider societies to be transitional only when they are undergoing a formal democratic regime change. We conceptualize the political situation of low-income Black communities under the U.S. imprisonment and policing regime (...) in terms of three criteria for identifying transitional contexts: normalized collective and political wrongdoing, pervasive structural inequality, and the failure of the rule of law. That these criteria are met, however, does not necessarily mean that a transition is taking place. Drawing on the American political development and abolition democracy literatures, we discuss what it would mean for the United States to transition out of its present imprisonment and policing regime. A transitional justice perspective shows the importance of not only pushing for truth and reparation, but for an actual transition. (shrink)

An old philosophical problem of delineating science from pseudoscience has in today’s world far superseded the task of unearthing sufficient and necessary conditions which science should be able to satisfy and on which pseudoscience would fall short. Our interests have shifted from the search for the rigorous criteria of demarcation, to describing various scientific and pseudoscientific activities – as well as bringing the psychological backgrounds of beliefs in numerous pseudoscientific theories to light. We aim to pinpoint some of the (...) key characteristics of said activities and the strategies they employ. Also, we attempt to answer the question of why are individuals prone to believing various conspiracy theories, alternative historical explanations and other pseudoscientific theories. (shrink)

This Article doDespite obvious differences in the Aristotelian and Stoic theories of responsibility, there is surprisingly a deeper structural similarity between the two. The most obvious difference is that Aristotle is (apparently) a libertarian and the Stoics are determinists. Aristotle holds adults responsible for all our "voluntary" actions, which are defined by two criteria: the "origin" or cause of the action must be "in us" and we must be aware of what we are doing. An "involuntary" action, for which (...) we are not responsible, is one that fails to meet either one of these two criteria. Aristotle is a libertarian insofar as he insists that all voluntary actions are "in our power" to perform or not. As determinists the Stoics cannot admit this sort of freedom, but they still consider the agent to be a vital link in the chain of events, so they redefine what is "in our power" as what comes about "through us." The terminology is different, but I argue that these actions, for which the Stoics hold us responsible, are in fact coextensive with Aristotle's voluntary actions. An "impression" is the first necessary condition for action, and is a sort of visual image of the object stimulating one to act. The right sort of impression activates the agent's "impulse," an internal movement of soul or mind, which is the direct cause of action. But impulse is always accompanied by "assent," which is the mind's affirming the truth of the proposition that we ought to go after the object stimulating our impulse. Thus, since assent is a necessary condition for action, we always act knowing what we are doing. This means that all actions caused by our own impulse and assent are by Aristotle's criteria voluntary, where impulse provides the internal origin of the action and assent provides the awareness of what is being done. I conclude that the Stoic and Aristotelian classes of what one is responsible for are coextensive, their criteria defining responsible actions are nearly identical, and the only substantial difference is that Aristotle claims such actions are in our power to do or not do while the Stoics say that such actions are necessitated (by our internal nature as well as external factors). es not have an abstract. (shrink)

In this paper, we introduce the concepts of Pythagorean fuzzy valued neutrosophic set (PFVNS) and Pythagorean fuzzy valued neutrosophic (PFVNV) constructed by considering Pythagorean fuzzy values (PFVs) instead of numbers for the degrees of the truth, the indeterminacy and the falsity, which is a new extension of intuitionistic fuzzy valued neutrosophic set (IFVNS). By means of PFVNSs, the degrees of the truth, the indeterminacy and the falsity can be given in Pythagorean fuzzy environment and more sensitive evaluations are (...) made by a decision maker in decision making problems compared to IFVNSs. In other words, such sets enable a decision maker to evaluate the degrees of the truth, the indeterminacy and the falsity as PFVs to model the uncertainty in the evaluations. (shrink)

The question of truth is a broadly broached subject in Philosophy as it features along the entire historical and polemical growth of the discipline right from the time of the Ancients down to our Post-Modern era. Yet, the delimiting realization of being unable to register general success in our dogged attempts at truth and knowledge, mostly stares us blankly in the face, for matters on which philosophy endeavours to speculate on, are beyond the reach of definite knowledge.1 Our (...) theories of the universe open up to modifications, refutations, and further propositions, evidencing a historical development in philosophical inquiry. This generally is the growth of our science, of our knowledge. This paper critically seeks to examine Popper’s notion of verisimilitude. It takes us through the scientist’s journey from ignorance to truth, and the difference between probability and verisimilitude. It addresses the relevance of the theory of content in understanding verisimilitude, under its distinctions as quantitative and qualitative. Finally, it discusses corroboration and the criteria for theory-choice. (shrink)

This paper analyzes the way in which skepticism led to the crisis of the criteria of truth and action that developed in Stoic philosophy. The attempts of the skeptics to escape the difficulties caused by their radical philosophical views are presented. Special attention was paid to the importance that yielding to the customs and traditions of the community in which they lived had in the life of skeptics deprived of these criteria. This approach to action and problem (...) solving in general has a special significance and value in times of crisis, and it is often easy to overlook. (shrink)

What should the Buddhist attitude be to rebirth if it is believed to be inconsistent with current science? This chapter critically engages forms of Buddhist agnosticism that adopt a position of uncertainty about rebirth but nevertheless recommend ‘behaving as if’ it were true. What does it mean to behave as if rebirth were true, and are Buddhist agnostics justified in adopting this position? This chapter engages this question in dialogue with Mark Siderits’ reductionist analysis of the Buddhist doctrine of the (...) two truths, conventional and ultimate. Richard Hayes (1998) characterises talk of rebirth as a useful fiction. Siderits characterises talk of persons as a useful fiction and explains and justifies statements that involve it as conventionally true despite persons not featuring in our final or ultimate ontology. Does rebirth satisfy the same criteria to count as conventionally true, and does thinking of it in these terms help explain and justify what it might mean to behave as if rebirth were true? This chapter will defend a conditional yes to these questions. In the process, it will clarify what is distinctive about the traditional Buddhist approach to rebirth, provide an analysis of how the concept of rebirth might relate to practical outcomes, and address some limitations of this approach. (shrink)

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is to (...) make explicit what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

On the few occasions that Kant addresses the subject of truth, he usually does so in relation to the problems involved in the nominal definition of truth and in the search for a truth criterion. The aim of this paper is to provide a synoptic view of the way in which Kant poses these two issues. In the first section of the paper I address the topic of the definition of truth. I begin by explaining what (...) a definition is and what does this entail for the definition of truth. I then present the consequences and problems that Kant draws from this. In the second section of the paper I develop the topic of the criterion of truth. First, I set out Kant's expectations for such criterion and show the limits he encounters. Then I provide a classification and an explanation of the truth criteria that he mentions throughout his work. -/- En las pocas ocasiones en que Kant aborda el tema de la verdad, lo suele hacer en función de los problemas implicados en la definición nominal de verdad y en la búsqueda de un criterio de verdad. El objetivo de este trabajo es ofrecer una visión sinóptica del modo en que Kant plantea estas dos cuestiones. En la primera sección del trabajo se aborda el tema de la definición de la verdad. Primero explico qué es una definición y qué implica esto para el caso de la verdad. Tras esto, expongo las consecuencias y problemas que Kant extrae al respecto. En la segunda sección del trabajo se desarrolla el tema del criterio de verdad. Para comenzar expongo las expectativas de Kant respecto de dicho criterio y los límites con que se encuentra. Tras esto ofrezco una clasificación y explicación de los criterios de verdad que menciona a lo largo de su obra. (shrink)

Kant's Notion of "Transcendental Truth". [English] The aim of this work is to elucidate the notion of “transcendental truth” and to show its role in the Kantian system. I will argue that this notion is in line with the traditional definition of truth, i.e., that it consists in the correspondence between knowledge and object. I will also argue that criteria of transcendental truth are provided by transcendental logic, and that it is this notion of (...) class='Hi'>truth what makes it possible to establish the truth of a priori knowledge and delimitate the field of empirical truth. [Español] El objetivo de este trabajo es dilucidar la noción de “verdad trascendental” y mostrar su lugar en el sistema kantiano. Se defenderá que la verdad trascendental consiste, en línea con la definición tradicional de verdad, en un sentido de correspondencia entre conocimiento y objeto, que la lógica trascendental establece criterios de verdad trascendental, y que es esta noción de verdad la que permite establecer la verdad del conocimiento a priori y delimitar el territorio de la verdad empírica. (shrink)

The Role of the Notion of Truth in the Project of Kant’s Critical Philosophy [English] The discussion about Kant’s theory of truth usually revolves around his ascription to some version of the coherence or correspondence theory of truth, and the matching criteria of truth. These discussions often deliberate which theory of truth is most appropriate given the critical principles. Instead, this paper aims to exhibit, through the evolution of Kant’s notion of truth in (...) his precritical years and through the project of a transcendental logic, the intrinsic relation between the notion of truth and the very principles of critical philosophy; and to raise again the questions about the definition and the criteria of truth, but in the framework of the question of the possibility of truth. [Español] La discusión en torno a la teoría kantiana de la verdad suele girar alrededor de las preguntas —íntimamente relacionadas entre sí— por la adscripción de Kant a una versión coherentista o correspondentista de la verdad y por los correspondientes criterios de verdad. Estas discusiones suelen ponderar qué teoría de la verdad resulta más adecuada dados ya los principios críticos. En contraste con esto, este trabajo pretende mostrar, a través de la evolución de la noción de verdad del Kant precrítico y del proyecto de una lógica trascendental, la vinculación intrínseca de la noción de verdad con los principios mismos de la filosofía crítica, y replantear las preguntas por la definición y el criterio de verdad en el marco de la pregunta por la posibilidad de la verdad. (shrink)

Leibniz has long faced a challenge about the coherence of the distinction between necessary and contingent truths in his philosophy. In this paper, I propose and examine a new way to save genuine contingency within a Leibnizian framework. I conclude that it succeeds in formally solving the problem, but at unbearable cost. I present Leibniz’s challenge by considering God’s choice of the best possible world (Sect. 2). God necessarily exists and necessarily chooses to actualise the best possible world. The actual (...) world therefore could not be different, for if it were different it would be a distinct and inferior world and hence would not be created. In Sect. 3 I defend Leibniz from this challenge. I argue that while it is necessary for God to choose to create the best possible world, it is not necessary for any world to be the best possible. This is because the criterion for judging perfection can itself be contingent. Different criteria will judge different worlds as the best. Thus it is necessary for God to create the best, but not necessary which is the best. Distinguishing between possible worlds in Leibniz’s sense and in the modern sense allows a fuller exposition of this position. There are worries that can arise with the claim that the criterion of perfection is contingent. I consider two of the most pressing (Sect. 4). The first argues that the criterion is in God’s understanding and hence is necessary; the second alleges that a contingent criterion of perfection violates Leibniz’s cherished Principle of Sufficient Reason. These worries are well-grounded, and examining them reveals a deep incompatibility between this solution and Leibniz’s metaphysical views. I conclude that there is a real solution available, but that it is unacceptable to Leibniz or a Leibnizian. The search for a genuine solution that is genuinely Leibnizian goes on. (shrink)

I am arguing that it is only by concentrating on the role of models in theory construction, interpretation and change, that one can study the progress of science sensibly. I define the level at which these models operate as a level above the purely empirical (consisting of various systems in reality) but also indeed below that of the fundamental formal theories (expressed linguistically). The essentially multi-interpretability of the theory at the general, abstract linguistic level, implies that it can potentially make (...) claims about systems in reality, other than the particular one which originally induced it. Any so-called correspondence relation between (systems in) reality and the entities and relations in some scientific theory, thus consists of two jumps or interpretations: from the theory (linguistic level) to some model of it (constructural level); and from there to some system in reality. Clearly then the level of fundamental theories cannot be ignored la Nancy Cartwright - in studying the relations between a theory and reality, because the particular features of the theory (the various systems in reality onto which the theory can be mapped) cannot be studied without the underlying knowledge that these systems have one common feature, namely that each of them is the range (or other pole) of a mapping of a context-specific model of the theory - which in itself, is a mapping, or more specifically, an interpretation of the theory. I am also claiming that the nature of these levels and the relations between them necessitate an epistemological rather than an ontological notion of truth criteria, and a referential rather than a representational link between science and reality. (shrink)

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While (...) an expression will be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical (...) truth and logical consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

This article is devoted to the philosophical study of the conditions under which knowledge can become a component or tool of education. The presentation of the contribution of epistemology to human development and education is based on addressing issues such as the nature of knowledge, sources of knowledge, theories, and criteria of truth. We proceed from the idea that knowledge is a condition of education. Particular attention is paid to the issue of distinguishing between such types of knowledge (...) as 'knowing how’ and ‘knowing that'. Educational practices open a common foundation that unites the life world of people, types of sociality, and hermeneutical practices. The epistemological approach to the question of the essence of knowledge assumes that knowledge meets three requirements, namely, knowledge must be objective, subjective, and evidentiary. Epistemology includes subjectivity as the basis of human existence in the natural world and the world with others. Intersubjectivity is considered a criterion for the reliability of knowledge about the world, which allows asserting the relationship of the objective with the subjective. (shrink)

ABSTRACT BEER, P. A. C. The matter of truth in knowledge production about psychic suffering: considerations from Ian Hacking and Jacques Lacan. 2020. 250p. Thesis (PhD) – Instituto de Psicologia, Universidade de São Paulo, São Paulo, 2020. The thesis aims to reaffirm the importance of the debate around the matter of truth in relation to the production of knowledge concerning psychic suffering. Its point of departure is the understanding that the matter of truth contains two main appearances: (...) as employed to legitimize produced knowledge while establishing normative patterns, and as presenting itself in a critical form as a disruptive element to established knowledge. As such, it is a discussion that embraces both an affirmation of knowledge’s necessary character and of its variability. It will be argued in the above sense that the term “truth” must be taken as an inclusive and reciprocal gathering of epistemological, ontological, ethical and political elements. Ian Hacking’s historicized understanding of science enables such a consideration of contingent bases to scientific practice, while still producing necessary knowledge. It thus becomes is possible to establish a field in which normative understandings about scientific praxis might be criticized without it resulting in any kind of refusal or disqualification of the relevant, produced knowledge. Hacking’s proposition of a “historical ontology” and of a “dynamic nominalism” also represents an important contribution to the accumulation of knowledge production about psychic suffering debate, by affirming the ontological effects of knowledge. The way as truth is mobilized within Lacanian psychoanalysis flows from that standpoint, seen as focused on three main elements: truth’s autonomy towards the subject, (truth speaks), the opposing and temporary character of a positivized truth facing established knowledge ,(truth as critique), and the negative dimension of truth which relates to the inexhaustibility of this dialectical process of negations, (truth as radical difference). It is argued that it is possible to sustain a particular reasoning style, (in Hacking’s terms), for psychoanalysis, which is based on radical negativity. It is further argued, that the above rationalities in question work with a historicized understanding of knowledge that does not have any external (nor internal) criteria to warrant its truth. However, psychoanalysis takes negativity — arguably the base of knowledge’s variability and of truth’s disruptive character — beyond Hacking’s philosophy of science, and can thus offer even wider possibilities of thinking about the causality of psychic suffering. Even if with different intensities, both approaches signal the necessity of ethical and political implication in knowledge’s production and employment. Once there is no epistemological warranty to knowledge, its production value reverts to social agreements and ethical positioning. There is, therefore, the necessity of considering power relations. Finally, it is argued that the radical negativity sustained from psychoanalysis locates the political as an actually necessary field, inescapable by the very fact that it is not possible to crystalize any form of truth which is not the affirmation of radical difference. It is maintained then that introducing the matter of truth has as horizon the production of a kind of knowledge about psychic suffering which puts into question, at all time, its epistemological, ontological, ethical and political assumptions. (shrink)

I submit that epistemic progress in key areas of contemporary academic philosophy has been compromised by politically correct ideology. First, guided by an evolutionary account of ideology, results from social and cognitive psychology and formal philosophical methods, I expose evidence for political bias in contemporary Western academia and sketch a formalization for the contents of beliefs from the PC worldview taken to be of core importance, the theory of social oppression and the thesis of anthropological mental egalitarianism. Then, aided by (...) discussions from contemporary epistemology on epistemic values, I model the problem of epistemic appraisal using the frameworks of multi-objective optimization theory and multi-criteria decision analysis and apply it to politically correct philosophy. I conclude that philosophy guided by politically correct values is bound to produce constructs that are less truth-conducive and that spurious values which are ideologically motivated should be abandoned. Objections to my framework stemming from contextual empiricism, the feminine voice in ethics and political philosophy are considered. I conclude by prescribing the epistemic value of empirical adequacy, the contextual value of political diversity and the moral virtue of moral courage to reverse unwarranted trends in academic philosophy due to PC ideology. (shrink)

Abstracts The aim of the paper is to propose an alternative model to realist and non-cognitive explanations of the rule-guided use of thick ethical concepts and to examine the implications that may be drawn from this and similar cases for our general understanding of rule-following and the relation between criteria of application, truth and correctness. It addresses McDowell’s non-cognitivism critique and challenges his defence of the entanglement thesis for thick ethical concepts. Contrary to non-cognitivists, however, I propose to (...) view the relation between the two terms of the entanglement as resulting from the satisfaction of a previously applied moral function. This is what I call a “Three-Fold Model”. (shrink)

In response to Professor Rorty’s reaction to Professor Habermas’s paper in this symposium, I confess that I am still not sure I understand Rorty’s hostility to ideals such as the ideal of truth. Such ideals as the ideal of truth -- and ideals like those of reason and morality surely stand and fall with the ideal of truth -- seem plainly to have an enormous pragmatic value. They lure us out of our too-constrained, too-limited ethnocentric or idiosyncratic (...) frames of reference. It is always possible, of course, that such ideals may be abused; they have frequently been deployed, in particular, as clubs used to beat down views and modes of behavior that are threatening or otherwise disliked. But they need not be abused. Their proven and potential value is quite extraordinary. They offer us standards which pay explicit respect to the principle that the criteria we use for evaluating ideas and modes of behavior should be nonethnocentric and nonidiosyncratic. They offer us standards that we can appeal to in luring ourselves or others to step outside of our relatively narrow present points of view here and now and toward a broader perspective that can serve us better tomorrow and elsewhere. (shrink)

[A. W. Moore] Criteria of ineffability are presented which, it is claimed, preclude the possibility of truths that are ineffable, but not the possibility of other things that are ineffable—not even the possibility of other things that are non-trivially ineffable. Specifically, they do not preclude the possibility of states of understanding that are ineffable. This, it is argued, allows for a reappraisal of the dispute between those who adopt a traditional reading of Wittgenstein’s Tractatus and those who adopt the (...) new reading recently championed by Cora Diamond, James Conant, and others. By maintaining that what the nonsense in the Tractatus is supposed to convey is ineffable understanding, rather than ineffable truth, we can do considerable justice to each of these readings. We can also do considerable justice to the Tractatus. /// [Peter Sullivan] Moore proposes to cut between 'traditional' and 'new' approaches to the Tractatus, suggesting that Wittgenstein's intention is to convey, through the knowing use of nonsense, ineffable understanding. I argue, first, that there is indeed room for a proposal of Moore's general kind. Secondly, though, I question whether Moore's actual proposal is not more in tune with Wittgenstein's later thought than with the attitude of the Tractatus. (shrink)

In Reason, Truth and History and certain related writings, Hilary Putnam attacked the fact-value distinction. This paper criticizes his arguments and defends the distinction. Putnam claims that factual statements presuppose values, that “the empirical world depends upon our criteria of rational acceptability,” and that “we must have criteria of rational acceptability to even have an empirical world.” The present paper argues that these claims are mistaken.

A central task of schooling is to cultivate reasonableness in students. In this chapter we show how the teaching of reasonableness can be practiced successfully in secondary schools, using materials from the Western Australian curriculum. The discussion proceeds in four stages. We first defend the claim that the teaching of reasonable is a key aim of schooling. Here we offer an account of reasonableness, which we take to be both a skill and a disposition. Students learn reasonableness through the practice (...) of specific skills such as open and curious questioning, clarifying, and categorizing, and evaluating the merits of each contribution toward the problem or question under consideration. Reasonableness comes about as a joint commitment between the individual and the group to be honest in their views, to take care of those views, and for everyone to recognize that each member is a partial bearer of truth. Secondly, we discuss the pedagogies that cultivate reasonableness. The Philosophical Community of Inquiry is a natural pedagogy for this purpose. This can be supplemented with the thinking tools approach of Cam’s Twenty Thinking Tools or Harvard Project Zero’s Thinking Routines. In addition, we introduce our own two skill-building exercises, the Reasoning Game and the Argument Game. Thirdly, we show how this approach can be applied not just in Philosophy classes, but in the Humanities and Social Sciences. We argue that our approach brings these subjects to life, it develops understanding and reasonableness, and it bumps up student engagement. Fourthly, we discuss the assessment of reasonableness. In this type of learning environment, the way students perform in the philosophical community of inquiry is the focus of assessment. The desirable qualities of being reasonable become the assessment criteria for an on-balanced judgment about the student. (shrink)

It is widely agreed that fiction is necessarily incomplete, but some recent work postulates the existence of universal fictions—stories according to which everything is true. Building such a story is supposedly straightforward: authors can either assert that everything is true in their story, define a complement function that does the assertoric work for them, or, most compellingly, write a story combining a contradiction with the principle of explosion. The case for universal fictions thus turns on the intuitive priority we assign (...) to the law of non-contradiction. My goal in this paper is to show that our critical and reflective literary practices set constraints on story-telling which preclude universal fictions. I will raise four stumbling blocks for universal fictionalists: the gap between saying and making true, our actual interpretive reactions to story-level contradictions, the criteria we accept for what counts as a story in our literary practices, and the undesirability of the universal fictionalist’s closure principles. (shrink)

Theology used to be the discipline that arbitrated and ‘said’ the truth. Some argued that its methodical engagement had to make it a search-driven experimentation with an inductive outlook intended at tracking truth through practice and praise, in short conversion. The empirico-formal sciences have sought canonical norms of knowledge away from any regimentation. Neopositivism had for a time entertained a fact-derived language and, as such, it banned metaphor as mingling problems by perpetuating the belief in entirely theoretical knowledge-terms. (...) Here we aim at putting together an examination of some of the reasons why a pluralistic epistemology has come to be adopted, and an attempt at finding pluralistic responses to that very idea through interdisciplinary comparison. This is the editors' (M. Fuller & A. Runehov) introduction: Philippe Gagnon asks the interesting question: Does pluralism itself need to be plural? He argues that neo-positivism has for some time now focused on using a fact-derived language, banning metaphoricity. He explores the reasons pluralistic epistemology came to be adopted, and leads us through some important philosophical problems and how they were tackled by different philosophers and in various times. Such philosophical problems or questions concern theories, truth and knowledge. If a theory is considered to be the best one, on which criteria is this judgement made? Might it be better to have several theories that are ex æquo? Gagnon argues that even though ‘pluralism’ is a better term compared to ‘the many’, it does not entirely escape relativism. Hence, he proposes to use ‘plurality’ instead, which does not threaten the unity of truth. After this philosophical exploration, he turns to theology, specifically Trinitarian theology, to implement his findings there. (shrink)

This book researches the thought of Jin Yuelin’s epistemology with some notions and methods of contemporary epistemology as the frame of reference. There are two kinds of academical significance in this book, one is that author has accurately comprehended the specific content, inadequacies and contradictions in Jin’ s epistemology, recognized the methods by which Jin Yuelin built his theory of knowledge. The other is that author has known about the differences in research objects and methods between Jin’s theory and contemporary (...) epistemology, and showed the position of Jin’s epistemology in the whole theory of knowledge through the comparative study. On the one hand, the book focuses on the core problem of Jin Yuelin’ epistemology that is how objective knowledge is produced. On the other hand, it is made up of seven chapters in accordance with the structure of Jin’s Theory of Knowledge. The first chapter introduces and comparatively analyzes the comprehensions about the concepts of “knowledge” and “epistemology” between Jin Yuelin and contemporary epistemologists. This chapter supplies the means and methods for following chapters. The second chapter describes Jin’s standpoint and criticism to idealism starting mode, analyzes the objective starting mode that belongs to Jin’s theory and reveals his negative attitude to skepticism. This chapter shows the essential characteristics of the Jin Yuelin’s epistemology. The given is the content of sensation, which is the most basic part of cognitive activity. Moreover Jin Yuelin regards sensation as foundation of knowledge, so the research on theory of the given is separated from the whole study of cognitive activity and treated as the third chapter, which presents Jin’s theory of the given and analyzes the problems of Jin’s theory, then introduces some kinds of theory of the given and theory of perception in the contemporary epistemology, finally comparatively investigates theories of the given between Jin Yuelin and contemporary epistemologists. From the perspective of cognitive activity, the fourth chapter describes the perceptual activity, the activity of knowing, the activity of thinking, means and outlines of reception in Jin’s epistemology, then exposes its contradictions and inadequacies; Induction is the important research object of the Western epistemologists, similarly Jin Yuelin paid more attention to induction and regards the principle of induction as outline of reception. In fact, his standpoint about the principle of induction is vital and creative, so the study of induction separately belongs to the fifth chapter. This chapter presents the Jin’s comprehension about the principle of induction and some answers to the problem of induction in contemporary epistemology, then comparatively analyzes two kinds of the thought about induction. The sixth chapter successively introduces being, nature and fact which all are objects of cognitive activity, then analyzes the problems within them. From the perspective of cognitive results, the last chapter presents the Jin’s standpoint about verification and demonstration of proposition, definition and criteria of truth, then simply describes the point views of contemporary epistemologists about verification and truth of proposition, finally comparatively investigates two kinds of thought. From the vertical, the thesis analyzes the fundamental sections of objective knowledge one by one, such as the given, experience, idea, proposition and truth. From the horizontal, the book focuses on the three main parts of knowledge event, for example, cognitive activity, objects of knowledge and the true proposition treated as knowledge. In a word, the whole book is coherent and organic unity. Through the comparative study, it can be concluded that it is reasonable for Jin Yuelin to enjoy a high academic status, because he is the first philosopher who specializes in the study of epistemology. At the same times, he improves transmission of logic, metaphysics and epistemology from the Western to China. So, his hard work enriches and expands the realm of Chinese philosophy. With the development of the study of epistemology, descriptive content of it, such as, perceptual activity and rational activity, will be regarded as the objects of psychology and cognitive science. Meanwhile, normative content will be retained. For example, analysis of conditions of knowledge, justification for belief claims, comprehension about the proofs of justification, as well as reactions to challenges of skepticism. The latter will continue to be objects of epistemology, of course, they must establish close relationships with psychology and cognitive science. According to this prospect, we should split Jin Yuelin’s theory of knowledge, of which the descriptive content would be allocated to psychology and cognitive science. On the contrary, the normative content would be kept as important resource for deeply studying epistemology. -/- Key words: Knowledge; Contemporary epistemology; Compare; The given; Idea; The principle of induction; Fact. (shrink)

Nearly all success is due to some mix of ability and luck. But some successes we attribute to the agent’s ability, whereas others we attribute to luck. To better understand the criteria distinguishing credit from luck, we conducted a series of four studies on knowledge attributions. Knowledge is an achievement that involves reaching the truth. But many factors affecting the truth are beyond our control and reaching the truth is often partly due to luck. Which sorts (...) of luck are compatible with knowledge? We find that knowledge attributions are highly sensitive to lucky events that change the explanation for why a belief is true. By contrast, knowledge attributions are surprisingly insensitive to lucky events that threaten but ultimately fail to change the explanation for why a belief is true. These results shed light on our concept of knowledge, help explain apparent inconsistencies in prior work on knowledge attributions, and constitute progress toward a general understanding of the relation between success and luck. (shrink)

Faith is the highest truth that ensures the happiness and salvation of man in the world and in the Hereafter. But the essence of superstitious is invalid and wrong. The realization of this happiness and salvation is possible by having a true faith. Another consequence of the true faith is the ability to recognize that this belief is right. Believing in true faith, ensures rightness and makes possible to prove and disclose this truth. It is important to have (...) true faith and accurate affirmation. This certainty requires certain criteria for accuracy and precision. In addition, this situation involves advocating the faith and delivering it to other people. This is closely related to the recognition and proof of these truths. It also makes it necessary to explore the distinction between presumption and believing as well as knowledge and ignorance. It requires examination of the concepts of certainty, doubt, evidence, persuasion and proof and what they have implied in terms of faith. The examination of the proofs of faith in terms of persuasion and proof also increases the understanding of the certainty of a belief. (shrink)

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid the paradox and is more in (...) line with the standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

Selective scientific realists disagree on which theoretical posits should be regarded as essential to the empirical success of a scientific theory. A satisfactory account of essentialness will show that the (approximate) truth of the selected posits adequately explains the success of the theory. Therefore, (a) the essential elements must be discernible prospectively; (b) there cannot be a priori criteria regarding which type of posit is essential; and (c) the overall success of a theory, or ‘cluster’ of propositions, not (...) only individual derivations, should be explicable. Given these desiderata, I propose a “unification criterion” for identifying essential elements. (shrink)

This paper examines an ancient debate over the rationality of perception. What leads the Stoics to affirm, and the Epicureans to deny, that to form a sense-impression is an activity of reason? The answer, we argue, lies in a disagreement over what is required for epistemic success. For the Stoics, epistemic success consists in believing the right propositions, and only rational states, in virtue of their predicational structure, put us in touch with propositions. Since they identify some sense-impressions as (...) class='Hi'>criteria of truth and thus as the basis for epistemic success, the Stoics maintain that sense-impressions must be rational. The Epicureans agree with the Stoics that sense-impressions function as criteria of truth, and also agree broadly on what it means for a state to be rational, but deny that sense-impressions are rational because (1) they think that epistemic success must be supported by a state that is necessarily error-free and (2) accept that rational states can be false. In reconstructing this debate, we refine the standard interpretation of the fundamental difference between Epicurean and Stoic epistemology and also develop parallels with epistemological debates today. One upshot is a more nuanced appreciation of the merits of Epicurean epistemology vis-à-vis the Stoics. (shrink)

It has recently been argued that indeterminacy and indeterminism make most ordinary counterfactuals false. I argue that a plausible way to avoid such counterfactual skepticism is to postulate the existence of primitive modal facts that serve as truth-makers for counterfactual claims. Moreover, I defend a new theory of ‘might’ counterfactuals, and develop assertability and knowledge criteria to suit such unobservable ‘counterfacts’.

Hutto and Myin claim that teleosemantics cannot account for mental content. In their view, teleosemantics accounts for a poorer kind of relation between cognitive states and the world but lacks the theoretical tools to account for a richer kind. We show that their objection imposes two criteria on theories of content: a truth-evaluable criterion and an intensionality criterion. For the objection to go through, teleosemantics must be subject to both these criteria and must fail to satisfy them. (...) We argue that teleosemantics meets the truth-evaluable criterion and is not required to meet the intensionality criterion. We conclude that Hutto and Myin’s objection fails. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference (...) rules. Thus, supervaluationists can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

The genre to which an artwork belongs affects how it is to be interpreted and evaluated. An account of genre and of the criteria for genre membership should explain these interpretative and evaluative effects. Contrary to conceptions of genres as categories distinguished by the features of the works that belong to them, I argue that these effects are to be explained by conceiving of genres as categories distinguished by certain of the purposes that the works belonging to them are (...) intended to serve. (shrink)

In this article, I will provide a critical overview of the form of non-deductive reasoning commonly known as “Inference to the Best Explanation” (IBE). Roughly speaking, according to IBE, we ought to infer the hypothesis that provides the best explanation of our evidence. In section 2, I survey some contemporary formulations of IBE and highlight some of its putative applications. In section 3, I distinguish IBE from C.S. Peirce’s notion of abduction. After underlining some of the essential elements of IBE, (...) the rest of the entry is organized around an examination of various problems that IBE confronts, along with some extant attempts to address these problems. In section 4, I consider the question of when a fact requires an explanation, since presumably IBE applies only in cases where some explanation is called for. In section 5, I consider the difficult question of how we ought to understand IBE in light of the fact that among philosophers, there is significant disagreement about what constitutes an explanation. In section 6, I consider different strategies for justifying the truth-conduciveness of the explanatory virtues, e.g., simplicity, unification, scope, etc., criteria which play an indispensable role in any given application of IBE. In section 7, I survey some of the most recent literature on IBE, much of which consists of investigations of the status of IBE from the standpoint of the Bayesian philosophy of science. (shrink)

Most scientists would hold that science has not established that the cosmos is physically comprehensible – i.e. such that there is some as-yet undiscovered true physical theory of everything that is unified. This is an empirically untestable, or metaphysical thesis. It thus lies beyond the scope of science. Only when physics has formulated a testable unified theory of everything which has been amply corroborated empirically will science be in a position to declare that it has established that the cosmos is (...) physically comprehensible. But this argument presupposes a widely accepted but untenable conception of science which I shall call standard empiricism. According to standard empiricism, in science theories are accepted solely on the basis of evidence. Choice of theory may be influenced for a time by considerations of simplicity, unity, or explanatory capacity, but not in such a way that the universe itself is permanently assumed to be simple, unified or physically comprehensible. In science, no thesis about the universe can be accepted permanently as a part of scientific knowledge independently of evidence. Granted this view, it is clear that science cannot have established that the universe is physically comprehensible. Standard empiricism is, however, as I have indicated, untenable. Any fundamental physical theory, in order to be accepted as a part of theoretical scientific knowledge, must satisfy two criteria. It must be (1) sufficiently empirically successful, and (2) sufficiently unified. Given any accepted theory of physics, endlessly many empirically more successful disunified rivals can always be concocted – disunified because they assert that different dynamical laws govern the diverse phenomena to which the theory applies. These disunified rivals are not considered for a moment in physics, despite their greater empirical success. This persistent rejection of empirically more successful but disunified rival theories means, I argue, that a big, highly problematic, implicit assumption is made by science about the cosmos, to the effect, at least, that the cosmos is such that all seriously disunified theories are false. Once this point is recognized, it becomes clear, I argue, that we need a new conception of science which makes explicit, and so criticizable and improvable the big, influential, and problematic assumption that is at present implicit in physics in the persistent preference for unified theories. This conception of science, which I call aim-oriented empiricism, represents the assumption of physics in the form of a hierarchy of assumptions. As one goes up the hierarchy, the assumptions become less and less substantial, and more and more nearly such that their truth is required for science, or the pursuit of knowledge, to be possible at all. At each level, that assumption is accepted which (a) best accords with the next one up, and (b) has, associated with it the most empirically progressive research programme in physics, or holds out the greatest hope of leading to such an empirically progressive research programme. In this way a framework of relatively insubstantial, unproblematic, fixed assumptions and associated methods is created, high up in the hierarchy, within which much more substantial and problematic assumptions and associated methods, low down in the hierarchy, can be changed, and indeed improved, as scientific knowledge improves. One assumption in this hierarchy of assumptions, I argue, is that the cosmos is physically comprehensible – that is, such that some yet-to-be-discovered unified theory of everything is true. Hence the conclusion: improve our ideas about the nature of science and it becomes apparent that science has already established that the cosmos is physically comprehensible – in so far as science can ever establish anything theoretical. (shrink)

Discusses the question of the objectivity or subjectivity of moral judgments, hoping to illuminate it by contrasting moral and aesthetic judgments. In her critical assessment of the nature of moral judgments, Foot concludes that some such judgments (as e.g. that Nazism was evil) are definitely objective. The concept of morality here supplies criteria independent of local standards, which function as fixed starting points in arguments across local boundaries, whereas, by contrast, aesthetic truths can ultimately depend on locally determined (...) class='Hi'>criteria. More problematic is the apparently different relation of moral and of aesthetic judgments to rational choice. Individuals may have no reason to choose what is beautiful, but we think that they must always have reason to choose what is morally right, which raises one of the most difficult problems in moral philosophy. (shrink)

Local miracle compatibilists claim that we are sometimes able to do otherwise than we actually do, even if causal determinism obtains. When we can do otherwise, it will often be true that if we were to do otherwise, then an actual law of nature would not have been a law of nature. Nevertheless, it is a compatibilist principle that we cannot do anything that would be or cause an event that violates the laws of nature. Carl Ginet challenges this nomological (...) principle, arguing that it is not always capable of explaining our inability to do otherwise. In response to this challenge, I point out that this principle is part of a defense against the charge that local miracle compatibilists are committed to outlandish claims. Thus it is not surprising that the principle, by itself, will often fail to explain our inability to do otherwise. I then suggest that in many situations in which we are unable to do otherwise, this can be explained by the compatibilist’s analysis of ability, or his criteria for the truth of ability claims. Thus, the failure of his nomological principle to explain the falsity of certain ability claims is no strike against local miracle compatibilism. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just (...) those models. I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

This chapter presents a new argument for thinking of traditional ethical theories as methods that can be used in first-order ethics - as a kind of deliberation procedures rather than as criteria of right and wrong. It begins from outlining how ethical theories, such as consequentialism and contractualism, are flexible frameworks in which different versions of these theories can be formulated to correspond to different first-order ethical views. The chapter then argues that, as a result, the traditional ethical theories (...) cannot be evaluated in terms of their truth or correctness. Instead, I will suggest that these theories should be understood as providing different kind of ways of thinking about difficult moral problems. I then recommend a certain form of pragmatic pluralism - it may well be that different moral problems are better approached through different ethical theories. (shrink)

The relationship between Adam Smith's official methodology and his own actual theoretical practice as a social scientist may be grasped only against the background of the Humean project of a Moral Newtonianism. The main features in Smith's methodology are: (i) the provisional character of explanatory principles; (ii) 'internal' criteria of truth; (iii) the acknowledgement of an imaginative aspect in principles, with the related problem of the relationship between internal truth and external truth, in terms of mirroring (...) of 'real' causes. Smith's Newtonian (as opposed to Cartesian) methodology makes room for progress in social theorizing in so far as it allows for a decentralization of the various fields of the Moral Science, contributing to the shaping of political economy. On the other hand, the Cartesian legacy in Smith's Newtonian methodology makes the relationship between phenomena and theoretical principles highly problematic. (shrink)

[A. W. Moore] There are criteria of ineffability whereby, even if the concept of ineffability can never serve to modify truth, it can sometimes serve to modify other things, specifically understanding. This allows for a reappraisal of the dispute between those who adopt a traditional reading of Wittgenstein's Tractatus and those who adopt the new reading recently championed by Diamond, Conant, and others. By maintaining that what the nonsense in the Tractatus is supposed to convey is ineffable understanding, (...) rather than ineffable truth, we can do considerable justice to each of these readings. We can also do considerable justice to the Tractatus. /// [Peter Sullivan] Moore proposes to cut between 'traditional' and 'new' approaches to the Tractatus, suggesting that Wittgenstein's intention is to convey, through the knowing use of nonsense, ineffable understanding. I argue, first, that there is indeed room for a proposal of Moore's general kind. Secondly, though, I question whether Moore's actual proposal is not more in tune with Wittgenstein's later thought than with the attitude of the Tractatus. (shrink)

This paper tries to determine the philosophical nature of language, its functions, structure and content. It also explains the concept of natural language, ordinary and ideal language i.e. how there is a need of artificial perfect logical language without errors and unclearness in that language. This paper further shows the logical form of language with its syntactical, semantical, innate and acquired criteria for the evaluation of the languages. It deals with the analysis of language to clear what is unclear, (...) to know what is unknown, to make definite what is vague. In this paper I used the method; logical method for interpretation and argumentation, analytical method for simplification, and critical method to investigate the real domain of language. This paper does not deal with ordinary functions of the language but it deals with the conceptual and modular functions of the language. The fundamental aim of this written up is to determine the analytical approach of Wittgenstein to sketch the ‘language as a tool to discuss the state of affairs or facts of the worlds that is also what philosophy does. This paper describes the contributions of rationalism and empiricism in the field of knowing the truths of language. (shrink)