In this sequel to "The logic and meaning of plurals. Part I", I continue to present an account of logic and language that acknowledges limitations of singular constructions of natural languages and recognizes plural constructions as their peers. To this end, I present a non-reductive account of plural constructions that results from the conception of plurals as devices for talking about the many. In this paper, I give an informal semantics of plurals, formulate a formal characterization of truth for the (...) regimented languages that results from augmenting elementary languages with refinements of basic plural constructions of natural languages, and account for the logic of plural constructions by characterizing the logic of those regimented languages. (shrink)

This paper is a study of Brentano’s ontology, and more specifically of his theory of substance and accident as put forward toward the end of his life in the materials collected together as the Kategorienlehre or Theory of Categories. Here Brentano presents an auditious (re-)interpretation of Aristotle’s theory of substance and accidence. We show that on the Brentano initially defends, it is space which serves as the single substance upon which all other entities depend as accidents of space. In an (...) appendix, however, Brentano puts forward an even more radical suggestion, inspired by the physics of Kelvin. According to this final view, space itself is an accident of a deeper substance: the present time. (shrink)

To what in reality do the logically simple sentences with empirical content correspond? Two extreme positions can be distinguished in this regard: 'Great Fact' theories, such as are defended by Davidson; and trope-theories, which see such sentences being made the simply by those events or states to which the relevant main verbs correspond. A position midway between these two extremes is defended, one according to which sentences of the given sort are made tme by what are called 'dependence structures', or (...) in other words by certain complex concrete portions of reality between the parts of which relations of dependence are defined. Principles governing such dependence-structures are laid down, principles of an ontologically motivated sort which serve as basis for a topological semantics conceived as an altemative to standard set-theoretic approaches to semantics of the Tarskian sort. These principles are then used to resolve certain puzzles generated by the (semantically motivated) theory of events put forward by Davidson. (shrink)

Much recent work on the intellectual background of Austrian economics reveals an unfortunate lack of awareness of the distinct nature of the Austrian contribution to philosophy, from which the Austrian economists drew many of their ideas. The present essay offers a sketch of this contribution, contrasting Austrian philosophy especially with the modes of philosophy dominant in Germany. This makes it possible to throw new light on the relations on Mises, Kant and the Vienna circle, and it allows us also to (...) establish the extent to which Austrian economics might properly be seen as being allied to the German hermeneutic tradition of Dilthey, Gadamer, et al. The essay concludes with a criticism of the hermeneutic relativism recently canvassed by some Austrian economists, concentrating especially on the work of Don Lavoie, whose writing are treated as symptomatic of a wider and somewhat regrettable trend. (shrink)

The project of a 'naive physics' has been the subject of attention in recent years above all in the artificial intelligence field, in connection with work on common-sense reasoning, perceptual representation and robotics. The idea of a theory of the common-sense world is however much older than this, having its roots not least in the work of phenomenologists and Gestalt psychologists such as K hler, Husserl, Schapp and Gibson. This paper seeks to show how contemporary naive physicists can profit from (...) a knowledge of these historical roots of their discipline, which are shown to imply above alla critique of the set-theory-based models of reality typically presupposed by contemporary work in common-sense ontology [1]. (shrink)

This essay explores an ideal notion of form (mathematical structure) that embraces logical, phenomenological, and ontological form. Husserl envisioned a correlation among forms of expression, thought, meaning, and object—positing ideal forms on all these levels. The most puzzling formal entities Husserl discussed were those he called ‘manifolds’. These manifolds, I propose, are forms of complex states of affairs or partial possible worlds representable by forms of theories (compare structuralism). Accordingly, I sketch an intentionality-based semantics correlating these four Husserlian levels of (...) form—thereby integrating logic, phenomenology, and ontology. (shrink)

The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and object-pieces, but also relations between what (...) we shall call dependent parts or moments. A two-dimensional formal language is canvassed for the resultant ontological theory, a language which owes more to the tradition of Euler, Boole and Venn than to the quantifier-centred languages which have predominated amongst analytic philosophers since the time of Frege and Russell. Analytic philosophical arguments against moments, and against the entire project of a formal ontology, are considered and rejected. The paper concludes with a brief account of some applications of the theory presented. (shrink)

