Barnes, A. and P. Thagard Empathy and analogy. Dialogue: Canadian Philosophical Review, 36: 705-720. HTML Croft, D., & Thagard, P.. Dynamic imagery: A computational model of motion and visual analogy. In L. Magnani and N. Nersessian, Model-based reasoning: Science, technology, values. New York: Kluwer/Plenum, 259-274. PDF only. HTML description of program and code for DIVA.

In this paper I shall defend the idea that there is an abstract and general core meaning of objectivity, and what is seen as a variety of concepts or conceptions of objectivity are in fact criteria of, or means to achieve, objectivity. I shall then discuss the ideal of value-free science and its relation to the objectivity of science; its status can be at best a criterion of, or means for, objectivity. Given this analysis, we can then turn to the (...) problem of inductive risk. Do the value judgements regarding inductive risk really pose a threat to the objectivity of science? I claim that this is not the case because they do not lower the thresholds scientifically postulated for objectivity. I shall conclude the paper with a discussion of under-appreciated influences of values on science, which indeed pose a serious threat to the objectivity of some scientific disciplines. (shrink)

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)

Coherence is a property of propositions hanging together or dovetailing with each other. About two decades ago, formal epistemologists started to engage in the project of explicating the seemingly elusive concept of coherence by means of probability theory. Since then, a plethora of coherence measures have been discussed in the literature. In this paper, we propose a general framework for coherence measures that encompasses the different frameworks of deviation measures, overlap measures and mutual support measures of coherence. Above that we (...) show that some of the new measures that can be obtained outperform existing coherence measures in important respects. (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)

Relative overlap measures of coherence have recently been shown to have two devastating properties: according to the plain relative overlap measure, the degree of coherence of any set of propositions cannot be increased by adding further propositions, and according to the refined relative overlap measure, no set can be more coherent than its most coherent two-element subset. This result has been taken to rule out relative overlap as a foundation for a probabilistic explication of coherence. The present paper shows that (...) this view is premature: we propose a relative overlap measure that does not fall victim to the two properties. The guiding idea is to employ a well-established recipe for the construction of coherence measures and to adapt it to the idea of relative overlap. We show that this new measure keeps up with, or even outperforms, former overlap measures in a set of desiderata for coherence measures and a collection of popular test cases. This result re-establishes relative overlap as a candidate for a proper formalization of coherence. (shrink)

Over the years several non-equivalent probabilistic measures of coherence have been discussed in the philosophical literature. In this paper we examine these measures with respect to their empirical adequacy. Using test cases from the coherence literature as vignettes for psychological experiments we investigate whether the measures can predict the subjective coherence assessments of the participants. It turns out that the participants’ coherence assessments are best described by Roche’s coherence measure based on Douven and Meijs’ average mutual support approach and the (...) conditional probability. (shrink)

Coherence is the property of propositions hanging or fitting together. Intuitively, adding a proposition to a set of propositions should be compatible with either increasing or decreasing the set’s degree of coherence. In this paper we show that probabilistic coherence measures based on relative overlap are in conflict with this intuitive verdict. More precisely, we prove that according to the naive overlap measure it is impossible to increase a set’s degree of coherence by adding propositions and that according to the (...) refined overlap measure no set’s degree of coherence exceeds the degree of coherence of its maximally coherent subset. We also show that this result carries over to all other subset-sensitive refinements of the naive overlap measure. As both results stand in sharp contrast to elementary coherence intuitions, we conclude that extant relative overlap measures of coherence are inadequate. (shrink)

This paper argues for three kinds of possible worlds: Wittgensteinian totalities of facts, Lewisian worlds or universes, concrete objects of maximal essence, and the world, a concrete object of minimal essence. It moreover explains that correspondence truth applies to Wittgensteinian totalities and pragmatic truth to Lewisian universes. And it finally argues that this conceptualization lays proper foundations to two-dimensional semantics.

