Several philosophers of science construe models of scientific theories as set-theoretic structures. Some of them moreover claim that models should not be construed as structures in the sense of model theory because the latter are language-dependent. I argue that if we are ready to construe models as set-theoretic structures (strict semantic view), we could equally well construe them as model-theoretic structures of higher-order logic (liberal semantic view). I show that every family of set-theoretic structures has (...) an associated language of higher-order logic and an up to signature isomorphism unique model-theoretic counterpart, which is able to serve the same purposes. This allows to carry over every syntactic criterion of equivalence for theories in the sense of the liberal semantic view to theories in the sense of the strict semantic view. Taken together, these results suggest that the recent dispute about the semantic view and its relation to the syntactic view can be resolved. (shrink)

It is now part and parcel of the official philosophical wisdom that models are essential to the acquisition and organisation of scientific knowledge. It is also generally accepted that most models represent their target systems in one way or another. But what does it mean for a model to represent its target system? I begin by introducing three conundrums that a theory of scientific representation has to come to terms with and then address the question of whether the semantic (...) view of theories, which is the currently most widely accepted account of theories and models, provides us with adequate answers to these questions. After having argued in some detail that it does not, I conclude by pointing out in what direction a tenable account of scientific representation might be sought. (shrink)

Halvorson argues through a series of examples and a general result due to Myers that the “semantic view” of theories has no available account of formal theoretical equivalence. De Bouvere provides criteria overlooked in Halvorson’s paper that are immune to his counterexamples and to the theorem he cites. Those criteria accord with a modest version of the semantic view that rejects some of Van Fraassen’s apparent claims while retaining the core of Patrick Suppes’s proposal. I (...) do not endorse any version of the semantic view of theories. (shrink)

Multiply realizable properties are those whose realizers are physically diverse. It is often argued that theories which contain them are ipso facto irreducible. These arguments assume that physical explanations are restricted to the most specific descriptions possible of physical entities. This assumption is descriptively false, and philosophically unmotivated. I argue that it is a holdover from the late positivist axiomatic view of theories. A semantic view of theories, by contrast, correctly allows scientific explanations to (...) be couched in the most perspicuous, powerful language available. On a semantic view, traditional notions of multiple realizability are thus very hard to motivate. At best, one must abandon either the idea that multiple realizability is an interesting scientific notion, or else admit that multiply realizable properties do not automatically block scientific reductions. (shrink)

Recently some philosophers have urged that connectionist artificial intelligence is (potentially) eliminative for the propositional attitudes of folk psychology. At the same time, however, these philosophers have also insisted that since philosophy of science has failed to provide criteria distinguishing ontologically retentive from eliminative theory changes, the resulting eliminativism is not principled. Application of some resources developed within the semantic view of scientific theories, particularly recent formal work on the theory reduction relation, reveals these philosophers to be (...) wrong in this second contention, yet by and large correct in the first. (shrink)

The semantic view of scientific theories has been defended as more adequate than the "received" view, especially with respect to biological theories. However, the semantic view has not been evaluated on its own terms. In this paper it is first shown how the theory of sociobiology propounded by E.O. Wilson can be understood on the semantic approach. The criticism that Wilson's theory is beset by the problem of unreliable generalizations is discussed. It (...) is suggested that this problem results from the use of the model-building strategy in theory construction. The author concludes that the problem is pressing enough to impugn the semantic view as an adequate account of sociobiological theory. (shrink)

The semantic view of scientific theories has been defended as more adequate than the “received” view, especially with respect to biological theories (Beatty 1980, 1981; Thompson 1983). However, the semantic view has not been evaluated on its own terms. In this paper I first show how the theory of sociobiology propounded by E.O. Wilson (1975) can be understood on the semantic approach. I then discuss the criticism that Wilson’s theory is beset by (...) the problem of unreliable generalizations. I suggest that this problem results from the use of the model-building strategy in theory. I conclude that the problem is pressing enough to impugn the semantic view as an adequate account of sociobiological theory.According to proponents of the semantic view of theories, scientific theories function to specify a class of “models,” interpretations, or representations of their postulates. (shrink)