That uses of language not only can, but even normally do, have the character of actions was a fact largely unrealised by those engaged in the study of language before the present century, at least in the sense that there was lacking any attempt to come to terms systematically with the action-theoretic peculiarities of language use. Where the action-character of linguistic phenomena was acknowledged, it was normally regarded as a peripheral matter, relating to derivative or nonstandard aspects of language which (...) could afford to be ignored. (shrink)

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

‘What is characteristic of every mental activity’, according to Brentano, is ‘the reference to something as an object. In this respect every mental activity seems to be something relational.’ But what sort of a relation, if any, is our cognitive access to the world? This question – which we shall call Brentano’s question – throws a new light on many of the traditional problems of epistemology. The paper defends a view of perceptual acts as real relations of a subject to (...) an object. To make this view coherent, a theory of different types of relations is developed, resting on ideas on formal ontology put forward by Husserl in his Logical Investigations and on the theory of relations sketched in Smith's "Acta cum fundamentis in re". The theory is applied to the notion of a Cambridge change, which proves to have an unforeseen relevance to our understanding of perception. (shrink)

Where Humeans rule out the possibility of material or non-logical necessity, and thus of any associated knowledge a priori, the German legal philosopher Adolf Reinach defends the existence of a wide class of material necessities falling within the domain of what can be known a priori, for example in fields such as color and shape, rational psychology, law and economics. Categories such as promise or claim or obligation are, in Reinach’s view, exist as nodes in a system of necessary relations, (...) so that anyone who has experience of relevant instances of these categories is implicitly aware also of a corresponding family of relations to certain other categories – as for example that every promise implies a mutually correlated claim and obligation. Midway between the two extremes of Hume and Reinach stands Searle, who accepts necessary relations of the mentioned sorts, but sees them as human creations, following from ‘constitutive rules’ analogous to the rules of chess. We seek to demonstrate that Searle does not occupy a stable and acceptable half-way house between Hume and Reinach; that he, too, if he is to do justice to the very constitutive rules which form the center of his approach, must on pain of circularity embrace something like the Reinachian position. (shrink)

It will be the thesis of this paper that there are among our mental acts some which fall into the category of real material relations. That is: some acts are necessarily such as to involve a plurality of objects as their relata or fundamenta. Suppose Bruno walks into his study and sees a cat. To describe the seeing, here, as a relation, is to affirm that it serves somehow to tie Bruno to the cat. Bruno's act of seeing, unlike his (...) feeling depressed, his putative thinking-about-Santa-Claus or his musing, abstractedly, about the tallest spy, has at least two fundamenta: it is, as a matter of necessity, dependent for its existence upon both Bruno himself and the cat that he sees. This idea will naturally raise echoes of Russell's doctrine of knowledge by acquaintance. 'I am acquainted with an object', Russell tells us, 'when I have a direct cognitive relation to that object, i. e. when I am directly aware of the object itself' (1918, p. 209). And indeed a distinction in many ways like that between acquaintance and description will find a place within the theory here projected, but there are crucial differences. (shrink)

A number of logicians and philosophers have turned their attention in recent years to the problem of developing a logic of interrogatives. Their work has thrown a great deal of light on the formal properties of questions and question-sentences and has led also to interesting innovations in our understanding of the structures of performatives in general and, for example, in the theory of presuppositions. When, however, we examine the attempts of logicians such as Belnap or Åqvist to specify what, precisely, (...) a question is, or what it is to ask or raise a question, then what we are offered is somewhat less illuminating. Two alternative reductionist accounts seem in particular to have gained most favor: questions are identified either as special sorts of statements, or as special sorts of requests. As we hope will become clear in what follows, neither of these accounts is even nearly adequate; and matters are not improved if questions are identified, by force majeure, as combinations of statements and requests. (shrink)

