The text is translated from W.V.O.Quine: From a Logical Point of View. Harvard University Press. Second Edition, 1980. pp. 130-139.

It is my intention in this article to present some consequences of Quine’s thesis on the dependence of ontology on ideology (Quine, 1980), seeking an argument for my own thesis on the dependence (theoretical) existence of entities on identity type or ontology dependence on logic and language.If Quine's thesis is correct, then we can expand the resolution of this conclusion and say that ontology depends on the identity or on identification of the "identity criteria for conceptual schemes" (Davidson, 2001) which (...) is constructed in the theory. Consequently I will speak about types of identity which adapts choice of ontology and of which depends ontology of a theory. Here I want to connect the different types of use of the term identity in Aristotle's writings and the different types of predications that are based on them with the concept of identity as the equivalence of symbols in modern logic. I want to reinterpret Quine's statement: "There is no entity without identity " in the form of imlication "What (kind of) identity such (kind of ) entity." . (shrink)

The Concept of Life and Death of Chuang-tzu have inherited and developed Confucianism and Taoism thoughts, establishing Ontological foundation of "Life - Body", distinguishing the transcendental concept of "Dead Heart" and the empirical concept of "Death Body", as well as proposing the thought of "Equivalence of Life and Death" finally. The logic Reasoning of Chuang-tzu "Equivalence of Life and Death", start from constructing the equal status of "Life" and “Death" from ontological argument. Life and Death then are reduced to be (...) a natural phenomenon to dispel its mystery. With emphasizing the social connotation of life and death, the difference between them has been removed, and finally the Thought experiment of "Chuang-tzu dreaming butterfly" has deepened the idea of "Equivalence of Life and Death". The Ideological Characteristic of the Concept of Life and Death of Chuang-tzu mainly reflects in the aspects of Ontology, Epistemology and Ethical practice. (shrink)

The text is translated from the book W.V.O.Quine: Theories and Things. Second printing, 1982. pp. 1-24.

What is a number? Answering this will answer questions about its philosophical foundations - rational numbers, the complex numbers, imaginary numbers. If we are to write or talk about something, it is helpful to know whether it exists, how it exists, and why it exists, just from a common-sense point of view [Quine, 1948, p. 6]. Generally, there does not seem to be any disagreement among mathematicians, scientists, and logicians about numbers existing in some way, but currently, in the mainstream (...) arena only definitions, descriptions of properties, and effects are presented as evidence. Enough historical description of numbers in history provides an empirical basis of number, although a case can be made that numbers do not exist by themselves empirically. Correspondingly, numbers exist as abstractions. All the while, though, these "descriptions" beg the question of what numbers are ontologically. Advocates for numbers being the ultimate reality have the problem of wrestling with the nature of reality. I start on the road to discovering the ontology of number by looking at where people have talked about numbers as already existing: history. Of course, we need to know not only what ontology is but the problems of identifying one, leading to the selection between metaphysics and provisional approaches. While we seem to be dimensionally limited, at least we can identify a more suitable bootstrapping ontology than mere definitions, leading us to the unity of opposites. The rest of the paper details how this is done and modifies Peano's Postulates. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: (...) [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

Applied technological developments are represented by (1) genetic engineering as management tools of biological evolution and (2) socio-economic engineering as management tools of civilizational and socio-cultural development. This binary structure logically follows from the postulated three-module organization of the sustainable evolutionary strategy of the sentient human being. Naturphilosophy once again acquires the status of the basis of the theory of evolution in an explicit way. There is a system of metaphysical postulates and ontological categories derived from the anthropic principle (...) of participation. For modern neoliberal political democracy, bio-power and biopolitics look like the most effective technology for stabilizing the scenarios and trends of the global evolutionary process that are optimal within this ideological system. Conclusions.Transbipolitics in our understanding is a political problematic related to the rationalization of the global evolutionary process. In the coming decades transbipolitics will become the carrier element of the global process of evolution of the noosphere with the consequent complication and increase of cohesion between the individual socio-cultural types that are part of the system of modern globalizing civilization. (shrink)

Quine's views on ontology and naturalism are well-known but rarely considered in tandem. According to my interpretation the connection between them is vital. I read Quine as a global epistemic structuralist. Quine thought we only ever know objects qua solutions to puzzles about significant intersections in observations. Objects are always accessed descriptively, via their roles in our best theory. Quine's Kant lectures contain an early version of epistemic structuralism with uncharacteristic remarks about the mental. Here Quine embraces mitigated anomalous (...) monism, allowing introspection and the availability in principle of full physical descriptions of the perceptual states which get science off the ground. Later versions abandon these ideas. My epistemic-structural interpretation explains why. I argue first-personal introspective access to mental states is incompatible with global epistemic structuralism. (shrink)

How does Quine fare in the first decades of the twenty-first century? In this paper I examine a cluster of Quinean theses that, I believe, are especially fruitful in meeting some of the current challenges of epistemology and ontology. These theses offer an alternative to the traditional bifurcations of truth and knowledge into factual and conceptual-pragmatic-conventional, the traditional conception of a foundation for knowledge, and traditional realism. To make the most of Quine’s ideas, however, we have to take an active (...) stance: accept some of his ideas and reject others, sort different versions of the relevant ideas, sharpen or revise some of the ideas, connect them with new, non-Quinean ideas, and so on. As a result the paper pits Quine against Quine, in an attempt to identify those Quinean ideas that have a lasting value and sketch potential developments. (shrink)