Philosophical analysis of ecological theories has lagged behind the study of evolutionary theory. The semantic conception of scientific theories, which has been employed successfully in the analysis of evolutionary theory, is adopted here to analyse ecological theory. Two general problems in ecology are discussed. One arises from the continued use of covering law models in ecology, and the other concerns the applicability of ecological theory in conservation biology. The semantic conception of ecological theories is used (...) to resolve these problems. (shrink)

Philosophical analysis of ecological theories has lagged behind the study of evolutionary theory. The semantic conception of scientific theories, which has been employed successfully in the analysis of evolutionary theory, is adopted here to analyse ecological theory. Two general problems in ecology are discussed. One arises from the continued use of covering law models in ecology, and the other concerns the applicability of ecological theory in conservation biology. The semantic conception of ecological theories is used (...) to resolve these problems. (shrink)

In this paper I discuss how, given the complexity of biological systems, reliance on theoretical models in the development and testing of biological theories leads to an uncomfortable form of anti-realism. I locate the source of this discomfort in the uniqueness and hence diversity of biological phenomena, in contrast with the simplicity and uniformity of the subject matter of physics. I have argued elsewhere that the use of theoretical models creates an unresolvable tension between the explanatory strength and predictive (...) power of hypotheses, and I review this argument again here. My discussion parallels that of Nancy Cartwright, who claims that the use of ceteris paribus laws in physics creates an antagonism between truth and explanation that requires theoretical models to figure centrally in scientific explanation, thereby precluding realism. I argue instead that in biology it is the use of theoretical models that creates this conflict, and conclude that adequate biological explanation cannot rely on the modeling approach alone. Finally, I claim that if we accept the semantic view of theories, which makes theoretical models an integral part of our conception of theories, we must accept anti-realism as well. (shrink)

I argue against the conception of scientific models advocated by the proponents of the Semantic View of scientific theories. Part of the paper is devoted to clarifying the important features of the scientific modeling view that the Semantic conception entails. The liquid drop model of nuclear structure is analyzed in conjunction with the particular auxiliary hypothesis that is the guiding force behind its construction and it is argued that it does not meet the necessary features (...) to render it a model of the theory, as the Semantic View demands. Given that this model is indicative of how quantum mechanics is applied in the domain of nuclear physics, I claim that the Semantic View does not adequately account for scientific models. (shrink)

The semantic view of theoriesis one according to which theoriesare construed as models of their linguisticformulations. The implications of thisview for scientific realism have been little discussed. Contraryto the suggestion of various champions of the semantic view,it is argued that this approach does not makesupport for a plausible scientific realism anyless problematic than it might otherwise be.Though a degree of independence of theory fromlanguage may ensure safety frompitfalls associated with logical empiricism, realism cannot be entertained unless (...) models or (abstractedand/or idealized) aspects thereof are spelled out in terms of linguistic formulations (such as mathematical equations),which can be interpreted in terms of correspondencewith the world. The putative advantage of thesemantic approach – its linguistic independence – isthus of no help to the realist. I consider recent treatmentsof the model-theoretic view (Suppe, Giere, Smith), and find that although some of these accounts harbour the promiseof realism, this promise is deceptive. (shrink)

Different conceptions of scientific theories, such as the state spaces approach of Bas van Fraassen, the phase spaces approach of Frederick Suppe, the set-theoretical approach of Patrick Suppes, and the structuralist view of Joseph Sneed et al. are usually put together into one big family. In addition, the definite article is normally used, and thus we speak of the semantic conception of theories and of its different approaches . However, in The Semantic Conception of (...) class='Hi'>Theories and Scientific Realism , starting from certain remarks already made in “Theory Structure” , Current Research in Philosophy of Science, East Lansing: Philosophy of Science Association, 1979, pp. 317–338), Frederick Suppe excludes the structuralist view as well as other “European” versions from the semantic conception of theories. In this paper I will critically examine the reasons put forward by Suppe for this decision and, later, I will provide a general characterization of the semantic family and of the structuralist view of theories in such a way as to justify the inclusion of the structuralist view as a member of this family. (shrink)