Peter Hanks and Scott Soames both defend pragmatic solutions to the problem of the unity of the proposition. According to them, what ties together Tim and baldness in the singular proposition expressed by ‘Tim is bald’ is an act of the speaker : the act of predicating baldness of Tim. But Soames construes that act as force neutral and noncommittal while, for Hanks, it is inherently assertive and committal. Hanks answers the Frege–Geach challenge by arguing that, in complex sentences, the (...) force inherent in the content of an embedded sentence is cancelled. Indrek Reiland has recently objected to Hanks’s proposal that it faces a dilemma: either force cancellation dissolves the unity of the proposition secured by the cancelled act of assertion, or Hanks’s proposal reduces to Soames’s. In this paper, I respond to Reiland by offering an analysis of force cancellation which gets rid of the alleged dilemma. The proposal is based on a set of distinctions from speech act theory : between two senses of ’force’, two types of act, and two types of context. The role of simulation in force cancellation is emphasized, and connections drawn to broader issues such as the evolution of complex language. (shrink)

El artículo analiza la teoría de todos y partes de Carl Stumpf. Por un lado, se presentan los elementos básicos de su psicología descriptiva de la experiencia. Por otro lado, se analiza el desarrollo de la teoría de todos y partes sobre la base de dicha psicología descriptiva. El trabajo pretende probar dos tesis complementarias: primero, si bien la teoría mereológica de Stumpf es aún incipiente y no del todo explícita, constituye un auténtico punto de partida. Segundo, dicha mereología surge (...) a partir de una atenta descripción de la experiencia dada y no es algo impuesto a ésta. The article focuses on Carl Stumpf's theory of parts and wholes. On the one hand, I present the basic elements of his descriptive psychology of experience. On the other hand, I analyze the development of his theory of parts and wholes, which is based upon his descriptive psychology. The article aims to prove two different, yet complementary theses: firstly, despite the fact that Stumpf's mereological theory is still incipient and not quite explicit, it represents an authentic point of departure; secondly, this mereology arises out of an attentive description of given experience and not as an imposition to it. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

Shortly before G. E. Moore wrote down the formative for the early analytic philosophy lectures on Some Main Problems of Philosophy (1910–1911), he had become acquainted with two books which influenced his thought: (1) a book by Husserl's pupil August Messer and (2) a book by the Greifswald objectivist Dimitri Michaltschew. Central to Michaltschew's book was the concept of the given. In Part I, I argue that Moore elaborated his concept of sense-data in the wake of the Greifswald concept. Carnap (...) did the same when he wrote his Aufbau, the only difference being that he spoke not of sense-data but of Erlebnisse. This means, I argue, that both Moore's sense-data and Carnap'sErlebnisse have little to do with either British empiricists or the neo-Kantians. In Part II, I try to ascertain what made early analytic philosophy different from all those philosophical groups and movements that either exercised influence on it, or were closely related to it: phenomenologists, Greifswald objectivists, Brentanists. For this purpose, I identify the sine qua non practices of the early analytic philosophers: exactness; acceptance of the propositional turn; descriptivism; objectivism. If one of these practices was not explored by a given philosophical school or group, in all probability, it was not truly analytic. (shrink)

There are three interconnected goals of this paper. The first is to articulate and motivate a view of the methodology for doing metaphysics that is broadly phenomenological in the sense of Husserl circa the Logical Investigations. The second is to articulate an argument for the importance of studying the history of philosophy when doing metaphysics that is in accordance with this methodology. The third is to confront this methodology with a series of objections and determine how well it fares in (...) light of them. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

In recent years, Brentano’s theory of consciousness has been systematically reassessed. The reconstruction that has received the most attention is the so-called identity reconstruction. It says that secondary consciousness and the mental phenomenon it is about are one and the same. Crucially, it has been claimed that this thesis is the only one which can make Brentano’s theory immune to what he considers the main threat to it, namely, the duplication of the primary object. In this paper, I argue that (...) the identity reconstruction is untenable, and I defend an alternative, which I name the unity reconstruction. According to the unity reconstruction, secondary consciousness is a real part of the mental phenomenon it is about, and hence is distinct from it. I contend that this thesis does not in itself lead to the duplication of the primary object, and that what should be blamed is rather a controversial thesis about the intentional structure of secondary consciousness—a thesis which Brentano ultimately abandoned. (shrink)