In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms (...) of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (shrink)

This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to (...) look at the ontological commitments of logical systems such that they are stronger than they are usually taken to be. (shrink)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of knowledge. (...) 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

In this paper we will try to show the differences between Quine’s and Gibson’s interpretation of the naturalized epistemology project. Namely, although Gibson points out that the genetic approach advocated by Quine is the best strategy there is to investigate the relations between evidence and theory, and that externalizing of empiricism that it requires is one of Quine’s major philosophical contributions, we argue that the assumptions on which Gibson’s project is based, apart from the fact that they are in (...) conflict with some strongly held intuitions, would have to be essentially different from Quine’s. In other words, contrary to Quine’s position within which we have the possibility of staying on more moderate, and in our opinion, more plausible behavioristic line of approach, we will try to show that one of the consequences of Gibson’s interpretation is that this possibility is ruled out in Gibson’s case. On the other hand, this should enable us to draw some more radical conclusions about the nature of Quine’s epistemological project. (shrink)

The theory of evolution of complex and comprising of human systems and algorithm for its constructing are the synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern (transdisciplinary) science. «Trans-disciplinary» in the context is interpreted as a completely new epistemological situation, which is fraught with the initiation of a civilizational crisis. Philosophy and ideology of technogenic civilization is based on the possibility of unambiguous demarcation of public value and descriptive scientific discourses (1), and the object (...) and subject of the cognitive process (2). Both of these attributes are no longer valid. For mass, everyday consciousness and institutional philosophical tradition it is intuitively obvious that having the ability to control the evolutionary process, Homo sapiens came close to the borders of their own biological and cultural identity. The spontaneous coevolutionary process of interaction between the «subject» (rational living organisms) and the «object» (material world), is the teleological trend of the movement towards the complete rationalization of the World as It Is, its merger with the World of Due. The stratification of the global evolutionary process into selective and semantic (teleological) coevolutionary and therefore ontologically inseparable components follows. With the entry of anthropogenic civilization into the stage of the information society, firsty, the post-academic phase of the historical evolution of scientific rationality began, the attributes of which are the specific methodology of scientific knowledge, scientific ethos and ontology. Bioethics as a phenomenon of intellectual culture represents a natural philosophical core of modern post- academic (human-dimensional) science, in which the ethical neutrality of scientific theory principle is inapplicable, and elements of public-axiological and scientific-descriptive discourses are integrated into a single logic construction. As result, hermeneutics precedes epistemology not only methodologically, but also meaningfully, and natural philosophy is regaining the status of the backbone of the theory of evolution – in an explicit form. (shrink)

The ontological determination of the movement in its quality of way of Being incessantly moves the critic affirmed to denial it through come to be which affirms new critics, unity of continuities and discontinuities with the previous critic. Therefore, it is important to unveil the material determinations in which are rooted the conception of Being dissociated from Non-being consolidated in insurmountable distinction between Being and Entity in its quality of expression of ideas in an inverted reality, falsely apprehended. Ideally reproduced (...) reality that, nevertheless, allows alternatives corresponding to the realization of aims targeted to satisfy historically determined necessities. The confrontations in the production and reproduction of purposes to guide social relations cross-dress debility of determined and impotent movement to impose determinations to the full virtuosity of immobility that moves the transitory. The difference between Being e Entity conforms in a formal logic deprived from/of contradiction to affirm the development of knowledge in what, in truth, hindered and limit it to remain, reducing the movement to stationary, to what moves to what moves without moving, to what isolate the knowledge of reality, to what detaches idea and material, to what conserves and incarcerates and not to what transform and set free. The treatment conceived as a movement from radical critic brings together the ontological primacy to underpin the root of the constitution of social existence to establish the ontological determinations of the existence to consciousness is stated in Marx – being reaffirmed in Lukács – by affirming that categories are forms of Being, determinations from/of existence. The category of totality, as a result of it, constitute expression of form of Being from reality in movement and synthesis from multiples and mutual determinations of negated diversities in an unitarity which affirm them. Therefore, the dialectical reflexive movement refuses as an ineliminable condition to the movement which affirms to mould identity with unitarity between identity and non-identity or don’t conceive relation of identity with dialectic, with the existence of reality to express a contradiction and incessant transmutation between Being and Non-being. The totality by transmuting itself while remain totality albeit not identical to the previous moment embraces a category to synthesize the unity of diversity. This diversity moved and moving from/by unity contemplates the relation of identity ratio (nowadays totality) between the identity (continuity with the preceding totality) and the non-identity (discontinuity with the preceding totality). To ignore the identity of identity with a non-identity conforms the impotence of category to constitute an expression of existence for not affording the contradiction immanent to the existence of reality moving from transport incessant of Being to come to be which puts itself from Non-being to Being. In short, concomitantly the being is transposed to Non-being to a Being come to be transpose from Non-being to a Being whilst ontological determination is constituted and constitutive of movement. The realization of critic conditioned the self-critic that ontologically determines the denial of self-preservation because it constitutes roots in social conditions that limit the intended transformation through critic. The critique of science as an ideological and material condition of reproduction and realization of capital is not effective with the auto-conservation of Geography for conforming the necessity of conservation of science to be rooted in the conception of distinction idealized by superiority that would affirm the permanence and nullity of transcending the limitations to denial the inhumanity of alienation concomitantly affirm the conditions to recognition of necessities and possibilities oriented to an emancipatory purposes. The progressive compressing of expenditure of time on production and productivity of results in various fields of scientific knowledge – which do not realize strictly in the extent of knowledge or it would be equivalent to affirm the fallacy of isolation and to deny the material and historical determinations that constitutes the quality of form of Being -, expressed in the quality of objective necessity and possibility concomitantly to fragment the form and content of the orientation of aims for investigation and for apprehension of reality. The convergence of the movements above-mentioned conforms the constitution of consensus positivity of complexifying of knowledge, delimitating the conceiving of reality and the supposed objective determinations a priori that constraint the conscious apprehension of necessities and of purposes that manifestate in the immediacy by the quality of developing individual and humankind potentialities of social being. Therefore, the conception of suprahistorical and insuppressible ontological determination depriving from social intentionalities in naturalize the impute of greater speed and complexity with lesser time and size of fragmented reality to be known, strengthening the conditions of inversion of reality. Reversed reality deforms the conscious apprehension of corresponding reduce the humanity of individual and gender social sphere of Being for alienating the necessities and goals of theory and practice, consciously aimed to the development of conditions for impoverishment humanity cross-dress in fallaciously things provided by humanity. Things that would had identity with men humanization obfuscating the unifying the developing of thing in the developing of men in the quality of thing, to conceive the most primary theoretical and practical necessity for the purpose of development of thing as an irrevocable necessity from human activity. The confrontation in the sphere of ideas constitutes itself while conceiving the real and, in this direction, the domination of necessities and purposes of material (re)production of society requires the domination of the categories of space and time as forms of Being of substance in motion. The detachment between Being and Entity conceives the indetermination of the dominant conception of reality that determines the conditions for the reproduction of life and the come to be of individuals and humankind. (shrink)

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional (...) ideology does not count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

