La polémica Constant-Kant tuvo lugar cuando Inmanuel Kant replico directamente a una observación crítica formulada por Constant en su panfleto Des Réactions Politiques. El tema sobre el que se debatía era la existencia de un deber incondicionado de decir siempre y en cualquier situación la verdad. Frente a las tesis del imperativo universal moral de la verdad del filósofo de Koënisberg, Constant opone los ejemplos concretos de situaciones en las que decir la verdad puede equivaler a hacer el mal. Gabriel (...) Albiac no explica en el Estudio introductorio que precede a la edición de los textos completos de la querella, cuanto anticipan las tesis que aquí se debaten, los problemas que generará el totalitarismo y el terror en el mundo de las ideologías holistas. Pero más allá de las consecuencias que pueden deparar las reflexiones en este libro relativas al derecho a decir y exigir la verdad - que es un de los postulados de la sacralización de la teología operada a partir del Renacimiento y de la Ilustración-, la polémica Constant/ Kant oculta otro segundo debate sobre el valor de los principios, la forma de construirlos y su eficacia para regir y explicar la realidad que se demuestra de excepcional interés en un siglo como el XXI, desbordado por su incapacidad de comprender los hechos que todos los días ofrece un mundo empírico en continua efervescencia, debido a la carencia de un sistema de categorías de principio generalmente aceptados que pueda servir de referente para unificar la multiplicidad de lo singular. En esta polémica que surge entre, un gran filósofo consagrado, que no tuvo reparo en salir al quite de un argumento que consideraba digno de réplica, y un joven aventurero dotado de extraordinaria inteligencia que iba a demostrarse capaz de comprender el mundo en que iniciaba su singladura, están contenidos en ciernes los supuestos básicos de alguno de lo problemas centrales de nuestra difícil postmodernidad. (shrink)

We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To (...) be more precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics. (shrink)

This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...) which satisfy all of Anderson and Belnap’s selection criteria, provided the truth-constant known as the Ackermann constant is available. One of the selection criteria related to expressive strength is having an “enthymematic” conditional for which a deduction theorem holds. I argue that this allows for a new interpretation of Anderson and Belnap’s take on logical consequence, namely as committing them to pluralism about logical consequence. (shrink)

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms . We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of (...) considering canonical real and rational semantics provided by the algebras where the truth-constants are interpreted as the numbers they actually name. Finally, we study completeness properties restricted to evaluated formulae of the kind , where φ has no additional truth-constants. (shrink)

In some presentations of classical and intuitionistic logics, the objectlanguage is assumed to contain (two) truth-value constants: ⊤ (verum) and ⊥ (falsum), that are, respectively, true and false under every bivalent valuation. We are interested to define and study analogical constants ‡, 1 ≤ i ≤ n, that in an arbitrary multi-valued logic over truth-values V = {v1,..., vn} have the truth-value vi under every (multi-valued) valuation. As is well known, the absence or presence of (...) such constants has a significant deductive impact on the logics studied. We define such constants proof-theoretically via their associated I/E-rules in a natural-deduction proof system. In particular, we propose a generalization of the notions of contradiction and explosiveness of a logic to the context of multi-valued logics. (shrink)

This paper endorses and defends M. J. Cresswell's view that the distinction drawn in linguistic semantics between strictly "logical" implication and merely lexical implication is bogus, and then explores the bad consequences that concession has for the Davidsonian semantic program. A pattern of semantic explanation made famous by Davidson's "The logical form of action sentences" is shown to be far less interesting than has been thought.

The main aim of this paper is to introduce first-order versions of logics of evidence and truth, together with corresponding sound and complete Kripke semantics with variable and constant domains. According to the intuitive interpretation proposed here, these logics intend to represent possibly inconsistent and incomplete information bases over time. The paper also discusses the connections between Belnap-Dunn’s and da Costa’s approaches to paraconsistency, and argues that the logics of evidence and truth combine them in a very natural (...) way. (shrink)

Logical form is thought to be discovered by keeping fixed the logical constants and allowing the non-logical content in the sentence to vary. The problem of logical constants is the problem of defining what counts as a logical constant. In this paper, I will argue that the concept ’logical constant’ is vague. I demonstrate the vagueness of logical constancy by providing a sorites argument, thereby showing the sorites-susceptibility of the concept. Many prior papers in the literature on logical (...) constants hint at this vagueness, but do not explore how theories of vagueness apply to logical constants. In the second half of this paper, I do just this. I consider approaches to logical constants that resemble nihilism about vagueness and more recent theories that relativize truth to precisifications. Finally, I argue that approaches that accept the potential indeterminate status of putative logical constants are preferable to nihilism or relativism about logical constancy. (shrink)