According to the semantic view of computation, computations cannot be individuated without invoking semantic properties. A traditional argument for the semantic view is what we shall refer to as the argument from the cognitive science practice. In its general form, this argument rests on the idea that, since cognitive scientists describe computations (in explanations and theories) in semantic terms, computations are individuated semantically. Although commonly invoked in the computational literature, the argument from the (...) cognitive science practice has never been discussed in detail. In this paper, we shall provide a critical reconstruction of this argument and an extensive analysis of its prospects, taking into account some ways of defending it that have never been explored so far. We shall argue that explanatory considerations support at best a weak version of the argument from the cognitive science practice, according to which semantic properties concur with formal syntactic properties in individuating computations in cognitive science, but not a strong version, according to which computation individuation in cognitive science is semantic as opposed to formal syntactic. (shrink)

http://dx.doi.org/10.5007/1808-1711.2008v12n1p73 This paper aims at discussing from the point of view of a pragmatic stance the concept of model as an abstract replica. According to this view, scientific models are abstract structures different from set-theoretic models. The view of models argued for here stems from the conceptions of some important philosophers of science who elaborated on the notion of model, such as Suppe, Cartwright, Hempel, and Nagel. Differently from all those authors, however, the conception of model argued (...) for here is typically pragmatic, not semantic, i.e. it has not to do with the interpretation of scientific theories, but with the explanation and construction of given circumstances (both abstract and concrete), from the point of view of the theory. (shrink)

Halvorson argues that the semantic view of theories leads to absurdities. Glymour shows how to inoculate the semantic view against Halvorson's criticisms, namely by making it into a syntactic view of theories. I argue that this modified semantic-syntactic view cannot do the philosophical work that the original "language-free" semantic view was supposed to do.

During the last ten years John Beatty, Elisabeth Lloyd and I have argued that the semantic conception of theories is, in the context of biological theorizing, a richer conception of theory structure than the syntactic ("received view") conception. Specifically, I have argued semantic conception of theory structure better represents the structure of evolutionary theory and the relationship of this theory to phenomena. One aspect of the semantic conception that is in need of greater attention is (...) the nature of explanation on this conception. In this paper, I argue that the semantic conception provides a richer mo accurate account of scientific explanation, in particular, of evolutionary explanations. In essence, I argue that explanation involves an appeal to numerous theories in addition to the putative explanatory theory. Employment of these theories is not formally possible in a syntactic conception but is in a semantic conception. (shrink)

This paper aims at discussing from the point of view of a pragmatic stance the concept of model as an abstract replica. According to this view, scientific models are abstract structures different from set-theoretic models. The view of models argued for here stems from the conceptions of some important philosophers of science who elaborated on the notion of model, such as Suppe, Cartwright, Hempel, and Nagel. Differently from all those authors, however, the conception of model argued for (...) here is typically pragmatic, not semantic, i.e. it has not to do with the interpretation of scientific theories, but with the explanation and construction of given circumstances, from the point of view of the theory. (shrink)

Is a policy-friendly philosophy of science possible? In order to respond this question, I consider a particular instance of contemporary philosophy of science, the semantic view of scientific theories, by placing it in the broader methodological landscape of the integration of philosophy of science into STS (Science and Technology Studies) as a component of the overall contribution of the latter to science policy. In that context, I defend a multi-disciplinary methodological integration of the special discipline composing STS (...) against a reductionist interdisciplinary unification, arguing that if STS wants to contribute to policy advising by constructing narratives of science practice feasible for science policy both in terms of descriptive completeness and intelligibility, then it must avoid the explanatory reductionism tendencies of special disciplines in interdisciplinary contexts. This would favour, at the same time, a relaxation of esoteric language. On this basis, it seems that the semantic view is one right candidate among other approaches in the philosophy of science for facilitating the integration of the methodologically different contributions to STS toward policy objectives. In fact, besides offering a more realistic and descriptively complete picture of science practice with respect to its predecessor in the philosophy of science, namely the syntactic view, the semantic view is also able to capture some aspects of science practice that elude even sociological approaches to STS, thus inviting different perspective on the same subject matter. (shrink)