Quine on Ethics: The Gavagai of Moral Discourse is the first comprehensive treatment of Quine’s brief yet memorable foray into ethics. It defends him against his most formidable critics, corrects misconceptions in the reception of his outlook on morality as a social institution and ethics as a philosophical enterprise, and restores emphasis on observationality as the impetus behind his momentous intervention in ethical theory. The central focus is on Quine’s infamous challenge to ethical theory: his thesis of the (...) methodological infirmity of ethics as compared with science. The ultimate aim is to demonstrate that the challenge is not only valid but also valuable insofar as it identifies opportunities for reformation in moral justification. (shrink)

Most of the theories of location on the market appear to be ideologically parsimonious at least in the sense that they take as primitive just one locative notion and define all the other locative notions in terms of it. Recently, however, the possibility of some exotic metaphysical scenarios involving gunky mixtures and extended simple regions of space has been argued to pose a significant threat to parsimonious theories of locations. The aim of this paper is to show that a (...) class='Hi'>theory taking as primitive a notion of plural pervasive location and allowing for irreducibly plural locative facts can account for all the putatively problematic scenarios for parsimonious theories of location. Furthermore, I will also argue that the notion of plural pervasive location is compatible with the possibility of multilocation. (shrink)

As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts (...) revealing the development of his views in the forties have recently begun to be published, as well as careful philosophical studies of, for instance, the evolution of his key doctrine that mathematical and logical truth are continuous with, not divorced from, the truths of natural science. But one central text has remained unexplored: Quine's Portuguese-language book on logic, his 'farewell for now' to the discipline as he embarked on an assignment in the Navy in WWII. Anglophone philosophers have neglected this book because they could not read it. Jointly with colleagues, I have completed the first full English translation of this book. In this accompanying paper I draw out the main philosophical contributions Quine made in the book, placing them in their historical context and relating them to Quine's overall philosophical development during the period. Besides significant developments in the evolution of Quine's views on meaning and analyticity, I argue, this book is also driven by Quine's indebtedness to Russell and Whitehead, Tarski, and Frege, and contains crucial developments in his thinking on philosophy of logic and ontology. This includes early versions of some arguments from 'On What There Is', four-dimensionalism, and virtual set theory. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in abstract (...) fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

Logical and Spiritual Reflections is a collection of six shorter philosophical works, including: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought; More Meditations; Zen Judaism; No to Sodom. Of these works, the first set of three constitutes the Logical Reflections, and the second set constitutes the Spiritual Reflections. Hume’s Problems with Induction, which is intended to describe and refute some of the main doubts and objections David Hume raised with regard to (...) inductive reasoning. It replaces the so-called problem of induction with a principle of induction. David Hume’s notorious skepticism was based on errors of observation and reasoning, with regard to induction, causation, necessity, the self and freewill. These are here pointed out and critically analyzed in detail – and more accurate and logical theories are proposed. The present work also includes refutations of Hempel’s and Goodman’s alleged paradoxes of induction. A Short Critique of Kant’s Unreason, which is a brief critical analysis of some of the salient epistemological and ontological ideas and theses in Immanuel Kant’s famous Critique of Pure Reason. It shows that Kant was in no position to criticize reason, because he neither sufficiently understood its workings nor had the logical tools needed for the task. Kant’s transcendental reality, his analytic-synthetic dichotomy, his views on experience and concept formation, and on the forms of sensibility (space and time) and understanding (his twelve categories), are here all subjected to rigorous logical evaluation and found deeply flawed – and more coherent theories are proposed in their stead. In Defense of Aristotle’s Laws of Thought, which addresses, from a phenomenological standpoint, numerous modern and Buddhist objections and misconceptions regarding the basic principles of Aristotelian logic. Many people seem to be attacking Aristotle’s Laws of Thought nowadays, some coming from the West and some from the East. It is important to review and refute such ideas as they arise. More Meditations, which is a sequel to the author’s earlier work, Meditations. It proposes additional practical methods and theoretical insights relating to meditation and Buddhism. It also discusses certain often glossed over issues relating to Buddhism – notably, historicity, idolatry, messianism, importation to the West. Zen Judaism, which is a frank reflection on the tensions between reason and faith in today’s context of knowledge, and on the need to inject Zen-like meditation into Judaism. This work also treats some issues in ethics and theodicy. No to Sodom, which is an essay against homosexuality, using biological, psychological, spiritual, ethical and political arguments. (shrink)