ABSTRACTThis paper makes a claim about Constant’s intellectual sources in order to throw additional light on the nature of his liberalism. It assesses Constant’s views against the background of a tradition of political rationalism. Constant both criticized and inherited that tradition. This paper shows how this process of critical re-appropriation occurred principally with two figures that had a particular significance for Constant: the very Francophile William Godwin and Nicolas de Condorcet. Constant resisted these authors’ desire to replace a consent-based decision-making (...) model by a truth-based decision-making model, and condemned their tendency to enrol individual judgment at the service of a politics of truth. At the same time, Constant did not renounce completely to their dream of bringing certainty into politics. As this double-move shows, it is not clear to what extent Constant succeeded in distancing himself from this tradition of political rationalism in order to establish what I call a rationalist liberalism. This problematic intellectual lineage not only challenges received interpretations of Constant’s liberalism either in terms of ‘scepticism’ or ‘pluralism.’ It should also invite us to reconsider the widespread idea according to which the French liberal tradition had a common and exclusive source in Montesquieu. (shrink)

In an era of fake news, alternative truths and leaked secrets making constant headlines, we are telling stories about ourselves all the time, and we are telling them in so many different ways. From vlogs and blogs to tweets and posts, from photos and gifs to live streams. From instant updates that disappear to rash words that last for ever and data trails that chart every step we take. While people around her shake their heads and mutter bad things about (...) the new levels of day-to-day deceit, Kathleen Wyatt is busy marvelling at how society manages it. How do we do this extraordinary thing - often under the most ordinary of circumstances? How do we convince each other to suspend disbelief? And why do we do it? In this brilliant, wide-ranging study of lies and lying, Wyatt introduces us to a cast of professionals and professional liars - from scientists to investigators, from double agents to journalists, from toddler specialists to a fallen titan of industry - all to help her prove a remarkable thesis: lies hold us together as much as they push us apart and may be vital in a healthy society"--Publisher's description. (shrink)

This paper advances our understanding of the norms of assertion in two ways. First, I evaluate recent studies claiming to discredit an important earlier finding which supports the hypothesis that assertion has a factive norm. In particular, I evaluate whether it was due to stimuli mentioning that a speaker’s evidence was fallible. Second, I evaluate the hypothesis that assertion has a truth-insensitive standard of justification. In particular, I evaluate the claim that switching an assertion from true to false, while (...) holding all else objectively constant, is irrelevant to attributions of justification. Two pre-registered experiments provide decisive evidence against each claim. In the first experiment, switching from mentioning to not mentioning fallibility made no difference to assertability attributions, thereby disproving the criticism concerning fallibility. By contrast, switching an assertion from true to false decreased the rate of assertability attribution from over 90% to less than 20%, thereby replicating and vindicating the original finding supporting a factive norm. In the second experiment, switching an assertion from true to false decreased the rate of justification attribution from over 80 to 10%, thereby undermining the hypothesis that assertion’s standard of justification is truth-insensitive. The second experiment also demonstrates that perspective-taking influences attributions of justification, and it provides initial evidence that the standard of justification for assertion is stricter than the standard for belief. (shrink)

In this paper, we shall confine ourselves to the study of sentential constants in the system R of relevant implication.In dealing with the behaviour of the sentential constants in R, we shall think of R itself as presented in three stages, depending on the level of truth-functional involvement.

Sentential constants have been part of the R environment since Church [1]. They have had diverse uses in explicating relevant ideas and in sim- plifying them technically. Of most interest have been the Ackermann pair of constants t; f, functioning conceptually as a least truth, and as a greatest , under the ordering of propositions under true impli- cation. Also interesting have been the Church constants F; T, functioning similarly as least greatest propositions.

It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. This essay, however, shows that a range of relevant logics with the Ackermann constant cannot be conservatively extended by a Boolean negation.

It has been argued in the literature that the deflationists’ thesis about the dispensability of truth as an explanatory notion forces them to adopt a conservative theory of truth. I suggest that the deflationists’ claim that the notion of truth is akin to a logical notion should be taken more seriously. This claim casts some doubts on the adequacy of the conservativity requirement, while it also calls for further investigation to assess its philosophical plausibility.

The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.

Pietroski successfully dismantles the idea of a formal semantic theory based on direct truth conditions and offers new and formally constrained alternatives. In this paper, I summarize the arguments but also provide a number of test cases to show that refusing to accept Pietroski's conclusions condemns the field to constantly restating and technically evading its own self‐created paradoxes. In the final section, I offer some positive proposals in the spirit of the Pietroskian enterprise with respect to thematic roles.

The paper provides a new argument against the classical invariance criterion for logical terms: if all terms with a permutation invariant extension qualify as logical, then for any arbitrary true contingent sentence K of the meta-language, there would be a logically true object-language sentence 'φ' such that K follows from the sentence 'φ is true'. Thus, many logically true sentences would be a posteriori. To prevent this fatal consequence, we propose to alter the invariance criterion: not only the term's extension, (...) but also its semantic clause must satisfy certain invariance conditions. The paper ends with the observation that the new criterion makes explicit the dependency of the classification of terms into logical and non-logical ones at the different levels of the Tarskian hierarchy of languages. (shrink)

