Between the end of the nineteenth century and the first twenty years of the twentieth century, stimulated by the impetuous development of logical studies and taking inspiration from Leibniz's idea of a characteristica universalis, the three founding fathers of the analytic tradition in philosophy, i.e., Frege, Russell, and Wittgenstein, started to talk of a logically perfect language, as opposed to natural languages, all feeling that the latter were inadequate to their (different) philosophical purposes. In the second half (...) of the twentieth century, however, the very idea of a logically perfect language ceased for various reasons to seem attractive to analytic philosophers. Thus, it might appear that this idea could be classified together with the many other bizarre ideas that from time to time surface in the history of philosophy-an idea that perhaps had a beneficial impact on the development of twentieth century logic, but which can now be put to rest. In this brief note, I contend that this conclusion may be too hasty. Indeed, if a well-known empirical hypothesis advanced in 1975 by Jerry Fodor turns out to be true, then there is a logically perfect language, after all. More precisely, I argue that, if it exists, Fodor's language of thought possesses the main characteristics a logically perfect language is required to have. (shrink)

This collection of articles was written over the last 10 years and the most important and longest within the last year. Also I have edited them to bring them up to date (2016). The copyright page has the date of this first edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having (...) a recent monkey ancestry (8 million years or much less depending on viewpoint) and manifest words and deeds within the framework of our innate psychology as presented in the table of intentionality. As famous evolutionist Richard Leakey says, it is critical to keep in mind not that we evolved from apes, but that in every important way, we are apes. If everyone was given a real understanding of this (i.e., human ecology and psychology) in school, maybe civilization would have a chance. -/- In my view these articles and reviews have many novel and highly useful elements, in that they use my own version of the recently (ca. 1980’s) developed dual systems view of our brain and behavior to lay out a logical system of rationality (personality, psychology, mind, language, behavior, thought, reasoning, reality etc.) that is sorely lacking in the behavioral sciences (psychology, philosophy, literature, politics, anthropology, history, economics, sociology etc.). The philosophy centers around the two writers I have found the most important, Ludwig Wittgenstein and John Searle, whose ideas I combine and extend within the dual system (two systems of thought) framework that has proven so useful in recent thinking and reasoning research. As I note, there is in my view essentially complete overlap between philosophy, in the strict sense of the enduring questions that concern the academic discipline, and the descriptive psychology of higher order thought (behavior). Once one has grasped Wittgenstein’s insight that there is only the issue of how the language game is to be played, one determines the Conditions of Satisfaction (what makes a statement true or satisfied etc.) and that is the end of the discussion. -/- Now that I think I understand how the games work I have mostly lost interest in philosophy, which of course is how Wittgenstein said it should be. But since they are the result of our innate psychology, or as Wittgenstein put, it due to the lack of perspicuity of language, the problems run throughout all human discourse, so there is endless need for philosophical analysis, not only in the ‘human sciences’ of philosophy, sociology, anthropology, political science, psychology, history, literature, religion, etc., but in the ‘hard sciences’ of physics, mathematics, and biology. It is universal to mix the language game questions with the real scientific ones as to what the empirical facts are. Scientism is ever present and the master has laid it before us long ago, i.e., Wittgenstein (hereafter W) beginning principally with the Blue and Brown Books in the early 1930’s. -/- "Philosophers constantly see the method of science before their eyes and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness." (BBB p18) -/- Nevertheless, a real understanding of Wittgenstein’s work, and hence of how our psychology functions, is only beginning to spread in the second decade of the 21st century, due especially to P.M.S. Hacker (hereafter H) and Daniele Moyal-Sharrock (hereafter DMS),but also to many others, some of the more prominent of whom I mention in the articles. -/- When I read ‘On Certainty’ a few years ago I characterized it in an Amazon review as the Foundation Stone of Philosophy and Psychology and the most basic document for understanding behavior, and about the same time DMS was writing articles noting that it had solved the millennia old epistemological problem of how we can know anything for certain. I realized that W was the first one to grasp what is now characterized as the two systems or dual systems of thought, and I generated a dual systems (S1 and S2) terminology which I found to be very powerful in describing behavior. I took the small table that John Searle (hereafter S) had been using, expanded it greatly, and found later that it integrated perfectly with the framework being used by various current workers in thinking and reasoning research. -/- Since they were published individually, I have tried to make the book reviews and articles stand by themselves, insofar as possible, and this accounts for the repetition of various sections, notably the table and its explanation. I start with a short article that presents the table of intentionality and briefly describes its terminology and background. Next, is by far the longest article, which attempts a survey of the work of W and S as it relates to the table and so to an understanding or description (not explanation as W insisted) of behavior. -/- The key to everything about us is biology, and it is obliviousness to it that leads millions of smart educated people like Obama, Chomsky, Clinton and the Pope to espouse suicidal utopian ideals that inexorably lead straight to Hell On Earth. As W noted, it is what is always before our eyes that is the hardest to see. We live in the world of conscious deliberative linguistic System 2, but it is unconscious, automatic reflexive System 1 that rules. This is Searle’s The Phenomenological Illusion (TPI), Pinker’s Blank Slate and Tooby and Cosmides Standard Social Science Model. Democracy and equality are wonderful ideals, but without strict controls, selfishness and stupidity gain the upper hand and soon destroy any nation and any world that adopts them. The monkey mind steeply discounts the future, and so we sell our children’s heritage for temporary comforts. -/- The astute may wonder why we cannot see System 1 at work, but it is clearly counterproductive for an animal to be thinking about or second guessing every action, and in any case there is no time for the slow, massively integrated System 2 to be involved in the constant stream of split second ‘decisions’ we must make. As W noted, our ‘thoughts’ (T1 or the thoughts of System 1) must lead directly to actions. It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves an heuristic for how we think and behave, and so it encompasses not merely philosophy and psychology but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it,includes both conscious deliberative System 2 and unconscious automated System 1 actions or reflexes. -/- Thus all the articles, like all behavior, are intimately connected if one knows how to look at them. As I note, The Phenomenological Illusion (oblivion to our automated System 1) is universal and extends not merely throughout philosophy but throughout life. I am sure that Chomsky, Obama, Zuckerberg and the Pope would be incredulous if told that they suffer from the same problem as Hegel, Husserl and Heidegger, but it’s clearly true. While the phenomenologists only wasted a lot of people’s time, they are wasting the earth. -/- My writings are available in updated versions as paperbacks and Kindles on Amazon. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) ASIN B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) ASIN B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) 2nd printing with corrections (Feb 2018) ASIN B0711R5LGX -/- Suicide by Democracy: an Obituary for America and the World (2018) ASIN B07CQVWV9C . (shrink)