Semantic realism can be characterised as the idea that scientific theories are truth-bearers, and that they are true or false in virtue of the world. This notion is often assumed, but rarely discussed in the literature. I examine how it fares in the context of the semantic view of theories and in connection with the literature on scientific representation. Making sense of semantic realism requires specifying the conditions of application of theoretical models, even for (...) models that are not actually used, which leads to several difficulties. My conclusion is that semantic realism is far more demanding than one would expect. Finally, I briefly examine some pragmatist alternatives. (shrink)

The semantic view of theories is normally considered to be an ac-count of theories congenial to Scientific Realism. Recently, it has been argued that Ontic Structural Realism could be fruitfully applied, in combination with the semantic view, to some of the philosophical issues peculiarly related to bi-ology. Given the central role that models have in the semantic view, and the relevance that mathematics has in the definition of the concept of model, the (...) fo-cus will be on population genetics, which is one of the most mathematized areas in biology. We will analyse some of the difficulties which arise when trying to use Ontic Structural Realism to account for evolutionary biology. (shrink)

This article establishes some important similarities between Husserl’sthoughts about the nature of science and the semantic view of scientific theories. This last conception affirms that empirical theories do not describe the world as it is, but that they idealize and represent it using structural models. In this sense and prima facie, the semantic conception coincides with Husserl’s point of view regarding the life-world and the world of science.

In Law's Empire Prof. Ronald Dworkin has advanced a new theory of law, complex and intriguing. He calls it law as integrity. But in some ways the more radical and surprising claim he makes is that not only were previous legal philosophers mistaken about the nature of law, they were also mistaken about the nature of the philosophy of law or jurisprudence. Perhaps it is possible to summarize his main contentions on the nature of jurisprudence in three theses: First, jurisprudence (...) is interpretive: “General theories of law… aim to interpret the main point and structure of legal practice”. Second, legal philosophy cannot be a semantic account of the word “law.” Legal philosophers “cannot produce useful semantic theories of law”. Third, legal philosophy or jurisprudence “is the general part of adjudication, silent prologue to any decision at law”. (shrink)

A new PhD slated to teach a beginning undergraduate course on scientific reasoning recently asked me to recommend topics. I launched into a description of my “baby-Popper-plus-statistics” class – give them enough deductive logic to understand the Duhemian problem, do the Galileo case study, use the notion of severe test to introduce a bit of probability theory, then segue to the problem of testing statistical hypotheses…. My interlocutor was looking impatient. “But I’m a strong adherent of the Semantic Conception (...) of theories,” he said. “I can’t teach all that stuff about trying to falsify bold conjectures.” This was not a moment for proselytizing, so I loaned him a copy of Giere’s textbook, which is based on the Semantic Conception, and sent him happily on his way. However, this episode raises an interesting question, one that takes on some urgency as the Semantic Conception of scientific theories (SC) seems well on its way to becoming the new received view: What accounts of scientific method, confirmation and explanation does the SC support? (shrink)

I critically examine the semantic view of theories to reveal the following results. First, models in science are not the same as models in mathematics, as holders of the semantic view claim. Second, when several examples of the semantic approach are examined in detail no common thread is found between them, except their close attention to the details of model building in each particular science. These results lead me to propose a deflationary semantic (...) view, which is simply that model construction is an important component of theorizing in science. This deflationary view is consistent with a naturalized approach to the philosophy of science. (shrink)