W. V. Quine’s criterion of ontological commitment is commonly presented as the slogan: “to be is to be the value of a variable”. More specifically, to be is to be in the domain of values of a bound variable attached to a existential quantifier in the body of a theory. If a sentence of our best available theory quantifies over bachelors, so we conclude that, according to it, there are bachelors. Simplicity and the use of logical apparatus for (...) determining this criterion are responsible for many philosophers to adhere to this standpoint within analytical metaphysics. I will argue that despite this strong influence of the Quinean criterion of ontological commitment in many debates, we find at least three interlinked problems in its original formulation: (1) The criterion depends of a clear definition of theory for the determination of the quantifications counting as entailers of ontological commitments. However, Quine does not present such clear concept of what would be a theory and of how to formalize it. Quine develops this notion under just the metaphor of the knowledge fabric, in which we have a group of sentences, which does not suffice for the required account of ontological commitment. (2) There are distinct possibilities of quantifying over given sentences, which leaves room for different ontological commitments associated with the same statement. In that sense, someone could argue that the Quinean solution would be to endorse just the first order predicate logic. Nonetheless, the Quinean should explain why we ought to be restricted to this logic. (3) The previous problems lead to a possible explosion of the Quinean criterion of ontological commitment, making it trivial, because it permits the quantification over any supposed entities and, hence, that anything can exist. Thus, I will discuss Quine’s criterion of ontological commitment in the light of the abovementioned problems, showing that, unless the Quinean presents a more specific definition of theory beyond just a group of sentences, he leads to an explosion of commitments with different entities. I will conclude that, if you understand ‘theory’ as Alonzo Church’s concept of ‘formalized language’, this knot can be undone. However, Church’s concept is much more akin to Carnap’s linguistic framework than to a notion of knowledge fabric “without borders” as the one proposed by Quine. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (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)

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises (...) two puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...) and abstract, in both mind and world, but the fall of traditional foundationalism has led many to doubt the viability of this ‘classical’ project. Sher challenges this skepticism, charting a new foundational methodology, foundational holism, that differs from others in being holistic, world-oriented, and universal (i.e., applicable to all fields of knowledge). Using this methodology, Epistemic Friction develops an integrated theory of knowledge, truth, and logic. This includes (i) a dynamic model of knowledge, incorporating some of Quine’s revolutionary ideas while rejecting his narrow empiricism, (ii) a substantivist, non-traditional correspondence theory of truth, and (iii) an outline of a joint grounding of logic in mind and world. The model of knowledge subjects all disciplines to demanding norms of both veridicality and conceptualization. The correspondence theory is robust and universal yet not simplistic or naive, admitting diverse forms of correspondence. Logic’s grounding in the world brings it in line with other disciplines while preserving, and explaining, its strong formality, necessity, generality, and normativity. (shrink)

According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces (...) a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of (...) all stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

