Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in three very different (...) formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (shrink)

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

A brief review of the historicalrelation between logic and ontologyand of the opposition between the viewsof logic as language and logic as calculusis given. We argue that predication is morefundamental than membership and that differenttheories of predication are based on differenttheories of universals, the three most importantbeing nominalism, conceptualism, and realism.These theories can be formulated as formalontologies, each with its own logic, andcompared with one another in terms of theirrespective explanatory powers. After a briefsurvey of such a comparison, we argue (...) that anextended form of conceptual realism provides themost coherent formal ontology and, as such, canbe used to defend the view of logic as language. (shrink)

Part 1 sets out the logical/semantical background to ‘On Denoting’, including an exposition of Russell's views in Principles of Mathematics, the role and justification of Frege's notorious Axiom V, and speculation about how the search for a solution to the Contradiction might have motivated a new treatment of denoting. Part 2 consists primarily of an extended analysis of Russell's views on knowledge by acquaintance and knowledge by description, in which I try to show that the discomfiture between Russell's semantical and (...) epistemological commitments begins as far back as 1903. I close with a non-Russellian critique of Russell's views on how we are able to make use of linguistic representations in thought and with the suggestion that a theory of comprehension is needed to supplement semantic theory. (shrink)

Book reviewed in this article:F.H. Bradley, Collected Works Volumes 1–5.

A feature of Frege's philosophy of arithmetic that has elicited a great deal of attention in the recent secondary literature is his contention that numbers are ‘self‐subsistent’ objects. The considerable interest in this thesis among the contemporary philosophy of mathematics community stands in marked contrast to Kreisel's folk‐lore observation that the central problem in the philosophy of mathematics is not the existence of mathematical objects, but the objectivity of mathematics. Although Frege was undoubtedly concerned with both questions, a goal of (...) the present paper is to argue that his success in securing the objectivity of arithmetic depends on a less contentious commitment to numbers as objects than either he or his critics have supposed. As such, this paper is an articulation and defense of both Frege's analysis of arithmetic and Kreisel's observation. (shrink)

In this article, the author analyses the relationship between two prominent philosophers of the 20th century in Europe and Great Britain—Ludwig Wittgenstein and Bertrand Russell. According to a lot of correspondence available nowadays we can reconstruct not only the environment of thought in Cambridge in the beginning and the first half of the 20th century but to find out some very personal, subjective grounds for the changes of relationship between thinkers, misunderstandings between them. Such a kind of biographical-historical reconstruction does (...) not interfere but helps to understand better the origin, development, and criticism of philosophical ideas and theories. In this context, the personal relationship between Russell and Wittgenstein, their friendship for more than 30 years, and mutual assistance, both intellectual and business, played a big role in the development and formation of both philosophers as philosophers. Even mutual disagreements and criticism of ideas over time helped them to see the shortcomings and sometimes even complete failure of their theses and statements. First, the author describes in detail the role of Russell in Wittgenstein’s life: first meeting and inspiration to do philosophy, support in studies, assistance in the publication of Wittgenstein’s first book, support, and facilitation in returning to Cambridge in 1929, obtaining PhD degree and receiving Trinity College grant. Second, the author considers the fundamental points of philosophical disagreements between the two philosophers and Wittgenstein’s critique of Russell’s ideas. (shrink)

In bilateral logic formulas are signed by + and –, indicating the speech acts assertion and denial. I argue that making an assumption is also speech act. Speech acts cannot be embedded within other speech acts. Hence we cannot make sense of the notion of making an assumption in bilateral logic. Attempts to solve this problem are considered and rejected.

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is (...) a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​. (shrink)

I argue that rejection is a speech act that cannot be reduced to assertion. Adapting an argument by Huw Price, I conclude that rejection is best conceived of as the speech act that is used to register that some other speech act is (or would be) violating a rule of the conversation game. This can be naturally understood as registering *norm violations* where speech acts are characterised by their essential norms. However, I argue that rejection itself is not to be (...) characterised by a norm. Instead, registering violations is a necessary condition for understanding the normative framework in the first place. The core observation is that the concept of an 'illegal move' is intelligible, so a speech act can be (say) an assertion, despite violating the essential norm of asserting. Rejection has the function of pointing out that a move is illegal. But registering rule violations is a precondition of playing games with rules (it is part of the concept 'game'), not itself a rule in a game. A similar special role of rejection (that it is not explicable in the terms provided by a framework, but needed to conceptualise these terms) likely occurs in other frameworks as well, e.g. characterising speech acts by commitments or their effect on a common ground. (shrink)

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...) one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

