This volume recreates the received notion of reflective equilibrium. It reconfigures reflective equilibrium as both a cognitive ideal and a method for approximating this ideal. The ideal of reflective equilibrium is restructured using the concept of discursive strata, which are formed by sentences and differentiated by function. Sentences that perform the same kind of linguistic function constitute a stratum. The book shows how moral discourse can be analyzed into phenomenal, instrumental, and teleological strata, and the ideal of reflective equilibrium reworked (...) in these terms. In addition, the work strengthens the method of reflective equilibrium by harnessing the resources of decision theory and inductive logic. It launches a comparative version of decision theory and employs this framework as a guide to moral theory choice. It also recruits quantitative inductive logic to inform a standard of inductive cogency. When used in tandem with comparative decision theory, this standard can aid in the effort to turn the undesirable condition of reflective disequilibrium into reflective equilibrium. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Since at least the 1938 publication of Hans Reichenbach’s Experience and Predication , there has been widespread agreement that, when discussing the beliefs that people have, it is important to distinguish contexts of discovery and contexts of justification. Traditionally, when one conflates the two contexts, the result is a “genetic fallacy”. This paper examines genealogical critiques and addresses the question of whether such critiques are fallacious and, if so, whether this vitiates their usefulness. The paper concludes that while there may (...) be one or more senses in which genealogical critiques are fallacious, this does not vitiate their value. (shrink)

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I argue (...) that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

The general question to be considered in this paper points to the nature of the world described by chemistry: what is macro-chemical ontology like? In particular, we want to identify the ontological categories that underlie chemical discourse and chemical practice. This is not an easy task, because modern Western metaphysics was strongly modeled by theoretical physics. For this reason, we attempt to answer our question by contrasting macro-chemical ontology with the mainstream ontology of physics and of traditional metaphysics. In particular, (...) we introduce the distinction between stuff-ontology, proper of chemistry, and individual-ontology, proper of physics. These two ontologies differ from each other in the basic categories of their own structures. On this basis, we characterize individual-ontology in such a way that the features of stuff-ontology will arise by contrast with it. (shrink)

The paper analyses economic evaluations by distinguishing evaluative statements from actual value judgments. From this basis, it compares four solutions to the value neutrality problem in economics. After rebutting the strong theses about neutrality (normative economics is illegitimate) and non-neutrality (the social sciences are value-impregnated), the paper settles the case between the weak neutrality thesis (common in welfare economics) and a novel, weak non-neutrality thesis that extends the realm of normative economics more widely than the other weak thesis does.

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

The nontechnical ability to identify or match argumentative structure seems to be an important reasoning skill. Instruments that have questions designed to measure this skill include major standardized tests for graduate school admission, for example, the United States-Canadian Law School Admission Test (LSAT), the Graduate Record Examinations (GRE), and the Graduate Management Admission Test (GMAT). Writers and reviewers of such tests need an appropriate foundation for developing such questions--they need a proper representation of phenomenological argumentative structure--for legitimacy, and because these (...) tests affect people's lives. This paper attempts to construct an adequate and appropriate representation of such structure, that is, the logical structure that an argument is perceived to have by mature reasoners, albeit ones who are untrained in logic. (shrink)

The point of scientificity, or pos,represents a place in history whereeducational administration was founded as ascience. A pos creates a field of memoryand a field of studies. A pos isepistemologically sustained in its claim forscientific status by a line of demarcation orlod. A lod is supported by truthclaims based on various forms ofcorrespondence. As these forms have beeninterrogated and abandoned, correspondence hasgiven way to coherentism and finally to testsof falsification. As falsification has shownto contain serious flaws when compared to theactual (...) history of scientific discoveries, theentire project of a distinct and unitaryfield known as educational administration isseriously cast into doubt. Contemporaryexaminations in educational administrationdiscourse show that even when the lod hasbeen undermined by epistemological shifts, theinitial pos has remained to supportclaims regarding the project of a ``science ofleadership.'' The analysis contained in thisarticle show, however, that when claims of thelod are demonstrably unsustainable, theinitial pos must be similarly abandoned. With that collapse the concept of a fieldis likewise effaced. The epistemologicalalternative is to envision fields ofstudy which do not require a lod, excepton a longitudinal basis to ascertain whether aresearch program shaped and sustained by it isprogressive or regressive. In short, there areno aprori meta-criteria to separate sciencefrom non-science in educationaladministration. (shrink)