1 Introduction1 In the 1980s, hermeneutics was often incorporated into deconstructionism and literary theory. Rather than focus on authorial intentions, the nature of writing itself including codes used to construct meaning, socio-economic contexts and inequalities of power,2 Gadamer introduced a different perspective; the interplay between effects of history on a reader’s understanding and the tradition(s) handed down in writing. This interplay in which a reader’s prejudices are called into question and modified by the text in a fusion of understanding (...) and topic revitalized the study of the printed word. Gadamer’s turn to language for understanding the meaning of Being also appealed to the post-modern antipathy toward modernity and metaphysics.3 If the truth and validity of interpretations are limited to communities of language, then our mode of being in history cannot but be historical. This point of view rendered Gadamer’s phenomenological hermeneutics vulnerable to the critique of moral and epistemological relativism. However, Gadamer’s theory of interpretation also stems from re-examination of the beginning of knowledge in the Pre-Socratics and Plato, and on this basis, is receptive to another dimension of inquiry than that which was trending in North America. -/- At the East-West Center, University of Hawai’i at Manoa in 1982, Chung-ying Cheng for the first time introduced onto-hermeneutics to an audience of esteemed philosophers including Li Zehou, Ren Jiyu, Feng Youlan, and Zhang Liwen.4 In contrast to schools of deconstruction and literary theory that had disengaged the interpreter from trans-historical sources of meaning and truth, Cheng explained that interpreters exist within a cosmological order inextricable from responsibility to harmonize Heaven and Earth in creative acts of interpretation. By integrating Chinese cosmology into hermeneutics through ontology, he tacitly challenged philosophers in the West to re-examine assumptions about humanity’s place in nature and by implication, Gadamer’s recovery of the beginnings of knowledge in Western philosophy. -/- Cheng’s Neo-Confucianism is inspired by the method and goals of Thomé H. Fang. The following words by Fang seem to prefigure, although in an indistinct and bundled way, aspects of Cheng’s philosophy including a Mencian theory of human nature, comprehensive observation, and creativity: “In the very process of living in concord with creative Nature, Man is charged with an ideal to be fully realized in the light of the principle of comprehensive harmony.”5 Like Fang, Cheng reinvigorates Chinese culture and language, but not solely in order to vindicate the insights of Neo-Confucianism. He has studied Western thought, from pragmatism and the analytic school to German idealism and phenomenology, to unlock and clarify philosophical concepts within the Yijing tradition and thereby render them intelligible to Anglophones. The result has been an awakening of Western scholars to the moral and cultural consequences of decoupling their thought from metaphysical foundations that are neither dogmatic nor doctrinal. -/- Not unlike the dialectic of Gadamer’s dialogue form, onto-generative hermeneutics integrates contrary positions on the same topic in order to blend both sides into a world philosophy, or as Cheng says, a “totalizing or integrative theory,”6 not to be confused with a theoretical rewording of a theory. On the contrary, the universal scope and relevance of hermeneutics stems from personal experience. Just as Gadamer, in response to faction and strife, immersed himself in Plato during the war years, and developed a method with which to harmonize opposites, so too, according to On-cho Ng, was Cheng moved by faction, strife and political persecution to develop a path toward unity.7 Gadamer taught at McMaster University in Hamilton, Ontario, and Cheng at the University of Hawai’i at Manoa among other institutions in North America. They facilitated trans-continental educational and cultural ties. Similar experiences yield similar insights irrespective of differences of time and place. Hence, authors in this issue who reside in Europe, China and North America, delineate the differences between Gadamer and Cheng, yet also, in light of Cheng’s onto-generative method and cosmology, develop integrative theories. Due to the page-budget restriction of the publisher, certain articles of this special theme will be subsequently published in the next issue. -/- 2 Integrative Theory This special issue of The Journal of Chinese Philosophy confirms a dimension of hermeneutics that Cheng has both motivated and inspired. The contributors do not abide by the conviction that since thought is mediated by language, interpretations cannot transcend culture. On the contrary, their research exemplifies the fruits of trans-historical onto-dialogical hermeneutics within limits defined by their field inquiry, organized into Parts I and II, around three themes: language, the philosophy of history and ethics. -/- Andrew Fuyarchuk introduces the theme of ontology in relation to Gadamer’s turn to language. Fuyarchuk argues that Chung-ying Cheng’s criticism of Gadamer’s hermeneutics is informed by Heidegger’s concept of Dasein and thereby overlooks how Gadamer’s Platonic-Pythagorean problem of the division between the One and Many is harmonized in the event of language, which in turn positions Gadamer in proximity to the presupposed grounds of receptivity in Cheng’s onto-generative hermeneutics. Lauren Pfister’s contributing article addresses the year 2000 meeting between Cheng and Gadamer in Heidelberg and expands the transhistorical grounds of meaning in Gadamer to matters of theology. Pfister’s summary of the written Chinese record of their conversation indicates that Cheng does not address the role of Christian philosophy and hence, the role of the inner word in Gadamer’s hermeneutics. This is important not only for detecting changes in Cheng’s philosophical development, but also for modifying his hermeneutics along the lines of a living conversation, possibilities explored by Pfister in a sequel to the article submitted to this issue. Nevertheless, by raising the issue of how Gadamer’s turn to language for understanding the meaning of Being extends possibilities in Cheng’s thought, Pfister anticipates the article by Katarina Gajdosova. She returns to the roots of Chinese thought during the Warring States period and broadens the meaning of names in recently excavated texts. Contrary to the conventions about how to understand terms, she appeals to both Heidegger’s ontology and Cheng’s notion of receptivity and creativity to reinterpret naming in relation to cosmology. Along the same lines, insofar as the event of Being is lingual, Jay Goulding captures its emergent structure in an evolving community of scholars and scholarship. He recalls his philosophical journey toward Cheng’s philosophy that begins in conversations with Gadamer at McMaster University in Hamilton, leads to Heidegger and Asian thought, expands into turning points with teachers and colleagues from various backgrounds that by increments contributed to Goulding’s formulation of “Daoist phenomenology.” -/- Although differing traditions guide their inquiries and research, Cheng and Gadamer recall the wisdom of the past to ameliorate the fragmentation in contemporary life. This leads them to re-examine the origins of philosophy; historical roots and thus sources of creative re-interpretations East and West whose affinities are developed in contributions by Hyun Höchsmann and Friederike Assandri. Höchsmann assesses convergences and divergences in the origins of Chinese and Western philosophy (Confucius and Socrates, the Yijing and Pre-Socratics) that culminates in pairing Gadamer’s understanding of paideia in the context of Plato’s political cosmology in the Timaeus with moral and social cultivation in The Western Inscription. She delineates the limits of this comparison which in turn justifies introducing Vattimo’s notion of locality. Assandri’s comparative analysis moves between India and China, Buddhism and Tang Daoism. Based on Gadamer’s argument that writing detaches concepts from their cultural moorings, she defines and applies three levels of understanding in onto-generative hermeneutics to Buddhist terms that were assimilated into the Benji Jing and in so doing clarifies essential dimensions of Daoism. -/- Contributions by Stephen Palmquist and Nicholas Brasovan position Cheng in relation to Kant and Gadamer by way of Aristotle’s ethics respectively. On the one hand, Palmquist plots Cheng’s evolving criticism of Kant’s moral philosophy and draws on crucial dimensions of Gadamer’s hermeneutics to reposition that criticism in a constructive relation to Kant’s emphasis on the philosophical conditions of morality while also indicating how religious dimensions of his thought answer Cheng’s concerns for lived moral action. For Palmquist, Gadamer enables a constructive criticism of Cheng. On the other hand, Brasovan compares Cheng’s Yijing-based account of moral deliberation with Gadamer’s Aristotelian-based ethics and reasons that in contrast to Cheng, Gadamer’s hermeneutical consciousness is disengaged from practical knowledge. For Brasovan, Cheng is a constructive critic of Gadamer. Palmquist and Brasovan’s divergent angles on Gadamer and Cheng map onto a dialectic of contrast and complementarity that constitutes the inner logic of Cheng’s philosophy. In other words, Gadamer and Cheng ought to be read alongside one another for the sake of removing discrepancies and contradictions, which constitutes the organic structure of their thinking. -/- 3 Our Mode of Being in History Is Not Historical The conversations between Cheng and Gadamer in this issue of The Journal of Chinese Philosophy pivot on language, philosophy of history and ethics within a comparative framework of analysis, but also explore the grounds that make the comparisons possible. Those grounds are informed by Chinese cosmology, and function to wrest Gadamer from the shadow of Heideggerian facticity and reposition him within the range of Cheng’s ideas about our place in nature that is embedded in his question about how mind emerges from inorganic matter.8 -/- For Gadamer scholars of Heidegger, human finitude, our ownmost individuating death ensures that hermeneutics is always open to the other as other, always on the way toward understanding the meaning of Being. To arrest the process in a concept of “the Absolute” cannot but represent someone’s point of view, and thereby render hermeneutics indistinguishable from ideology. However, insofar as finitude is defined by them in terms of an onto-theological concept of immorality, finitude is a metaphysical concept consistent with epistemologies and confuse beings with the meaning of Being. As a result, the celebrated political value of hermeneutics to always be on the way toward an understanding of the meaning of Being admits subtle variations on the same worldview that are insufficiently self-critical. -/- Gadamer scholars of Heidegger are right. A transformation in ethos and opening to the meaning of Being depends on awareness of finitude. Yet this awareness does not yield openness to more of the same, i.e., discourse structurally incapable of coming to unity but instead, for both Gadamer and Cheng, openness to a distinctly different ontological dimension of reality. As Sandra Wawrytko and So-Seong Park indicate,9 this ontological dimension is prefigured in the experience of being-as-a-whole or the totality of all possible relations in both Chinese totemic shamanistic rituals,10 and Greek Dionysian festivals.11 Through these religious experiences human ethos and therefore consciousness is expanded and elevated from being centered on one’s ownmost concerns toward an affinity with all sentient beings from insects and plants to animals. The channel for this affinity is an auditory disposition and hence, the emotions, compassion, and feeling response. -/- The capacity for an auditory disposition, or as Gadamer calls it, listening consciousness to respond to the inter-relationality and therefore inherent balance of nature is developed through music, song and dance of the religious rituals and festivals. They facilitate the unity of mind with nature. This use of music, that transforms ordinary consciousness, explains Cheng’s emphasis on the receptivity of feeling response in comprehensive observation, and Gadamer’s emphasis on openness to the other in attunement. However, an auditory disposition characteristic of pre-literate oral cultures that reveals the “All” need not rely on religion. As theorists about the evolution of language have explained,12 modern languages preserve their pre-historical past in music or prosody. That is to say, the song and dance that revealed the totality of inter-related beings to an ethos of comprehensive observation and attunement toward beings in classical civilizations is retained in the back-and-forth movement or rhythm of the dialogue form. Our mode of being in history is a mode of being in nature – through the music of language. -/- While alerting the reader to the limits of a nominalist interpretation, Gadamer expresses the inner law of the nature as follows: “in perishing there is always becoming, and in becoming there is always perishing.”13 Considered in process, opposites generate and blend into each other. This law of nature applies to everything.14 Hence, in a manner comparable to Pfister’s concluding insights, onto-dialogical hermeneutics is not only open to discrete events of otherness but moreover, to the moving structure of reality expressed, as Gajdosova suggests, in the existential moment of naming. Considered as interplay of tension and resolution with a life of its own, the dialectic of a dialogue is self-similar to the way in which an organism grows (by instinct). There is, therefore, a sense in which the art of interpretation extends the human mind into the eternal cycles of nature such that we participate in the articulation of the inner telos/homeostasis toward which all beings strive and importantly for Gadamer scholars of Heidegger, within the material limits of energy to which our embodied minds are self-evidently subject. In mortality there is always immortality. (shrink)