The translation of both ‘bedeuten’ and ‘Bedeutung’ in Frege's works remains sufficiently problematic that some contemporary authors prefer to leave these words untranslated. Here a case is made for returning to Russell's initial choice of ‘to indicate’ and ‘indication’ as better alternatives than the more usual ‘meaning’, ‘reference’, or ‘denotation’. It is argued that this choice has the philosophical payoff that Frege's controversial doctrines concerning the semantic values of sentences and predicative expressions are rendered far more comprehensible by it, and (...) that this translational strategy fulfills the desiderata of offering a translation which is acceptable both before and after Frege introduced the distinction between sense and reference or, as this paper would have it, between the sense of an expression and what it indicates. (shrink)

This paper aims to answer the question of whether or not Frege's solution limited to value-ranges and truth-values proposed to resolve the "problem of indeterminacy of reference" in section 10 of Grundgesetze is a violation of his principle of complete determination, which states that a predicate must be defined to apply for all objects in general. Closely related to this doubt is the common allegation that Frege was unable to solve a persistent version of the Caesar problem for value-ranges. It (...) is argued that, in Frege’s standards of reducing arithmetic to logic, his solution to the indeterminacy does not give rise to any sort of Caesar problem in the book. (shrink)

Here, I offer a rapid overview of the theory of metaphor, in order to situate the contributions to this volume in relation to one another and within the field more generally.

In this paper, we will discuss what is called the “Manifestation Challenge” to semantic realism, which was originally developed by Michael Dummett and has been further refined by Crispin Wright. According to this challenge, semantic realism has to meet the requirement that knowledge of meaning must be publically manifested in linguistic behaviour. In this regard, we will introduce and evaluate John McDowell’s response to this anti-realistic challenge, which was put forward to show that the challenge cannot undermine realism. According to (...) McDowell, knowledge of undecidable sentences’ truth-conditions can be properly manifested in our ordinary practice of asserting such sentences under certain circumstances, and any further requirement will be redundant. Wright’s further objection to McDowell’s response will be also discussed and it will be argued that this objection fails to raise any serious problem for McDowell’s response and that it is an implausible objection in general. (shrink)

Os tópicos e problemas filosóficos discutidos no volume são de natureza bastante variada: a natureza da complexidade computacional no processamento de uma língua natural; a relação entre o significado linguístico e o sentido Fregeano; as conexões entre a a agência e o poder; o conteúdo semântico da ficção; a explicação dos impasses éticos; a natureza dos argumentos cépticos; as conexões entre as dissociações cognitivas e o carácter modular da mente; a relação entre a referência e o significado. Estes tópicos deixam-se (...) subsumir num tema mais geral, o tema das ligações múltiplas entre a cognição e o conteúdo, mental ou linguístico. O tópico do conteúdo, a questão de determinar como é que muitas das nossas elocuções e muitos dos nossos estados mentais são dotados de conteúdo, representam algo (correcta ou incorrectamente), e o tópico da cognição, a investigação da natureza e dos mecanismos envolvidos na cognição humana, no processamento de informação tipicamente proveniente do exterior, são inegavelmente tópicos centrais da investigação filosófica, presente ou passada.Dado o carácter inclusivo e pluridisciplinar dos tópicos cobertos, não é surpreendente que os ramos da Filosofia representados no presente volume sejam igualmente diversificados: a Filosofia Moral, a Filosofia da Linguagem, a Teoria do Conhecimento, a Filosofia da Mente, os Fundamentos da Ciência Cognitiva. E também não é surpreendente que nele também estejam representados outros ramos do conhecimento cuja relevância para o estudo do conteúdo e da cognição é conspícua: a Psicologia Cognitiva; a Linguística Computacional e a Inteligência Artificial. Os autores dos ensaios são de proveniências diversas. De um lado, há um conjunto de especialistas nacionais a trabalhar na tradição analítica em Filosofia, como João Branquinho, ou a trabalhar em algumas áreas filosoficamente importantes da Ciência Cognitiva, como António Branco (Processamento da Língua Natural), José Frederico Marques (Psicologia Cognitiva) e Helder Coelho (Inteligência Artificial). Do outro lado, há um conjunto de especialistas estrangeiros de elevada reputação internacional: Allan Gibbard, da Universidade de Michigan, autor de livros influentes na área da Ética e Filosofia Moral; Stephen Schiffer, da New York University, uma das principais figuras actuais da Filosofia da Linguagem e da Semântica Geral; Paolo Leonardi, da Universidade de Bolonha, um especialista nas áreas da Filosofia da Linguagem e Filosofia da Comunicação; e Manuel García-Carpintero, da Universidade de Barcelona, um dos grandes vultos da Filosofia Analítica praticada em Espanha e na Europa Continental. (shrink)