This paper discusses George Boole’s two distinct approaches to the explanatory relationship between logical and psychological theory. It is argued that, whereas in his first book he attributes a substantive role to psychology in the foundation of logical theory, in his second work he abandons that position in favour of a linguistically conceived foundation. The early Boole espoused a type of psychologism and later came to adopt a type of anti-psychologism. To appreciate this invites a far-reaching reassessment of his philosophy (...) of logic. (shrink)

The causal theory of properties is standardly combined with a realist's ontology of universals or tropes. In this paper, I consider an uncharted alternative – a nominalist causal theory of properties. I discuss advantages and disadvantages of the resulting theory of properties, and explore the Rylean understanding of causal powers that emerges.

Over the past few decades, reasoning and rationality have been the focus of enormous interdisciplinary attention, attracting interest from philosophers, psychologists, economists, statisticians and anthropologists, among others. The widespread interest in the topic reflects the central status of reasoning in human affairs. But it also suggests that there are many different though related projects and tasks which need to be addressed if we are to attain a comprehensive understanding of reasoning.

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (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)

In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.

The Idea behind Tarski's Definition of Truth. In Tarski's presentations of his truth-definition, the steps of the construction are not sufficiently explained. It is not clear, on what general strategy the construction is based, what the fundamental ideas are, how some crucial steps work, and especially how the transition from the definition of satisfaction to the definition of truth should be understood. The paper shows that the account given in the model-theoretic literature, which is supported by Tarski's lemmata A and (...) B, is unsatisfactory, because Tarski's notion of truth can't be interpreted as ‘truth independent of the assignment of values to the variables’. Moreover, a satisfactory account of all the crucial steps is given. (shrink)

In 1999, Jeffrey Ketland published a paper which posed a series of technical problems for deflationary theories of truth. Ketland argued that deflationism is incompatible with standard mathematical formalizations of truth, and he claimed that alternate deflationary formalizations are unable to explain some central uses of the truth predicate in mathematics. He also used Beth’s definability theorem to argue that, contrary to deflationists’ claims, the T-schema cannot provide an ‘implicit definition’ of truth. In this article, I want to challenge this (...) final argument. Whatever other faults deflationism may have, the T-schema does provide an implicit definition of the truth predicate. Or so, at any rate, I shall argue. (shrink)

The knower paradox states that the statement ‘We know that this statement is false’ leads to inconsistency. This article presents a fresh look at this paradox and some well-known solutions from the literature. Paul Égré discusses three possible solutions that modal provability logic provides for the paradox by surveying and comparing three different provability interpretations of modality, originally described by Skyrms, Anderson, and Solovay. In this article, some background is explained to clarify Égré’s solutions, all three of which hinge on (...) intricacies of provability logic and its arithmetical interpretations. To check whether Égré’s solutions are satisfactory, we use the criteria for solutions to paradoxes defined by Susan Haack and we propose some refinements of them. This article aims to describe to what extent the knower paradox can be solved using provability logic and to what extent the solutions proposed in the literature satisfy Haack’s criteria. Finally, the article offers some reflections on the relation between knowledge, proof, and provability, as inspired by the knower paradox and its solutions. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for such formalizations, (...) and finally iv) the choice of the underlying logic. This introductory discussion is supplemented by a brief description of the genesis of the special issue, acknowledgements, and summaries of each article. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

According to tradition, logic is normative for reasoning. According to many contemporary philosophers of logic, there is more than one correct logic. What is the relationship between these two strands of thought? This paper makes two claims. First, logic is doubly normative for reasoning because, in addition to constraining the combinations of beliefs that we may have, logic also constrains the methods by which we may form them. Second, given that logic is doubly normative for reasoning, a wide array of (...) logical pluralisms are inconsistent with the normativity of logic as they entail contradictory claims about how agents ought to reason. Thus, if logic is normative for reasoning, these pluralisms are untenable. (shrink)