How can we determine the adequacy of a probabilistic coherence measure? A widely accepted approach to this question besides formulating adequacy constraints is to employ paradigmatic test cases consisting of a scenario providing a joint probability distribution over some specified set of propositions coupled with a normative coherence assessment for this set. However, despite the popularity of the test case approach, a systematic evaluation of the proposed test cases is still missing. This paper’s aim is to change this. Using a (...) custom written computer program for the necessary probabilistic calculations a large number of coherence measures in an extensive collection of test cases is examined. The result is a detailed overview of the test case performance of any probabilistic coherence measures proposed so far. It turns out that none of the popular coherence measures such as Shogenji’s, Glass’ and Olsson’s, Fitelson’s or Douven and Meijs’ but two rather unnoticed measures perform best. This, however, does not mean that the other measures can be rejected straightforwardly. Instead, the results presented here are to be understood as a contribution among others to the project of finding adequate probabilistic coherence measures. (shrink)

The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

This article seeks to clarify and theorise three fundamental themes in the work of John Milbank: truth, faith and reason. In his work, Milbank often uses these terms in ambiguous ways, so the terminology requires clarity to facilitate further productive discussion. It is found that truth refers to the revelation of the divine relations in the Trinity, and these correspond with human relations when this revelation is apprehended by faith through participation. Faith means trust or persuasion, such that when the (...) divine is graciously revealed, the mind is transformed and persuaded to participate in the divine relations. This faith is reconciled with reason, or logos, the divine word which is Christ and is the ultimate revelation of the Trinity through the Incarnation, which produces a reason that leads to peace based in faith. (shrink)

. Neither the correspondence nor the coherence theory of truth does justice to the truth claims made in science and theology. I propose a new definition that relates truth to solving puzzles. I claim that this definition is more adequate than either of the traditional theories and that it offers two additional benefits: first, it provides grounds for a theory regarding the relations between theology and science that may stand up better to philosophical scrutiny than does critical realism; and second, (...) it blocks the move to relativism based on recognition of the plurality of perspectives and the historical and social conditioning of knowledge. (shrink)

I argue that the analysis most capable of systematising our intuitions about coherence as a relation is one according to which a set of beliefs, A, coheres with another set, B, if and only if the set-theoretical union of A and B is a coherent set. The second problem I consider is the role of coherence in epistemic justification. I submit that there are severe problems pertaining to the idea, defended most prominently by Keith Lehrer, that justification amounts to coherence (...) with an acceptance system. Instead I advance a more dynamic approach according to which the problem of justification is the problem of how to merge new information with old coherently, a process which is seen to be closely connected with relational coherence. (shrink)

Artificial intelligence receives attention in media as well as in academe and business. In media coverage and reporting, AI is predominantly described in contrasted terms, either as the ultimate solution to all human problems or the ultimate threat to all human existence. In academe, the focus of computer scientists is on developing systems that function, whereas philosophy scholars theorize about the implications of this functionality for human life. In the interface between technology and philosophy there is, however, one imperative aspect (...) of AI yet to be articulated: how do intelligent systems make inferences? We use the overarching concept “Artificial Intelligent Behaviour” which would include both cognition/processing and judgment/behaviour. We argue that due to the complexity and opacity of artificial inference, one needs to initiate systematic empirical studies of artificial intelligent behavior similar to what has previously been done to study human cognition, judgment and decision making. This will provide valid knowledge, outside of what current computer science methods can offer, about the judgments and decisions made by intelligent systems. Moreover, outside academe—in the public as well as the private sector—expertise in epistemology, critical thinking and reasoning are crucial to ensure human oversight of the artificial intelligent judgments and decisions that are made, because only competent human insight into AI-inference processes will ensure accountability. Such insights require systematic studies of AI-behaviour founded on the natural sciences and philosophy, as well as the employment of methodologies from the cognitive and behavioral sciences. (shrink)