Recent work on the semantic view of scientific theories is highly critical of the position. This paper identifies two common criticisms of the view, describes two popular alternatives for responding to them, and argues those responses do not suffice. Subsequently, it argues that retuning to Patrick Suppes’ interpretation of the position provides the conceptual resources for rehabilitating the semantic view.

In recent papers Hans Halvorson has offered a critique of the semantic view of theories, showing that theories may be the same although the corresponding sets of models are different and, conversely, that theories may be different although the corresponding sets of models are the same. This critique will be assessed, first, as it pertains to issues concerning scientific models in the empirical sciences and, second, independent of any concern with empirical science.

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic (...) view, and thereby offers a hybrid semantic view, which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (shrink)

In his late philosophy, Quine generalized the structuralist view in the philosophy of mathematics that mathematical theories are indifferent to the ontology we choose for them. According to his ‘global structuralism’, the choice of objects does not matter to any scientific theory. In the literature, this doctrine is mainly understood as an epistemological thesis claiming that the empirical evidence for a theory does not depend on the choice of its objects. The present paper proposes a new interpretation suggested (...) by Quine’s recently published Kant Lectures from 1980 according to which his global structuralism is a semantic thesis that belongs to his theory of ontological reduction. It claims that a theory can always be reformulated in such a way that its truth does not presuppose the existence of the original objects, but only of some objects that can be considered as their proxies. Quine derives this claim from the principle of the semantic primacy of sentences, which is supposed to license the ontological reductions he uses to establish his global structuralism. It is argued that these reductions do not actually work because they do not account for some hidden ontological commitments that are not detected by his criterion of ontological commitment. (shrink)

In this paper, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if (...) one only commits to the modest interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)

It is widely accepted in contemporary philosophy of science that the domain of application of a theory is typically larger than its explanatory covering power: theories can be applied to phenomena that they do not explain. I argue for an analogous thesis regarding the notion of empirical adequacy. A theory’s domain of application is typically larger than its domain of empirical adequacy: theories are often applied to phenomena from which they receive no empirical confirmation.

Much if not most recent literature in philosophy of biology concerns the extent to which biological theories conform to what is known as the "received" philosophical view of scientific theories, a descendant of the logical-empiricist view of theories. But the received view currently faces a competitor--a very different view of theories known as the "semantic" view. It is argued here that the semantic view is more sensitive to the (...) nature and limitations of evolutionary theory than is the received view. In particular, the semantic view better accomodates the fact that evolutionary theory is bound to change as a result of the evolutionary process itself. This unusual feature of evolutionary theory provides a good reason for reconsidering the received view and paying close attention to the semantic view. (shrink)

While for a long time the study of medieval logic focused on editorial projects and reconstructions of central medieval doctrines such as the theories of signification, supposition, consequences, and obligations, nowadays the spectrum of analysis has broadened and is increasingly informed by modern logical research, whose perspective is then applied to medieval logic. Promoting this tendency, logicians and researchers concerned with semantics in the Gesellschaft für Philosophie des Mittelalters und der Renaissance (GPMR) founded a working group bringing together medieval (...) logic and modern applied logic. The present volume is a seminal document of these interests and activities. It analyzes theories in medieval logic which are useful for solving questions of recent logic and explains crucial parts of medieval logic, philosophy, and theology by applying techniques of present-day logic. (shrink)

