The austere view of nonsense says that the source of nonsense is not a violation of the rules of logical syntax, but nonsense is always due to a lack of meaning in one of the components of a sentence. In other words, the necessary and sufficient condition for nonsensicality is that no meaning has been assigned to a constituent in a sentence. The austere conception is the key ingredient of the resolute reading of Tractatus Logico-Philosophicus that presents (...) a therapeutical interpretation of the work, and rejects a possibility of conveying some ineffable truths by means of nonsensical sentences. In this paper, I defend the austere view against the most important objections. Firstly, I discuss textual sources for ascribing to Wittgenstein the austere view that have not been sufficiently thoroughly discussed yet. Next, I indicate that the apparent occurrence of words out of the context of a sentence on lists of verbs and in definitions is not in conflict with the version of the context principle recommended by austere theorists, since this argument does not sufficiently take into account the distinction between sign and symbol. Furthermore, I argue that the austere conception and the principle of compositionality are jointly tenable, for the former view does not exclude the existence of syntactic and semantic rules, but only shows that they are recognizable conditionally. Finally, I indicate that the austere view of nonsense should be seen as a viable option by a contemporary theorist of nonsense, for it helps us to avoid making controversial assumptions about the nature of meaning and content. (shrink)

This chapter examines the ways in which French philosopher Gilles Deleuze offers conceptual resources for an enactive account of language, in particular his extensive consideration of language in The Logic of Sense. Specifically, Deleuze’s distinction between the nonsense of Lewis Carroll’s portmanteau creations and that of Antonin Artaud’s “transla- tion” of Carroll’s Jabberwocky highlights the need for an enactive, rather than merely embodied, approach to sense-making, particularly with regard to the general category of what Jakobson and Halle (1956) call (...) “sound symbolism”. (shrink)

Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; (...) on our way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger. (shrink)

Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; and (...) (iii) that it is hybrid, insofar as it includes both left and right operational introduction as well as elimination rules. (shrink)

This article argues that Nietzsche’s transvaluation project refers not to a mere inversion or negation of a set of nihilism-prone, Judeo-Christian values but, instead, to a different conception of what a value is and how it functions. Traditional values function within a standard logical framework and claim legitimacy and “bindingness” based on exogenous authority with absolute extension. Nietzsche regards this framework as unnecessarily reductive in its attempted exclusion of contradiction and real opposition among competing values. I propose a nonstandard, dialetheic (...) model of valuation that requires a value to be both true and false as well as neither true nor false.In our Europe, life is no longer quite so uncertain, contingent, nonsensical. [...] The power man has achieved now allows a reduction of those means of discipline of which the moral interpretation was the strongest.— KSA 12:5[71]The logic of our conscious thinking is only a crude and facilitated form of the thinking needed by our organism [...] A simultaneity-thinking [ein Zugleichdenken], for example, is needed of which we have hardly an inkling. [...] We are still growing continually, our sense of time and place, etc., is still developing.— KSA 11:34[124]. (shrink)

What is the concept of sense developed by Deleuze in his 1969 Logic of Sense? This paper attempts to answer this question analysing the three dimensions of language that Deleuze isolates: the primary order of noises and intensities ; the secondary order of sense ; and the tertiary organisation of propositions. What renders language possible is that which separates sounds from bodies and organises them into propositions, freeing them for the expressive function. Deleuze argues that it is the dimension of (...) sense that brings about this genesis of language, and he analyses in detail the three syntheses that bring about the production of this surface of sense. Yet Deleuze also distinguishes between two types of non-sense: the nonsense of Lewis Carroll's portmanteau words, which remain ensconced in the dimension of sense, and the more profound nonsense of Antonin Artaud's psychotic scream-breaths, which penetrate the almost unbearable world of the primary order of noise and intensities. In the end, the focus of Logic of Sense is less the surface domain of sense than the primary depth of corporeal intensities. What Deleuze calls a ‘minor’ use of language is nothing other than an intensive use of language that constitutes a principle of metamorphosis. (shrink)

Many philosophers suppose that sometimes we think we are saying or thinking something meaningful when in fact we’re not saying or thinking anything at all: we are producing nonsense. But what is nonsense? An account of nonsense must, I argue, meet two constraints. The first constraint requires that nonsense can be rationally engaged with, not just mentioned. In particular, we can reason with nonsense and use it within that-clauses. An account which fails to meet this (...) constraint cannot explain why nonsense appears meaningful. The second constraint requires that nonsense does not express thoughts. An account which fails to meet this constraint undercuts the critical force of the concept of nonsense. I offer an account which meets both constraints. The central idea is that to be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. (shrink)