Abstract: In philosophy, perceptual constancy refers to the puzzling phenomenon of the perception of properties of objects despite our changing experience of those properties. Husserl developed a sophisticated description of perceptual constancy. In this paper I sketch Husserl's approach, which focuses on the suggestion that perception is partly constituted by the continuous interplay of intention and fulfilment. Unlike many contemporary theories, this framework gives us a way to understand the relationship between different appearances of the same object. I will show (...) how Husserl's work connects with contemporary theories which emphasize perceptual constancy from particular perspectives. These theories include appeals to perspectival properties and Cohen's counterfactual theory. Also, I show how Husserl's account shares important themes with Kelly's recent interpretation of Merleau-Ponty on perceptual constancy. (shrink)

This article examines some of the phenomenological features in Lev Vygotsky’s mature psychological theory, especially in Thinking and Speech and The Current Crisis in Psychology. It traces the complex literary and philosophical influences in 1920s Moscow on Vygotsky’s thought, through Gustav Shpet’s seminars on Husserl and the inner form of the word, Chelpanov’s seminars on phenomenology, Bakhtin’s theory of the production of inner speech, and the theoretical insights of the early Gestalt psychologists. It begins with an exposition of two central (...) Husserlian schemas: part-whole theory and the thesis of the naïve standpoint, both of which Vygotsky was clearly familiar with. This is followed by an account of the reception of phenomenology in early Soviet Russia. The article’s central sections are concerned with a careful unpacking and critique of Vygotsky’s employment of Husserlian method and analysis in his later doctrine of the ‘inner plane of speech’, his use of part-whole theory, and his identification of Husserl’s position with an untenable version of idealism. The article closes with the contention that Vygotsky misrepresents the phenomenological analysis of meaning formation and appropriates basic Husserlian conceptual terms in his elaboration of the ‘inner form of the word’; but Vygotsky does so in such a way that he enriches our descriptive access to the individual development of humans’ dynamic use of language. (shrink)

RésuméJ'examine dans cet article une notion assez spéciale de nécessité, celle de la nécessité matérielle, introduite explicitement pour la première fois par Adolf Reinach. Je soutiens que la variation libre joue un rôle important dans la découverte et la description de la nécessité matérielle et j'explore également quelques questions apparentées ayant trait à la présentation et à la signification, à la théorie des actes de discours, ainsi qu'à la qualité et à la matière de la présentation.

This paper provides a detailed examination of Kit Fine’s sizeable contribution to the development of a neo‐Aristotelian alternative to standard mereology; I focus especially on the theory of ‘rigid’ and ‘variable embodiments’, as defended in Fine 1999. Section 2 briefly describes the system I call ‘standard mereology’. Section 3 lays out some of the main principles and consequences of Aristotle’s own mereology, in order to be able to compare Fine’s system with its historical precursor. Section 4 gives an exposition of (...) Fine’s theory of embodiments and goes on to isolate a number of potential concerns to which this account gives rise. In particular, I argue that Fine’s theory threatens to proliferate primitive sui generis relations of parthood and composition, whose characteristics must be stipulatively imposed on them, relative to particular domains; given its ‘superabundance’ of objects, Fine’s system far outstrips the already inflated ontological commitments of standard mereology; and there is a legitimate question as to why we should consider Fine’s primitive and sui generis relations of parthood and composition to be genuinely mereological at all, given their formal profile. These three objections lead me to conclude that we ought to explore other avenues that preserve the highly desirable, hylomorphic, features of Fine’s mereology, while avoiding its methodological and ontological excesses. (shrink)

In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context of a conscious mental (...) state to misrepresent their objects. This contingent infallibility allows the theory to both acknowledge the (logical) possibility of self-misrepresentation and avoid the problems of self-misrepresentation. Expanding further on Weisberg’s work, I consider and reveal the shortcomings of three other self-representational models—put forward by Kreigel, Van Gulick, and Gennaro—in order to show that each indicates the need for this sort of infallibility. I then argue that contingent infallibility is in principle acceptable on naturalistic grounds only if we attribute (1) a neo-Fregean kind of directly referring, indexical content to self-representational mental states and (2) a certain ontological structure to the complex conscious mental states of which these indexical self-representations are a part. In these sections I draw on ideas from the work of Perry and Kaplan to articulate the context-dependent semantic structure of inner-representational states. (shrink)