The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or (...) the argumentation-text expressing it. Two such discourse-texts are said to have the same grammatical form, in this sense, if a uniform one-one substitution of content words transforms the one exactly into the other. The sentence ‘Abe properly respects every agent who respects himself’ may be regarded as having the same grammatical form as the sentence ‘Ben generously assists every patient who assists himself’. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

This paper tries to determine the philosophical nature of language, its functions, structure and content. It also explains the concept of natural language, ordinary and ideal language i.e. how there is a need of artificial perfect logical language without errors and unclearness in that language. This paper further shows the logical form of language with its syntactical, semantical, innate and acquired criteria for the evaluation of the languages. It deals with the analysis of (...) language to clear what is unclear, to know what is unknown, to make definite what is vague. In this paper I used the method; logical method for interpretation and argumentation, analytical method for simplification, and critical method to investigate the real domain of language. This paper does not deal with ordinary functions of the language but it deals with the conceptual and modular functions of the language. The fundamental aim of this written up is to determine the analytical approach of Wittgenstein to sketch the ‘language as a tool to discuss the state of affairs or facts of the worlds that is also what philosophy does. This paper describes the contributions of rationalism and empiricism in the field of knowing the truths of language. (shrink)

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the (...) language of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from (...) a logical point of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. -/- Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. -/- ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: -/- Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. -/- Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.] . (shrink)

The enigma of the Emergence of Natural Languages, coupled or not with the closely related problem of their Evolution is perceived today as one of the most important scientific problems. The purpose of the present study is actually to outline such a solution to our problem which is epistemologically consonant with the Big Bang solution of the problem of the Emergence of the Universe}. Such an outline, however, becomes articulable, understandable, and workable only in a drastically extended epistemic and scientific (...) oecumene, where known and habitual approaches to the problem, both theoretical and experimental, become distant, isolated, even if to some degree still hospitable conceptual and methodological islands. The guiding light of our inquiry will be Eugene Paul Wigner's metaphor of ``the unreasonable effectiveness of mathematics in natural sciences'', i.e., the steadily evolving before our eyes, since at least XVIIth century, ``the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics''. Kurt Goedel's incompleteness and undecidability theory will be our guardian discerner against logical fallacies of otherwise apparently plausible explanations. John Bell's ``unspeakableness'' and the commonplace counterintuitive character of quantum phenomena will be our encouragers. And the radical novelty of the introduced here and adapted to our purposes Big Bang epistemological paradigm will be an appropriate, even if probably shocking response to our equally shocking discovery in the oldest among well preserved linguistic fossils of perfect mathematical structures outdoing the best artifactual Assemblers. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics (...) from an ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a (...) certain level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of (...) class='Hi'>language is often paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about (...) the properties of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

In natural language, conditionals are frequently used for giving explanations. Thus the antecedent of a conditional is typically understood as being connected to, being relevant for, or providing evidential support for the conditional's consequent. This aspect has not been adequately mirrored by the logics that are usually offered for the reasoning with conditionals: neither in the logic of the material conditional or the strict conditional, nor in the plethora of logics for suppositional conditionals that have been produced over the (...) past 50 years. In this paper I survey some recent attempts to come to terms with the problem of encoding evidential support or relevance in the logic of conditionals. I present models in a qualitative-modal and in a quantitative-probabilistic setting. Focussing on some particular examples, I show that no perfect match between the two kinds of settings has been achieved yet. (shrink)

Critical examination of Alchourrón and Bulygin’s set-theoretic definition of normative system shows that deductive closure is not an inevitable property. Following von Wright’s conjecture that axioms of standard deontic logic describe perfection-properties of a norm-set, a translation algorithm from the modal to the set-theoretic language is introduced. The translations reveal that the plausibility of metanormative principles rests on different grounds. Using a methodological approach that distinguishes the actor roles in a norm governed interaction, it has been shown that metanormative (...) principles are directed second-order obligations and, in particular, that the requirement related to deductive closure is directed to the norm-applier role rather than to the norm-giver role. The approach has been applied to the case of pure derogation yielding a new result, namely, that an independence property is a perfection-property of a norm-set in view of possible derogation. This paper in a polemical way touches upon several points raised by Kristan in his recent paper. (shrink)

The Generalized Quantifiers Theory, I will argue, in the second half of last Century has led to an important rapprochement, relevant both in logic and in linguistics, between logical quantification theories and the semantic analysis of quantification in natural languages. In this paper I concisely illustrate the formal aspects and the theoretical implications of this rapprochement.

The programmatic statement put forward in von Wright's last works on deontic logic introduces the perspective of logical pragmatics, which has been formally explicated here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, (...) on the other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: -- the norm-giver ought to restore ``classical'' consistency by revising an inconsistent system, -- the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. Dialetheic deontic logic of Priest is a suitable logic for the purpose since it preserves other perfection properties of the system. (shrink)

This is not a perfect book, but it is unique, and if you skim the first 400 or so pages, the last 300 (of some 700) are a pretty good attempt to apply what's known about behavior to social changes in violence and manners over time. The basic topic is: how does our genetics control and limit social change? Surprisingly he fails to describe the nature of kin selection (inclusive fitness) which explains much of animal and human social life. (...) He also (like nearly everyone) lacks a clear framework for describing the logical structure of rationality (LSR—John Searle’s preferred term) which I prefer to call the Descriptive Psychology of Higher Order Thought (DPHOT). He should have said something about the many other ways of abusing and exploiting people and the planet, since these are now so much more severe as to render other forms of violence irrelevant. Extending the concept of violence to include the global long term consequences of replication of someone’s genes, and having a grasp of the nature of how evolution works (i.e., kin selection) will provide a very different perspective on history, current events, and how things are likely to go in the next few hundred years. One might start by noting that the decrease in physical violence over history has been matched (and made possible) by the constantly increasing merciless rape of the planet (i.e., by people's destruction of their own descendants future). Pinker (like most people most of the time) is often distracted by the superficialities of culture when it’s biology that matters. See my recent reviews of Wilson’s ‘The Social Conquest of Earth’ and Nowak and Highfield’s ‘SuperCooperators’ for a brief summary of the vacuity of altruism and the operation of kin selection and the uselessness and superficiality of describing behavior in cultural terms. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (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)