Many contemporary logicians acknowledge a plurality of logical theories and accept that theory choice is in part motivated by logical evidence. However, just as there is no agreement on logical theories, there is also no consensus on what constitutes logical evidence. In this paper, I outline Jean Piaget’s psychological theory of reasoning and show how he used it to diagnose and solve one of the paradoxes of material implication. I assess Piaget’s use of psychology as a source of evidence for (...) logical theory in light of reservations raised by psychologism, and I highlight some ramifications for exceptionalism and anti-exceptionalism about logic by considering his use of psychology as logical evidence in the framework of genetic epistemology, Piaget’s research programme. I conclude that Piaget’s psychological theory of reasoning not only plausibly serves as a source of evidence for logical theory but also makes a strong case for anti-exceptionalism about logic. (shrink)

Using quantitative methods, we investigate the role of logic in analytic philosophy from 1941 to 2010. In particular, a corpus of five journals publishing analytic philosophy is assessed and evaluated against three main criteria: the presence of logic, its role and level of technical sophistication. The analysis reveals that logic is not present at all in nearly three-quarters of the corpus, the instrumental role of logic prevails over the non-instrumental ones, and the level of technical sophistication increases in time, although (...) it remains relatively low. These results are used to challenge the view, widespread among analytic philosophers and labeled here “prevailing view”, that logic is a widely used and highly sophisticated method to analyze philosophical problems. (shrink)

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

Axiomatic systems can be understood as subsets of syntactic systems. By a process of increasing abstraction, the notion of a syntactic system can become useful for understanding Meillassoux’s concept of hyper-Chaos.

Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all variants (...) of logical pluralism that meet the following three conditions: that there are at least two correct logical systems characterized in terms of different consequence relations, that there is some sort of rivalry among the correct logics, and that logical consequence is normative. The hypothesis I argue for amounts to conditional claim: If a position satisfies all these conditions, then that position is unstable in the sense that it collapses into competing positions. (shrink)

Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then presents (...) two new problems for the view. Hjortland’s objection is that deflationism cannot discriminate between distinct logics. I show that his example of classical logic and supervaluationism depends on equivocating about whether the language includes a “definitely” operator. Moreover, I prove a result that blocks this line of objection no matter the choice of logics. I end by criticizing deflationism on two fronts. First, it cannot do the work it has been recruited to perform. That is, it cannot help adjudicate between competing logics. This is because a theory of logic cannot be as easily separated from a theory of truth as its proponents claim. Second, deflationism currently has no adequate answer to the following challenge: what does a sentence’s universal generalization have to do with its logical truth? I argue that the most promising, stipulative response on behalf of the deflationist amounts to an unwarranted change of subject. (shrink)

Logical nihilism is the view that the relation of logical consequence is empty: there are counterexamples to any putative logical law. In this paper, I argue that the nihilist threat is illusory. The nihilistic arguments do not work. Moreover, the entire project is based on a misguided interpretation of the generality of logic.

Development of decision-support and intelligent agent systems necessitates mathematical descriptions of uncertainty and fuzziness in order to model vagueness. This paper seeks to present an outline of Peirce’s triadic logic as a practical new way to model vagueness in the context of artificial intelligence. Charles Sanders Peirce was an American scientist–philosopher and a great logician whose triadic logic is a culmination of the study of semiotics and the mathematical study of anti-Cantorean model of continuity and infinitesimals. After presenting Peircean semiotics (...) within AI perspective, a mathematical formulation of a Peircean triadic set is given in relationship with classical and fuzzy sets. Using basic logical operators, all possible respective implication operators, bi-equivalence operators, valid rules of inference, and associative, distributive and commutative logical properties are derived and verified through the truth function approach. In order to suggest practical directions, aggregation operators for Peirce’s triadic logic have been formulated. A mathematical formulation of a medical diagnostic problem and ER diagram of a library management system using Peirce’s triadic relation show potential for further applications of the proposed triadic set and triadic logic. Alongside, a classical AI game—The Wumpus World—is implemented to show practical efficacy in comparison with binary implementation. Besides giving some preliminary formulations for trichotomous set theory and definition of finite automaton, development of hybrid architectures for intelligent agents and evolutionary computations are discussed as potential practical avenues for Peirce’s triadic logic. (shrink)