This essay considers implications of formal mereologies and ontologies for medical metaphysics. Edward Fried’s extensional mereological account of the human body is taken as representative of a prominent strand in analytic metaphysics that has close affinities with medical positivism. I show why such accounts fail. First, I consider how Fried attempts to make sense of the medical case of Barney Clark, the first recipient of an artificial heart, and show that his analytic metaphysical categories do not have the right kind (...) of fit with the case. A proper medical metaphysic should involve a richer two way dialogue with medicine, and it should not just “apply” formal accounts worked out in other settings. Second, I argue that any effort to account for real wholes with extensional mereological sums requires all sorts of ad hoc, supplementary mechanisms that do the real work, and the full repertoire of these mechanisms involves inconsistencies and semantic shifts. Finally, I consider an alternative strand of work on non-extensional whole/part relations that is closer to medicine and that can deepen reflection on some core problems in bioethics, for example, associated with the determination of death when an organism ceases to function as a whole. In addition to the utility such formal ontologies have for addressing traditional problems such as the determination of death, philosophers of medicine should appreciate the increasingly influential role such formal tools are playing in the development of data system ontologies. Assumptions integral to these ontologies have far reaching implications for the way future research and practice in medicine will be conducted, and much greater critical reflection is needed on the full range of issues associated with the development and use of such medical ontologies. (shrink)

The purpose of this paper is to provide a unitary typology for the incompatibilities of meanings at stake on different levels of Husserlian pure logic—namely, between systems of axioms and pure morphology of meanings; I show that they perfectly match by converging on the notion of Widersinn.

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

A prized property of theories of all kinds is that of generality, of applicability or least relevance to a wide range of circumstances and situations. The purpose of this article is to present a pair of distinctions that suggest that three kinds of generality are to be found in mathematics and logics, not only at some particular period but especially in developments that take place over time: ‘omnipresent’ and ‘multipresent’ theories, and ‘ubiquitous’ notions that form dependent parts, or moments, of (...) theories. The category of ‘facets’ is also introduced, primarily to assess the roles of diagrams and notations in these two disciplines. Various consequences are explored, starting with means of developing applied mathematics, and then reconsidering several established ways of elaborating or appraising theories, such as analogising, revolutions, abstraction, unification, reduction and axiomatisation. The influence of theories already in place upon theory-building is emphasised. The roles in both mathematics and logics of set theory, abstract algebras, metamathematics, and model theory are assessed, along with the different relationships between the two disciplines adopted in algebraic logic and in mathematical logic. Finally, the issue of monism versus pluralism in these two disciplines is rehearsed, and some suggestions are made about the special character of mathematical and logical knowledge, and also the differences between them. Since the article is basically an exercise in historiography, historical examples and case studies are described or noted throughout. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

English mass noun phrases & count noun phrases differ only minimally grammatically. The basis for the difference is ascribed to a difference in the features +/-CT. These features serve the morphosyntactic function of determining the available options for the assigment of grammatical number, itself determined by the features +/-PL: +CT places no restriction on the available options, while -CT, in the unmarked case, restricts the available options to -PL. They also serve the semantic function of determining the sort of denotation (...) associated with demonstrative & quantified noun phrases. The feature -CT requires that the associated denotation be the set whose sole member is the greatest aggregate of which the noun phrase or noun is true; the feature +CT requires that the associated denotation be the set whose members are all & only those minimal aggregates of which the noun phrase or noun is true. At the same time, neither mass NPs nor count NPs that are arguments of a predicate have their predicate evaluated with respect to their denotations. Rather, the predicate is evaluated with respect to an aggregation, a set of aggregates constructed from the denotation of the noun phrase that is an argument of the predicate. 3 Tables, 4 Figures, 74 References. AA. (shrink)

The goal of this paper is to connect Rota's discussion of the Husserlian notion of Fundierung with Rota's project of giving combinatorics a foundation in his 1964 paper ‘On the foundations of combinatorial theory I’. Section 2 gives the basic tenets of this seminal paper. Sections 3 and 4 spell out the connections made there between Rota's philosophical writings and his mathematical achievements. Section 5 shows how these two developments fit into Rota's analysis of the place of combinatorics in mathematics.

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