In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend (...) on several essential features: parsimony, accuracy, transparency, fertility and reliability. Because there is a partial antinomy between these traits, it is impossible to find a perfectly adequate variant of formalization. However, it is possible and preferable to reach a reasonable compromise by choosing the variant of formalization which satisfies all of these fundamental characteristics. (shrink)

A discussion of the relation of dialectical transitions in Hegel's speculative logic to changes in categories and grammar in the empirical historical languages.

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL (...) has helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and (...) the Problem of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

It is astonishing that we humans are able to have, act on and express moral beliefs. This dissertation aims to provide a better philosophical understanding of why and how this is possible especially when we assume metaethical expressivism. Metaethical expressivism is the combination of expressivism and noncognitivism. Expressivism is the view that the meaning of a sentence is explained by the mental state it is conventionally used to express. Noncognitivism is the view that the mental state expressed by a moral (...) sentence is a noncognitive, desire-like state. The central question of this dissertation is this: "How can metaethical expressivists explain that we are able to express moral beliefs?" The shortest answer this dissertation will give is the following: "by becoming `dispositional expressivists´." Dispositional expressivists hold that moral beliefs are dispositions to be in certain mental states that resemble desires. More precisely, a central thesis of this study is that to hold a moral belief is to be disposed to be in a desire-like, noncognitive state where this state has some specific structure. This dissertation arrives at and justifies this thesis by making a number of steps. It starts with preparing the ground by developing a general theory of what it is for a sentence to express a mental state. Roughly, this theory states that for a sentence to express a mental state is for that sentence to be conventionally used to perform a speech act which counts as sincere only if the user or speaker is in that mental state. This theory of expressing satisfies all the constraints that must be satisfied for it to be compatible with the purposes of metaethical expressivism. The next step is to provide a solution to the most notorious semantic problem confronting metaethical expressivism, the problem of explaining how sentences containing moral words can have compositional meaning and stand in logical relations also known as the Frege-Geach or embedding problem. Building on the research of Mark Schroeder, a new expressivist semantics, called `Attitude Semantics´, will be developed for a first-order language. The motivating idea underlying attitude semantics is that expressivists can avoid the problematic feature of so-called `biforcation´ if they treat the structures of the mental states expressed by moral sentences as well as that expressed by non-moral sentences as being isomorphic. In order to give those structures a philosophically interesting interpretation, it will be suggested that we treat sentences as expressing dispositional states. As a toy example we will treat the sentence `murder is wrong´ as expressing the disposition to be for blaming for murder. After dealing with the Frege-Geach problem, I turn to the metaethical expressivists' project of quasi-realism. Two major goals of this project are to explain how moral sentence can be truth-apt and how the states expressed by them can be regarded as moral beliefs. In order to establish those goals I critically examine a number of theories of truth-aptness by providing counterexamples to them. I then present my own theory which says that a sentence is truth-apt iff and because there is a conventional way to use it to express a belief. What is new about this theory is that it treats expressing a belief as being explanatorily more basic than being truth-apt. Belief, according to this theory, explains truth-aptness, not vice versa. This has the important consequence that it shows that what I call the `orthodox strategy´ of quasi-realists is mistaken and needs to be inverted: expressivists must `earn the right´ to moral belief before they can establish that moral sentences are truth-apt, and not the other way round. The second part of this dissertation is then concerned with the question of what it is to hold a moral belief and how they can figure in rational reasoning. In short: it is concerned with earning the right to moral belief. After discussing the major problems confronting a noncognitivist theory of belief, most importantly what I call the `tightrope problem´, I argue for a dispositional form of noncognitivism about moral belief that combines elements from Eric Schwitzgebel's dispositionalism about belief and Sebastian Köhler's `conceptual role expressivism´. This dispositional noncognitivism perfectly matches and justifies the dispositionalist interpretation of the expressivist semantics developed before. In order to fully earn the right to moral belief, however, metaethical expressivists must also deal with several epistemological objections concerning the rationality of moral belief. The first objection I deal with comes from Derek Baker and is directed against Mark Schroeder's specific development of expressivism. I deal with this objection because my own theory bears close resemblance to Schroeder's theory and so it might be worried that it confronts the same issues. Fortunately, we will see that Baker's objection rest on a number of mistaken assumptions and so neither applies to Schroeder's expressivism nor to the version which I defend in this study. The other epistemological objection to metaethical expressivism I deal with is Cian Dorr's famous wishful-thinking objection. In contrast to previous replies to this objection I attack it by directly questioning the central assumption on which it rests, namely that reasoners can never be justified in basing a factual belief on a desire-like state. I argue that this is false, and that under certain conditions reasoning from desire-like mental states to factual beliefs is justified. My argument shows that even if holding a moral belief is being in a desire-like noncognitive state, basing factual belief on a moral belief can give one an epistemic reason for the factual belief. Hence, even if moral thoughts are wishes, moral thinking is not wishful thinking. I take my arguments to earn the dispositional expressivist the right to moral belief. By the previously defended theory of truth-aptness in terms of belief, this allows the dispositional expressivists to conclude that moral sentences are also truth-apt. This finishes the quasi-realist project of this dissertation. In the last part of this dissertation I switch gears and present two unnoted problems for metaethical expressivists having to do with explaining moral motivation. Both arguments are surprisingly simple. The first one is this: if motivation requires a belief as well as a desire (Humeanism), and moral judgments motivate by themselves (internalism), then moral judgments cannot be desires only. If this argument is sound, it shows that the famous `motivation argument´ not only entails the falsity of cognitivism, but also the falsity of noncognitivism. The second argument is the following: moral judgments when combined with suitable external desires motivate to act (externalism), but if motivation requires belief as well as desire (Humeanism), then moral judgments cannot be desires only. I discuss several ways in which noncognitivists might want to deal with those problems, but leave it as an open question whether those solutions will ultimately be viable. Overall, this dissertation makes serious contributions to the research program of metaethical expressivism. It makes proposals for how to solve a number of notorious problems, such as the Frege-Geach problem in semantics and the wishful-thinking problem in epistemology. Besides this, however, it also raises two new problems for metaethical expressivism in the philosophy of action. For those reasons this dissertation will be of interest for anyone who wants to defend or criticize expressivism in metaethics, and more generally, anyone who wants to better understand our astonishing ability to express moral beliefs. (shrink)