This article develops a logical (or semantic) response to scepticism about the existence of an external world. Specifically, it is argued that any doubt about the existence of an external world can be proved to be false, but whatever appears to be doubt about the existence of an external world that _cannot_ be proved to be false is nonsense, insofar as it must rely on the assertion of something that is logically impossible. The article further suggests that both G. (...) E. Moore and Ludwig Wittgenstein worked towards the same solution but left their work unfinished. (shrink)

The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.

Typically, if I understand a sentence, then it expresses a proposition that I entertain. Nonsensical sentences don’t express propositions, but there are contexts in which we talk about understanding nonsensical sentences. For example, we accept various kinds of semantically defective sentences in fiction, philosophy, and everyday life. Furthermore, it is a standard assumption that if a sentence is nonsensical, then it makes no sense to say that it implies anything or is implied by other sentences. Semantically uninterpreted sentences don’t have (...) logical characteristics. Hence, the riddle of understanding nonsense arises. We seem to use nonsensical sentences in reasoning, thinking, judging, and drawing conclusions, but they convey no propositions, which are the vehicles of their semantic properties. In this article, I propose the pretence theory of understanding nonsense to explain the riddle of understanding nonsense, and discuss alternative frameworks that are insufficient to solve it. -/- . (shrink)

What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...) thinkers have general abilities to respond to support and tension among their thoughts. And these abilities are constituted by following logical rules. So thinkers have to follow logical rules. But there isn’t just one correct logic for thinking. I show that my view is consistent with logical pluralism: there are a range of correct logics, any one of which a thinker might follow. A logic for thinking does, however, have to contain certain minimal principles: Modus Ponens and Non-Contradiction, and perhaps others. We follow logical rules by exercising logical capacities, which display a distinctive first-person/third-person asymmetry: a subject can find the instances of a rule compelling without seeing them as instances of a rule. As a result, there are two limits on illogical thinking. First, thinkers have to tend to find instances of logical rules compelling. Second, thinkers can’t think in obviously illogical ways. So thinking has to be logical – but not perfectly so. When we try to think, but fail, we produce nonsense. But our failures to think are often subjectively indistinguishable from thinking. To explain how this occurs, I offer an account of nonsense. To be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. Our use of nonsense within the pretence relies on the role of logical form in understanding. Finally, while the normativity of logic doesn’t fall directly out of logical constitutivism, it’s possible to build an attractive account of logical normativity which has logical constitutivism as an integral part. I argue that thinking is necessary for human flourishing, and that this is the source of logical normativity. (shrink)

The competing expressions of ideology flooding the contemporary political landscape have taken a turn toward the absurd. The Radiance Foundation’s recent anti-abortion campaign targeting African-American women, including a series of billboards bearing the slogan “The most dangerous place for an African-American child is in the womb”, is just one example of political "discourse" that is both infuriating and confounding. Discourse with these features – problematic intelligibility, disinterest in the truth, and inflammatory rhetoric – has become increasingly common in politics, the (...) press, and even the arguments made by ordinary folk. It is often criticized for its falsehood or its hurtfulness; however, these critiques tend to miss its pernicious potential. This essay characterizes this insidious discourse as purposeful nonsense. Part of the way that purposeful nonsense functions, we argue, relies on taking advantage of harmful stereotypes and denigrating narratives that are already present in our culture. Purposeful nonsense both draws upon harmful ideology and fortifies it. The effect is that members of oppressed social groups are confronted with disparaging ideology, while its authors are free to deny responsibility for it. Black feminist and intersectional analysis – particularly in the discussion of race, abortion, and reproductive justice – are useful in identifying and criticizing the harmful subtext in the Radiance Foundation’s billboard campaign. The notion of purposeful nonsense serves to extend the reach of these criticisms. Purposeful nonsense – disguised as merely logically confused discourse – is a key factor in maintaining an oppressive and unjust society; however, feminist, black feminist, and intersectional analysis contextualizes purposeful nonsense, potentially disrupting its harmful influence. We conclude that purposeful nonsense employs a variation on stereotype threat, a phenomenon in which being reminded of negative stereotypes about one’s social group causes stereotypical performance failures. We suggest that the notion of stereotype threat combined with intersectional analysis offers a fruitful avenue along which research on this sort of discourse might be expanded. (shrink)