In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A, with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A.” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998; in Inf. Comput. 176, 66–87, 2002; in Arch. Math. Logic 44, 751–762), the following three results are shown: The hypothesis for p-T (polynomial-time Turing) reduction is equivalent to (...) the assertion that the probabilistic complexity class R is not equal to NP; The hypothesis for p-tt (polynomial-time truth-table) reduction implies that P is not NP; The hypothesis holds for each of the following: disjunctive reduction, conjunctive reduction, and p-btt (polynomial-time bounded-truth-table) reduction. In this paper, we show the following three results: (1) Let c be a positive real number. We consider a concept of truth-table reduction whose norm is at most c times size of input, where for a relativized propositional formula F, the size of F denotes the total number of occurrences of propositional variables, constants and propositional connectives. Then, our main result is that the hypothesis holds for such tt-reduction, provided that c is small enough. How small c can we take so that the above holds? It depends on our syntactic convention on one-query tautologies. In our setting, the statement holds for all c < 1. (2) The hypothesis holds for monotone truth-table reduction (also called positive reduction). (3) Dowd (in Inf. Comput. 96, 65–76, 1992) shows a polynomial upper bound for the minimum sizes of forcing conditions associated with a random oracle. We apply the above result (1), and get a linear lower bound for the sizes. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 40.1 (2006) 35-53 [Access article in PDF] "Truth Is What Works": Francisco J. Varela on Cognitive Science, Buddhism, the Inseparability of Subject and Object, and the Exaggerations of Constructivism—A Conversation Francisco J. Varela Bernhard Poerksen Institut für Journalistik und Kommunikationswissenschaft Universität Hamburg Francisco J. Varela (1946-2001) studied biology in Santiago de Chile, obtained his doctorate 1970 at Harvard University with a dissertation on (...) the insect eye, and worked there for some time in the laboratory of Torsten Wiesel, the later Nobel Laureate for medicine. From his scientific beginnings as a researcher in biology, he not only studied and practiced biology but, resisting the dominating mainstream, pursued a research program that ignored and broke down traditional disciplinary boundaries. This research program is best characterized as experimental epistemology, a concept introduced by the neuropsychiatrist and cybernetician Warren S. McCulloch. Francisco J. Varela's great aspiration was to examine and answer the philosophical ur-question of cognition with scientific precision and with the help of the best possible theoretical framework. [End Page 35]Having obtained his doctorate, he went back to Chile to work as a professor of biology together with Humberto R. Maturana. He contributed to the writing of the theory of autopoiesis, which was to cause a furor in the world of science as a universally applicable explanatory model. After the overthrow of Allende and the installation of the dictatorship by the putsch general Pinochet, Francisco J. Varela first escaped to Costa Rica, then became a professor at the American University of Colorado and University of New York, and finally returned in 1980 to the University of Chile in Santiago for five years. Temporary positions as guest professor for neurobiology, philosophy, and cognitive science in Germany, Switzerland, and France led him to Paris in the end, where he worked as research director of the Centre National de Recherche Scientifique until his death on May 28, 2001.In his research work embracing cognitive science, evolutionary theory, and immunology, Francisco J. Varela, constantly inspired by his fundamental interest in the key questions of epistemology, gave the epistemological debate a new orientation. In his thinking he refuses to accept the strict separation of subject and object, of knower and known, which as a rule unites realists and constructivists alike. Francisco J. Varela rejects the fundamental dualism dividing mind and world, which had shaped Western philosophy from its earliest beginnings. He does not subscribe to the idea that human individuals can invent their own realities—blindly and arbitrarily, and without experiencing any resistance from the external world and all other things given. He equally distances himself, however, from the diametrically opposite position that overstates the eigenpower of the world of objects. The external world and all other things given cannot determine what happens in an organism. Varela's claim is that individual and world create each other. The Computational Model of the Mind Poerksen: The ancient key questions of philosophy are at the center of modern cognitive science. What is the essence of the mind? Do our conceptions represent a given world, which is independent from our minds? What is the formative power of external objects over our perceptions? How does cognition function? The search for an adequate answer and an improved understanding of the human mind has led many cognitive scientists to entertain the assumption that the brain is actually a kind of computer. Memory is taken to be a store. Thinking and perceiving are understood as data processing in the sense that an independent external world is computationally transformed into symbols and represented in the organism in this manner. You are very critical of this view. Why?Varela: If the brain is considered as a kind of computer, then cognitive research is limited to discovering certain self-sufficient shapes—the symbols—together with the rules [End Page 36] governing them—the programs. But this search for symbols and programs will never be profitable because it... (shrink)

Kant’s emphasis on the immorality of lying even to a murderer at the door who is asking about a victim hidden inside has drawn criticism ever since. The example originally given by Constant has been read as the thread of morality by totalitarian ruthlessness. In order to defend the importance of Kant’s moral philosophy, many critics have tried to update his position by taking into account the threat of modern totalitarianism. Nonetheless, this article tries to argue that Kant is right, (...) especially since the rise of post-truth politics. Sincerity towards oneself and towards others remains the basis of democracy: we have to admit what seems to be the truth regardless of our feelings about it. (shrink)

In this chapter I argue that there are three different senses of 'lie' in Kant's moral philosophy: the lie in the ethical sense (the broadest sense, which includes lies to oneself), the lie in the 'juristic' sense (the narrowest sense, which only includes lies that specifically harm particular others), and the lie in the sense of right (or justice), which is narrower than the ethical sense, but broader than the juristic sense, since it includes all lies told to others, including (...) those who are bent on harming innocent others. (shrink)