This is a review of Quantifiers, Logic, and Language, edited by Jaap van der Does and Jan van Eijk, published by CSLI (Center for the Study of Language and Information) Publications, Stanford, CA, in 1996.

Erik Wielenberg [2014] and Mark Murphy [2017], [2018] have defended a series of arguments for the conclusion that creatures are not good intrinsically. In response, I take two steps. First, I introduce a conception of intrinsic value that makes created intrinsic value unproblematic. Second, I respond to their arguments in turn. The first argument is from the sovereignty-aseity intuition and an analysis of intrinsicality that makes derivative good extrinsic. I challenge the analysis. The second comes from a conception of perfection (...) where God exhausts all possibilities for goodness. I challenge this conception. The third comes from the contingency of creation and the internal logic of intrinsic value. I challenge the assumption that connects the two. I then present an argument from reference magnetism that the only conception of God, God's perfections, and religious language that makes it plausible that the sentence "God is intrinsically good and creatures are not" is true involves a strongly univocalist position. A view that is either unstatable or places strong demands on our conception of God, God's perfections and religious language thereby loses plausibility. (shrink)

There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.

A work on the philosophy of mathematics (2017) -/- ‘Number’, such a simple idea, and yet it fascinated and absorbed the greatest proportion of human geniuses over centuries, not to mention the likes of Pythagoras, Euclid, Newton, Leibniz, Descartes and countless maths giants like Euler, Gauss and Hilbert, etc.. Einstein thought of pure maths as the poetry of logical ideas, the exactitude of which, although independent of experience, strangely seems to benefit the study of the objects of reality. And, interestingly (...) as well as surprisingly we are nowhere near any clear understandings of numbers despite discoveries of many productive usages of numbers. This is - rightly or wrongly - a humble attempt to approach the subject from an angle hitherto unthought-of. (shrink)