Arguing that our attachment to Aristotelian modes of discourse makes a revision of their conceptual foundations long overdue, the author proposes the consideration of unacknowledged factors that play a central role in argument itself. These are in particular the subjective imprint and the dynamics of argumentation. Their inclusion in a four-dimensional framework and the focus on thesis validity allow for a more realistic view of our discourse practice. Exhaustive analyses of fascinating historical and contemporary arguments are provided. These range from (...) Columbus’s advocacy of the Western Passage to India, over the trial of King Louis XVI during the French Revolution, to today’s highly charged controversies surrounding euthanasia and embryo research. Excavating foundational issues such as the purpose of argument itself and the contested role of argument as a generator of knowledge, the book culminates in a discussion of the relationship between rationality and reasonableness and criticizes the restrictions of ‘rational’ argument relying on fixed logical, economic or cultural criteria that in reality are mutable. Here, a true, open argument requires the infusion of Paul Lorenzen’s principle of ‘transsubjectivity’, which recognizes but transcends the partiality of the individual and which can be seen in the pragmatic and expanding consensus that humanity can control itself to safeguard the future of a fragile, damaged world. (shrink)

This article generalizes the explanationist account of inference to the best explanation. It draws a clear distinction between IBE and abduction and presents abduction as the first step of IBE. The second step amounts to the evaluation of explanatory power, which consist in the degree of explanatory virtues that a hypothesis exhibits. Moreover, even though coherence is the most often cited explanatory virtue, on pain of circularity, it should not be treated as one of the explanatory virtues. Rather, coherence should (...) be equated with explanatory power and considered to be derivable from the other explanatory virtues: unification, explanatory depth and simplicity. (shrink)

What is the relation between coherence and truth? This paper rejects numerous answers to this question, including the following: truth is coherence; coherence is irrelevant to truth; coherence always leads to truth; coherence leads to probability, which leads to truth. I will argue that coherence of the right kind leads to at least approximate truth. The right kind is explanatory coherence, where explanation consists in describing mechanisms. We can judge that a scientific theory is progressively approximating the truth if it (...) is increasing its explanatory coherence in two key respects: broadening by explaining more phenomena and deepening by investigating layers of mechanisms. I sketch an explanation of why deepening is a good epistemic strategy and discuss the prospect of deepening knowledge in the social sciences and everyday life. (shrink)

A general theory of coherence is proposed, in which systemic and relational coherence are shown to be interdefinable. When this theory is applied to sets of sentences, it turns out that logical closure obscures the distinctions that are needed for a meaningful analysis of coherence. It is concluded that references to “all beliefs” in coherentist phrases such as “all beliefs support each other” have to be modified so that merely derived beliefs are excluded. Therefore, in order to avoid absurd conclusions, (...) coherentists have to accept a weak version of epistemic priority, that sorts out merely derived beliefs. Furthermore, it is shown that in belief revision theory, coherence cannot be adequately represented by logical closure, but has to be represented separately. (shrink)

Paul Thagard’s theory of deductive coherence, as set out in his Coherence in Thought and Action, faces a regress objection. Thagard’s method of solving deductive coherence problems presupposes some notion of logical consequence. The problem of specifying which logic to use to this end is itself a deductive coherence problem, so we would expect Thagard’s theory to be able to solve it. However, on pain of regress, the theory of deductive coherence cannot reach such a solution.

This paper answers the philosophical contentions defended in Horsten and Welch . It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.

While the analytical philosophy of science regards inconsistent theories as disastrous, Chomsky allows for the temporary tolerance of inconsistency between the hypotheses and the data. However, in linguistics there seem to be several types of inconsistency. The present paper aims at the development of a novel metatheoretical framework which provides tools for the representation and evaluation of inconsistencies in linguistic theories. The metatheoretical model relies on a system of paraconsistent logic and distinguishes between strong and weak inconsistency. Strong inconsistency is (...) destructive in that it leads to logical chaos. In contrast, weak inconsistency may be constructive, because it is capable of accounting for the simultaneous presence of seemingly incompatible structures. However, paraconsistent logic cannot grasp the dynamism of the emergence and resolution of weak inconsistencies. Therefore, the metatheoretical approach is extended to plausible argumentation. The workability of this metatheoretical model is tested with the help of a detailed case study on an analysis of discontinuous constituents in Government-Binding Theory. (shrink)

