The very idea of informative analysis gives rise to a well-known paradox. Yet a parallel puzzle, herein called the paradox of synonymy, arises for statements which do not express analyses. The paradox of synonymy has a straightforward metalinguistic solution: certain words are referring to themselves. Likewise, the paradox of analysis can be solved by recognizing that certain expressions in an analysis statement are referring to their own semantic structures.

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

A characterization of epistemic rationality, or epistemic justification, is typically taken to require a process of conceptual clarification, and is seen as comprising the core of a theory of (epistemic) rationality. I propose to explicate the concept of rationality. -/- It is essential, I argue, that the normativity of rationality, and the purpose, or goal, for which the particular theory of rationality is being proposed, is taken into account when explicating the concept of rationality. My position thus amounts to an (...) instrumentalist position about theories of epistemic rationality. Since there are different purposes, or goals, for which theories of rationality are proposed, the method of explication leaves room for different characterizations of rationality. I focus on two such (kinds of) purposes: first, the purpose of guiding the formation (or maintenance) of doxastic states and, second, the purpose of assessing (the formation or maintenance of) doxastic states. I conclude by outlining a pluralistic picture concerning rationality. (shrink)

This encyclopedia article provides a procedural account of explication outlining each step that is part of the overall explicative effort (2). It is prefaced by a summary of the historical development of the method (1). The latter part of the article includes a rough structural theory of explication (3) and a detailed presentation of an examplary explication taken from the history of philosophy and the foundations of mathematics (4).

Different notions of analysis have been both theorized and put to use in early analytic philosophy. Two of them stand out: connective analysis and analysis as paraphrase. The latter played a central role in the development of analytic philosophy from Frege to Quine and beyond. With the advent of formal semantics of natural language in the 1970s, paraphrase came to be characterizable as translation into a formal “target language”. While I claim that the method cannot achieve its original philosophical aims, (...) I insist that, in spite of them, it is far from being a theoretically empty operation and that it lives on in some contemporary philosophical enterprises. (shrink)

Brentano clearly asserts, in his Vienna lectures of 1887–1888, that his descriptive psychology is an a priori or “exact” science. Since he rejects Kant's idea of a synthetic a priori, this means that the descriptive psychologist's laws are analytic. My aim in this paper is to clarify and discuss this view. I examine Brentano's epistemology in the Psychology from an Empirical Standpoint and then its later developments. I conclude with a difficulty inherent in Brentano's psychological approach to a priori knowledge.

The traditional divisions in the methodology of educational research include two types of methods: quantitative and qualitative. These comprise e.g. quasi-experiment, comparative research, observat...

From 1953 to 1959 Gödel worked on a response to Carnap’s philosophy of mathematics. The drafts display Gödel’s familiarity with Carnap’s position from The Logical Syntax of Language, but they received a dismissive reaction on their eventual, posthumous, publication. Gödel’s two principal points, however, will here be defended. Gödel, though, had wished simply to append a few paragraphs to show that the same arguments apply to Carnap’s later views. Carnap’s position, however, had changed significantly in the intervening years, and to (...) a significant extent, this mature position realizes much of what Gödel himself wanted out of a philosophy of mathematics. (shrink)

Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...) issues pertaining to formalization in general. We start by introducing Carnap’s conception of explication, arguing that there is a tension between his proposed criteria of fruitfulness and similarity; we also argue that his further desideratum of exactness is less crucial than might appear at first. We then bring in the general idea of formalisms as cognitive tools, mainly by discussing the reliability of so-called statistical prediction rules, i.e. simple algorithms used to make predictions across a range of areas. SPRs allow for a concrete instantiation of Carnap’s fruitfulness desideratum, which is arguably the most important desideratum for him. Finally, we elaborate on what we call the ‘paradox of adequate formalization’, which for the Carnapian corresponds to the tension between similarity and fruitfulness. We conclude by noting that formalization is an inherently paradoxical enterprise in general, but one worth engaging in given the ‘cognitive boost’ it affords as a tool for discovery. (shrink)

The reflections recorded in this paper arise from three moments in the theory of definition and of conceptual analysis. The moments are: Frege’s review of Husserl’s Philosophy of Arithmetic, the discussion there of the paradox of analysis, and the division that Frege marks, ensuing upon his distinction of Sinn/sense from Bedeutung/reference, between two different conceptions of definition; Leibniz’s still serviceable account of a distinction between the clarity and the distinctness of ideas---a distinction that prompts the suggestion that the guiding purpose (...) of lexical definition is Leibnizian clarity whereas that of real definition is inseparable from the pursuit of Leibnizian distinctness; Leibniz’s speculations concerning the limit or terminus of analysis. The apparent failure of these speculations, casting doubt as it does upon the aspirations that give rise to them, points to the long-standing need to reconfigure the philosophical business of enquiry into concepts. (shrink)