This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.

One of the central debates in the philosophy of language is that between defenders of the causal-historical and descriptivist theories of reference. Most philosophers involved in the debate support one or the other of the theories. Building on recent experimental work in semantics, we argue that there is a sense in which both theories are correct. In particular, we defend the view that natural kind terms can sometimes take on a causal-historical reading and at other times take on a descriptivist (...) reading. The meaning will shift depending on the conversational setting. The theoretical view has roots in work by Kitcher. We present some original experiments that support the thesis. (shrink)

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

L'Existence de choses telles que des propositions, conc,ues comme distinctes des phrases qui les expriment et dont elles constituent comme le sens — cela que l'on comprend en entendant une phrase — a été mise en question, par Quine, en particulier, et aussi défendue. Ce débat fera l'objet de ce texte.La proposition, comme on l’entendra ici, se définit essentiellement comme une synthèse de concepts. Cette définition en a été donnée par G.E. Moore, un peu avant que Russell ne la reprenne (...) dans trois grands articles publiés dans Mind en 1904, sous le titre de « Meinong’s Theory of Complexes and Assumptions ». (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

In §8 of his Begriffsschrift (1879), Gottlob Frege discusses issues related to identity. Frege begins his most famous essay, “On Sense and Denotation” (1892), published 13 years later, by criticizing the view advocated in §8. He returns to these issues in the concluding paragraph. Controversies continue over these important passages. We offer an interpretation and discuss some alternatives. We defend that in the Begriffsschrift, Frege does not hold that identity is a relation between signs. §8 of the Begriffsschrift is motivated (...) by the conflict between two different criteria for sameness of conceptual content of sentences. To resolve that conflict, Frege introduces ‘≡’ in §8 and, thus, circumstances with names as constituents. To the same end, in “On Sense and Denotation,” Frege introduces senses and Thoughts and abandons both ‘≡’ and circumstances. He solves what we call the Co-instantiation problem, and disregards, but does not solve, the Name problem. (shrink)

In “On Referring” Peter Strawson pointed out that incomplete descriptions pose a problem for Russell’s analysis of definite descriptions. Howard Wettstein and Michael Devitt appealed to incomplete descriptions to argue, first, that Russell’s analysis of definite descriptions fails, and second, that Donnellan’s referential/attributive distinction has semantic bite. Stephen Neale has defended Russell’s analysis of definite descriptions against Wettstein’s and Devitt’s objections. In this paper, my aim is twofold. First, I rebut Neale’s objections to Wettstein’s and Devitt’s argument and argue that (...) Neale’s attempt to provide an account of referential descriptions within a Russellian framework fails. Second, contra Devitt and Wettstein, I argue that the problem posed by incomplete descriptions shows that Donnellan was right in believing that referential descriptions refer even if the definite description fits nothing. (shrink)

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (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)

MEANING POSTULATES REINSTATED If I am right in agreeing with Cresswell that the "logicarrlexicaT distinction is one of degree rather than one of kind, that in turn impugns the distinction between the official truth-rules that define logical ...

§1 Analytic philosophers interested in depiction have focused for the most part on two problems: first, explaining how pictures represent; second, describing the distinctive kinds of artistic value pictures can possess, or the distinctive ways in which they can embody artistic values that extend more broadly across the arts. I shall discuss the first problem here. The main concepts I shall be concerned with are depiction, resemblance, sense and reference.

In this essay, I argue for an account of property possession as strict, numerical identity. According to this account, for an entity to possess a property is for that entity to be numerically identical to that property.

Quantifiers in Frege's Grundgesetze like are not well-defined because the part Fx & Gx stands for a concept but the yoking conjunction is horizontalised and must stand for a truth-value. This standard interpretation is rejected in favor of a substitutional reading that, it is argued, both conforms better to the text and is well-defined. The theory of the horizontal is investigated in detail and the composite reading of Frege's connectives as made up of horizontals is rejected. The sense in which (...) the Grundgesetze has a many-valued but classical logic is explained by proving that its propositional fragment (under the standard interpretation) and Bochvar's 3-valued logic are instances of the same metatheoretic methods. Historically, the paper argues for a more naive but well-defined reading of the text. Theoretically, it provides a formally adequate statement of that semantics, as well as developing the abstract metatheory which embraces Bochvar's language and the Fregean fragment. (shrink)