A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this paper. (...) The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (shrink)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality(mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. (...) The basic problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and new dual systems nomenclature. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are (...) clear. The basic problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and dual systems nomenclature. (shrink)

Manfred Eigen employs the terms language and communication to explain key recombination processes of DNA as well as to explain the self-organization of human language and communication: Life processes as well as language and communication processes are governed by the logic of a molecular syntax, which is the exact depiction of a principally formalizable reality. The author of the present contribution demonstrates that this view of Manfred Eigen’s cannot be sufficiently substantiated and that it must be supplemented (...) by an approach based on linguistic pragmatics. (shrink)

In this essay I argue that art is able to open a new window on to reality only when art can transcend reason and the confines of language. Moreover, both logic and language have their limitations when used as tools for the creation of meaning and that art helps us overcome these inadequacies in the way it transcends — or even transgresses — the absolutes that underpin our “rational” view of the world. Lastly, the violation of the strictures (...) of logic by art is also emblematic of art’s heightened awareness of certain unique features of reality — in particular, its dynamic and fluid nature — which are not normally readily visible to a mind tied to thinking in terms only of binary truth values. (shrink)

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and (...) existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

This paper weaves together a number of separate strands each relating to an aspect of Wittgenstein’s Philosophical Investigations. The first strand introduces his radical and incoherent idea of a private object. Wittgenstein in § 258 and related passages is not investigating a perfectly ordinary notion of first person privacy; but his critics have treated his question, whether a private language is possible, solely in terms of their quite separate question of how our ordinary sensation terms can be understood, in (...) a philosophical context, to acquire meaning. Yet it is no part of his intention to demonstrate logically that ordinary sensations are not intrinsically meaningful. This is a tempting yet misleading picture, the picture also expressed through the idea of Augustine’s child who is conceptually articulateprior to learning how to talk. This picture lies behind the born Crusoe, an idea at the centre of the dichotomy between language as essentially shared and essentially shareable, a dichotomy considered here to result from a misconception of two quite separate but related aspects of Wittgenstein’s treatment offollowing a rule. The notion of a misleading picture, in both its pre-theoretical and philosophical aspects, also plays a crucial role in a treatment of Saul Kripke’s well-known “Postscript: Wittgenstein and Other Minds.”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 42.2 (2004) 219-220 [Access article in PDF] Jack Zupko. John Buridan: Portrait of a Fourteenth-Century Arts Master. Notre Dame: University of Notre Dame Press, 2003. Pp. xix + 446. Cloth, $70.00. Paper, $40.00. What does the name "John Buridan" call to mind? For many, including medievalists, not much at all—at best, perhaps, a set of apparently unrelated ideas: nominalism; an impetus theory of (...) projectile motion; and a peculiar account of the will (although "Buridan's ass," the indecisive donkey caught between two equally appetizing bales of hay, is not found in Buridan's writing). In correcting this ignorance—an injustice to arguably the most famous and influential philosopher of the early-to-mid-fourteenth century—the temptation might have been to articulate Buridan's "positions" on "the big questions," allowing readers to fit Buridan into received categories. Thankfully, the present work, the first book-length study of Buridan in any language, resists this temptation. The John Buridan that emerges from Jack Zupko's skillful "exercise in philosophical portraiture" doesn't serve to simply fill gaps in our awareness of the historical record, but to enlighten and challenge our understanding of the practice of philosophy and the study of its history.Zupko emphasizes throughout that Buridan was a teacher, a master of arts in Paris. Buridan's pedagogical concerns help make sense of his central work in logic. As the basis for his arts lectures, Buridan chose Peter of Spain's Summulae Logicales, but in commenting on Peter, Buridan moves beyond creative exegisis to comprehensive renovation. Buridan (c. 1300-c. 1361) naturally wanted to accommodate terminist or via moderna supposition theory; but more importantly, he wanted a logic text that would set out a general plan of philosophical inquiry, "a compendium of methods, a 'how-to' book for the philosopher" (135). Buridan thus designed his own Summulae de Dialectica as a new authoritative logic text, and Zupko persuasively argues that its "nominalism" should be understood as less a set of doctrines in theoretical logic, than a program of logical practice, an education in logic as the ars artium, the universal intellectual tool.Zupko's portrait of "Buridan's vision of the philosophical enterprise" is thus appropriately divided into two parts. The first summarizes Buridan's method as described in the individual treatises of his Summulae. The second displays the method in practice, rehearsing and evaluating some of Buridan's arguments on various subjects. Many scholars will gravitate first to the latter part, where Zupko offers important interpretations and clarifications of Buridan's views. In these chapters, Zupko helps us to appreciate, among other things: how the problem of universals served to help Buridan define the scope of philosophy (ch. 10); the philosophical modesty of Buridan's account of the intellectual soul's presence in the body (ch. 11); the relationship between Buridan's epistemology and the skepticism of his Parisian contemporary Nicholas of Autrecourt (ch. 12); the sense in which Buridan is an "empiricist," viz an epistemic naturalist and reliabilist (ch. 13); how Buridan regarded moral psychology as applied physics, treating virtue as a kind of impetus (ch. 14); how Buridan's account of freedom can be regarded as a "perfection" of Thomistic intellectualism (ch. 15).Throughout these discussions, Zupko always keeps in sight his larger purpose of illustrating Buridan's conception of philosophical inquiry. Zupko makes much of the fact that [End Page 219] Buridan never wrote as a theologian, remaining his entire career in the arts faculty, where he wanted logic to organize secular inquiry. As Zupko notes, in this way Buridan's scholastic project seems to prefigure the "modern." But Buridan seems modern in another way as well. As Zupko points out in his "Introduction," though a cleric, Buridan never joined a religious order, so that his ideas developed independently of the Franciscan and Dominican traditions. He was, then, a teacher without a tradition—at least without deliberate allegiance to tradition, although he was in many ways the product of traditional scholastic intellectual discipline.Perhaps this... (shrink)

Do other earthly forms of life evolved to the level of intelligent life? Cancer and resistance to antibiotics obliged to ask this question. Signs of intelligence are found at its simplest levels. We try to see if logic is used at these levels. Peter of Spain’s suppositio materialis is applied to the chemical signals of cells. Dynamic Logic is used to understand these chemical communications. <System of communications> is used, instead of “language”. The development of life appears as the (...) development of an axiomatic system. The rights of unborn humans and God’s rights over His own creation appear as the most powerful arguments for conservationism. (shrink)

The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: (...) token-level and type-level. As such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication. (shrink)

I provide a critical survey of some of the major findings of Wittgenstein and Searle on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are (...) clear. The basic problem is that one can say anything but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. I begin with ‘On Certainty’ and continue the analysis of recent writings by and about them from the perspective of the two systems of thought, employing a new table of intentionality and new dual systems nomenclature. (shrink)

The Shadow of God in the Philosopher’s Garden. The Parc de La Villette in Paris in the context of the philosophy of chôra I Bernard Tschumi’s project of the Parc de La Villette could have won the competition and was implemented thanks to the political atmosphere that accompanied the victory of the left-wing candidate in the French presidential elections in 1981. François Mitterand’s revision of the political programme and the replacement of radical reforms with the construction of prestigious architectural objects (...) and urban assumptions in the French capital gave Tschumi a unique opportunity to realise ideas that polemicised with traditional forms of social life, questioned the basic principles of architecture and included architectural work in the philosophical disputes over the issues of metaphysics. Tschumi’s theoretical assumptions put forward during the design of the Parc de La Villette highlighted the questions of conflict between the main components of the project and suggested that the intensification of differences was analogous to Jacques Derrida’s creation of the concept of différance. It was this philosopher who in a special commentary to Derrida’s project also introduced the concept of maintenant, which aimed at demonstrating that the architect’s polemical inclinations remain in a hidden balance with his inclinations to affirmation of architectural principles. During the discussion between Derrida and Peter Eisenman, who was to take part in the design of the Parisian park, the concept of the chôra was also put forward, which in the course of the debate led to an additional confusion of architectural and philosophical problems. II In the period from the Antiquity to the Renaissance, the dialogue Timaeus was the most frequently commented work of Plato. At present, the most frequently discussed is the issue of the chôra included in it, which aroused fascination among philosophers, researchers of rhetoric, religion, feminism, but also architecture. The work on the chôra also influenced the development of the interpretation of the Parc de La Villette, among which the topics related to the beginning and the change were highlighted. In early uses of the word chôra in Greek, as in Homer’s 18th Book of Iliad, it meant both dancing and a place to dance. On this occasion, it can be seen that it is not possible to determine which phenomenon took precedence in the creation of the name. It cannot be denied, however, that the word concerned a specific movement, as if circular and returning to an indefinable beginning. Despite gaining more and more general meanings, the word chôra has retained its connection with the dance of people on the threshing floor, the dance of bees (choros meliton) or the dance of stars (choros astron). In Timaeus, the chôra is a space filled with movement with an effect similar to shaking the sieve to husk the grain: it separates similar elements from the dissimilar ones. The juxtaposition of the Parc de La Villette and the chôra already at this stage leads to the suggestion that the park was treated by the architect as a place of dynamic changes leading to the establishment of new social solutions. In his statements, the architect confirmed that the park was to be a space of new politics and ethics. The book by Julia Kristeva La Révolution du langage poétique contributed to the spread of the belief that works of art can play a role as factors of political revolution. In this work, the author put forward the thesis that the chôra is a kind of space, the character of which has a destructive influence on attempts to conclude language games. The chôra gives beginning to words, but at the same time, by leaving a trace of this beginning it forces us to renew their meanings. The chôra understood in this way, turns out to be an irremovable beginning, to which one has to return all the time. Kristeva found manifestations of the chôra’s activity in avant-garde French poetry, to which she attributed the role of a mediator between criticism of metaphysics and aspirations for social change. The chôra, violating the language, introduces some voids into it, as if traces of the abyss, which direct the consciousness towards understanding the necessity of political changes. The Parc de La Villette was to pursue similar objectives in the city space. In his essays, Tschumi considered the problems of creating spaces that would give rise to a radical democracy. The proposed rebellious spaces should have the characteristics of a void, in which contradictory forces would occur as forms of pure activity. The means of achieving this goal was to concentrate contradictions and make them visible. The Parc de La Villette was supposed to collect differences as indelible and at the same time by showing them it was supposed to raise awareness of the social world as a conglomerate of differences. Saturation of the space of the park with subversive values results from the character of this space suppressed in the consciousness, as well as from the social diversity which has not been taken into account so far. The main contradictions contained in space relate to the division that exists between its presentation as a mental problem and a sensual one. The park was the deliberate creation of a place that transcends such a division and creates a separate space for negotiation between architectural theories and its practical applications. The purpose of the park was to become a place of future events, which would not hide their conflicting character coming from diversity of both space and society. The method of composition usually aimed at achieving a harmonious whole has been replaced by Tschumi with a system of juxtaposition of non-coherent elements or those resulting from variations and transformations. Tschumi did not seek direct influence on politics in the Parc de La Villette, but made room for thinking about the possibilities of the future. He introduced problems rather than showed solutions to them. The task of the park was to put the principles of architecture into a kind of vibration that would inspire users to participate in the new community. III Tschumi believes that the quality of architecture depends on the theoretical factor it contains. Such a view led to the creation of architecture that would achieve visibility and comprehensibility only after its interpretation. On his way to creating such an architecture he took on a purely philosophical reflection on the basic building block of architecture, which is space. In 1975, he wrote an essay entitled Questions of Space, in which he included several dozen questions about the nature of space. The questions he formulated could be regarded as analogous to the situation in the philosophy of the time, in which the interest in questioning the most obvious forms of understanding the world and intellectual categories increased. The research on space is an area common to many fields of natural sciences, humanities and artistic creation, but it also deals with other problems, such as issues of experience. The concept of space-time continuum proposed by Hermann Minkowski drew attention to the identity of time and space with the events taking place. Probably regardless of the postulates of physicists commenting on Albert Einstein’s discoveries, also in philosophy it increased the importance of the concept of the event which became dominant in Martin Heidegger’s latest work Contributions of Philosophy: Of the event. Furthermore, Tschumi’s reflections on space entered into relation with the problem of experience, which aroused the interest of a group of French philosophers trying to assimilate Georges Bataille’s concept of “inner experience”. Both Tschumi and Derrida referred to Bataille because his views could be used not only to modify the concept of the subject, but also to change the understanding of what constitutes the area of architecture. The discussion on experience has led to the recognition that the subject is not sovereign, but actually a form of what is on their outside. Such insights make it possible to treat the area of the Parc de La Villette as existing mainly when it is organised by its users. The decisive features of the park are its assumptions, according to which it is a variety of active void that leads to agreeing new social relations with it. The park does not force to participate in already existing moral or political communities, but tries to move into an unknown future in which the scope of free functioning of individuals will be increased. Doubts about the principles of functioning of the individual self and its discovery as a whole composed of non-coherent parts, as well as its dependence on its own depth full of disordered forces, influenced the understanding of architecture as a set of contradictions whose source is a fundamental void anticipating the empty phenomenal space. The use of this phenomenal void in architecture, as well as the rejection of the whole and unity, had a specific political purpose and drew its inspiration from political analyses. In the Parc de La Villette, metaphysics and politics were brought closer together because the philosophy of void was used to create new conditions for community action. It can be argued that the source of this philosophy was the perception of errors in existing societies dependent on the shortcomings of traditional metaphysics. Spacing (espacement) was one of the key terms in Derrida’s philosophy, which was also combined with the concepts of différance and chôra. The study of the nature of space, especially its transition from the level of pure possibility to the level of sensual phenomenon, also contributes to understanding how well designed space can have an impact on its audience. This explanation is based on Tschumi’s assumption that the space of the Parc de La Villette contradicts the integrating approaches and instead exposes contradictions, but it does so in a way that combines incompatible properties into a single piece of architecture. The specificity of such integration is similar to the invention of a musical phrase, which is an ideological message: moral and political. Such a thesis may raise doubts, however, if both the clearly adopted assumptions and those deduced from the work allow for their logically ordered presentation then to a limited extent it may be assumed that the work has achieved a connection between a specific philosophy of space and its practical application. Derrida combined the problem of spatiality with the problem of transcendental imagination in the philosophy of Immanuel Kant, who in the first version of Critique of Pure Reason assumed that pure imagination precedes the appearance of time and space, even in their transcendental forms. The imagination in such a situation can be described as a factor activating time and space, which indicates what function is played by movement in this activity. This leads us to recognize that the ultra originary source of pure forms of sensual intuition is movement, which in early Greek philosophy was identified with void and its lack of resistance to phenomena occurring in it. Derrida’s philosophy in search of a certain super-transcendental source of time and space pointed to différance which, like void or the chôra, does not have material features or even any other form of being. Différance is the primary cause of the disruption of motionlessness and the introduction of activity into motionless time and space, thus its activity can be described as spacing (espacement). Derrida’s discoveries in this respect are not entirely original, because Georg Wilhelm Friedrich Hegel already pointed out when examining the present that it is primarily a differential relation (differente Beziehung), which, being seemingly neutral, influences the present with supernatural force and makes it unidentifiable with itself. Differente Beziehung must similarly influence the originary space, negating its initial character by multiplying its divisions and expanding its boundaries. Différance acts by revealing contradictions wherever there is apparent undifferentiation. Tschumi, composing the Parc de La Villette as a variety of void and a set of incompatible layers, followed the rules of différance or the chôra: he made void visible together with its saturation with contradictions. If space can be considered to be the result of the activity of difference, such activity has a certain regularity, which influences the behaviour of its observers. Differences or contradictions fall into a certain rhythm, which can be considered a manifestation of transcendent order. The problem is that what can be considered the source of such order, namely the logos or God, is partly disorder and error. According to descriptions contained in Timaeus, the world is a combination of forces that drive to order with forces of erroneous necessity that resounds in every order and forces it to return to disorder. Derrida denied the possibility of understanding différance as a theological value, even if it were a negative or apophatic theology, but no categorical denial could be perfect. The assumption that différance or the chôra are not endowed with any substance properties cannot deny their activity, and thus a certain force. Already since Democritus, philosophy has multiplied the names of such a force and the contradictory variety of its manifestations, never forgetting also the necessity for reason to withdraw from the possibility of giving its correct characteristics. Such a withdrawal may be interpreted as an expression of respect and, in certain situations, as a cult of the force that precedes reasonableness. The Parc de La Villette, which is an artistic divagation about the contradictions and forces behind them, can be considered as a place of their sublimation, and therefore as a variation of the temple of what differs from order and disorder. IV In the texts that presented the theoretical assumptions of the Parc de La Villette, Tschumi used a large number of terms that contradicted not only the traditional principles of composing architecture, but also negated the rules of social order and the foundations of Western metaphysics. Tschumi’s statements, which are a continuation of his leftist political fascinations from the May 1968 revolution, as well as his interest in the philosophy of French poststructuralism and his collaboration with Derrida, prove that terms such as “disruption”, “dissociation”, “disfunction”, “disjunction” and “dispersion” not only referred to architectural problems but also applied to political criticism and the deepest foundations of thinking itself. His collaboration with Derrida manifested itself primarily in the publication La Case Vide: La Villette 1985, in which the architect’s design drawings and texts explaining his concepts related to the Parc de La Villette were accompanied by an extensive essay by Derrida, which included theoretical problems taken up by Tschumi in a philosophical context. Architectural and philosophical issues were also combined during seven discussion meetings organised by Eisenman, invited by Tschumi to collaborate on the design of the Parc de La Villette. Eisenman, who, like Tschumi, invited Derrida to participate in the design of the park and also led to the publication of Chora L Works: Jacques Derrida and Peter Eisenman, in which his ideas were confronted with Derrida’s philosophical text. In this case, Derrida’s essay was not a direct commentary on the architect’s concepts, but rather a reflection on the question of the chôra presented by Plato in Timaeus. During the discussion and in his essay, Derrida pointed out that the chôra is a component of the created world, yet it does not belong to it, but precedes it. The originality of the chôra is so radical that she also precedes all the factors of creating the world, including ideas and the Demiurge. Thus athesis appeared in the metaphysics of the West that the chôra is a form of active abyss, in relation to which all beings are secondary, both those perfect (as ideas or God) and those created, such as the world, things, people or language. This leads to the conclusion that the chôra does not exist, because all existence is a derivative of the chôra. Nor could the chôra be described, since it is a form of developing a space that is preceded by a lack of space characteristic of the chôra. Derrida intended the chôra to be an instance with an exceptional degree of transcendentalism, an anti-metaphysical instance, but also an a-theological one. However, this attempt failed, both in the field of secular philosophy and in the field of theology. Derrida’s characteristics of the chôra to strengthen its transcendentalism and negation of metaphysics had to be expressed in a language that immediately produces new concepts and a new metaphysics that reproduces the categories of the beginning, the origin or the foundation known from earlier philosophical traditions. All forms of criticism of metaphysics are also inspired by negative, apophatic and mystical theology. The undermining of many concepts of permanent meaning and the introduction of new concepts of unstable meaning, characteristic of the philosophy of deconstruction, had many features of originality, but it was directed towards problems whose solutions repeat, with the use of new vocabulary, the findings known in culture since Democritus. Thus, if apophatic philosophy can be regarded as deconstruction avant la lettre, then deconstruction itself in its late versions began to take on the features of a new religion. The exchange of inspiration between theology and deconstruction was manifested in a series of scientific conferences and publications in which Derrida’s philosophical concepts were interpreted within the scope of religious thought. Theological threads began to be found in such concepts of deconstruction as différance or the chôra, while at the same time Derrida himself undertook in his philosophy to study problems such as the Other (L’Autre) or the Impossible (Impossible), which belonged to newer theological traditions. As a consequence of the new problems, the deconstruction became closer to the features of a new religion. Philosophy, at least from Kant’s time, has tried to create a system that would take over from religion the tasks of setting moral and political goals. Similarly, Derrida has directed his interest towards the problems of democracy and ethics, which would enable their renewal. Attempts to create a new religion (cleared of old metaphors), a new community or a new democracy bring problems and threats which may be no less troublesome than the previous systems. All promises of freedom carry with them threats, the greater the more they strive for perfection. The renewal of existential orders, sometimes carried out by means of violent changes, is a certain repetitive feature of human cultures. Deep changes, however, do not protect against the return of both old gods and old demons. Tschumi and Derrida were shaped in their youth by the atmosphere of leftist rebellion against the moral and political limitations of ossified communities and the imperfections of democracy. The ethical theme distinguishes many of their works, including the Parc de La Villette. The opposition to the metaphysical traditions of philosophy and architecture contained in this park was prompted by specific political situations and resulted from bringing political issues to the level of philosophical considerations. Achievements made at the level of pure concepts were then subject to elevation, to a kind of sacralization, which made them religious concepts. The deconstruction reached for the status of the new religion especially when it found its followers and began to generate moral obligations. In the new situation, terms such as the chôra, l’Autre or the Impossible were absolutized and in relation to them a cult and attitude of adoration emerged. The Parc de La Villtette then gained new post-secular meanings, which allow it to be assigned the function of a Temple of Otherness (L’Autre) and Impossible. V In the traditional sense, a work of art creates an illustration of the outside world, or of a certain text or doctrine. Sometimes it is considered that such an illustration is not literal, but is an interpretation of what is visible, or an interpretation of a certain literary or ideological message. It can also be assumed that a work of art creates its own visual world, a separate story or a separate philosophical statement. Parc de La Villette represents the last of these possibilities: it is a philosophical statement that develops the premises derived from poststructuralist philosophies and the philosophy of deconstruction. The uniqueness of its being status, however, is that it does so not only at the level of the theoretical assumptions, but also through its functioning as an active philosophical work. This means that a park is a happening philosophy. Its activity, however, does not refer only to the present tense, but is also an attempt to penetrate the future, all otherness and impossibility. This kind of activity assumes that the work, in a sense, does not yet fully exist, but is also still produced in the processes of its interpretation. The theoretical foundations of the park included texts by Tschumi, in which he questioned traditional ways of creating a work of architecture, postulating in return the use of a long series of negations, which were comparable to the crisis of metaphysics characteristic of contemporary philosophy. It is therefore no coincidence that the publication containing Tschumi’s theoretical text on Parc de La Villette was accompanied by an essay by Derrida developing some of the architect’s concepts. The next step in integrating philosophy into the process of park design was a series of discussions between Eisenman and Derrida, who completely moved the creation of the park into the world of thoughts, without accentuating the need for their realization in the material reality. The main topic of these discussions was the problem of the chôra, which was taken up by later commentators and used to interpret the park as a work in which the philosophy of the beginning is manifested relating to issues of politics, morality and religion. The park was therefore interpreted as a space of invention within the scope of creating new rules of functioning of the community and democracy. Thinking about the political future may, however, exceed the horizon of ordinary expectations. Although philosophical thought is always connected with contemporary problems and metaphysics sometimes intertwines with current politics, yet at the same time the customs of philosophy also include crossing horizons and thinking about absolute otherness and impossibility. Initially, the chôra, différance, absolute otherness (tout autre) and the Impossible were concepts of pure philosophy of atheistic character, but with the further development of the discussion, more and more theological motifs began to emerge. One of the reasons for this phenomenon was the fact that radical negations of all being, which were contemplated in contemporary philosophy (by Heidegger and Derrida, among others), had previously been manifested in negative and apophatic theologies (by Master Eckhart, among others).Also the category of the “Other”, taken from Emmanuel Levinas, was clearly connected with the thought about God. A further reason for connecting the chôra with the theological thought was the interest in the philosophy of deconstruction expressed by some theologians. John Caputo in particular managed to persuade Derrida to participate in discussions on the current status of religion. In the late period of Derrida’s writing, further statements on religious topics appeared. All these reasons led to posing a question about the identity of the chôra and God. Although there were no satisfactory conclusions on this issue, the discussion was also important to create an interpretation of the park as a place of worship. The chôra, representing, according to Plato, the preoriginal emptiness is the place of every beginning, but it turns out that it is not neutral to the being created in it. The chôra deposits itself in every being as an irremovable beginning that interferes with its stability. The chôra, therefore, forces us into a palintropical movement, but it also turns out to be a pure compulsion, an erring necessity and a fundamental force from which, in the human perception, motifs useful to the individual and to the community are extracted. All definitions of this force, including its anthropomorphisation, are formulated in such a way that they allow for building private and collective morality upon them. Such definitions are changed depending on variable political situations. It is difficult to determine whether in the processes of changes in the formulation of “God’s names” any essential value is retained, which is not subject to change. The current definitions of the chôra (God?), which can be found, for example, in the philosophy of Caputo, stress that she is a combination of various and contradictory forces. This characteristic inherits much of Plato’s concept, reminds us of Master Eckhart’s views on Gottheit and, at the same time, is not unfamiliar to Tschumi, whose essays were an apologia of contradictions. The current concept of chôra, transferred into the sphere of politics, is the praise of social diversity and the protection of the difference from the forces of order. In the Parc de La Villette, the future community and democracy were elevated as a system of safe existence of individuals in all their singularity. The park is a temple of a future community in which individual beings have nothing in common. (shrink)

This is the trial lecture for Anjum's doctoral defence in 2005 at University of Tromsø.

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types (...) – classes of tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

Due to their acceptance of the verifiability principle, the only way left for logical positivists to argue for the meaningfulness of religious language was to accept some sort of emotivistic conception of it or to reduce it to the description of religious attitude. The verifiability principle, however, suffers from some severe limitations that make it inadequate as a criterion for cognitive meaning. To resolve these problems, logical positivists gave up the requirement of conclusive verifiability and defended a sort of (...) ‘liberalization’ of the verifiability principle. Carnap’s confirmability criterion for cognitive meaning, which is a liberalized form of the verifiability principle, is compatible with an orthodox conception of religious language since, from a theistic perspective, the existence of God can be confirmed through our observational statements. (shrink)

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. (...) In this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

This thesis discusses some central aspects of Wittgenstein's conception of language and logic in his Tractatus Logico-Philosophicus and brings them into relation with the philosophies of Frege and Russell. The main contention is that a fruitful way of understanding the Tractatus is to see it as responding to tensions in Frege's conception of logic and Russell's theory of judgement. In the thesis the philosophy of the Tractatus is presented as developing from these two strands of criticism and thus as (...) the culmination of the philosophy of logic and language developed in the early analytic period. Part one examines relevant features of Frege's philosophy of logic. Besides shedding light on Frege's philosophy in its own right, it aims at preparing the ground for a discussion of those aspects of the Tractatus' conception of logic which derive from Wittgenstein's critical response to Frege. Part two first presents Russell's early view on truth and judgement, before considering several variants of the multiple relation theory of judgement, devised in opposition to it. Part three discusses the development of Wittgenstein's conception of language and logic, beginning with Wittgenstein's criticism of the multiple relation theory and his early theory of sense, seen as containing the seeds of the picture theory of propositions presented in the Tractatus. I then consider the relation between Wittgenstein's pictorial conception of language and his conception of logic, arguing that Wittgenstein's understanding of sense in terms of bipolarity grounds his view of logical complexity and of the essence of logic as a whole. This view, I show, is free from the internal tensions that affect Frege's understanding of the nature of logic. (shrink)

This paper investigates Wittgenstein’s account of the relation between elementary and molecular propositions (and thus, also, the propositions of logic) in the Tractatus Logico-Philosophicus. I start by sketching a natural reading of that relation – which I call the “bipartite reading” – holding that the Tractatus gives an account of elementary propositions, based on the so-called picture theory, and a different account of molecular ones, based on the principle of truth- functionality. I then show that such a reading cannot be (...) attributed to Wittgenstein, because he holds the view that an explanation of logical complexity is already given by a correct account of the (pictorial) nature of elementary propositions; this is implied in his claim that “an elementary proposition contains all logical constants/operations in itself”. After clarifying Wittgenstein’s notion of an operation from the Notes on Logic to the Tractatus, I finally explain why Wittgenstein claims that an elementary proposition contains all logical operations in itself, and hence why he can be said to provide a unified (and thus not bipartite) account of language and logic. (shrink)

This book explores the idea that all of logic can be reduced to two very simple rules that are sensitive to logical polarity. The authors show that this idea has profound consequences for our understanding of the nature of human inferential capacities, and for some of the key issues in contemporary linguistics.

In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.

Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.

In the present version of these lecture notes only a number of typos and a few glaring mistakes have been corrected. Thanks to Paul Dekker for his help in this respect. No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).