This case study applies ethics theories and codes to the mainstream news media's response to the CBS News-National Guard forged documents fiasco of 2004. It finds that 177 newspaper editorials applied truth telling, accountability, independence, and stewardship principles in their criticism of CBS, but only in a limited way. While the editorials dealt well with the specific issues of the case, they missed an opportunity to discuss the broader ethical principles involved.

This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic truth and its notion’s indispensable substantive (...) explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d’être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue. (shrink)

This paper is an attempt to bring together two separated areas of research: classical mathematics and metamathematics on the one side, non-monotonic reasoning on the other. This is done by simulating nonmonotonic logic through antitonic theory extensions. In the first half, the specific extension procedure proposed here is motivated informally, partly in comparison with some well-known non-monotonic formalisms. Operators V and, more generally, U are obtained which have some plausibility when viewed as giving nonmonotonic theory extensions. In the second half, (...) these operators are treated from a mathematical and metamathematical point of view. Here an important role is played by U -closed theories and U -fixed points. The last section contains results on V-closed theories which are specific for V. (shrink)

En la epistemología moderna, el falibilismo es una vía media entre el dogmatismo y el escepticismo. Su origen histórico se encuentra en una rama de la antigua escuela del escepticismo académico. Ya que la diferencia entre las formas fuerte y débil del falibilismo, así como la distinción entre probabilidad epistémica y verosimilitud, sólo han sido comprendidas en las últimas dos décadas, no podemos esperar encontrar formulaciones claras de dichas doctrinas entre los filósofos griegos y romanos. Pero hemos mostrado que las (...) dos ideas centrales del falibilismo –el grado de certeza y el grado de cercanía a la verdad– están presentes en la tradición escéptica al menos desde los tiempos de Cicerón. (shrink)

We prove that four theses commonly associated with coherentism are incompatible with the representation of a belief state as a logically closed set of sentences. The result is applied to the conventional coherence interpretation of the AGM theory of belief revision, which appears not to be tenable. Our argument also counts against the coherentistic acceptability of a certain form of propositional holism. We argue that the problems arise as an effect of ignoring the distinction between derived and non-derived beliefs, and (...) we suggest that the kind of coherence relevant to epistemic justification is the coherence of non-derived beliefs. (shrink)

The present study reiterates one of the main ideas that we exposed in 1983, in the paper “Din fals rezultă orice” (“From False Follows Anything”), published in the volume Întemeieri raţionale în filosofia ştiinţei (Rational Foundations in the Philosophy of Science) when we referred to the notion of semi-truth, as a third alethic value, placed between „truth” and „falsehood”, thus contributing to the functionality of the trivalent logic. Now we analyze the conceptions of Petre Botezatu, Mario Bunge, Karl R. Popper (...) and Nicholas Rescher, in order to argue that it is important not to identify the epistemological term „probable” (= uncertain) with the semantic term „partial” or „approximate”, when we speak about the concept of truth. (shrink)

If one looks to the current textbook lore for reliable taxonomic and analytical information about the petitio principii, one is met with conceptual disarray and much too much nonsense. The present writers have recently attempted to furnish the beginnings of a theoretical reconstruction of this fallacy which is at once faithful to its formidable complexity yet useful as guide for its detection and avoidance. The fact is that the petitio has had a lengthy and interesting history, and in this paper (...) we shall want to explore certain features of its development, such as it may have been. The principal origins of the concept of circular argument are to be found in Aristotle. The Aristotelian doctrine recurs with variations in the sophismata literature of the middle ages and in logic texts and manuals right up to the present day. (shrink)

