Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements (...) of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

In what follows, I will give examples of the sorts of step that can be taken towards spelling out the intuition that, after all, good models might be true. Along the way, I provide an outline of my account of models as ontologically and pragmatically constrained representations. And I emphasize the importance of examining models as functionally composed systems in which different components play different roles and only some components serve as relevant truth bearers. This disputes (...) the standard approach that proceeds by simply counting true and false elements in models in their entirety and concludes that models are false since they contain so many false elements. I call my alternative the functional decomposition approach. (shrink)

Science is often said to aim at truth. And much of science is heavily dependent on the construction and use of theoretical models. But the notion of model has an uneasy relationship with that of truth. -/- Not so long ago, many philosophers held the view that theoretical models are different from theories in that they are not accompanied by any ontological commitments or presumptions of truth, whereas theories are (e.g. Achinstein 1964). More recently, some (...) have thought that models are not truth-valued at all, but truth-valued claims can be made about similarity relations between models and real systems (e.g. Giere 1988). Others suggest that models are instruments that can be used for attaining truths, for example that models are false means for true theories (e.g. Wimsatt 2007). At the same time, philosophers and others keep talking about models being ‘correct’ and ‘incorrect’, ‘accurate’ and ‘inaccurate’ or getting facts ‘right’ or ‘wrong’. Among practicing scientists, one can find both the notion of a ‘true model’ and the idea that ‘it is in the nature of models that they are false’. There seems to be enough variety of views and confusion around them to invite a little bit of further investigation (see also Mäki 1992, 1994, 2004, 2009a,b,c). (shrink)

If models can be true, where is their truth located? Giere (Explaining science, University of Chicago Press, Chicago, 1998) has suggested an account of theoretical models on which models themselves are not truth-valued. The paper suggests modifying Giere’s account without going all the way to purely pragmatic conceptions of truth—while giving pragmatics a prominent role in modeling and truth-acquisition. The strategy of the paper is to ask: if I want to relocate truth (...) inside models, how do I get it, what else do I need to accept and reject? In particular, what ideas about model and truth do I need? The case used as an illustration is the world’s first economic model, that of von Thünen (1826/1842) on agricultural land use in the highly idealized Isolated State. (shrink)

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax (...) of the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

Empirical studies have now established that many patients make clinical decisions based on models other than Anglo American model of truth-telling and patient autonomy. Some scholars also add that current medical ethics frameworks and recent proposals for enhancing communication in health professional-patient relationship have not adequately accommodated these models. In certain clinical contexts where health professional and patients are motivated by significant cultural and religious values, these current frameworks cannot prevent communication breakdown, which can, in turn, jeopardize (...) patient care, cause undue distress to a patient in certain clinical contexts or negatively impact his/her relationship with the community. These empirical studies have now recommended that additional frameworks developed around other models of truth-telling; and which take very seriously significant value-differences which sometimes exist between health professional and patients, as well as patient's cultural/religious values or relational capacities, must be developed. This paper contributes towards the development of one. Specifically, this study proposes a framework for truth-telling developed around African model of truth-telling by drawing insights from the communitarian concept of ootọ́ amongst the Yoruba people of south west Nigeria. I am optimistic that if this model is incorporated into current medical ethics codes and curricula, it will significantly enhance health professional-patient communication. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

Jonathan Walkan challenges cognitive science's dominant model of mental representation and proposes a novel, well-devised alternative. The traditional view in the cognitive sciences uses a linguistic model of mental representation. That logic-based model of cognition informs and constrains both the classical tradition of artificial intelligence and modeling in the connectionist tradition. It falls short, however, when confronted by the frame problem---the lack of a principled way to determine which features of a representation must be updated when new information becomes available. (...) So far, proposed alternatives, including the imagistic model, have not resolved the problem. Waskan proposes the Intrinsic Cognitive Models hypothesis, according to which representational states can be concpetualized as the cognitive equivalent of scale models.Waskan argues further that the proposal that humans harbor and manipulate cognitive counterparts to scale models offers the only viable explanation for what most clearly differentiates humans from other creatures: the capacity to engage in truth-preserving manipulation of representations. The ICM hypothesis, he claims, can be distinguished from sentence-based accounts of truth preservation in a way that is fully compatible with what is known about the brain. (shrink)