Public discussions of science are often marred by two pernicious phenomena: a widespread rejection of scientific findings (e.g., the reality of anthropogenic climate change, the conclusion that vaccines do not cause autism, or the validity of evolutionary theory), coupled with an equally common acceptance of pseudoscientific notions (e.g., homeopathy, psychic readings, telepathy, tall tales about alien abductions, and so forth). The typical reaction by scientists and science educators is to decry the sorry state of science literacy among the general public, (...) and to call for more science education as the answer to both problems. But the empirical evidence concerning the relationship between science literacy, rejection of science and acceptance of pseudoscience is mixed at best. In this chapter I argue that—while certainly important—efforts at increasing public knowledge of science (science education) need to be complemented by attention to common logical fallacies (philosophy), cognitive biases and dissonance (psychology), and the role of ideological commitments (sociology). Even this complex, multi-disciplinary approach to science education will likely only yield measurable results in the very long term. Meanwhile science remains, as Carl Sagan famously put it, a candle in the dark, delicate and in need of much nurturing. (shrink)

An essay on Wittgenstein's conception of nonsense and its relation to his idea that "logic must take care of itself". I explain how Wittgenstein's theory of symbolism is supposed to resolve Russell's paradox, and I offer an alternative to Cora Diamond's influential account of Wittgenstein's diagnosis of the error in the so-called "natural view" of nonsense.

In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that (...) none of them discusses our main question. This is why we finally turn to the analysis of the truth-conditions for conjunction and disjunction in infectious logics, employing the framework of plurivalent logics, as discussed by Priest. In doing so, we arrive at the interesting conclusion that —in the context of infectious logics— conjunction is conjunction, whereas disjunction is not disjunction. (shrink)

Logic played an important role in Wittgenstein’s work over the entire period of his philosophizing, from both the point of view of the philosopher of logic and that of the logician. Besides logical analysis, there is another kind of logical activity that characterizes Wittgenstein’s philosophical work after a certain point during his experience as a soldier and, later, as an officer in the First World War – if not earlier. This other kind of logical activity has to do with what (...) appears to be the literary form of Wittgenstein’s philosophical prose, and it is likely to be seen as the most modernist feature of his preoccupation with logic. (shrink)

This essay presents a heterodox reading of the issue of solipsism in Wittgenstein’s Tractatus Logico-Philosophicus, out of which the whole of the TLP can be re-read. Inspired by, though not dependent on, the themes of virtuality and singularity found in Deleuze’s ‘transcendental empiricism’, Wittgenstein’s concept of ‘logical space’ is here complexly related to the paradoxes of the ‘metaphysical subject’ and ‘solipsism,’ within which the strictures of sense are defined, and through which the logico-pictorial scaffolding of the TLP precipitates its own (...) systematic dissolution. It shows how nonsense envelopes not only not idle chatter, and metaphysical confusion, but sense itself. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

In this article we revisit a number of disputes regarding significance logics---i.e., inferential frameworks capable of handling meaningless, although grammatical, sentences---that took place in a series of articles most of which appeared in the Australasian Journal of Philosophy between 1966 and 1978. These debates concern (i) the way in which logical consequence ought to be approached in the context of a significance logic, and (ii) the way in which the logical vocabulary has to be modified (either by restricting some (...) notions, or by adding some vocabulary) to keep as much of Classical Logic as possible. Our aim is to show that the divisions arising from these disputes can be dissolved in the context of a novel and intuitive proposal that we put forward. (shrink)

This paper critically discusses Hacker’s reading of nonsense in Wittgenstein’s Tractatus in terms of his notion of misuse, which is taken to consist in the violation of rules of logical syntax. I argue that Hacker’s reading relies on an equivocation between sign and symbol: what is ‘misused’ is a mere sign, but the verdict of nonsensicality relies on seeing it as a symbol. Although Hacker seeks to distance himself from resolute readings – according to which nonsense always consists (...) in nothing but a failure to assign meaning to one’s sentences – I argue that his own verdicts of nonsensicality have their ultimate grounds in exactly the same sort of assessment, i.e. whether meaning has been assigned to a sentence. The rules of logical syntax, contrary to his own intentions, do no real work in determining whether a sentence is nonsensical or not. (shrink)

Philosophy, that most misunderstood of intellectual pursuits, is often mocked; and no part of philosophy is as often mocked as metaphysics. The image of the ‘speculative metaphysician’ dreaming up abstract pictures of the world has been held up for ridicule by poets, playwrights, novelists, journalists as well as by other philosophers. The Logical Positivists in the first half of the 20th Century rejected all metaphysical speculations as ‘meaningless’ since they could not be verified by scientific experiment; in the later part (...) of the century, Wittgenstein criticised systematic metaphysics as being a kind of intellectual disease resulting from our reading false pictures of the world into the grammar of our language. The common suspicion underlying many of these attacks is that ultimately, all metaphysics is a kind of nonsense, and that metaphysicians don’t really know what they are talking about. This suspicion is not new. Nicolas-Sébastien Chamfort commented in 1796, ‘I am tempted to say of metaphysicians what Scaliger used to say of the Basques: they are said to understand one another, but I don’t believe a word of it.’ Some contemporary philosophers may agree. (shrink)