This paper scrutinizes the debate over logical pluralism. I hope to make this debate more tractable by addressing the question of motivating data: what would count as strong evidence in favor of logical pluralism? Any research program should be able to answer this question, but when faced with this task, many logical pluralists fall back on brute intuitions. This sets logical pluralism on a weak foundation and makes it seem as if nothing pressing is at stake in the debate. The (...) present paper aims to improve this situation by looking at a promising case study and drawing general lessons about the kind of evidence that would support logical pluralism. I argue that the best motivation for logical pluralism will ultimately be rooted in certain kinds of performative data. (shrink)

The orthodox view of logic takes for granted the central importance of logical principles. Logic, and thus logical reasoning, is to be understood as a system of rules or principles with universal application. Let us call this orthodox view logical generalism. In this paper we argue that logical generalism, whether monist or pluralist, is wrong. We then outline an account of logical consequence in the absence of general logical principles, which we call logical particularism.

We are familiar with various set-theoretical paradoxes such as Cantor's paradox, Burali-Forti's paradox, Russell's paradox, Russell-Myhill paradox and Kaplan's paradox. In fact, there is another new possible set-theoretical paradox hiding itself in Wittgenstein’s Tractatus. From the Tractatus’s Picture theory of language we can strictly infer the two contradictory propositions simultaneously: the world and the language are equinumerous; the world and the language are not equinumerous. I call this antinomy the world-language paradox. Based on a rigorous analysis of the Tractatus, with (...) the help of the technical resources of Cantor’s naive set theory and Zermelo-Fraenkel set theory with the axiom of choice, I outline the world-language paradox and assess the unique possible solution plan, i.e., the mathematical plan utilizing ‘infinity’. I conclude that Wittgenstein cannot solve the hidden set-theoretical paradox of the Tractatus successfully unless he gives up his finitism. (shrink)

There is a little known paradox the solution to which is a guide to a much more thoroughgoing solution to a whole range of classic paradoxes. This is shown in this paper with respect to Berry's Paradox, Heterologicality, Russell's Paradox, and the Paradox of Predication, also the Liar and the Strengthened Liar, using primarily the epsilon calculus. The solutions, however, show not only that the first-order predicate calculus derived from Frege is inadequate as a basis for a clear science, and (...) should be replaced with Hilbert and Bernays' conservative extension. Standard second-order logic, and quantified propositional logic also must be substantially modified, to incorporate, in the first place, nominalizations of predicates, and whole sentences. And further modifications must be made, so as to insist that predicates are parts of sentences rather than forms of them, and that truth is a property of propositions rather than their sentential expressions. In all, a thorough reworking of what has been called 'logic' in recent years must be undertaken, to make it more fit for use. (shrink)

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

The mere fact that ontological debates are possible requires us to address the question, what is it to claim that a certain entity or kind of entity exists—in other words, what do we do when we make an existence-claim? I develop and defend one candidate answer to this question, namely that to make an existence-claim with regard to Fs is to claim that we can refer to Fs. I show how this theory can fulfil the most important explanatory desiderata for (...) a theory of existence; I also defend it against the charges of illegitimate ‘semantic ascent’ and of making existence counterfactually dependent on human linguistic ability. (shrink)

This paper aims at providing an account of juridical acts that forms a suitable starting point for the creation of computational systems that deal with juridical acts. The paper is divided into two parts. This second part of the paper deals in some detail with the operation of juridical acts. Topics dealt with include: power and competence, capacity, form requirements, partial validity, avoidance and representation.

This is a position paper concerning the role of empirical studies of human default reasoning in the formalization of AI theories of default reasoning. We note that AI motivates its theoretical enterprise by reference to human skill at default reasoning, but that the actual research does not make any use of this sort of information and instead relies on intuitions of individual investigators. We discuss two reasons theorists might not consider human performance relevant to formalizing default reasoning: (a) that intuitions (...) are sufficient to describe a model, and (b) that human performance in this arena is irrelevant to a competence model of the phenomenon. We provide arguments against both these reasons. We then bring forward three further considerations against the use of intuitions in this arena: (a) it leads to an unawareness of predicate ambiguity, (b) it presumes an understanding of ordinary language statements of typicality, and (c) it is similar to discredited views in other fields. We advocate empirical investigation of the range of human phenomena that intuitively embody default reasoning. Gathering such information would provide data with which to generate formal default theories and against which to test the claims of proposed theories. Our position is that such data are the very phenomena that default theories are supposed to explain. (shrink)