Frege seems to hold two incompatible theses:(i) that sentences differing in structure can yet express the same sense; and (ii) that the senses of the meaningful parts of a complex term are determinate parts of the sense of the term. Dummett offered a solution, distinguishing analysis from decomposition. The present paper offers an embellishment of Dummett?s distinction by providing a way of depicting the internal structures of complex senses?determinate structures that yield distinct decompositions. Decomposition is then shown to be adequate (...) as a foundation for the informativity and analyticity of logic. (shrink)

By a seemingly strange twist of fate, the formalist approach to language became popular after Hilbert’s project of providing a formalist foundation for mathematics foundered on G¨odel’s famous incompleteness theorems. Even in September 1930, during the congress in K¨onigsberg, where G¨odel presented his results for the first time, Carnap still defended logicism against the intuitionist and formalist views on the foundations of mathematics. Furthermore in linguistics, the formalist approach to syntactic issues had only become disseminated in the 1930s, due to (...) the distributionists of Bloomfield’s school, and found its paramount expression in Hjelmslev’s Prolegomena to a Theory of Language : according to Hjelmslev, both the linguistic theory and the grammar of a given language are nothing more than a calculus. (shrink)

This paper is dedicated to developing a formalism that takes rejection seriously. Bilateral notation of signed formulas with force indicators is adopted to define signed consequences which can be viewed as the bilateral counterpart of Tarskian consequence relations. Its relation to some other bilateral approaches is discussed. It is shown how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved. Further, bilateral variants of three familiar notions are considered and investigated: that of a fragment, (...) of definitional equivalence, and of a conservative extension. (shrink)

Biosemiotics argues that “sign” and “meaning” are two essential concepts for the explanation of life. Peircean biosemiotics, founded by Tomas Sebeok from Peirce’s semiotics and Jacob von Uexkül’s studies on animal communication, today makes up the mainstream of this discipline. Marcello Barbieri has developed an alternative account of meaning in biology based on the concept of code. Barbieri rejects Peircean biosemiotics on the grounds that this discipline opens the door to nonscientific approaches to biology through its use of the concept (...) of “interpretation.” In this article, it is noted that Barbieri does not adequately distinguish among Peirce’s semiotics, Peircean biosemiotics, and “interpretation-based” biosemiotics. Two key arguments of Barbieri are criticized: his limited view of science and his rejection of “interpretation-based” biosemiotics. My argument is based on tools taken from a different approach: Robert Rosen’s relational biology. Instead of “signs” and “meanings,” the study begins in this case from the “components” and “functions” of the organism. Rosen pursues a new definition of a law of nature, introduces the anticipatory nature of organisms, and defines the living being as a system closed to efficient cause. It is shown that Code Biosemiotics and Peircean biosemiotics can share a common field of study. Additionally, some proposals are suggested to carry out a reading of Rosen’s biology as a biosemiotic theory. (shrink)

This paper makes a Fregean analysis of certain expressions which, according to the way they are constructed, can refer, firstly, to events and, secondly, to the results of these events. This paper intends to show that –if we take into account the above mentioned expressions and use Fregean notions such as meaning, reference, function, argument and concept– it is possible to consider events as objects. To do this we need to articulate developments made both from a linguistic perspective and a (...) philosophical one. In this particular case, we take into account the Fregean ontology; we try to analyze ontologically the linguistic phenomena called nominalization and arrive to interesting conclusions about the ontological and semantic behavior of the expressions that contain event and result nominalizations. (shrink)

This paper discerns two types of mathematization, a foundational and an explorative one. The foundational perspective is well-established, but we argue that the explorative type is essential when approaching the problem of applicability and how it influences our conception of mathematics. The first part of the paper argues that a philosophical transformation made explorative mathematization possible. This transformation took place in early modernity when sense acquired partial independence from reference. The second part of the paper discusses a series of examples (...) from the history of mathematics that highlight the complementary nature of the foundational and exploratory types of mathematization. (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)

Explores the stable core of Wittgenstein's philosophy as developed from the Tractatus to the Philosophical Investigations.

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)

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)