The discrepancy between syntax and semantics is a painstaking issue that hinders a better comprehension of the underlying neuronal processes in the human brain. In order to tackle the issue, we at first describe a striking correlation between Wittgenstein's Tractatus, that assesses the syntactic relationships between language and world, and Perlovsky's joint language-cognitive computational model, that assesses the semantic relationships between emotions and “knowledge instinct”. Once established a correlation between a purely logical approach to the language and computable psychological activities, (...) we aim to find the neural correlates of syntax and semantics in the human brain. Starting from topological arguments, we suggest that the semantic properties of a proposition are processed in higher brain's functional dimensions than the syntactic ones. In a fully reversible process, the syntactic elements embedded in Broca's area project into multiple scattered semantic cortical zones. The presence of higher functional dimensions gives rise to the increase in informational content that takes place in semantic expressions. Therefore, diverse features of human language and cognitive world can be assessed in terms of both the logic armor described by the Tractatus, and the neurocomputational techniques at hand. One of our motivations is to build a neuro-computational framework able to provide a feasible explanation for brain's semantic processing, in preparation for novel computers with nodes built into higher dimensions. (shrink)

Could relativist theses about scientific theories be coherent with realist theses about the relationship between such theories and the physical world? This is the central issue of this paper that we approach, mainly, on Giere’s perspectival realism. We consider that his epistemological relativist theses are plausible and sustainable, but his realist thesis about the representational role that plays the theoretical models with respect to real systems as well as his thesis about true hypotheses are not. After trying to show (...) that, we delineate an epistemological version of conceptual relativism which becomes cognate with Giere’s perspectival claims but that it does not comprise realist claims. (shrink)

In the past thirty years, two fundamental issues have emerged in the philosophy of science. One concerns the appropriate attitude we should take towards scientific theories--whether we should regard them as true or merely empirically adequate, for example. The other concerns the nature of scientific theories and models and how these might best be represented. In this ambitious book, da Costa and French bring these two issues together by arguing that theories and models should be regarded as partially (...) rather than wholly true. They adopt a framework that sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate. The new machinery of "partial structures" that they develop offers a new perspective from which to view the nature of scientific models and their heuristic development. Their conclusions will be of wide interest to philosophers and historians of science. (shrink)

Evolutionary anthropologists and archaeologists have been considerably successful in modelling the cumulative evolution of culture, of technological skills and knowledge in particular. Recently, one of these models has been introduced in the philosophy of science by De Cruz and De Smedt (Philos Stud 157:411–429, 2012), in an attempt to demonstrate that scientists may collectively come to hold more truth-approximating beliefs, despite the cognitive biases which they individually are known to be subject to. Here we identify a major shortcoming (...) in that attempt: De Cruz & De Smedt’s mathematical model makes one particularly strong tractability assumption that causes the model to largely miss its target (namely, truth accumulation in science), and that moreover conflicts with empirical observations. The second, more constructive part of the paper presents an alternative, agent-based model, which allows one to much better examine the conditions for scientific progress and decline. (shrink)

Given that scientific realism is based on the assumption that there is a connection between a model's predictive success and its truth, and given the success of multiple incompatible models in scientific practice, the realist has a problem. When the different models can be shown to arise as different approximations to a unified theory, however, one might think the realist to be able to accommodate such cases. I discuss a special class of models and argue that (...) a realist interpretation has to understand these models of a system as ‘ perspectival ’, in close analogy to different spatial perspectives onto the same object. For this sort of case, I also respond to Morrison's recent claim that in the process of unifying models into an overarching theory, explanatory and descriptive power are lost, leaving the unified theory with less of a claim to a realist interpretation than the models themselves. Introduction Perspectival models from singular perturbation problems Unification of perspectives without losses of explanatory power Perspectives as different levels of a system Perspectival models, idealizations and pluralism. (shrink)