Critique of Sarcastic Reason is a philosophical dissertation that combines several different fields in order to pave the way for those studying sarcasm at the neurobiological, communicative and socio-political levels of analysis where sarcasm appears, respectively, through associated brain activity, between two or more individuals with higher level metabeliefs, and as a method by which political, religious and other social ideologies are attacked (i.e., one form of "biting sarcasm"). The academic disciplines involved in Critique of Sarcastic Reason include social cognitive (...) and developmental psychology, neuroscience, critical theory, modern and contemporary philosophy of mind, evolutionary biology, logic, metaphysics and epistemology. Sarcasm is argued to only function at the highest levels of metacognition, and sarcasm occurs within social situations during which there are tendencies for two or more people to form desires and disgusts directly related to beliefs about beliefs. Sarcasm is compared to deception and is argued to be best analyzed as either spontaneous or rehearsed. (shrink)

The logical interpretation of probability, or "objective Bayesianism'' – the theory that (some) probabilities are strictly logical degrees of partial implication – is defended. The main argument against it is that it requires the assignment of prior probabilities, and that any attempt to determine them by symmetry via a "principle of insufficient reason" inevitably leads to paradox. Three replies are advanced: that priors are imprecise or of little weight, so that disagreement about them does not matter, within limits; that (...) it is possible to distinguish reasonable from unreasonable priors on logical grounds; and that in real cases disagreement about priors can usually be explained by differences in the background information. It is argued also that proponents of alternative conceptions of probability, such as frequentists, Bayesians and Popperians, are unable to avoid committing themselves to the basic principles of logical probability. (shrink)