Contemporary debates about the nature of semantic reference have tended to focus on two competing approaches: theories which emphasize the importance of descriptive information associated with a referring term, and those which emphasize causal facts about the conditions under which the use of the term originated and was passed on. Recent empirical work by Machery and colleagues suggests that both causal and descriptive information can play a role in judgments about the reference of proper names, with findings of (...) cross-cultural variation in judgments that imply differences between individuals with respect to whether they favor causal or descriptive information in making reference judgments. We extend this theoretical and empirical line of inquiry to views of the reference of natural and nominal kind concepts, which face similar challenges to those concerning the reference of proper names. In two experiments, we find evidence that both descriptive and causal factors contribute to judgments of concept reference, with no reliable differences between natural and nominal kinds. Moreover, we find evidence that the same individuals’ judgments can rely on both descriptive and causal information, such that variation between individuals cannot be explained by appeal to a mixed population of “pure descriptive theorists” and “pure causal theorists.” These findings suggest that the contrast between descriptive and causal theories of reference may be inappropriate; intuitions may instead support a hybrid theory of reference that includes both causal and descriptive factors. We propose that future research should focus on the relationship between these factors, and describe several possible frameworks for pursuing these issues. Our findings have implications for theories of semantic reference, as well as for theories of conceptual structure. (shrink)

In philosophy of science, several views have been espoused on the meaning of the term 'theory'; among these are the syntactic view and the semantic view. But even after decades of debate, no consensus has been reached on an all-encompassing positively defined view on theories. Here we take that to mean that the outcome of the debate is that such an all-encompassing view is nonexisting. Correspondingly, the purpose of this paper is to present a (...) pluralist view on theories: it is negatively defined, yet it may break the deadlock in the ongoing debate on the meaning of 'theory'. (shrink)

What makes our utterances mean what they do? In this work I formulate and justify a structural constraint on possible answers to this key question in the philosophy of language, and I show that accepting this constraint leads naturally to the adoption of an algebraic formalization of truth-theoretic semantics. I develop such a formalization, and show that applying algebraic methodology to the theory of meaning yields important insights into the nature of language. ;The constraint I propose is, roughly, this: the (...) meaning of an utterance of a natural language sentence is derived from the place of that sentence within a system that includes other sentences, and is structured in virtue of primitive semantic facts about complete sentences. This constraint calls for a formal semantics program where the meaning of natural language sentences is represented by an appropriate assignment of the elements of an algebraic structure to sentences, an assignment that represents facts concerning complete sentences. I call the above constraint 'The Algebraic Thesis', and the corresponding formal semantics program 'Algebraic Semantics.' ;I introduce AT by carving it out of the holistic views of language of Quine and Davidson, and I show that it is independent of other important features of these philosophers' views. I then argue for AT, taking into account recent work by Brandom, Dummett, Fodor and Lepore, Gaifman and Perry. In developing Algebraic Semantics I present structures of two basic types: Boolean algebras and cylindric algebras; these structures are construed in the context of AT in a novel way: they are treated as applying to classes of sentences as numbers apply to physical objects in measurement. Applying algebraic methodology to formal semantics and to the theory of meaning, I develop these results: ; An account of the semantics of necessity and possibility that avoids both Quine's dismissal of these notions and their reduction by David Lewis to quantification over possible worlds; ; The application of the model-theoretic notion of expansion to capture the process of our learning progressively more of the meaning of expressions in our first languages. (shrink)

Synesthesia is a phenomenon in which an additional nonstandard perceptual experience occurs consistently in response to ordinary stimulation applied to the same or another modality. Recent studies suggest an important role of semantic representations in the induction of synesthesia. In the present proposal we try to link the empirically grounded theory of sensory-motor contingency and mirror system based embodied simulation to newly discovered cases of swimming-style color synesthesia. In the latter color experiences are evoked only by showing the synesthetes (...) a picture of a swimming person or asking them to think about a given swimming style. Neural mechanisms of mirror systems seem to be involved here. It has been shown that for mirror-sensory synesthesia, such as mirror-touch or mirror-pain synesthesia, concurrent experiences are caused by the overactivity in the mirror neuron system responding to the specific observation. The comparison of different forms of synesthesia has the potential of challenging conventional thinking on this phenomenon and providing a more general, sensory-motor account of synesthesia encompassing cases driven by semantic or emulational rather than pure sensory or motor representations. (shrink)