How do we determine whether individuals accept the actual consistency of a political argument instead of just its rhetorical good looks? This article answers this question by proposing an interpretation of political argument within the constraints of political liberalism. It utilises modern developments in the philosophy of logic and language to reclaim ‘meaningless nonsense’ from use as a partisan war cry and to build up political argument as something more than a power struggle between competing conceptions of the good. (...) Standard solutions for ‘clarifying’ meaning through descriptive definition encounter difficulties with the biases of status quo idioms (long noted by theorists like William Connolly and Quentin Skinner), as well as partisan translations and circularity. Collectively called linguistic gerrymandering, these difficulties threaten political liberalism’s underlying coherency. The proposed interpretation of political argument overcomes this with a new brand of conceptual analysis that can falsifiably determine whether rhetoric has hijacked political argument. (shrink)

This paper is a critique of coercive theories of meaning, that is, theories (or criteria) of meaning designed to do down ones opponents by representing their views as meaningless or unintelligible. Many philosophers from Hobbes through Berkeley and Hume to the pragmatists, the logical positivists and (above all) Wittgenstein have devised such theories and criteria in order to discredit their opponents. I argue 1) that such theories and criteria are morally obnoxious, a) because they smack of the totalitarian linguistic tactics (...) of the Party in Orwell’s 1984 and b) because they dehumanize the opposition by portraying them as mere spouters of gibberish; 2) that they are profoundly illiberal since if true, they would undermine Mill’s arguments for free speech; 3) that such theories are prone to self-contradiction, pragmatic and otherwise; 4) that they often turn against their creators including what they were meant to exclude and excluding what they were meant to include; 5) that such theories are susceptible to a modus tollens pioneered by Richard Price in his Review Concerning the Principle Questions of Morals(1758); and 6) that such theories are prima facie false since they fail to ‘predict’ the data that is it their business to explain (or, in the case of criteria, fail to capture the concept that they allegedly represent). The butcher’s bill is quite considerable: some of Hobbes, a fair bit of Locke, half of Berkeley, large chunks of Hume, Russell's Theory of Types, verificationism in its positivist and Dummettian variants, much of pragmatism and most of Wittgenstein - all these have to be sacrificed if we are to save our souls as philosophic liberals. (shrink)

I argue that No-Ought-From-Is (in the sense that I believe it) is a relatively trivial affair. Of course, when people try to derive substantive or non-vacuous moral conclusions from non-moral premises, they are making a mistake. But No-Non-Vacuous-Ought-From-Is is meta-ethically inert. It tells us nothing about the nature of the moral concepts. It neither refutes naturalism nor supports non-cognitivism. And this is not very surprising since it is merely an instance of an updated version of the conservativeness of logic (in (...) a logically valid inference you don’t get out what you haven’t put in): so long as the expressions F are non-logical, you cannot get non-vacuous F-conclusions from non-F premises. However, the triviality of No-Non-Vacuous-Ought-From-Is is important and its non-profundity profound. No-Ought-From-Is is widely supposed to tell us something significant about the nature of the moral concepts. If, in fact, it tells us nothing, this is a point well worth shouting from the housetops. This brings me to my dispute with Gerhard Schurz who has proved a related version of No-Ought-From-Is, No-Ought-Relevant-Ought-From-Is, a proof which relaxes my assumption that ‘ought’ should not be treated as a logical constant. But if ought is not a logical expression then it does not really matter much that No-Ought-From-Is would be salvageable even if it were. Furthermore, Schurz’s proof depends on special features of the moral concepts and this might afford the basis for an abductive argument to something like non-cognitivism. As an error theorist, and therefore a cognitivist, I object. Finally I take a dim view of deontic logic. Many of its leading principles are false, bordering on the nonsensical, and even the reasonably plausible ones are subject to devastating counter-examples. (shrink)

The first degree entailment (FDE) family is a group of logics, a many-valued semantics for each system of which is obtained from classical logic by adding to the classical truth-values true and false any subset of {both, neither, indeterminate}, where indeterminate is an infectious value (any formula containing a subformula with the value indeterminate itself has the value indeterminate). In this paper, we see how to extend a version of star semantics for the logics whose many-valued semantics lack (...) indeterminate to star semantics for logics whose many-valued semantics include indeterminate. The equivalence of the many-valued semantics and star semantics is established by way of a soundness and completeness proof. The upshot of the novel semantics in terms of the applied semantics of these logics, and specifically infectiousness, is explored, settling on the idea that infectiousness concerns ineffability. (shrink)