Rational analysis (Anderson 1990, 1991a) is an empiricalprogram of attempting to explain why the cognitive system isadaptive, with respect to its goals and the structure of itsenvironment. We argue that rational analysis has two importantimplications for philosophical debate concerning rationality. First,rational analysis provides a model for the relationship betweenformal principles of rationality (such as probability or decisiontheory) and everyday rationality, in the sense of successfulthought and action in daily life. Second, applying the program ofrational analysis to research on human reasoning (...) leads to a radicalreinterpretation of empirical results which are typically viewed asdemonstrating human irrationality. (shrink)

According to informal logic, the possibilities of deductive logic as a tool for analysing and evaluating ordinary arguments are very limited. While I agree with this claim in general, I question it in the case of the argument from cause to effect. In this paper I first show, on the basis of carefully chosen examples, that we usually react differently to falsification of the conclusion of the argument from cause to effect than we do to the falsification of the conclusion (...) of other defeasible arguments. I then identify general conditions and assumptions under which the causal argument from cause to effect can be reconstructed as deductive. Finally, I compare the causal argument with the expert argument, which is a typical example of a defeasible argument in the narrower sense. (shrink)

This paper compares two ways of holding that logic is special among the sciences in that it has no restricted class of entities as its subject matter, but instead concerns all entities alike. One way is Williamson’s explanation of how inquiry into logical consequence and logical truth only superficially concerns the linguistic or conceptual entities that bear these properties. Williamson draws on ideas familiar from deflationism about truth, and his account has been called “deflationary.” I argue that the analogy is (...) misleading. While there’s a broad sense in which Williamson offers a deflationary account of logical inquiry, his view differs from deflationism about truth in being best understood as a form of instrumentalism. By contrast, I elaborate a deflationism about logical properties modeled on deflationism about truth. I defend this expressive device deflationism as an explanation of our use of logical predicates. (shrink)

The topic of this study is to what extent standards of rational inquiry can be rationally criticized and revised. It is argued that it is rational to treat all such standards as open to criticism and revision. Arguments to the effect that we are fallible with regard to all standards of rational inquiry are presented. Standards cannot be ultimately justified and with certainty established either as adequate or as inescapable presuppositions. Apel's attempt to give ultimate justifications of certain moral and (...) logical rules is examined and criticized. Special attention is given to our fallibility with regard to logical inference rules. The idea that certain logical rules cannot be put into question because any critical argument presupposes them is criticized. It has been claimed that there must be some basic standards which are such that they cannot be rationally evaluated and hence are rationally unrevisable. This is called "the unrevisability thesis". Related to this thesis is the normative policy according to which rationality requires that some standards be treated as unrevisable, the unrevisability policy. Two arguments that have been used to defend the unrevisability thesis and policy are examined and criticized. The conclusion is that we are not forced to accept either the thesis or the policy. The negation of the unrevisability policy is the revisability policy, according to which it is rational to treat all standards as open to rational criticism and revision. Objections that have been directed against the revisability policy are discussed and criticized. According to the objections, the revisability policy leads to rationality relativism. These objections are refuted, and it is argued that it is, on the contrary, rational to adopt the revisability policy and treat all standards of rational inquiry as criticizable and revisable. It is proposed that the rational change of standards should be viewed as a bootstrap process. General features of a bootstrap view of rational change of standards are presented, and it is argued that it is impossible to formulate a real theory of bootstrapping. Two models of standard change are presented and discussed: Laudan's reticulated model of scientific rationality and Briskman's bootstrap theory. It is claimed that in spite of defects and limitations, these models contribute to a richer understanding of bootstrapping. The fallibility and revisability of standards of rational inquiry have consequences for how the normativity of rationality should be understood. The book ends with an account of how the rationality of cognitive actions is related to the idea of the adequacy of standards. A distinction between absolute and standard-relative rationality is made, and it is argued that what an inquiring agent rationally ought to do coincides with what it is standard-relatively rational for him to do. It is shown that this view of rationality of inquiry is nevertheless inconsistent with rationality relativism, and that it is compatible with an objectivistic view of rationality. (shrink)