May the theory of radical interpretation developed by Donald Davidson on the basis of Quine's arguments for the indeterminacy of translation help fix the meaning of the logical constants? In particular, may the theory exclude ways of conferring meaning on the constants which, although developed within the Davidsonian framework, would lead to unexpected results? Could an interpreter fix the meaning of the constants in a non classical way, although still in accordance with the guiding principles of the (...) interpretative strategy? Or, on the contrary, does the theory incorporate constraints on interpretation which are stronger than those imposed by the possibility of non classical, or deviant logics? I examine the particular case of negation within the framework of the natural deduction system developed by Gentzen and Prawitz, and conclude that Davidson's theory, understood as an empirical theory of truth, leaves the problem of knowing which meaning should be assigned to the constant for negation without a satisfactory solution. Although interpetation has to be carried out according to the principle of charity, disagreements may come up regarding which meaning should be assigned to "not" in a properly regimented natural language. (shrink)

The first chapter explores the theory developed in Kripke's "Outline of a Theory of Truth." A tension in Kripke's account of the concept of truth is revealed--a conflict between two intuitions. The first intuition, called the "fixed point conception of truth," is that the whole meaning of the truth predicate is given by the formula "we may assert of a sentence that it is true iff we may assert that sentence." The second intuition, called the "thesis (...) of the supervenience of semantics," is that the interpretation of the truth predicate is determined by the interpretations of all the other non-logical constants of the language. I show that these two intuitions cannot be reconciled within the context of Kripke's theory, and I argue for the choice of the fixed point conception of truth over the principle of the supervenience of semantics. Chief among the considerations that I advance is the fact that the fixed point conception of truth yields a natural logic of truth. In the second chapter I present that logic of truth in the form of a cut-free sequent calculus. I then turn, in chapter three, to a discussion of the significance of such cut-free sequent calculi. I argue that we may view the sequent calculus introduction rules for a logical constant as giving the meaning of that constant, under certain conditions. In particular, we can see our logic of truth as providing an explication of our intuitive concept of truth which complements Kripke's original model-theoretic explication. The fourth chapter takes up some criticisms of Kripke's theory which center on the logic of truth. In addition, the general ideas developed in the first three chapters are applied in a discussion of the various schemes of three-valued logic which can be used in the development of Kripke's approach. Finally, in the last chapter, it is shown that Kripke's technical concepts, and the logical ideas developed in the second and third chapters, can be used to provide a unified account of many contexts in which paradox arises. (shrink)

This essay explores the relationship between fact and faith developed by two cinematic representations of the trial and execution of Joan of Arc: Carl Theodor Dreyer's The Passion of Joan of Arc and Robert Bresson's The Trial of Joan of Arc. Both films are preoccupied with how to present evidence - the proof of Joan's supposedly divine visions - that is ultimately unverifiable, and turn this epistemological problem into their chief aesthetic concern. Through readings of Aquinas, Susan Sontag, and Hayden (...) White, the essay tracks what the stakes of such a problem might be, finding especially in Bresson's method a negative definition of truth or meaning through the sudden but persistent withholding of even its most pronounced historical, cultural, and material content. Whereas Dreyer's film pursues the total legibility of its subject through a constant focus on faces and gazes, showing us literally all that it can, Bresson's film insists on the integrity of that which is unseen, creating what I come to call a kind of meaning effect. (shrink)

After stressing how the attempt to provide a plausible account of the connection between language and the world was one of Putnam’s constant preoccupations, this article describes the four stages his thinking about the concepts of truth and reality went through. Particular attention is paid to the kinds of problems that made him abandon each stage to enter the next. The analysis highlights how all the stages but one express a general non-epistemic stance towards truth and reality—the right (...) stance, according to Putnam, in order to develop full-blooded realism. Since the last stage combines a version of direct realism with a pluralist conception of truth, the article proceeds by focusing on Putnam’s alethic pluralism, carefully distinguishing it from alethic deflationism. Finally a suggestion is made as to where Putnam’s alethic pluralism may be placed within the constellation of current pluralist positions about truth. (shrink)

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of (...) Dummett and his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets (...) the correspondence intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

In section 1 we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of theclassical meaning of the logical constants, and consequently is incompatible with the antirealism of orthodox intuitionism. In section 2 we show how what we call the potential intuitionistic meaning of the logical constants can be defined, on the one hand, by means of the notion (...) of atemporal provability and, on the other, by means of the operator K of epistemic logic. Intuitionistic logic, as reconstructed within this perspective, turns out to be a part of epistemic logic, so that it loses its traditional foundational role, antithetic to that of classical logic. In section 3 we uphold the view that certain consequences of the adoption of atemporal notion of truth, despite their apparent oddity, are quite acceptable from an antirealist point of view. (shrink)