Variable quality essays dominated by reductionist nonsense. This is a followup to Hofstadter´s famous Godel, Escher, Bach (1980). Like its predecessor, it is concerned largely with the foundations of artificial intelligence, but it is composed mostly of stories, essays and extracts from a wide range of people, with a few essays by DH and DD and comments to all of the contributions by one or the other of them. For my views on the attempts of D and H to (...) understand behaviour see my review of D's " I am a Strange Loop. " Much of it is very reductionistic in tone (ie, " explains " everything in terms of physics/math and denies " reality " of psychology) but as Hofstadter notes, the quantum field equations of a water molecule are too complex to solve (and so is a vacuum)and nobody has a clue about how to explain the way properties emerge(eg, water properties from H2 and 02) as you go up the scale from the vacuum to the brain, so reductionism, like holism, requires a great deal of faith and in fact is incoherent as one cannot even frame it's arguments without presupposing the coherence of higher order thought. Additional problems for reductionism are the uncertainty principle, chaos (eg, no way to predict how a pile of sand will fall) and the logically necessary incompleteness of math (and all thought). In sum, though there are many interesting comments, like nearly all writing on behavior this work lacks any coherent account of the logical structure of rationality which I give in my more recent writings. -/- 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)

This essay was written for a special issue of Philosophical Topics on the links between Kant and analytic philosophy. It explores these links through consideration of: Wittgenstein’s Tractatus; the logical positivism endorsed by Ayer; and the (very different) variation on that theme endorsed by Quine. It is argued that in all three cases we see analytic philosophers trying to attain and express a general philosophical understanding of why the bounds of sense should be drawn where they should—but thereby confronting the (...) aporia, which Kant too confronted, that it is impossible to do this without transgressing those very bounds. It is suggested in conclusion that the problem is in trying to attain and express such an understanding; in other words, that such an understanding is attainable, but not expressible. (shrink)

A mixed bag dominated by H & D's reductionist nonsense. This is a follow-up to Hofstadter´s famous (or infamous as I would now say, considering its unrelenting nonsense) Godel, Escher, Bach (1980). Like its predecessor, it is concerned largely with the foundations of artificial intelligence, but it is composed mostly of stories, essays and extracts from a wide range of people, with a few essays by DH and DD and comments to all of the contributions by one or (...) the other of them. For my views on the attempts of D and H to understand behavior see my review of Hofstadter's ‘I am a Strange Loop’ and other writings. -/- Much of it is very reductionistic in tone (i.e., " explains " everything in terms of physics/math and denies " reality " of psychology) but as Hofstadter notes, the quantum field equations of a water molecule are too complex to solve (and so is a vacuum)and nobody has a clue about how to explain the way properties emerge (e.g., water properties from H2 and 02) as you go up the scale from the vacuum to the brain, so reductionism, like holism, requires a great deal of faith and in fact is incoherent as one cannot even frame it's arguments without presupposing the coherence of higher order thought. Additional problems for reductionism are the uncertainty principle, chaos (e.g., no way to predict how a pile of sand will fall), the logically necessary incompleteness of math (and all thought) and the impossibility of matching higher order behaviors (e.g., language) with lower order phenomena (e.g., biochemistry), i.e., the combinatorial explosion or underdetermination. In sum, though there are many interesting comments, like nearly all writing on behavior, this work lacks any coherent account of the logical structure of rationality, which I try to give in my writings. -/- 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) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

Philosophical Discourse is significantly meaningful when the ideas and issues are articulated by the medium of Analysis. It is however instructive to state that analysis fundamental could be construed in conceptual and linguistic dimensions. This brings forth the indispensability of language in analysis and enhances philosophical discourse. In this paper, I intend to articulate and the roles and shortcomings of analysis in philosophical discourse. I also intend to state that analysis is the hallmark of philosophy and it could establish a (...) criterion that distinguish between meaningful and nonsensical sentences. It is my contention and submission that in philosophical discourse and logical and language analysis are key in resolving philosophical puzzles. (shrink)