The book is a collection of papers addressing the role of logic in forming and developing philosophy. In particular, on the ground of modern development of logic, it is shown that philosophy can be established (and, in fact, to a large extent is established) as a modern science. The following problems are addressed: general relationship between philosophy and science (especially from a logical viewpoint); the use of logic in ordinary language; names and descriptions; Quine's pragmatic extensional Platonism and predicate-functor logic; (...) philosophical and logical aspects of Gödel's onto-theological system. In the last two chapters, an early critique and emendement of algebraic logic by Croatian philosophers Franjo Marković and Mate Meršić, respectively, is examined. (shrink)

What is W. V. O. Quine’s relationship to classical pragmatism? Although he resists the comparison to William James in particular, commentators have seen an affinity between his “web of belief” model of theory confirmation and James’s claim that our beliefs form a “stock” that faces new experience as a corporate body. I argue that the similarity is only superficial. James thinks our web of beliefs should be responsive not just to perceptual but also to emotional experiences in some cases; (...) Quine denies this. I motivate James’s controversial view by appealing to an episode in the history of medicine when a researcher self-experimented by swallowing a vial of bacteria that at the time had not been studied in much detail. The researcher’s commitment to his own as-yet untested hypothesis was based in part on emotional considerations. Finally, I argue that Quine’s insistence that emotions can never be relevant to adjusting our web of belief reflects a tacit holdover of one of logical positivism’s crucially anti-pragmatist commitments—that philosophy of science should focus exclusively on the context of justification, not the context of discovery. James’s emphasis on discovery as a (perhaps the) crucial locus for epistemological inquiry is characteristic of pragmatism in general. Since Quinean epistemology is always an epistemology of justification, he is not happily viewed as a member of the pragmatist tradition. (shrink)

I argue that the wave function ontology for quantum mechanics is an undesirable ontology. This ontology holds that the fundamental space in which entities evolve is not three-dimensional, but instead 3N-dimensional, where N is the number of particles standardly thought to exist in three-dimensional space. I show that the state of three-dimensional objects does not supervene on the state of objects in 3N-dimensional space. I also show that the only way to guarantee the existence of the appropriate mental states in (...) the wave function ontology has undesirable metaphysical baggage: either mind/body dualism is true, or circumstances which we take to be logically possible turn out to be logically impossible.“While our theory can be extended formally in a logically consistent way by introducing the concept of a wave in a 3N-dimensional space, it is evident that this procedure is not really acceptable in a physical theory... ” (Bohm 1957, 117). (shrink)

According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...) may appear at first sight, the assumption of a weak plural comprehension principle is perfectly compatible with plural logic and the common uses of plural quantification. As I aim to show, SCAI-theorists can simply claim that their theory must be understood as formulated by means of the most ‘joint-carving’ plural quantifier, thus leaving open the possibility of other, less joint-carving, ‘unrestricted’ plural quantifiers. In the final part of the paper I will also suggest that SCAI-theorists should not only allow for singular quantification over pluralities of entities, but also for plural quantification over ‘super-pluralities’ of entities. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, and also (...) a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

Critical social ontology is any study of social ontology that is done in order to critique ideology or end social injustice. The goal of this paper is to outline what I call the fundamentality approach to critical social ontology. On the fundamentality approach, social ontologists are in the business of distinguishing between appearances and (fundamental) reality. Social reality is often obscured by the acceptance of ideology, where an ideology is a distorted system of beliefs that leads people to promote or (...) accept widespread social injustices. Social reality is also obscured in cases where ordinary thought and language simply is not perspicuous enough to represent the social objects, kinds, and structures that are central to understanding social injustice. In both cases, I argue that the critical social ontologist will benefit from using the tools and concepts of fundamental metaphysics. (shrink)

As Bhaskar (1989:1) argues, we need to take philosophy seriously because it underwrites both what constitutes science and knowledge and which political practices are deemed legitimate. At present, the field of educational research internationally is witnessing a pragmatist trend, whereby practical education research is carried out without reference to ontological and epistemological concerns. For David Reynolds, a leading UK school effectiveness academic, '[p]recisely because we did not waste time on philosophical discussion or on values debates, we made rapid progress' (1998:20). (...) Equally, for Teddlie, '[t]he orientation of many in the US is to do rather than to reflect […] In reality many practitioners are currently interested in what could work at their school […rather…] than in ruminations about social inequalities associated with different socioeconomic classes' (Teddlie and Reynolds 2000:27). The purpose of this chapter is not only to reclaim critical realist social philosophy for educational research, but also to reclaim reality from the positivist and statistical methodology that underpins School Effectiveness Research (SER) and to make clear the difference that realism makes by virtue of its critical explanatory power in unmasking the ideological nature of SER and its adoption by New Labour. (shrink)

Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.