The main idea or the concept of coherence can be expressed in the following way: The more the statements belonging to a given theory approximate a perfect supportive structure, the more coherent the theory. The degree of perfection of a supportive structure depends on the degree to which the following criteria of coherence are fulfilled: (1) the greatest possible number of supported statements belonging to the theory in question; (2) the greatest possible length of chains of reasons belonging to it; (...) (3) the greatest possible number of strongly supported statements belonging to the theory; (4) the greatest possible number of connections between various supportive chains belonging to the theory; (5) the greatest possible number of preference relations between various principles belonging to it; (6) the greatest possible number and complexity of reciprocal supportive relations between various statements belonging to the theory; (7) the greatest possible number of universal statements belonging to the theory; the greatest possible number of general concepts belonging to it; the highest possible degree of generality of concepts implemented within it; the greatest possible number of resemblances between concepts used within it; (8) the greatest possible number of conceptual cross‐connections between various theories; (9) the greatest possible number of cases covered by the theory; and (10) the greatest possible number of fields of life covered by the theory. (shrink)

The notion of epistemic coherence is interpreted as involving not only consistency but also stability. The problem how to consolidate a belief system, i.e., revise it so that it becomes coherent, is studied axiomatically as well as in terms of set-theoretical constructions. Representation theorems are given for subtractive consolidation (where coherence is obtained by deleting beliefs) and additive consolidation (where coherence is obtained by adding beliefs).

The last section made it clear that an analysis which at first seems to fail is viable after all. It is viable if we let it depend on a partition function to be provided by the context of conversation. This analysis leaves certain traits of the partition function open. I have tried to show that this should be so. Specifying these traits as Pollock does leads to wrong predictions. And leaving them open endows counterfactuals with just the right amount of (...) variability and vagueness. (shrink)

If you believe more things you thereby run a greater risk of being in error than if you believe fewer things. From the point of view of avoiding error, it is best not to believe anything at all, or to have very uncommitted beliefs. But considering the fact that we all in fact do entertain many specific beliefs, this recommendation is obviously in flagrant dissonance with our actual epistemic practice. Let us call the problem raised by this apparent conflict the (...) Addition Problem. In this paper we will find reasons to reject a particular premise used in the formulation of the Addition Problem, namely, the fundamental premise according to which believing more things increases the risk of error. As we will see, acquiring more beliefs need not decrease the probability of the whole, and hence need not increase the risk of error. In fact, more beliefs can mean an increase in the probability of the whole and a corresponding decrease in the risk of error. We will consider the Addition Problem as it arises in the context of the coherence theory of epistemic justification, while keeping firmly in mind that the point we wish to make is of epistemological importance also outside the specific coherentist dispute. The problem of determining exactly how the probability of the whole system depends on such factors as coherence, reliability and independence will be seen to open up an interesting area of research in which the theory of conditional independence structures is a helpful tool. (shrink)

A situated agent is one which operates within an environment. In most cases, the environment in which the agent exists will be more complex than the agent itself. This means that an agent, human or artificial, which wishes to carry out non-trivial operations in its environment must use techniques which allow an unbounded world to be represented within a cognitively bounded agent. We present a brief description of some important theories within the fields of epistemology and metaphysics. We then discuss (...) ways in which philosophical problems of scepticism are related to the problems faced by knowledge representation. We suggest that some of the methods that philosophers have developed to address the problems of epistemology may be relevant to the problems of representing knowledge within artificial agents. (shrink)

Having entered into the problem structuring methods, system dynamics (SD) is an approach, among systems’ methodologies, which claims to recognize the main structures of socio-economic behaviors. However, the concern for building or discovering strong philosophical underpinnings of SD, undoubtedly playing an important role in the modeling process, is a long-standing issue, in a way that there is a considerable debate about the assumptions or the philosophical foundations of it. In this paper, with a new perspective, we have explored theory of (...) knowledge in SD models and found strange similarities between classic epistemological concepts such as justification and truth, and the mechanism of obtaining knowledge in SD models. In this regard, we have discussed related theories of epistemology and based on this analysis, have suggested some implications for moderating common problems in the modeling process of SD. Furthermore, this research could be considered a reword of system dynamics modeling principles in terms of theory of knowledge. (shrink)