This is an early volume from a much respected psychedelic psychotherapist. He has written several other books since this one but until recently none of his books were on Amazon and still you can only find a German edition and a Spanish one (from 1993) but no English one (except a couple used copies). This is sad since these drugs have enormous therapeutic potential but afaik government suppression still prevents their use. The most interesting and readable parts are the case (...) histories of drug therapy, especially his own-e.g., on pages 114, 166 and 178. Though a very advanced therapist compared to many, he is far from finished with his intellectual growing up and clings to his psychoanalytic background even though he often mentions its extreme shortcomings. The often painfully awkward text is full of insights from his own therapeutic voyages and those of his patients interspersed with psychoanalytic nonsense. Part of the awkwardness may be due to bad translation from the German but the lack of a rational spiritual framework is a major problem (as with most therapy-or most life for that matter) that he only occasionally seems to recognize. He also sometimes veers off into the ozone-e.g., after many pages of sensible dialog he can opine that varicose veins and cancer are a result of the splitting of a psychosis (p99)! He quotes Zen and Sufi stories, Krishnamurti and Al Ghazali and even Castenada (seemingly unaware of his exposure as a fraud 20 years ago!), yet he seems oblivious to the fact that meditation is the most powerful therapy there is and to the presence around him in his own country and all over the globe of the most diverse and effective therapeutic community that has ever existed-that of the students of the great Indian mystic (ie, psychotherapist) Osho. What a great pity! He could have learned so much and advanced his therapy so far. But like most people he deliberately or unconsciously avoids anything which might wake him up too much. It's possible however that he just avoids mentioning Osho as he's radical enough to trigger the control templates in the monkey brain and enlightenment has the power to change one's whole life and not just put a bandaid on as other therapies usually do. Widmer refers repeatedly to the great LSD therapy pioneer Stanislav Grof, whose writings are one of the first that the interested reader may want to consult. Also, anyone who has a serious interest in psychedelic therapy should read Myron Stolaroff´s " The Secret Chief "-an account of the most remarkable clandestine therapist of this type of all time. It tells the story of the late Leo Zeff, who helped thousands to find themselves with the skilled and varied use of a wide variety of psychedelics. As the book is hard to find you may wish to read the info on Zeff on the web. In addition the clinical chapters in the excellent Ecstasy:the complete guide by J. Holland(2001) and her web page www.drholland.com (and elsewhere on the net) provide a broad framework and guide to therapy that is lacking here. A lovely book to add to any drug or therapy library, if you can find it. -/- Those wishing a comprehensive up to date framework for human 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 59p(2016). For all my articles on Wittgenstein and Searle see my e-book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Wittgenstein and Searle 367p (2016). Those interested in all my writings in their most recent versions may consult my e-book Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2016 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)

Over 40 years ago I read a small grey book with metaphysics in the title which began with the words “Metaphysics is dead. Wittgenstein has killed it.” I am one of many who agree but sadly the rest of the world has not gotten the message. Shoemaker’s work is nonsense on stilts but is unusual only in that it never deviates into sense from the first paragraph to the last. At least with Dennett, Carruthers, Churchland etc one gets a (...) breath of fresh air when they discuss cognitive science (imagining they are still doing philosophy). As W showed so beautifully, the confusions that lead to metaphysics are universal and nearly inescapable aspects of our psychology. They occur not only in all thinking on behavior but throughout science as well. It’s easy to find examples in Hawking, Weinberg, Penrose, Green, who of course have no idea they have left science and entered metaphysics, that the statement they just made is not a matter of fact at all but a matter of conceptual (linguistic) confusion. “Law, event, space, time, force, matter, proof, connection, cause, follows, physical”, etc., all have clear uses in certain technical contexts, but these blend insensibly into quite different uses that have little in common but the spelling. -/- Since it is pointless to waste time deconstructing Shoemaker line by line, showing the same errors over and over, I will describe some facts about how our psychology (language) works and with this outline and the references I give it is quite straightforward to give a meaningful description of the world in place of the metaphysical fantasies. If I were to debate Shoemaker we would never get beyond the title. -/- 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)

Since the time Nietzsche declared the death of God, while Auguste Comte postulated in the Law of Three Stages that humankind had gone pass the religious/mythical stage as well as the metaphysical/speculative stage and was now living in the positive/scientific stage, there has been the consistent institutionalization of atheism and secularism. The early part of the 20th century saw Freud’s publication of the Future of an Illusion in which he predicted that as science continues to advance, religion will become obsolete. (...) The logical positivist too lumped up metaphysical and religious propositions as meaningless and nonsensical. It is within this atmosphere that Alfred North Whitehead comes into philosophy. The main question that this paper seeks to answer is: Why does the concept of God occupy an eminent place in Whitehead’s system when all his contemporaries consider God a hypothesis they no longer needed as Laplace had earlier maintained? Of great interest here is the fact that before 1925 Whitehead’s writings had no concern for God. However, in his 1925 Science and the Modern World, the chapter on “Abstractions” required that there be such an explanatory factor, reason for which it is immediately followed by the chapter on “God”. The last part of his Process and Reality treats elaborately the nature of the relationship between God and the world. This paper explores the reasons why Whitehead places a lot of interest on God and the role that this God plays in his system. (shrink)