This book is a defence of the philosophy of common sense in the spirit of Thomas Reid and G.E. Moore, drawing on the work of Aristotle, evolutionary biology and psychology, and historical studies on the origins of early modern philosophy. It defines and explores common sense beliefs, and defends them from challenges from prominent philosophers.

Mark Johnston claims the pragmatist theory of truth is inconsistent with the way we actually employ and talk about that concept. He is, however, sympathetic enough to attempt to rescue its respectable core using ‘response-dependence’, a revisionary form of which he advocates as a method for clarifying various philosophically significant concepts. But Johnston has misrepresented pragmatism; it does not require rescuing, and as I show here, his ‘missing explanation argument’ against pragmatism therefore fails. What Johnston and other critics including Putnam (...) have overlooked is the distinctive nature of the pragmatist strategy, specifically, that it is non-reductive, a characteristic it shares with a more promising form of response-dependence; what Johnston calls ‘Descriptive Protagoreanism’ (DP). In this paper I offer a defence of pragmatism and show how it might be re-articulated as a form of DP. (shrink)

The paradox of analysis has been a problem for analytic philosophers at least since Moore’s time, and it is especially significant for those who seek an account of analysis along classical lines. The present paper offers a new solution to the paradox, where a theory of analysis is given where (1) analysandum and analysans are distinct concepts, due to their failing to share the same conceptual form, yet (2) they are related in virtue of satisfying various semantic constraints on the (...) analysis relation. Rather than distinguish between analysandum and analysans by appeal to epistemic considerations, the paper appeals to semantic considerations in giving a candidate account of the identity conditions for concepts. The distinctness of analysandum and analysans then serves to block the paradox in a straightforward way. (shrink)

Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circumvented by regarding Church’s and Turing’s theses as explications. This move opens up the possibility that (...) both accounts could be adequate, albeit in their own different ways. In this paper, I focus on the question of whether Church’s thesis can be seen as an explication in the precise Carnapian sense. Most importantly, I address an additional constraint that Carnap puts on the explicative power of axiomatic systems—an axiomatisation explicates when it is clear which mathematical entities form the theory’s intended model—and that implicitly applies to axiomatisations of recursion theory used in Church’s account of computability. To overcome this difficulty, I propose two possible clarifications of the pre-systematic concept of “computability” that can both be captured in recursion theory, and I show how both clarifications avoid an objection arising from Carnap’s constraint. (shrink)

Summary Ordinary language philosophers frequently draw on the fact that an appropriately selected sentential combination of the form p but not q can, or cannot, be uttered without absurdity; however, they do so without sufficient reflection on the methodology of such combination tests, which results in considerable shortcomings even in practical application. To improve things, I shall discuss two criteria for distinguishing ‘pragmatic’ from ‘non-pragmatic’ implications and for separating the latter into ‘linguistic’ (‘semantic’ and ‘syntactical’) and ‘non-linguistic’ ones (2–3); consider (...) the bearing of the principle of ‘sense-constancy‘ on the applicability of combination tests (4); and call attention to the important, though merely heuristic, function of investigating pragmatic, as opposed to semantic, implications (5.1–5.2). Finally, I shall hint at a striking analogy between the linguistic (yet non-empirical) method of combination tests, the phenomenological method of ‘fictional variation’, and the empirical method of ‘conjectures and refutations’ (5.3). (shrink)

In his new book, The Force of Law, Frederick Schauer maintains that law has no necessary properties, and that therefore jurisprudents should not assume that an inquiry into the nature of law has to be a search for such properties. I argue, however, that Schauer's attempt to show that legal anti-essentialism is a defensible position fails, because his one main argument is either irrelevant or else incomplete, depending on how one understands it, and because the other main argument is false.

The paper critically examines the conception of majoritarian democracy. In the second part of the text, the author introduces the definition of majoritarian democracy based on the Joseph Schumpeter’s theory of minimal democracy. The thesis of the paper is that electing the government by universal suffrage is neither necessary nor sufficient as a condition for a democratic regime. The concept of democracy is broader, including the catalogue of democratic values connected with the concept of democratic citizenship, special circumstances of political (...) action and the limitation of government powers. (shrink)

Content, according to Bolzano, is intransparent: our knowledge of certain essential features of the contents of our contentful mental acts is often severely limited. In this paper, I identify various intransparency theses Bolzano is committed to and present and evaluate the defence he offers for his view. I argue that while his intransparency theses may be correct, his defence is unsuccessful. Moreover, I argue that improving on his defence would require substantially modifying his general epistemology of content.