This paper considers the impact of complexity theory on the way in which we see propositions corresponding to the reality that they describe, and our concept of truth in that context. A contingently associated idea is the atomistic expectation that we can reduce language to primitive units of meaning, and tie those in with agreed units of experience. If we see both language and the reality that it describes and explains as complex, this position becomes difficult to maintain. Complexity (...) theory, with its emphasis on non‐linear and dynamic interactions between multiple variables, within indeterminate and transient systems, supports the case for a connectionist and holistic analysis. Theories are more likely to be under‐determined by evidence and open to interpretation, with the potential for ‘certainties’ weakened. If educational situations are complex, then the drive towards specific and focused research findings that will support policy and practice, and the associated notion of control, is illusory. Rather than providing evidence for prescription, research is thus understood as descriptive and explanatory, within a range of interpretative possibilities. Action takes place within a necessarily incomplete and constantly changing situation, more appropriately understood in terms of survival than control. (shrink)

This article develops a historico-critical analysis of uncertainty and accuracy in measurement through a case-study of the adjustment of the fundamental physical constants, in order to investigate the sceptical “problem of unknowability” undermining realist accounts of measurement. Every scientific result must include a “measurement uncertainty”, but uncertainty cannot be be eval- uated against the unknown, and therefore cannot be taken as an assessment of “accuracy”, defined in the metrological vocabulary as the closeness to the truth. The way scientists (...) use and interpret uncertainty in the adjustment activity illustrates how they try to overcome this predicament. I iden- tify two operative roles of measurement uncertainty, in the comparison and in the combination of measurement results. This duality implies a tension between selection and combination when aggregating results, leading to a crucial question: should the evaluation of uncertainties favour safety over precision? I present contrasting answers and identify a specific account of physicists who implicitly try to conciliate realism with the problem of unknowability. I argue that this invites us to reconsider accuracy from a dynamical standpoint, as the gradual achievement of scientific progress through error correction. Finally, I present two interpretations of measurement uncertainty, objective and epistemic, which I criticize and suggest improvements to. (shrink)

This paper’s aim is to help winnow out some ideas about the role of formal logic in human doings at large. I start by discussing some metaphysical presuppositions of logical theory; specifically, I attempt to work towards a clearer understanding of the role of modalities, together with the notions of meaning and truth, in mainstream logical theory. I then appeal to a modal formal semantics (Brandom, 2007a) in order to outline the cognitive role of logical constants in general. (...) From these discussions I conclude that any view of formal logic, and its core concepts, which does not involve a grasp of what we do with them will be found to be distorted. (shrink)

We introduce Boolean-like algebras of dimension n ($$n{\mathrm {BA}}$$ n BA s) having n constants $${{{\mathsf {e}}}}_1,\ldots,{{{\mathsf {e}}}}_n$$ e 1, …, e n, and an $$(n+1)$$ ( n + 1 ) -ary operation q (a “generalised if-then-else”) that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of $$n{\mathrm {BA}}$$ n BA s share many remarkable properties with the variety of Boolean algebras and with primal varieties. The $$n{\mathrm {BA}}$$ n BA s provide (...) the algebraic framework for generalising the classical propositional calculus to the case of n–perfectly symmetric–truth-values. Every finite-valued tabular logic can be embedded into such a n-valued propositional logic, $$n{\mathrm {CL}}$$ n CL, and this embedding preserves validity. We define a confluent and terminating first-order rewriting system for deciding validity in $$n{\mathrm {CL}}$$ n CL, and, via the embeddings, in all the finite tabular logics. (shrink)

A fascinating collection of studies, _The Politics of Truth and Other Untimely Essays_ explores the historical and theoretical underpinnings of personal liberty and free government and provides a trenchant analysis of the crisis of civic consciousness endangering both of them today. The book addresses a range of issues in contemporary political philosophy and constitutional theory. These are seen to be all the more urgent in importance because of the surging aspirations for liberty in the wake of the collapse of (...) the Soviet empire and the post-Cold War anomaly of crisis, malaise, and disarray in free government itself in America and in other bastions of modern democracy. While each essay can stand alone, there is an underlying thematic unity to the collection. The fundamental problem considered throughout is whether and to what extent the fall of communism may mark an epoch in world history. These questions are applied to the East Central European nations struggling to achieve free government and personal liberty. The elements required to identify the preconditions of liberty are addressed and specific attention is given to the terms of institutionalization in the American founding. Several essays focus on American political thought, with emphasis on the Declaration of Independence and the Constitution. Two elements, in particular, are treated: the jurisprudential and common law background to the American political tradition and the centrality of religion within the unfolding of the American political experiment. Sandoz explores the uncommon alliance of philosophers, statesmen, and evangelists during the nation's founding. This alliance, nurturing communities of persons bound together by their faith and a mutual regard for one another, played a vital role in the establishment of the system of freedom under law. Sandoz sees the tension between religion and natural law as a constant in the human struggle for freedom. That the preservation of liberty under law is no easy task is acknowledged and addressed as it can be seen in the American founding, in the post-communist struggle of East Central Europe, and in the deepening contemporary crisis of American society. Anyone interested in the "politics" of "truth" will appreciate this volume. (shrink)