Over 40 years ago I read a small grey book with metaphysics in the title which began with the words “Metaphysics is dead. Wittgenstein has killed it.” I am one of many who agree but sadly the rest of the world has not gotten the message. Shoemaker’s work is nonsense on stilts but is unusual only in that it never deviates into sense from the first paragraph to the last. At least with Dennett, Carruthers, Churchland etc. one gets a (...) breath of fresh air when they discuss cognitive science (imagining they are still doing philosophy). As W showed so beautifully, the confusions that lead to metaphysics are universal and nearly inescapable aspects of our psychology. They occur not only in all thinking on behavior but throughout science as well. It’s easy to find examples in Hawking, Weinberg, Penrose, Green, who of course have no idea they have left science and entered metaphysics, that the statement they just made is not a matter of fact at all but a matter of conceptual (linguistic) confusion. “Law, event, space, time, force, matter, proof, connection, cause, follows, physical”, etc., all have clear uses in certain technical contexts, but these blend insensibly into quite different uses that have little in common but the spelling. Since it is pointless to waste time deconstructing Shoemaker line by line, showing the same errors over and over, I will describe some facts about how our psychology (language) works and with this outline and the references I give it is quite straightforward to give a meaningful description of the world in place of the metaphysical fantasies. If I were to debate Shoemaker we would never get beyond the title. Horwich gives one of the most beautiful summaries of where an understanding of Wittgenstein leaves us that I have ever seen. “There must be no attempt to explain our linguistic/conceptual activity (PI 126) as in Frege’s reduction of arithmetic to logic; no attempt to give it epistemological foundations (PI 124) as in meaning based accounts of a priori knowledge; no attempt to characterize idealized forms of it (PI 130) as in sense logics; no attempt to reform it (PI 124, 132) as in Mackie’s error theory or Dummett’s intuitionism; no attempt to streamline it (PI 133) as in Quine’s account of existence; no attempt to make it more consistent (PI 132) as in Tarski’s response to the liar paradoxes; and no attempt to make it more complete (PI 133) as in the settling of questions of personal identity for bizarre hypothetical ‘teleportation’ scenarios.” 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) and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

We argue that Wittgenstein’s philosophical perspective on Gödel’s most famous theorem is even more radical than has commonly been assumed. Wittgenstein shows in detail that there is no way that the Gödelian construct of a string of signs could be assigned a useful function within (ordinary) mathematics. — The focus is on Appendix III to Part I of Remarks on the Foundations of Mathematics. The present reading highlights the exceptional importance of this particular set of remarks and, more specifically, emphasises (...) its refined composition and rigorous internal structure. (shrink)

The past few decades have seen considerable interest in the history of analytic philosophy. As this field has developed, complex and provocative questions have emerged about the very nature of analytic philosophy, challenging long- standing assumptions and spawning new research paradigms. In this outstanding collection an international team of contributors examine these questions and contribute to these debates, exploring the idea of analysis, the essence and status of logic, the nature of the proposition and its linguistic expression, the logical act (...) of judgment, the distinction between external and internal relations, the possibility of category mistakes, and the demarcation of sense from nonsense. Several of the chapters shed light on the interconnections between Wittgenstein and other figures within that tradition, including Frege, Russell, Ramsey, and Ryle. Other chapters examine the interaction between analytic philosophers and members of other philosophical traditions, including Frege and Weierstrass, Wittgenstein and Schopenhauer, Wittgenstein and Bradley, Russell and the North American Pragmatists, Russell and the Neo-Kantians, Wittgenstein and Heidegger, and Heidegger and Ryle. Among the specific topics explored are Russell’s conception of the judging subject, Wittgenstein’s discussion of rule-following, Frege’s conception of the logical categories, and Wittgenstein’s conception of nonsense. The volume also includes a book review by Gilbert Ryle – collected and published non-anonymously here for the first time – which sheds important light on the reception of Frege’s philosophy in the analytic tradition. Early Analytic Philosophy: Origins and Transformations will be of great interest to those studying and researching the history of twentieth-century philosophy, contemporary analytic philosophy, and the philosophy of language and logic. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into hierarchies (...) via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