In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment with a classicality operator ∘ that recovers classical logic for formulas in its scope. According to the intended interpretation here proposed, these models represent a database that receives information as time passes, and such information can be positive, negative, non-reliable, or reliable, while a formula ∘A means that (...) the information about A, either positive or negative, is reliable. This proposal is in line with the interpretation of N4 and FDE as information-based logics, but adds to the four scenarios expressed by them two new scenarios: reliable information for the truth and for the falsity of a given proposition. (shrink)

Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In this paper I argue that models share important aspects in common with literary fiction, and that therefore theories of fiction can be brought to bear on these questions. In particular, I argue that the pretence theory as developed by Walton (1990, Mimesis as make-believe: (...) on the foundations of the representational arts. Harvard University Press, Cambridge/MA) has the resources to answer these questions. I introduce this account, outline the answers that it offers, and develop a general picture of scientific modelling based on it. (shrink)

I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view (...) altogether. The result is a version of the semantic view which is better supported by the direct evidence offered for it, better equipped to achieve its avowed aims, and, I think, closer to the intentions of the original proponents of the view in many ways, despite some of their own declarations to the contrary. (shrink)

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

Expression and truth are traditional opposites in Western thought: expression supposedly refers to states of mind, truth to states of affairs. _Expression and Truth_ rejects this opposition and proposes fluid new models of expression, truth, and knowledge with broad application to the humanities. These models derive from five theses that connect expression to description, cognition, the presence and absence of speech, and the conjunction of address and reply. The theses are linked by a concentration on (...) musical expression, regarded as the ideal case of expression in general, and by fresh readings of Ludwig Wittgenstein’s scattered but important remarks about music. The result is a new conception of expression as a primary means of knowing, acting on, and forming the world. “Recent years have seen the return of the claim that music’s power resides in its ineffability. In _Expression and Truth_, Lawrence Kramer presents his most elaborate response to this claim. Drawing on philosophers such as Wittgenstein and on close analyses of nineteenth-century compositions, Kramer demonstrates how music operates as a medium for articulating cultural meanings and that music matters too profoundly to be cordoned off from the kinds of critical readings typically brought to the other arts. A tour-de-force by one of musicology’s most influential thinkers.”—Susan McClary, _Desire and Pleasure in Seventeenth-Century Music_. (shrink)

Assuming that the target of theory oriented empirical science in general and of nomic truth approximation in particular is to characterize the boundary or demarcation between nomic possibilities and nomic impossibilities, I have presented, in my article entitled “Models, postulates, and generalized nomic truth approximation” :3057–3077, 2016. 10.1007/s11229-015-0916-9), the ‘basic’ version of generalized nomic truth approximation, starting from ‘two-sided’ theories. Its main claim is that nomic truth approximation can perfectly be achieved by combining two prima (...) facie opposing views on theories: the traditional view: theories are postulates that exclude certain possibilities from being realizable, enabling explanation and prediction and the model view: theories are sets of models that claim to represent certain realizable possibilities. Nomic truth approximation, i.e. increasing truth-content and decreasing falsity-content, becomes in this way revising theories by revising their models and/or their postulates in the face of increasing evidence. The basic version of generalized nomic truth approximation is in many respects as simple as possible. Among other things, it does not take into account that one conceptual possibility may be more similar to another than a third one. However, for example, one theory may include a possibility that is more similar to a wrongly not included possibility than another theory can offer. Similarly, for wrongly not excluded possibilities. In this article it will be shown that such ‘refined’ considerations can be taken into account by adapted clauses based on a ternary similarity relation between possibilities. This allows again abductive conclusions about refined truth approximation if a theory is persistently more successful in the refined sense than another. It will also be indicated and illustrated that this refined approach enables a specification to the effect that refined truth approximation can be obtained by the method of idealization and subsequent concretization. Finally, the basic and the refined approach will be evaluated with regard to some general principles and objections that have been discussed in the literature. (shrink)

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. (...) Secondly, I show that in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (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)

Economic forms of analysis have penetrated to many disciplines in the last 30 years: political science, sociology, law, social and political philosophy, and so forth. We wish to extend the economic paradigm to certain problems in epistemology and the philosophy of science. Scientific agents, and scholarly inquirers generally, act in some ways like vendors, trying to "sell" their findings, theories, analyses, or arguments to an audience of prospective "buyers". The analogy with the marketplace is imperfect. The ideas or discoveries that (...) a scientist offers are not private goods in the economist's sense. Nonetheless, there are parallels with the marketplace that are worth exploring. (shrink)