Brief note explaining the content, importance, and historical context of my joint translation of Quine's The Significance of the New Logic with my single-authored historical-philosophical essay 'Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s'.

The theories of belief change developed within the AGM-tradition are not logics in the proper sense, but rather informal axiomatic theories of belief change. Instead of characterizing the models of belief and belief change in a formalized object language, the AGM-approach uses a natural language — ordinary mathematical English — to characterize the mathematical structures that are under study. Recently, however, various authors such as Johan van Benthem and Maarten de Rijke have suggested representing doxastic change within a formal logical (...) language: a dynamic modal logic. Inspired by these suggestions Krister Segerberg has developed a very general logical framework for reasoning about doxastic change: dynamic doxastic logic (DDL). This framework may be seen as an extension of standard Hintikka-style doxastic logic with dynamic operators representing various kinds of transformations of the agent's doxastic state. Basic DDL describes an agent that has opinions about the external world and an ability to change these opinions in the light of new information. Such an agent is non-introspective in the sense that he lacks opinions about his own belief states. Here we are going to discuss various possibilities for developing a dynamic doxastic logic for introspective agents: full DDL or DDL unlimited. The project of constructing such a logic is faced with difficulties due to the fact that the agent’s own doxastic state now becomes a part of the reality that he is trying to explore: when an introspective agent learns more about the world, then the reality he holds beliefs about undergoes a change. But then his introspective (higher-order) beliefs have to be adjusted accordingly. In the paper we shall consider various ways of solving this problem. (shrink)

This thesis-on macro-ontology, physics, logic, and metalogical principles presents the findings, results, theorems, and metatheory that correct long-standing defects and deficiencies of current standard model (SM) physics and cosmology. It eliminates artificial SM anomalies, paradoxes, logical fallacies, absurdities, and conflicts with reality (and the findings of plasma physics, astronomy, ontology, epistemics, etc.). New theorems and metatheorems eliminate the illogic maintaining distortions of post-Einsteinian physics, its wildly speculative conjectures, and shibboleths (its unrealistic assumptions commonly accepted as facts). In critiques of misperceptions, (...) misconceptions and misinterpretations of observations and data, this work exposes the common failure to recognize the severe deficiencies of theory, science, ontology, and metamathematics. New results prove that chronic failure to differentiate realities from theorems, hypotheses, conjectures, opinions, and beliefs prevents progress to better physics and STEM education. Therefore, this work also enables resolution of the long-standing logical incongruency of physics, psychology, cognitive science, and philosophy, especially ontology. So, the facts and proofs presented here can enable a new era of discovery, creativity, and technological progress. (shrink)

General Relativity generated various early philosophical interpretations. His adherents have highlighted the "relativization of inertia" and the concept of simultaneity, Kantians and Neo-Kantians have underlined the approach of certain synthetic "intellectual forms" (especially the principle of general covariance, and logical empirics have emphasized the philosophical methodological significance of the theory. Reichenbach approached the GR through the "relativity of geometry" thesis, trying to build a "constructive axiomatization" of relativity based on "elementary matters of fact" (Elementartatbestande) for the observable behavior of (...) light rays, rods and clocks. The mathematician Hermann Weyl attempted a reconstruction of Einstein's theory based on the epistemology of a "pure infinitesimal geometry", an extended geometry with additional terms that formally identified with the potential of the electromagnetic field. DOI: 10.13140/RG.2.2.11641.93281. (shrink)

In much of the current academic and public discussion, conspiracy theories are portrayed as a negative phenomenon, linked to misinformation, mistrust in experts and institutions, and political propaganda. Rather surprisingly, however, philosophers working on this topic have been reluctant to incorporate a negatively evaluative aspect when either analyzing or engineering the concept conspiracy theory. In this paper, we present empirical data on the nature of the concept conspiracy theory from five studies designed to test the existence, prevalence and (...) exact form of an evaluative dimension to the ordinary concept conspiracy theory. These results reveal that, while there is a descriptive concept of conspiracy theory, the predominant use of conspiracy theory is deeply evaluative, encoding information about epistemic deficiency and often also derogatory and disparaging information. On the basis of these results, we present a new strategy for engineering conspiracy theory to promote theoretical investigations and institutional discussions of this phenomenon. We argue for engineering conspiracy theory to encode an epistemic evaluation, and to introduce a descriptive expression—such as ‘conspiratorial explanation’—to refer to the purely descriptive concept conspiracy theory. (shrink)

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that draws upon Kendall Walton’s (...) ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

Semantic relativism is the view that the truth-value of some types of statements can vary depending on factors besides possible worlds and times, without any change in their propositional content. It has grown increasingly popular as a semantic theory of several types of statements, including statements that attribute knowledge of a proposition to a subject (knowledge attributions). The ways of knowing claim is the view that perception logically implies knowledge. In my “Semantic Relativism and Ways of Knowing” (2019) I (...) argued that a relativist semantics for knowledge attributions is incompatible with the ways of knowing claim. I suggested that this incompatibility depends on some basic features of the logic of relativist semantics, and therefore can be shown to generalise beyond the discussion of knowledge attributions to semantic relativism more broadly. Here I make this generalisation. I demonstrate that for any proposition p expressed by a statement that does not have a relativist semantics, and for any proposition q expressed by a statement that does have a relativist semantics, p fails to logically imply q. I explain why this happens, discuss some of its philosophical consequences, and consider a way to modify relativist semantics to avoid it. I conclude that semantic relativism raises interesting philosophical questions that have gone largely unnoticed in discussions of this view until now. (shrink)