In this paper, I reflect on the idea, hinted at by Kant in a footnote to §16 of the B- Deduction that is not often discussed (KrV B 134n.), that transcendental logic is the ground of logic as a whole. This has important repercussions for the way we should see the role of transcendental logic with respect to the question of truth as well as the nature and scope of transcendental logic in relation to cognition, and in relation to general (...) or formal logic as such. To illustrate one of the ways in which transcendental logic is fundamental to our way of thinking, I address an issue that is brought up by Kant’’s counterfactual claim at B 132 that if a representation is not accompanied by an ‘‘I’’ thought, it is ‘‘either impossible’’ or at least ‘‘nothing for me’’, suggesting to some recent commentators that by the former Kant means the impossibility of thinking contradictory thoughts. Unlike these commentators, I do not think Kant is saying here that we cannot think contradictory thoughts. To believe he is betrays a misunderstanding of the metaphysical nature of transcendental logic, or so I shall argue. It is because transcen- dental logic is a metaphysical logic that Kant can claim that transcendental logic grounds even the whole of logic, including the possibility of thinking contradictory thoughts. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...) First, it means we should think of ground as a type of identity. Second, it means we should reject much of Fine’s logic of strict ground. I also show how the logic I develop connects to other systems in the literature. It is definitionally equivalent both to Angell’s logic of analytic containment and to Correia’s system G. (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)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where (...) agents move simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information inherited from modernity: Kant’s transcendental (...) logic of conditions of possibility of a system, and Hegel’s dialectical logic of conditions of in/stability of a system. Both conceptual logics of information analyse structural properties of given systems. Strictly speaking, neither is a conceptual logic of information about the conditions of feasibility of a system, that is, neither is a logic of information as a logic of design. So, in section four, I outline this third conceptual logic of information and then interpret the conceptual logic of design as a logic of requirements, by introducing the relation of “sufficientisation”. In the conclusion, I argue that the logic of requirements is exactly what we need in order to make sense of, and buttress, a constructionist approach to knowledge. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to (...) show that some of these logics are non-degenerate. (shrink)

In some recent works, Crupi and Iacona have outlined an analysis of ‘if’ based on Chrysippus’ idea that a conditional holds whenever the negation of its consequent is incompatible with its antecedent. This paper presents a sound and complete system of conditional logic that accommodates their analysis. The soundness and completeness proofs that will be provided rely on a general method elaborated by Raidl, which applies to a wide range of systems of conditional logic.

In recent years, there has been a concerted attack on many of the precepts of Western civilization relating to the concept of God, truth, Christianity, morality, sex, the family, and even modern science, especially biology. The concern of this volume is to explore these and other attacks through the tools of philosophy, theology, science, and intuition. It seeks to bring clarity to the ongoing struggle of Western civilization to preserve its values and traditions. -/- The West is crumbling at an (...) accelerated rate. The unfolding erasure of history, objective morality, and truth has paved the way for our current predicament. We are now standing at the precipice of the future of human civilization. The attacks on the human person are unrelenting, malicious, multifaceted, and wide-ranging in their scope and breadth, from the time prior to birth until the moment of death. If you are granted the “right” to live, then you must be prepared for unending assaults on your, mind, body, and soul. Nevertheless, the spirit of man and the greatness of God are infinitely greater than any of these assaults. It is by making sense of nonsense that humanity will be able to navigate out of the West’s current quagmire. (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 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 topic of exemplarity has attracted considerable interest in philosophy, legal theory, literary studies and art recently. There is broad consensus that exemplary cases mediate between singular instances and general concepts or norms. The aim of this article is to provide an additional perspective on the logic of exemplarity. First, inspired by Jacques Derrida’s discussion of exemplarity, I shall argue that there is a kind of différance between (singular) examples and (general) exemplars. What an example exemplifies, the exemplarity of the (...) example, eludes any fixed identity and follows a logic of supplement. Second, I shall present the so-called logic of exemplarity. The received paraconsistent view has it that the exemplar of X is an X and, at the same time, is not an X. Inspired by Ludwig Wittgenstein’s discussion of the standard metre, I would like to present an alternative paracomplete view whereby we can say of an exemplar of X neither that it is an X nor that it is not an X. (shrink)

Leibniz argues that there must be a fundamental level of simple substances because composites borrow their reality from their constituents and not all reality can be borrowed. I contend that the underlying logic of this ‘borrowed reality argument’ has been misunderstood, particularly the rationale for the key premise that not all reality can be borrowed. Contrary to what has been suggested, the rationale turns neither on the alleged viciousness of an unending regress of reality borrowers nor on the Principle of (...) Sufficient Reason, but on the idea that composites are phenomena and thus can be real only insofar as they have a foundation in substances, from which they directly ‘borrow’ their reality. The claim that composites are phenomena rests in turn on Leibniz's conceptualism about relations. So understood, what initially looked like a disappointingly simple argument for simples turns out to be a rather rich and sophisticated one. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)