We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form, then for any consistent set of literals S, we can simultaneously count the models of Δ ∪ S and the models of every theory Δ ∪ T where T results from adding, removing or (...) flipping a literal in S. We present two results relating to the time and space complexity of compiling propositional theories into sd-DNNF. First, we show that if a conjunctive normal form has a bounded treewidth, then it can be compiled into an sd-DNNF in time and space which are linear in its size. Second, we show that sd-DNNF is a strictly more space efficient representation than Free Binary Decision Diagrams. Finally, we discuss some applications of the counting results to truth maintenance systems, belief revision, and model-based diagnosis. (shrink)

Central to any form of Deflationism concerning truth (hereafter ‘DT’) is the claim that truth has no substantial theoretical role to play. For this reason, DT faces the following immediate challenge: if truth can play no substantial theoretical role then how can we model various prevalent kinds of indeterminacy—such as the indeterminacy exhibited by vague predicates, future contingents, liar sentences, truth-teller sentences, incomplete stipulations, cases of presupposition failure, and such-like? It is too hasty to assume that (...) these phenomena are all to be modelled via some epistemic conception of indeterminacy whereby indeterminacy is just some special species of ignorance which arises because of our limited powers of discrimination. Some non-epistemic model is called for—at least for certain species of indeterminacy. On what is perhaps the most enduring and popular non-epistemic model, indeterminacy gives rise to truth-value gaps. But is DT compatible with the possibility of truth-value gaps? Compatibilism says Yes; Incompatibilism says No. The broad goal of this paper is to defend a form of Incompatibilism. If DT is to make sense of various kinds of indeterminacy then truth-value gaps cannot be invoked to do so. The particular goals of this paper are: (i) To set forth a new form of Compatibilism which can address an argument against truth-value gaps given by Williamson (1994, pp. 187-192). (ii) To offer a new argument against truth-value gaps using principles entailed by DT, thereby undermining Compatibilism. (shrink)

The practice of theoretical research in chemistry largely consists in the construction of models without which experimentation would be impossible. The best-known theoretical models in chemistry are those of the molecular structures of chemical compounds. What is the correspondence between these models and the unobservable entities that they are meant to explain? What is the ontological status of molecular models? The anti-realists question the basis of the realists’ belief in these entities and the truth claims (...) regarding them. Ultimately, the realist/anti-realist debate points to the question of the scope of scientific knowledge. In this paper, I shall show that the description of natural entities offered by the contemporary scientific worldview reveals that molecular modeling presupposes a realistic epistemology that recognizes the limits of scientific objectification. (shrink)

We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form (sd-DNNF), then for any consistent set of literals S, we can simultaneously count (in time linear in the size of Δ) the models of Δ ∪ S and the models of every theory Δ (...) ∪ T where T results from adding, removing or flipping a literal in S. We present two results relating to the time and space complexity of compiling propositional theories into sd-DNNF. First, we show that if a conjunctive normal form (CNF) has a bounded treewidth, then it can be compiled into an sd-DNNF in time and space which are linear in its size. Second, we show that sd-DNNF is a strictly more space efficient representation than Free Binary Decision Diagrams (FBDDs). Finally, we discuss some applications of the counting results to truth maintenance systems, belief revision, and model-based diagnosis. (shrink)

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation (...) for relativism based on the relativity of truth to a world fails. (shrink)

Challenges the widely held view that good models must necessarily be simplifications and hence cannot be true. This is done by distinguishing between whole truth (complete description) and truth (essential description, attained by the method of isolation).

This paper examines the connection between model-theoretic truth and necessary truth. It is argued that though the model-theoretic truths of some standard languages are demonstrably ''''necessary'''' (in a precise sense), the widespread view of model-theoretic truth as providing a general guarantee of necessity is mistaken. Several arguments to the contrary are criticized.