One aspect of truth concerns knowing when to trust others when one’s own knowledge is inadequate. This is an ever more common problem in societies where technological and scientific change seems to be constantly accelerating. There is an increasing need to rely on the expertise of others and consequently to know when others are more likely to be offering an objective opinion as opposed to a biased one. Here, I argue that there are systematic and early emerging cognitive heuristics (...) and biases that profoundly influence our patterns of deference, our ways of assessing expertise, and our sense of when testimony is to be trusted. For the most part, the power and pervasiveness of these biases are ignored or greatly underappreciated. These biases and heuristics can both mislead and inform our understanding and use of others’ expertise; it is therefore critical that we acknowledge their presence and know how to work with them. (shrink)

Let us sum up. We began with the question, “What is the interest of a model-theoretic definition of validity?” Model theoretic validity consists in truth under all reinterpretations of non-logical constants. In this paper, we have described for each necessity concept a corresponding modal invariance property. Exemplification of that property by the logical constants of a language leads to an explanation of the necessity, in the corresponding sense, of its valid sentences. I have fixed upon the epistemic (...) modalities in characterizing the logical constants: to be a logical constant in the language of a population is to be invariant over a modality describing complete possible epistemic states of that population (or an idealized analogue thereof). The grounds for this characterization are these: (1) It leads, I believe, to an extensionally reasonable demarcation of the logical constants, including clear cases and excluding clear non-cases. It gives a principled criterion for deciding unclear cases. (2) It provides an analysis of the topic-neutrality of logic. (3) It leads to an explanation of the epistemic necessity of the logical truths in terms of the topic-neutrality of the logical constants.All the same, it is reasonable to ask, even if the suggested demarcation of logic is extensionally correct, whether it can reasonably be expected to be fundamental. The epistemic invariance of an expression is a rather striking property, one which we should want to explain. What is missing, then, is an explanation of the distinguishing epistemic properties of the constants in terms of more fundamental properties involving their understanding and use. It would be these that properly define the nature, not just the extent, of logic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:A Partial Truth (Poems 2015–19) by Christopher NorrisNiall GildeaNorris, Christopher. A Partial Truth (Poems 2015–19). The Seventh Quarry Press, 2019. 133pp.“No interval but some event takes place.”(Norris, “Freeze-Frame,” A Partial Truth)A Partial Truth, a collection of thirty-seven pieces, is the seventh volume of poetry by philosopher and literary theorist Christopher Norris. Nobody familiar with Norris’s distinguished career will be surprised to learn that his (...) recent turn to versification is not a repudiation of intellectual and rhetorical seriousness, but a re-emphasis of the same using resources not typically found in academic prose. Norris, an interdisciplinarian long before that term became a slogan, has in his work clocked up considerable epistemological mileage across diverse terrain, his critical friendship with deconstruction leading him to important interventions in analytic and Continental philosophy, institutional critique, philosophy of science and mathematics, legal studies, music, politics and, after all, creative criticism.Creative criticism is a relatively embryonic genre, until recently typified generally by a prose that owes a debt to Jacques Derrida’s Cir-confession, Glas and La carte postale. This is a style that foregrounds the philosophical unsaid – the repressed autobiographical, desirous, and otherwise messy constituents of that canon. It does so in part by jettisoning the academic politesse, and let’s say timidity, which help maintain such statutes of limitation. In a more specific way, creative criticism may be understood as a Romantic development set in train by the “Yale School” of deconstruction and its fellow travelers, straining in their own ways against the subordinate role of the reader and critic instituted by the likes of Matthew Arnold and T. S. Eliot.In the foreword to his 2017 volume The Winnowing Fan, Norris at once compliments this “strong” critical rebelliousness (xii), and critiques its ecstatic, quasi-apocalyptic hubris, provisionally aligning his own creative criticism with the “poetic diction” (xxi) of eighteenth-century figures such as Dryden and Pope. It is an analogy with caveats – not least Norris’s stated allergy to the “air of arrogance” (Tempus-Fugitives ix) of [End Page 122] their heavily end-stopped tendentiousness – but one which schematizes a poetics that both carries a definite argument and could not make this argument otherwise than in a manner reliant on verse’s formal properties.Note, however, the fact that Norris takes his distance from both strong criticism and those eighteenth-century essayists on the grounds of their shared self-assurance. A steadier presiding influence is William Empson, whose enmity towards Eliotic New Criticism, which “fixes a prescriptive gulf between poetry and other kinds of discourse,” makes him a political forebear, dissenting from modern forms of literary historical doctrinalism, specifically “that whole anti-rationalist complex of ideas that made the discontinuity between poetic and non-poetic language into a shibboleth of aesthetic, ethical, and (though rarely advertised as such) socio-political principle” (Tempus-Fugitives xix–xx). Norris is no straightforward disciple of Empson – who regarded Derrida, and the other “horrible Frenchmen” Norris used to invite him to read, as “so very disgusting, in a simple moral or social way, that I cannot stomach them” (qtd. in Haffenden 52). And yet, one constant quality of both Norris’s verse and prose criticism is a welcome sobriety of explication when it comes to the more recondite or outright flamboyant enclaves of modern European thought.A Partial Truth, and Norris’s books of verse generally, are explicit in outlining the ways in which his poetry functions as a reaction to the diaristic, mumbling slackness of much contemporary poetry; but does his turn to verse also indicate some reaction to contemporary theory? A Partial Truth’s “Foreword,” with modesty, states that “[i]f these poems have any distinctive merit then it lies in the treatment of interesting ideas in a way that deploys certain formal means to draw out complexities and further implications that would lie beyond the reach of a prose rendition” (14). We will specify some of the relations between form and discursive complexity presently, but for now, it is worth suggesting that Norris’s commitment to verse forms of historically recognizable kinds forecloses from him the mealy-mouthed, argumentatively fugitive character of... (shrink)