What is the nature of communicative competence? Carol A. Kates addresses this crucial linguistic question, examining and finally rejecting the rationalistic theory proposed by Noam Chomsky and elaborated by Jerrold J. Katz, among others. She sets forth three reasons why the rationalistic model should be rejected: (1) it has not been supported by empirical tests; (2) it cannot accommodate the pragmatic relation between speaker and sign; and (3) the theory of universal grammar carries with it unacceptable metaphysical implications unless it (...) is interpreted in light of empiricism. Kates proposes an empiricist model in place of the rationalistic theory—a model that, in her view, is more consistent with recent findings in linguistics and psycholinguistics. In attempting to clarify the nature of utterance meaning, Kates develops theoretical perspectives on phenomenological empiricism and produces an account of reference and intentionality directly relevant to empirically based theories of speaking and understanding. Among the major topics addressed in the book are transformational-generative and universal grammar, cognitive theories of language acquisition, pragmatic structure, predication and topic-comment structure, and empiricism and the philosophical problem of universals. An innovative and probing work, Pragmatics and Semantics: An Empiricist Theory will be welcomed by philosophers, linguists, and psycholinguists. (shrink)

In this paper I argue, contrary to Chad Hansen’s view , that pre-Han 漢 Chinese philosophy has the semantic concept of truth. Hansen argues that, first, pre-Han Chinese thinkers do not have motivations to introduce the concept of truth in their philosophy due to their peculiar theory of language; second, the concept does not fit well with philosophical texts at that time, and in particular, the Mozi 墨子 text about the three standards of doctrine. However, I argue that (...) Chinese thinkers indeed have reasons to introduce the concept of truth. Hansen’s reading of the three standards of doctrine takes the standards as standards of correct word use, thus attributing to the authors of the Mozi an understanding of yan 言 as something without complete propositional content. However, I argue, a reading that sees the three standards as standards for something with complete propositional content explains better the passages in which the authors apply the standards to various issues. Finally I argue that the term ran 然 is sometimes used as a truth predicate in classical Chinese texts, because it has several important features identical to that of the truth predicate “is true” in English. (shrink)

Various laws and theories in the natural and social sciences are presented with a view to discerning the syntactic and semantic characteristics of many idealizations in science. Three different kinds of idealizations are discussed: ideal conditions, ideal cases, and idealized theories. An ideal condition is a formula in which state variables occur, whose existential closure is false, and for which there is another formula that can be constructed out of the original formula such that the existential (...) closure of the new formula is true. An ideal case is a statement which is logically equivalent to a universal conditional which has an ideal condition as its antecedent. And an idealized theory is a set of false universal conditional statements. Alternative syntactic and semantic analyses are viewed and criticized. (shrink)

Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.

William Whewell’s account of induction differs dramatically from the one familiar from twentieth-century debates. I argue that Whewell’s induction can be usefully understood by comparing the difference between his views and more standard accounts to contemporary debates between semantic and syntactic views of theories: rather than understanding inductive inference as capturing a relationship between sentences or propositions, Whewell understands it as a method for constructing a model of the world. The difference between this view and the more (...) familiar picture of induction is reflected in other aspects of Whewell’s philosophy of science, particularly his treatment of consilience and the order of discovery. (shrink)

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic (...) using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic. Treats traditional logic in a modern format. Presents relevance logic with applications. Provides an ideal text for a variety of one-semester upper-level undergraduate courses. (shrink)

What is an assurance? What do we do when we claim to know? Krista Lawlor offers an original account based on the work of J. L. Austin. She addresses challenges to contextualist semantic theories; resolves closure-based skeptical paradoxes; and helps us tread the line between acknowledging our fallibility and skepticism.

It is argued that a certain form of the view that the semantic paradoxes show that natural languages are "inconsistent" provides the best response to the semantic paradoxes. After extended discussions of the views of Kirk Ludwig and Matti Eklund, it is argued that in its strongest formulation the view maintains that understanding a natural language is sharing cognition of an inconsistent semantic theory for that language with other speakers. A number of aspects of this (...) approach are discussed and a few objections are entertained. (shrink)