Cambridge, MA: MIT Press, 2002. Pp. xi + 234. H/b £?.??, $?.??, P/b £?.??, $?.??. If asked for an example of a rigid designator it is likely that one would suggest a name, like ‘Aristotle’ or ‘Tony Blair’, or a demonstrative, like ‘that book’ said whilst pointing at a certain text. Intuitively, what these expressions have in common is the central role they accord to perception of an object: you can see the book you want to talk about, there are (...) people around in our community who have bumped into Tony, and, although no one alive today perceived Aristotle directly, it seems plausible to claim that our ability to use the name now relies on the fact that someone, sometime, did perceive him directly. However, as anyone at all familiar with rigid designation knows, not all such expressions follow this model. Kripke himself stressed that certain definite descriptions have a constant extension across all possible worlds (for example, ‘the smallest prime number’, ‘the actual prime minister of Great Britain now’) and thus meet the criterion for being rigid designators; while Kaplan emphasized the role of a descriptive rule in determining the referent for a token utterance of an indexical, like ‘I’ or ‘tomorrow’. (shrink)

There are various ways to reach a group decision on a factual yes–no question. One way is to vote and decide what the majority votes for. This procedure receives some epistemological support from the Condorcet Jury Theorem. Alternatively, the group members may prefer to deliberate and will eventually reach a decision that everybody endorses—a consensus. While the latter procedure has the advantage that it makes everybody happy, it has the disadvantage that it is difficult to implement, especially for larger groups. (...) Besides, the resulting consensus may be far away from the truth. And so we ask: Is deliberation truth-conducive in the sense that majority voting is? To address this question, we construct a highly idealized model of a particular deliberation process, inspired by the movie Twelve Angry Men, and show that the answer is ‘yes’. Deliberation procedures can be truth-conducive just as the voting procedure is. We then explore, again on the basis of our model and using agent-based simulations, under which conditions it is better epistemically to deliberate than to vote. Our analysis shows that there are contexts in which deliberation is epistemically preferable and we will provide reasons for why this is so. (shrink)

Good explanations are not only true or probably true, but are also relevant to a causal question. Current models of causal explanation either only address the question of the truth of an explanation, or do not distinguish the probability of an explanation from its relevance. The tasks of scenario construction and conversational explanation are distinguished, which in turn shows how scenarios can interact with conversational principles to determine the truth and relevance of explanations. The proposed model distinguishes (...) causal discounting from causal backgrounding , and makes predictions concerning the differential effects of contextual information about alternative explanations on: (a) the kind of mental models constructed; (b) belief revision about probable cause; and (c) the perceived quality of a focal explanation. Four experiments are reported that test these predictions. The significance of the notion of explanatory relevance for research on causal explanation is then discussed. (shrink)

To explore the relation between mathematical models and reality, four different domains of reality are distinguished: observer-independent reality, personal reality, social reality and mathematical/formal reality. The concepts of personal and social reality are strongly inspired by constructivist ideas. Mathematical reality is social as well, but constructed as an autonomous system in order to make absolute agreement possible. The essential problem of mathematical modelling is that within mathematics there is agreement about ‘truth’, but the assignment of mathematics to informal (...) reality is not itself formally analysable, and it is dependent on social and personal construction processes. On these levels, absolute agreement cannot be expected. Starting from this point of view, repercussion of mathematical on social and personal reality, the historical development of mathematical modelling, and the role, use and interpretation of mathematical models in scientific practice are discussed. (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and (...) show that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

The qualitative theory of nomic truth approximation, presented in Kuipers in his, in which ‘the truth’ concerns the distinction between nomic, e.g. physical, possibilities and impossibilities, rests on a very restrictive assumption, viz. that theories always claim to characterize the boundary between nomic possibilities and impossibilities. Fully recognizing two different functions of theories, viz. excluding and representing, this paper drops this assumption by conceiving theories in development as tuples of postulates and models, where the postulates claim to (...) exclude nomic impossibilities and the models claim to represent nomic possibilities. Revising theories becomes then a matter of adding or revising models and/or postulates in the light of increasing evidence, captured by a special kind of theories, viz. ‘data-theories’. Under the assumption that the data-theory is true, achieving empirical progress in this way provides good reasons for the abductive conclusion that truth approximation has been achieved as well. Here, the notions of truth approximation and empirical progress are formally direct generalizations of the earlier ones. However, truth approximation is now explicitly defined in terms of increasing truth-content and decreasing falsity-content of theories, whereas empirical progress is defined in terms of lasting increased accepted and decreased rejected content in the light of increasing evidence. These definitions are strongly inspired by a paper of Gustavo Cevolani, Vincenzo Crupi and Roberto Festa, viz., “Verisimilitude and belief change for conjunctive theories” :183–222, 2011). (shrink)