Each phenomenon contains variable components, which are conservative. Because of their conservation, they accumulate. Present phenomena contain constituents of phenomena, belonging to the past which form the present and the future, and their dependence on time is an exponential one - S = Sₒe^t-tᵖ. We assume that before and after tₒ = t-tᵖ = 0 the change pertains to phenomena of one type. The dependency is for each defined phenomenon of one and the same type. The concrete aspect of the (...) change S will depend on the type of the phenomenon. We show in our study how in some cosmological phenomena, the exponential dependence on time is present. The processes of radioactive disintegration of atomic nuclei, are also phenomena of this type. We present the real phenomena as a sum of exponents. Each phenomenon originates, develops and is destroyed. In reality most phenomena are formed as a composition of exponential dependencies of the change. (shrink)

In this paper I assume that we have some intuitive knowledge—i.e. beliefs that amount to knowledge because they are based on intuitions. The question I take up is this: given that some intuition makes a belief based on it amount to knowledge, in virtue of what does it do so? We can ask a similar question about perception. That is: given that some perception makes a belief based on it amount to knowledge, in virtue of what does it do so? (...) A natural idea about perception is that a perception makes a belief amount to knowledge in part by making you sensorily aware of the concrete objects it is about. The analogous idea about intuition is that an intuition makes a belief amount to knowledge in part by making you intellectually aware of the abstract objects it is about. I expand both ideas into fuller accounts of perceptual and intuitive knowledge, explain the main challenge to this sort of account of intuitive knowledge (i.e. the challenge of making sense of intellectual awareness), and develop a response to it. (shrink)

The most striking feature of Meinong's theory of intentionality is his thesis that every mental act has its reference‐object “beyond being and non being”. This theory seems, at first, to be a clear example of the so called object‐theory of intentionality, as it introduces special “postulated” entities in the target‐position of the mental act. Closer examination, however, reveals in Meinong's works important elements of the mediator‐theory. Meinong speaks of auxiliary incomplete objects situated “between” the subject and the object of reference (...) and “mediating” the intentional access to the reference‐object. Moreover, even if the object of reference is of the simple nominal form, the mediating structure involves essentially propositional entities . In the paper we attempt to give a set‐theoretical interpretation of Meinong's theory in the frame of which we could eventually do without the incomplete mediating objects. Yet, some general epistemological considerations suggest the indispensability of such incomplete mediating structures. (shrink)

Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol Logic 45:464–482, 1980 ). Therefore, (...) it is not clear how this logic should be interpreted. (3) Second-order logic also has strong ontological commitments: (a) it is ontologically committed to classes (Resnik, J Phil 85:75–87, 1988 ), and (b) according to Quine (Philosophy of logic, Prentice-Hall: Englewood Cliffs, 1970 ), it is nothing more than “set theory in sheep’s clothing”. (4) It is also not better than its first-order counterpart, in the following sense: if first-order logic does not characterize adequately mathematical systems, given the existence of non - isomorphic first-order interpretations, second-order logic does not characterize them either, given the existence of different interpretations of second-order theories (Melia, Analysis 55:127–134, 1995 ). (5) Finally, as opposed to what is claimed by defenders of second-order logic [such as Shapiro (J Symbol Logic 50:714–742, 1985 )], this logic does not solve the problem of referential access to mathematical objects (Azzouni, Metaphysical myths, mathematical practice: the logic and epistemology of the exact sciences, Cambridge University Press, Cambridge, 1994 ). In this paper, I argue that the second-order theorist can solve each of these difficulties. As a result, second-order logic provides the benefits of a rich framework without the associated costs. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

Experimental phenomenology is the study of appearances in subjective awareness. Its methods and results challenge quite a few aspects of the current debate on consciousness. A robust theoretical framework for understanding consciousness is pending: current empirical research waves on what a phenomenon of consciousness properly is, not least because the question is still open on the observables to be measured and how to measure them. I shall present the basics of experimental phenomenology and discuss the current development of experimental phenomenology, (...) its main features, and the many misunderstandings that have obstructed a fair understanding and evaluation of its otherwise enlightening outcomes. (shrink)

A series of papers on different aspects of practical knowledge by Roderick Chisholm, Rudolf Haller, J. C. Nyiri, Eva Picardi, Joachim Schulte Roger Scruton, Barry Smith and Johan Wrede.

Discusses Armstrong's and Roman Ingarden's ontology, criticises substance ontology, and defends tropes and a field ontology.

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...