I discuss Andrea Iacona’s idea that logical form mirrors truth conditions, and that logical form, and thus truth conditions, are in turn represented by means of adequate formalization. I criticize this idea, noting that the notion of adequate formalization is highly indefinite, while the pre-theoretic idea of logical form is often much more definite. I also criticize Iacona’s claim that certain distinct sentences, with the same truth conditions and differing only by co-referential names, must be formalized by (...) the same formula (in the same context). I criticize this claim, noting that it imposes implausible demands on adequate formalization. Finally, I offer some brief remarks on the connection between Iacona’s ideas and the distinction between logical and non-logical constants. (shrink)

Tarski implicitly postulated that a certain pre-theoretical concept of logical consequence and his technical concept of logical consequence are co-extensional. This chapter makes explicit a few theses about logical consequence or logical truth that sound Tarskian somehow, including one that most deserves the name ‘Tarski's Thesis’. Some of these theses are probably true or close to true but weaker than Tarski's. Some are false but stronger than Tarski's. Tarski's Thesis plausibly postulated that a sentence of a classical language possibly (...) extended with non-traditional extensional logical constants is logically true, if it is true in all classical interpretations of all its non-logical constants. But it is noted that this thesis turns out to be false on most conceptions of logical truth, for some sentences of a classical language extended with extensional logical constants are true in all classical interpretations of all its non-logical constants, but are not necessary. (shrink)

There is a serious problem with arguing that God intended to lock the epistemology of the 7th century into the immutable text of the Qur’an, and then intended to hold Muslims hostage to this epistemological framework for all ages to come. Among other things, this would limit the dynamism and effectiveness of Divine text because the Qur’an would be for ever locked within a knowledge paradigm that is very difficult to retrieve or re-create. The author argues for the recognition of (...) three critical categories in Islamic theology: haqq, hikma and ma‘arifa. While haqq connotes the objective and constant truth, it is not reachable without hikma. Hikma is the balance [mizan] of truths in every historical moment with all of its contingencies. Ma‘arifa is the epistemology or the way to searching the objective and constant truth as well as the search for the hikma appropriate for each stage in human consciousness. The author contends that it is contrary to the very nature of a merciful and compassionate God to leave Muslims with a Revelation that is not fully equipped to deal with the altered states of consciousness and perceptions that are inevitable in every stage of human development. (shrink)