In this essay, I aim to engage Martin Heidegger’s and Karl Jaspers’s views of the tragic in critical dialogue in order to show that for both of these philosophers tragedy, in literature and in its philosophical interpretation, defines the relationships of thought to transcendence, of history to truth, I begin with an account of Jaspers’s treatment of the tragic, proceed to interpret Heidegger’s account of tragic poetry and his post-tragic notion of Gelassenheit, and finally outline the limitations of tragedy (...) as a model for historical truth, I will argue that the fact that these limitations are explicitly denoted and called for by Jaspers but are to some extent neglected by Heidegger is due to a difference between their philosophies with regard to the primacy, and perhaps their rival conceptions, of ontology. (shrink)

I introduce an account of when a rule normatively sustains a practice. My basic proposal is that a rule normatively sustains a practice when the value achieved by following the rule explains why agents continue following that rule, thus establishing and sustaining a pattern of activity. I apply this model to practices of belief management and identifies a substantive normative connection between knowledge and belief. More specifically, I proposes one special way that knowledge might set the normative standard for belief: (...) knowing is essentially the unique way of normatively sustaining cognition and, thereby, inquiry. In this respect, my proposal can be seen as one way of elaborating a “knowledge-first” normative theory. (shrink)

Philosophers, linguists and others interested in problems concerning natural language frequently employ tools from logic and model theory. The question arises as to the proper interpretation of the formal methods employed—of the relationship between, on the one hand, the formal languages and their set-theoretic models and, on the other hand, the objects of ultimate interest: natural language and the meanings and truth conditions of its constituent words, phrases and sentences. Two familiar answers to this question are descriptivism and (...) instrumentalism. More recently, a third answer has been proposed: the logic as modelling view. This paper seeks to clarify and assess this view of logic. The conclusion is that we can successfully adopt the modelling perspective on a given piece of logical machinery only if we have to hand some other machinery to which we take the descriptive attitude. Thus, logic as modelling is not a full-fledged alternative to the descriptive view— for it cannot stand alone: it can at best be an addition to the descriptive perspective. The paper first presents the argument in a general, abstract form, before working through a detailed case study. The case examined is the one with respect to which the logic as modelling view has been developed in the greatest detail in the literature: the case of fuzzy model theory as an account of vagueness in natural language. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely (...) specifies thatgrammatical object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

This paper proposes a classification of economic models into three types: historical, axiomatic and conditional. Historical or empirical models utilize the historical-deductive method, and are generalizations from the economic regularities and tendencies that we find in the real world. Axiomatic models utilize the hypothetical-deductive method; they are syllogisms whose major premise is an axiom – a self-evident truth; they are appropriate for methodological sciences such as mathematics and econometrics. Conditional economic models are likewise syllogisms, but (...) they are suitable for economics because they make for clearer and more precise economic reasoning. The criterion of truth of the substantive sciences is the conformity with reality, of the methodological science, its internal consistency. When a school of economic thought adopts mainly axiomatic models, as is the case with neoclassical economics, it implicitly falls into contradiction because their best representatives believe in the conformity with reality criterion. (shrink)

This book is an introduction to cross-cultural philosophy of religion. It presents an alternative to Western-oriented philosophy of religion by focusing on questions of truth in the context of religious pluralism, including the criteria, models, and hermeneutics of cross-cultural truth in religion. The essays included are by some of the leading philosophers of religion and scholars in comparative religious thought such as Ninian Smart, Raimundo Panikkar, Harold Coward, William Wainwright, William Christian Sr., and Frederick Streng.