Reanimated for the contemporary literature in the writings of Quine, [16]) and Kuhn [7], the conventionalism of Duhem [2] and Poincaré [12] has emerged in the last few years as one of the genuinely interesting topics in the philosophy of science. The theory in question—let us follow Grünbaum [3] in calling it the D-thesis, after its founder, Pierre Duhem—claims three things: a single scientific hypothesis H is never disconfirmable in isolation from its fellow; every single hypothesis H of science presupposes, (...) explicitly or implicitly, the support of a conjunction A = A, • A2 • … • Am of auxiliary assumptions or hypotheses; the failure of an observational consequence of H in face of contradictory evidence disconfirms only the conjunction of H and A, not H alone—i.e. establishes only ∼. The logical picture is as follows. (shrink)

Since Kaplan : 81–98, 1979) first provided a logic for context-sensitive expressions, it has been thought that the only way to construct a logic for indexicals is to restrict it to arguments which take place in a single context— that is, instantaneous arguments, uttered by a single speaker, in a single place, etc. In this paper, I propose a logic which does away with these restrictions, and thus places arguments where they belong, in real world conversations. The central innovation is (...) that validity depends not just on the sentences in the argument, but also on certain abstract relations between contexts. This enrichment of the notion of logical form leads to some seemingly counter-intuitive results: a sequence of sentences may make up a valid argument in one sequence of contexts, and an invalid one in another such sequence. I argue that this is an unavoidable result of context sensitivity in general, and of the nature of indexicals in particular, and that reflection on such examples will lead us to a better understanding of the idea of applying logic to context sensitive expressions, and thus to natural language in general. (shrink)

Geach's account of the Aristotelian logic of categorical sentences supplemented the views shared by Frege, Russell, Quine and others. I argue that this particular predicate logic approach and Geach's points apply to only one variety of natural language categorical sentences. For example, it takes the universal categorical as a universal conditional “If anything is a man, then it is mortal”. A different natural language form can and should be invoked: “Every man is a mortal.” Employing special restricted quantifiers in a (...) version of predicate logic, we justify a full square of opposition and the rules of quality and quantity that Geach rejected. (shrink)

In 1942, before his duties began in the USA Navy, W.V. Quine lectured at the Free School of Sociology and Politics of São Paulo. He wrote up the lectures in Por.

In 1942, before his duties began in the USA Navy, W.V. Quine lectured at the Free School of Sociology and Politics of São Paulo. He wrote up the lectures in Por.

General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...) of generating harmonious general-elimination rules from a collection of I-rules. We show that the general-elimination rules satisfy Pfenning and Davies’ test for local completeness, but question whether that is enough to show that they are stable. Alternative conditions for stability are considered, including equivalence between the introduction- and elimination-meanings of a connective, and recovery of the grounds for assertion, finally generalizing the notion of local completeness to capture Dummett’s notion of stability satisfactorily. We show that the general-elimination rules meet the last of these conditions, and so are indeed not only harmonious but also stable. (shrink)

Frege's philosophical writings, including the “logistic project,” acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing their (...) own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings. (shrink)

Frege's philosophical writings, including the “logistic project,” acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing their (...) own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings. (shrink)

The ontological question of what there is, from the perspective of common sense, is intricately bound to what can be perceived. The above observation, when combined with the fact that nouns within language can be divided between nouns that admit counting, such as ‘pen’ or ‘human’, and those that do not, such as ‘water’ or ‘gold’, provides the starting point for the following investigation into the foundations of our linguistic and conceptual phenomena. The purpose of this paper is to claim (...) that such phenomena are facilitated by, on the one hand, an intricate cognitive capacity, and on the other by the complex environment within which we live. We are, in a sense, cognitively equipped to perceive discrete instances of matter such as bodies of water. This equipment is related to, but also differs from, that devoted to the perception of objects such as this computer. Behind this difference in cognitive equipment underlies a rich ontology, the beginnings of which lies in the distinction between matter and objects. The following paper is an attempt to make explicit the relationship between matter and objects and also provide a window to our cognition of such entities. (shrink)

The text consists of two parts. Part one puts the works of Hans Blumenberg, as far as they tackle the problem of rhetoric, into their historical context. Relevant here in particular is the tradition of topological philosophies of the Renaissance and their different types of revival in the 20th century. Part two analyses three main ‘absolute metaphors’ or ‘topoi’ Hans Blumenberg has investigated, the metaphors of ‘light’, ‘shipwreck’, and ‘book of nature’, in order to add to the philosophical perspective taken (...) by Blumenberg a hidden philological perspective, which shows the shortcomings of conceptualizing rhetorical techne (how does a metaphor work), which does not always account for philological techne (how do we write texts). (shrink)

The relation between religious and scientific explanations of events and states of affairs has been the subject of much debate. For example, are the statements ‘John's life was saved by surgery’ ‘John's life was saved in answer to prayer’ in competition with each other and, if so, in what way? They do not seem to be rival causal explanations, nor are they straightforwardly contradictory. Yet each seems to cast doubt on the other, or at least to make it to some (...) extent redundant. (shrink)

Many contemporary metaphysicians believe that the existence of a contingent object such as Socrates metaphysically explains the existence of the corresponding set {Socrates}. This paper argues that this belief is mistaken. The argument proposed takes the form of a dilemma. The expression “{Socrates}” is a shorthand either for the expression “the set that contains all and only those objects that are identical to Socrates” or for the expression “the set that contains Socrates and nothing else”. However, Socrates' existence does not (...) explain the existence of the set that contains all and only those objects that are identical to Socrates, because there is such a set no matter whether or not Socrates exists. And although Socrates' existence does explain that of the set that contains Socrates and nothing else, this explanation is a conceptual rather than a metaphysical one. Both these claims rely on a deflationary account of the use of set theoretic vocabulary that is explained, though not properly justified, in the paper. (shrink)

Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: [email protected]. (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)

This article offers formal and doctrinal reasons that prove the existence of the "Harvard Philosophical School" as a real historico-philosophical phenomenon. The author includes Willard Van Orman Quine, Nelson Goodman, and Hilary Putnam in this school. The aim of this article is to compare the conceptualism, relativism and anti-realism of Quine, Goodman and Pantem, on the basis of pragmatic tendencies in their philosophical studies. All these philosophers were professors at Harvard University; in addition, Quine was a teacher of Goodman and (...) Putnam, Goodman was a teacher of Putnam. Quine, Goodman, and Putnam, each in his own specific pragmatic way, stood on the positions of relativism, anti-realism, conceptualism, and tried to separate themselves from “cultural relativism”. Common touchstone concepts and tendencies in particular in their philosophical investigations are: conceptual scheme, indeterminacy of translation, internal criteria, ontological relativity and others. The obvious analogy between Quine's standards of similarity, Goodman's standards of correctness, and standards for Putnam's conceptual schemes. The role played in their doctrines by the ideas of William James, who also taught at Harvard, at least hypothetically allows us to expand the boundaries of this school. (shrink)