This chapter offers a philosophical reflection on the truth of the medial and the state of exception. It begins with the notion that every single media carrier—be it “natural” or produced by technical means—basically allows for only two operations with signs: to save and to transfer. The entire medial economy that operates with signs makes use of these two operations. All signs have a meaningless, nonsemantic, purely formal, and simultaneously material side beyond all signification. When we confront the media, (...) we are constantly aware of the hidden presence of submedial space. Yet we are structurally incapable of seeing through it as long as we are busy looking at the medial surface. This chapter argues that the media-ontological suspicion is “objective” in the phenomenological sense, because it necessarily appears during the act of observing the medial surface. It also examines the truth of media-ontology as well as the truth of the state of exception in relation to the media-ontological suspicion that defines our perception of the medial surface. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Religious Pluralism and Christian TruthJoseph S. O’Leary has been named recipient of the 1998 Frederick J. Streng Book Award for his 1996 volume, Religious Pluralism and Christian Truth. Dr. O’Leary was born in Cork, Ireland, in 1949. He studied literature, theology, and philosophy in Maynooth, Rome, and Paris. After teaching briefly in the United States (University of Notre Dame and Duquesne University), he moved to Japan in 1983. (...) He has worked in association with the Nanzan Institute for Religion and Culture and currently teaches English literature at Sophia University (with special emphasis on Joyce and the modernist period) and a course on Japanese values at International Christian University.He has been working on a trilogy in fundamental theology that has taken on an increasingly interreligious character. The first volume is Questioning Back: The Overcoming of Metaphysics in Christian Tradition (Minneapolis: Winston/Seabury, 1985), reviewed in Buddhist-Christian Studies in 1987; a French version is in preparation. The second volume appeared first as La verite chretienne a l’age du pluralisme religieux (Paris: Cerf, 1994) and then as Religious Pluralism and Christian Truth (Edinburgh University Press, 1996). Joseph O’Leary is also coeditor of Heidegger et la question de Dieu (Paris: Grasset, 1980) and Buddhist Spirituality (vols. 8 and 9 of World Spirituality, New York: Crossroad, 1993 and 1999).Terry Muck: Why did you write this book?Joseph O’Leary: My earlier book, Questioning Back: The Overcoming of Metaphysics in Christian Tradition, advocated deconstruction of the Greek and Hebrew elements in Christian theology—the need for a radical retrieval of the tradition in the spirit of Heidegger’s “step back” from metaphysical systems to the original phenomena. In Religious Pluralism and Christian Truth, I broadened the horizon to see all religion as historical, cultural constructs growing and changing through mutual interaction. Living in Japan brought me a liberating sense of historical and cultural relativity and with it the sense that the Christian tradition should be thought of as an essentially incomplete project, always reaching out to other traditions in search of a fuller vision.But that discovery did not mean giving up on the Christian tradition.No. Rather than sitting back and enjoying the pluralism, I found myself more and more concerned with the question of truth. Followers of Jacques Derrida assured me that “truth” has been exposed as a historical myth. Struggling with Derrida I found rather a recontextualization of the value of truth. Moreover, the “situated truth” (always relative to a given context in culture and praxis) of historically formulated dogmatic propositions turned out to be quite defensible despite Derrida’s demolition [End Page 239] of notions of truth as totality (Hegel) or truth as presence (Heidegger). Christianity has nothing to fear from opening itself up to its historical relativity. Buddhism has long accepted the provisionality of all religious expressions. I focused especially on the notion of skillful means and on the theory of the two truths (conventional and ultimate) in Madhyamaka Buddhism.What does this “opening up” do to traditional Christian doctrines?The notion of God is not only compatible with such a relativized view of the status of religious language, but demands it. The biblical discourse about God consists in a constant deconstruction of old images of God by new ones. As for the role of Jesus Christ, Incarnation is an ongoing event in that the historical significance of Jesus is still unfolding. The uniqueness of Jesus resides not in some ontological amalgamation of divinity and humanity but in the specifics of his historical role. God’s Word is spoken in other ways elsewhere, indeed is spoken in all things, and its specifically “fleshly” (human and historical) and “eschatological” manifestation in the unfolding of the Jesus story should not be divorced from these wider contexts.How have these ideas been received?The most flattering response has come from the Society for Buddhist-Christian Studies in granting me the Frederick J. Streng Book Award. Streng’s book, Emptiness, which I read in Pittsburgh in 1982, opened my eyes to the world of Madhyamaka thought.Any criticisms?Predictably, the book has come under fire from two opposing camps. The Revue Thomiste reviewer claimed that I could... (shrink)

Shapiro and Taschek have argued that simply using intuitionistic logic and its Heyting semantics, one can show that there are no gaps in warranted assertability. That is, given that a discourse is faithfully modeled using Heyting's semantics for the logical constants, then if a statement _S is not warrantedly assertable, its negation (superscript box) _S is. Tennant has argued for this conclusion on similar grounds. I show that these arguments fail, albeit in illuminating ways. An appeal to constructive logic (...) does not commit one to this strong epistemological thesis, but appeals to semantics of intuitionistic logic none the less do give us certain conclusions about the connections between warranted assertability and truth. (edited). (shrink)

We may suppose that the truth predicate that we utilize in our semantic metalanguage is a two-place predicate relating sentences to contexts, the truth-in-context-X predicate. Seeming paradoxes pertaining to the truth-in-context-X predicate can be blocked by placing restrictions on the structure of contexts. While contexts must specify a domain of contexts, and what a context constant denotes relative to a context must be a context in the context domain of that context, no context may belong to its (...) own context domain. A generalization of that restriction appears to block all of the paradoxes of truth-in-context-X. This restriction entails that, in a certain sense, we cannot talk about the context we are in. This result will be defended, up to a point, on broadly ontological grounds. It will also be conjectured that our semantic metalanguage can be regarded as semantically closed. (shrink)

During the last two decades, many thinkers on Iranian cinema have had many things to say about censorship, especially the issue of the veil imposed on women’s gender by the authorities in Iran. In this paper, I will describe Hamid Dabashi’s narrative as related to the concept of “truth” to show further that the veil issue has reached a new phase in Iran. Although much of what Dabashi defines as the absented body of women in his article “Body less (...) faces: Mutilating modernity and abstracting women in an ‘Islamic cinema’” may still hold, I believe his over-arching narrative doesn’t contribute enough to our understanding of the new relations among the authorities and actresses’ Fashion styles on red carpets. This paper’s method is connected with cultural and visual studies through Roland Barthes’ semiotics. I first focus on Hamid Dabashi’s conception of “truth” and how he believes “truth” is related to Islamic ideology and embodied in Iranian post-revolutionary cinema to further (through analysing photos of Iranian actresses’ clothing who attend festivals) conclude that Iranian women try to adopt new resistances in choosing their costumes compared to the early two decades of post-revolutionary Iran. The presence of Iranian women in festivals especially regarding what they wear has established a new interwoven relationship with authorities which has somewhat not been surveyed properly. By surveying the photos of their fashion and style I conclude that they are in constant negotiation with authorities through what they rebelliously wear. (shrink)