This chapter contains sections titled: Truth and Falsity Truth and Belief Truth and Correspondence Truth and Coherence Defining and Testing for Truth: Correspondence and Coherence Sources.

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax (...) of the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

continent. 1.1 : 3-13. / 0/ – Introduction I want to propose, as a trajectory into the philosophically weird, an absurd theoretical claim and pursue it, or perhaps more accurately, construct it as I point to it, collecting the ground work behind me like the Perpetual Train from China Mieville's Iron Council which puts down track as it moves reclaiming it along the way. The strange trajectory is the following: Kant's critical philosophy and much of continental philosophy which has followed, (...) has been a defense against horror and madness. Kant's prohibition on speculative metaphysics such as dogmatic metaphysics and transcendental realism, on thinking beyond the imposition of transcendental and moral constraints, has been challenged by numerous figures proceeding him. One of the more interesting critiques of Kant comes from the mad black Deleuzianism of Nick Land stating, “Kant’s critical philosophy is the most elaborate fit of panic in the history of the Earth.” And while Alain Badiou would certainly be opposed to the libidinal investments of Land's Deleuzo-Guattarian thought, he is likewise critical of Kant's normative thought-bureaucracies: Kant is the one author for whom I cannot feel any kinship. Everything in him exasperates me, above all his legalism—always asking Quid Juris? Or ‘Haven’t you crossed the limit?’—combined, as in today’s United States, with a religiosity that is all the more dismal in that it is both omnipresent and vague. The critical machinery he set up has enduringly poisoned philosophy, while giving great succour to the academy, which loves nothing more than to rap the knuckles of the overambitious [….] That is how I understand the truth of Monique David-Menard’s reflections on the properly psychotic origins of Kantianism. I am persuaded that the whole of the critical enterprise is set up to to shield against the tempting symptom represented by the seer Swedenborg, or against ‘diseases of the head’, as Kant puts it. An entire nexus of the limits of reason and philosophy are set up here, namely that the critical philosophy not only defends thought from madness, philosophy from madness, and philosophy from itself, but that philosophy following the advent of the critical enterprise philosophy becomes auto-vampiric; feeding on itself to support the academy. Following Francois Laruelle's non-philosophical indictment of philosophy, we could go one step further and say that philosophy operates on the material of what is philosophizable and not the material of the external world. [1] Beyond this, the Kantian scheme of nestling human thinking between our limited empirical powers and transcendental guarantees of categorical coherence, forms of thinking which stretch beyond either appear illegitimate, thereby liquefying both pre-critical metaphysics and the ravings of the mad in the same critical acid. In rejecting the Kantian apparatus we are left with two entities – an unsure relation of thought to reality where thought is susceptible to internal and external breakdown and a reality with an uncertain sense of stability. These two strands will be pursued, against the sane-seal of post-Kantian philosophy by engaging the work of weird fiction authors H.P. Lovecraft and Thomas Ligotti. The absolute inhumanism of the formers universe will be used to describe a Shoggothic Materialism while the dream worlds of the latter will articulate the mad speculation of a Ventriloquil Idealism. But first we must address the relation of philosophy to madness as well as philosophy to weird fiction. /1/ – Philosophy and Madness There is nothing that the madness of men invents which is not either nature made manifest or nature restored. Michel Foucault. Madness and Civilization. The moment I doubt whether an event that I recall actually took place, I bring the suspicion of madness upon myself: unless I am uncertain as to whether it was not a mere dream. Arthur Schopenhauer. The World as Will and Idea, Vol. 3. Madness is commonly thought of as moving through several well known cultural-historical shifts from madness as a demonic or otherwise theological force, to rationalization, to medicalization psychiatric and otherwise. Foucault's Madness and Civilization is well known for orientating madness as a form of exclusionary social control which operated by demarcating madness from reason. Yet Foucault points to the possibility of madness as the necessity of nature at least prior to the crushing weight of the church. Kant’s philosophy as a response to madness is grounded by his humanizing of madness itself. As Adrian Johnston points out in the early pages of Time Driven pre-Kantian madness meant humans were seized by demonic or angelic forces whereas Kantian madness became one of being too human. Madness becomes internalized, the external demonic forces become flaws of the individual mind. Foucault argues that, while madness is de-demonized it is also dehumanized during the Renaissance, as madmen become creatures neither diabolic nor totally human reduced to the zero degree of humanity. It is immediately clear why for Kant, speculative metaphysics must be curbed – with the problem of internal madness and without the external safeguards of transcendental conditions, there is nothing to formally separate the speculative capacities for metaphysical diagnosis from the mad ramblings of the insane mind – both equally fall outside the realm of practicality and quotidian experience. David-Menard's work is particularly useful in diagnosing the relation of thought and madness in Kant's texts. David-Menard argues that in Kant's relatively unknown “An Essay on the Maladies of the Mind” as well as his later discussion of the Seer of Swedenborg, that Kant formulates madness primarily in terms of sensory upheaval or other hallucinatory theaters. She writes: “madness is an organization of thought. It is made possible by the ambiguity of the normal relation between the imaginary and the perceived, whether this pertains to the order of sensation or to the relations between our ideas” Kant's fascination with the Seer forces Kant between the pincers of “aesthetic reconciliation” – namely melancholic withdrawal – and “a philosophical invention” – namely the critical project. Deleuze and Guattari's schizoanalysis is a combination and reversal of Kant's split, where an aesthetic over engagement with the world entails prolific conceptual invention. Their embrace of madness, however, is of course itself conceptual despite all their rhizomatic maneuvers. Though they move with the energy of madness, Deleuze and Guattari save the capacity of thought from the fangs of insanity by imbuing materiality itself with the capacity for thought. Or, as Ray Brassier puts it, “Deleuze insists, it is necessary to absolutize the immanence of this world in such a way as to dissolve the transcendent disjunction between things as we know them and as they are in themselves”. That is, whereas Kant relied on the faculty of judgment to divide representation from objectivity Deleuze attempts to flatten the whole economy beneath the juggernaut of ontological univocity. Speculation, as a particularly useful form of madness, might fall close to Deleuze and Guattari’s shaping of philosophy into a concept producing machine but is different in that it is potentially self destructive – less reliant on the stability of its own concepts and more adherent to exposing a particular horrifying swath of reality. Speculative madness is always a potential disaster in that it acknowledges little more than its own speculative power with the hope that the gibbering of at least a handful of hysterical brains will be useful. Pre-critical metaphysics amounts to madness, though this may be because the world itself is mad while new attempts at speculative metaphysics, at post-Kantian pre-critical metaphysics, are well aware of our own madness. Without the sobriety of the principle of sufficient reason we have a world of neon madness: “we would have to conceive what our life would be if all the movements of the earth, all the noises of the earth, all the smells, the tastes, all the light – of the earth and elsewhere, came to us in a moment, in an instant – like an atrocious screaming tumult of things”. Speculative thought may be participatory in the screaming tumult of the world or, worse yet, may produce its spectral double. Against theology or reason or simply commonsense, the speculative becomes heretical. Speculation, as the cognitive extension of the horrorific sublime should be met with melancholic detachment. Whereas Kant's theoretical invention, or productivity of thought, is self -sabotaging, since the advent of the critical project is a productivity of thought which then delimits the engine of thought at large either in dogmatic gestures or non-systematizable empirical wondrousness. The former is celebrated by the fiction of Thomas Ligotti whereas the latter is espoused by the tales of H.P. Lovecraft. /2/ – Weird Fiction and Philosophy. Supernatural horror, in all its eerie constructions, enables a reader to taste treats inconsistent with his personal welfare. Thomas Ligotti Songs of a Dead Dreamer. I choose weird stories because they suit my inclination best—one of my strongest and most persistent wishes being to achieve,momentarily, the illusion of some strange suspension or violation of the galling limitations of time, space, and natural law which forever imprison us and frustrate our curiosity about the infinite cosmic spaces beyond the radius of our sight and analysis H.P. Lovecraft. “Notes on Writing Weird Fiction” Lovecraft states that his creation of a story is to suspend natural law yet, at the same time, he indexes the tenuousness of such laws, suggesting the vast possibilities of the cosmic. The tension that Lovecraft sets up between his own fictions and the universe or nature is reproduced within his fictions in the common theme of the unreliable narrator; unreliable precisely because they are either mad or what they have witnessed questions the bounds of material reality. In “The Call of Cthulhu” Lovecraft writes: The most merciful thing in the world, I think, is the inability of the human mind to correlate all its contents. We live on a placid island of ignorance in the midst of black seas of infinity, and it was not meant that we should voyage far. The sciences, each straining in its own direction, have hitherto harmed us little; but some day the piecing together of dissociated knowledge will open up such terrifying vistas of reality, and of our frightful position therein, that we shall either go mad from the revelation or flee from the deadly light into the peace and safety of a new dark age. Despite Lovecraft's invocations of illusion, he is not claiming that his fantastic creations such as the Old Ones are supernatural but, following Joshi, are only ever supernormal. One can immediately see that instead of nullifying realism Lovecraft in fact opens up the real to an unbearable degree. In various letters and non-fictional statements Lovecraft espoused strictly materialist tenets, ones which he borrowed from Hugh Elliot namely the uniformity of law, the denial of teleology and the denial of non-material existence. Lovecraft seeks to explore the possibilities of such a universe by piling horror upon horror until the fragile brain which attempts to grasp it fractures. This may be why philosophy has largely ignored weird fiction – while Deleuze and Guattari mark the turn towards weird fiction and Lovecraft in particular, with the precursors to speculative realism as well as contemporary related thinkers have begun to view Lovecraft as making philosophical contributions. Lovecraft's own relation to philosophy is largely critical while celebrating Nietzsche and Schopenhauer. This relationship of Lovecraft to philosophy and philosophy to Lovecraft is coupled with Lovecraft's habit of mercilessly destroying the philosopher and the figure of the academic more generally in his work, a destruction which is both an epistemological destruction and an ontological destruction. Thomas Ligotti's weird fiction which he has designated as a kind of “confrontational escapism” might be best described in the following quote from one of his shortstories, “The human phenomenon is but the sum of densely coiled layers of illusion each of which winds itself on the supreme insanity. That there are persons of any kind when all there can be is mindless mirrors laughing and screaming as they parade about in an endless dream”. Whereas Lovecraft's weirdness draws predominantly from the abyssal depths of the uncharted universe, Ligotti's existential horror focuses on the awful proliferation of meaningless surfaces that is, the banal and every day function of representation. In an interview, Ligotti states: We don't even know what the world is like except through our sense organs, which are provably inadequate. It's no less the case with our brains. Our whole lives are motored along by forces we cannot know and perceptions that are faulty. We sometimes hear people say that they're not feeling themselves. Well, who or what do they feel like then? This is not to say that Ligotti sees nothing beneath the surface but that there is only darkness or blackness behind it, whether that surface is on the cosmological level or the personal. By addressing the implicit and explicit philosophical issues in Ligotti's work we will see that his nightmarish take on reality is a form of malevolent idealism, an idealism which is grounded in a real, albeit dark and obscure materiality. If Ligotti's horrors ultimately circle around mad perceptions which degrade the subject, it takes aim at the vast majority of the focus of continental philosophy. While Lovecraft's acidic materialism clearly assaults any romantic concept of being from the outside, Ligotti attacks consciousness from the inside: Just a little doubt slipped into the mind, a little trickle of suspicion in the bloodstream, and all those eyes of ours, one by one, open up to the world and see its horror [...] Not even the solar brilliance of a summer day will harbor you from horror. For horror eats the light and digests it into darkness. Clearly, the weird fiction of Lovecraft and Ligotti amount to a anti-anthrocentric onslaught against the ramparts of correlationist continental philosophy. /3/ – Shoggothic Materialism or the Formless Formless protoplasm able to mock and reflect all forms and organs and processes—viscous agglutinations of bubbling cells—rubbery fifteen-foot spheroids infinitely plastic and ductile—slaves of suggestion, builders of cities—more and more sullen, more and more intelligent, more and more amphibious, more and more imitative—Great God! What madness made even those blasphemous Old Ones willing to use and to carve such things? H.P. Lovecraft. “At the Mountains of Madness” On the other hand, affirming that the universe resembles nothing and is only formless amounts to saying that the universe is something like a spider or spit. Georges Bataille. “Formless”. The Shoggoths feature most prominently in H.P. Lovecraft's shortstory “At the Mountains of Madness” where they are described in the following manner: It was a terrible, indescribable thing vaster than any subway train – a shapeless congeries of protoplasmic bubbles, faintly self -luminous, and with myriads of temporary eyes forming and un-forming as pustules of greenish light all over the tunnel-filling front that bore down upon us, crushing the frantic penguins and slithering over the glistening floor that it and its kind had swept so evilly free of all litter. The term is a litmus test for materialism itself as the Shoggoth is an amorphous creature. The Shoggoths were living digging machines bio engineered by the Elder Things, and their protoplasmic bodies being formed into various tools by their hypnotic powers. The Shoggoths eventually became self aware and rose up against their masters in an ultimately failed rebellion. After the Elder Ones retreated into the oceans leaving the Shoggoths to roam the frozen wastes of the Antarctic. The onto-genesis of the Shoggoths and their gross materiality, index the horrifyingly deep time of the earth a concept near and dear to Lovecraft's formulation of horror as well as the fear of intelligences far beyond, and far before, the ascent of humankind on earth and elsewhere. The sickly amorphous nature of the Shoggoths invade materialism at large, where while materiality is unmistakably real ie not discursive, psychological, or otherwise overly subjectivist, it questions the relation of materialism to life. As Eugene Thacker writes: The Shoggoths or Elder Things do not even share the same reality with the human beings who encounter them—and yet this encounter takes place, though in a strange no-place that is neither quite that of the phenomenal world of the human subject or the noumenal world of an external reality. Amorphous yet definitively material beings are a constant in Lovecraft's tales. In his tale “The Dream-Quest of Unknown Kadatth” Lovecraft describes Azathoth as, “that shocking final peril which gibbers unmentionably outside the ordered universe,” that, “last amorphous blight of nethermost confusion which blashphemes and bubbles at the centre of all infinity,” who, “gnaws hungrily in inconceivable, unlighted chambers beyond time”. Azathoth's name may have multiple origins but the most striking is the alchemy term azoth which is both a cohesive agent and a acidic creation pointing back to the generative and the decayed. The indistinction of generation and degradation materially mirrors the blur between the natural and the unnatural as well as life and non-life. Lovecraft speaks of the tension between the natural and the unnatural is his short story “The Unnameable.” He writes, “if the psychic emanations of human creatures be grotesque distortions, what coherent representation could express or portray so gibbous and infamous a nebulousity as the spectre of a malign, chaotic perversion, itself a morbid blasphemy against Nature?”. Lovecraft explores exactly the tension outlined at the beginning of this chapter, between life and thought. At the end of his short tale Lovecraft compounds the problem as the unnameable is described as “a gelatin—a slime—yet it had shapes, a thousand shapes of horror beyond all memory”. Deleuze suggests that becoming-animal is operative throughout Lovecraft's work, where narrators feel themselves reeling at their becoming non-human or of being the anomalous or of becoming atomized. Following Eugene Thacker however, it may be far more accurate to say that Lovecraft's tales exhibit not a becoming-animal but a becoming-creature. Where the monstrous breaks the purportedly fixed laws of nature, the creature is far more ontologically ambiguous. The nameless thing is an altogether different horizon for thought. The creature is either less than animal or more than animal – its becoming is too strange for animal categories and indexes the slow march of thought towards the bizarre. This strangeness is, as aways, some indefinite swirling in the category of immanence and becoming. Bataille begins “The Labyrinth” with the assertion that being, to continue to be, is becoming. More becoming means more being hence the assertion that Bataille's barking dog is more than the sponge. This would mean that the Shoggotth is altogether too much being, too much material in the materialism. Bataille suggests that there is an immanence between the eater and the eaten, across the species and never within them. That is, despite the chaotic storm of immanence there must remain some capacity to distinguish the gradients of becoming without reliance upon, or at least total dependence upon, the powers of intellection to parse the universe into recognizable bits, properly digestible factoids. That is, if we undo Deleuze's aforementioned valorization of sense which, for his variation of materialism, performed the work of the transcendental, but refuse to reinstate Kant's transcendental disjunction between thing and appearance, then it must be a quality of becoming-as-being itself which can account for the discernible nature of things by sense. In an interview with Peter Gratton, Jane Bennett formulates the problem thusly: What is this strange systematicity proper to a world of Becoming? What, for example, initiates this congealing that will undo itself? Is it possible to identify phases within this formativity, plateaus of differentiation? If so, do the phases/plateaus follow a temporal sequence? Or, does the process of formation inside Becoming require us to theorize a non-chronological kind of time? I think that your student’s question: “How can we account for something like iterable structures in an assemblage theory?” is exactly the right question. Philosophy has erred too far on the side of the subject in the subject-object relation and has furthermore, lost the very weirdness of the non-human. Beyond this, the madness of thought need not override. /4/ - Ventriloquial Idealism or the Externality of Thought My aim is the opposite of Lovecraft's. He had an appreciation for natural scenery on earth and wanted to reach beyond the visible in the universe. I have no appreciation for natural scenery and want the objective universe to be a reflection of a character. Thomas Ligotti. “Devotees of Decay and Desolation.” Unless life is a dream, nothing makes sense. For as a reality, it is a rank failure [….] Horror is more real than we are. Thomas Ligotti. “Professor Nobody's Little Lectures on Supernatural Horror”. Thomas Ligotti's tales are rife with mannequins, puppets, and other brainless entities which of replace the valorized subject of philosophy – that of the free thinking human being. His tales such as “The Dream of the Manikin” aim to destroy the rootedness of consciousness. James Trafford has connected the anti-egoism of Ligotti to Thomas Metzinger – where the self is at best an illusion and we plead desperately for someone else to acknowledge that we are real. Trafford has stated it thus, “Life is played out as an inescapable puppet show, an endless dream in which the puppets are generally unaware that they are trapped within a mesmeric dance of whose mechanisms they know nothing and over which they have no control”. An absolute materialism, for Ligotti, implies an alienation of the idea which leads to a ventriloquil idealism. As Ligotti notes in an interview, “the fiasco and nightmare of existence, the particular fiasco and nightmare of human existence, the sense that people are puppets of powers they cannot comprehend, etc.” And then further elaborates that,“[a]ssuming that anything has to exist, my perfect world would be one in which everyone has experienced the annulment of his or her ego. That is, our consciousness of ourselves as unique individuals would entirely disappear”. The externality of the idea leads to the unfortunate consequence of consciousness eating at itself through horror which, for Ligotti, is more real than reality and goes beyond horror-as-affect. Beyond this, taking together with the unreality of life and the ventriloquizing of subjectivity, Ligotti's thought becomes an idealism in which thought itself is alien and ultimately horrifying. The role of human thought and the relation of non-relation of horror to thought is not completely clear in Ligotti's The Conspiracy Against the Human Race. Ligotti argues in his The Conspiracy Against the Human Race,that the advent of thought is a mistake of nature and that horror is being in the sense that horror results from knowing too much. Yet, at the same time, Ligotti seems to suggest that thought separates us from nature whereas, for Lovecraft, thought is far less privileged – mind is just another manifestation of the vital principal, it is just another materialization of energy. In his brilliant “Prospects for Post-Copernican Dogmatism” Iain Grant rallies against the negative definition of dogmatism and the transcendental, and suggests that negatively defining both over-focuses on conditions of access and subjectivism at the expense of the real or nature. With Schelling, who is Grant's champion against the subjectivist bastions of both Fichte and Kant, Ligotti's idealism could be taken as a transcendental realism following from an ontological realism. Yet the transcendental status of Ligotti's thought move towards a treatment of the transcendental which may threaten to leave beyond its realist ground. Ligotti states: Belief in the supernatural is only superstition. That said, a sense of the supernatural, as Conrad evidenced in Heart of Darkness, must be admitted if one's inclination is to go to the limits of horror. It is the sense of what should not be- the sense of being ravaged by the impossible. Phenomenally speaking, the super-natural may be regarded as the metaphysical counterpart of insanity, a transcendental correlative of a mind that has been driven mad. Again, Ligotti equates madness with thought, qualifying both as supernatural while remaining less emphatic about the metaphysical dimensions of horror. The question becomes one of how exactly the hallucinatory realm of the ideal relates to the black churning matter of Lovecraft's chaos of elementary particles. In his tale “I Have a Special Plan for This World” Ligotti formulates thus: A: There is no grand scheme of things. B: If there were a grand scheme of things, the fact – the fact – that we are not equipped to perceive it, either by natural or supernatural means, is a nightmarish obscenity. C: The very notion of a grand scheme of things is a nightmarish obscenity. Here Ligotti is not discounting metaphysics but implying that if it does exist the fact that we are phenomenologically ill-equipped to perceive that it is nightmarish. For Ligotti, nightmare and horror occur within the circuit of consciousness whereas for Lovecraft the relation between reality and mind is less productive on the side of mind. It is easier to ascertain how the Kantian philosophy is a defense against the diseases of the head as Kant armors his critical enterprise from too much of the world and too much of the mind. The weird fiction of both Lovecraft and Ligotti demonstrates that there is too much of both feeding into one another in a way that corrodes the Kantian schema throughly, breaking it down into a dead but still ontologically potentiated nigredo. The haunting, terrifying fact of Ligotti's idealism is that the transcendental motion which brought thought to matter, while throughly material and naturalized, brings with it the horror that thought cannot be undone without ending the material that bears it either locally or completely. Thought comes from an elsewhere and an elsewhen being-in-thought. The unthinkable outside thought is as maddening as the unthought engine of thought itself within thought which doesn't exist except for the mind, the rotting décor of the brain. /5/ - Hyperstitional Transcendental Paranoia or Self -Expelled Thought Weird fiction has been given some direct treatment in philosophy in the mad black Deleuzianism of Nick Land. Nick Land along with others in the 1990s created the Cyber Culture Research Unit as well as the research group Hyperstition. The now defunct hyperstitional website, an outgrowth of the Cyber Culture Research Unit, defined hyperstition in the following fourfold: 1-Element of effective culture that makes itself real. 2-Fictional quantity functional as a time-traveling device. 3-Coincidence intensifier. 4-Call to the Old Ones. The distinctively Lovecraftian character of hyperstition is hard to miss as is its Deleuzo-Guattarian roots. In the opening pages of A Thousand Plateaus Deleuze and Guattari write, “We have been criticized for over-quoting literary authors. But when one writes, the only question is which other machine the literary machine can be plugged into”. The indisinction of literature and philosophy mirrors the mess of being and knowing as post-correlationist philosophy, where philosophy tries to make itself real where literature, especially the weird, aims itself at the brain-circuit of horror. The texts of both Lovecraft and Ligotti work through horror as epistemological plasticity meeting with proximity as well as the deep time of Lovecraft and the glacially slow time of paranoia in Ligotti. Against Deleuze, and following Brassier, we cannot allow the time of consciousness, the Bergsonian time of the duree, to override natural time, but instead acknowledge that it is an unfortunate fact of existence as a thinking being. Horror-time, the time of consciousness, with all its punctuated moments and drawn out terrors, cannot compare to the deep time of non-existence both in the unreachable past and the unknown future. The crystalline cogs of Kant's account of experience as the leading light for the possibility of metaphysics must be throughly obliterated. His gloss of experience in Prolegomena to any Future Metaphysics could not be more sterile: Experience consists of intuitions, which belong to the sensibility, and of judgments, which are entirely a work of the understanding. But the judgments which the understanding makes entirely out of sensuous intuitions are far from being judgments of experience. For in the one case the judgment connects only the perceptions as they are given in sensuous intuition [....] Experience consists in the synthetic connection of appearances in consciousness, so far as this connection is necessary. Here it is difficult to dismiss the queasiness that Kant's legalism induces upon sight for both Badiou and David-Menard. Kant's thought becomes, as Foucault says when reflecting on Sade's text in relation to nature, “the savage abolition of itself”. For Badiou, Kant's philosophy simply closes off too much of the outside, freezing the world of thought in an all too limited formalism. Critical philosophy is simply the systematized quarantine on future thinking, on thinking which would threaten the formalism which artificially grants thought its own coherency in the face of madness. Even the becoming-mad of Deleuze, while escaping the rumbling ground, makes grounds for itself, mad grounds but grounds which are thinkable in their affect. The field of effects allows for Deleuze's aesthetic and radical empiricism, in which effects and/or occasions make up the material of the world to be thought as a chaosmosis of simulacra. Given a critique of an empiricism of aesthetics, of the image, it may be difficult to justify an attack on Kantian formalism with the madness of literature, which does not aim to make itself real but which we may attempt to make real. That is, how do Lovecraft's and Ligotti's materials, as materials for philosophy to work on, differ from either the operative formalisms of Kant or the implicitly formalized images of Deleuzian empiricism? It is simply that such texts do not aim to make themselves real, and make claims to the real which are more alien to us than familiar, which is why their horror is immediately more trustworthy. This is the madness which Blanchot discusses in The Infinite Conversation through Cervantes and his knight – the madness of book-life, of the perverse unity of literature and life a discussion which culminates in the discussion of one of the weird's masters, that of Kafka. The text is the knowing of madness, since madness, in its moment of becoming-more-mad, cannot be frozen in place but by the solidifications of externalizing production. This is why Foucault ends his famous study with works of art. Furthermore extilligence, the ability to export the products of our maligned brains, is the companion of the attempts to export, or discover the possibility of intelligences outside of our heads, in order for philosophy to survive the solar catastrophe. To borrow again from Deleuze, writing is inseparable from becoming. The mistake is to believe that madness is reabsorbed by extilligence, by great works, or that it could be exorcised by the expelling of thought into the inorganic or differently organic. Going out of our heads does not guarantee we will no longer mean we cannot still go out of our minds. This is simply because of the outside, of matter, or force, or energy, or thing-in-itself, or Schopenhauerian Will. In Lovecraft’s “The Music of Erich Zahn” an “impoverished student of metaphysics” becomes intrigued by strange viol music coming from above his room. After meeting the musician the student discovers that each night he plays frantic music at a window in order to keep some horridness at bay, some “impenetrable darkness with chaos and pandemonium”. The aesthetic defenses provided by the well trained brain can bear the hex of matter for so long, the specter of unalterability within it which too many minds obliterate, collapsing everything before the thought of thought as thinkable or at least noetically mutable on our own terms. Transcendental paranoia is the concurrent nightmare and promise of Paul Humphrey's work, of being literally out of our minds. It is the gothic counterpart of thinking non-conceptually but also of thinking never belonging to any instance of purportedly solid being. As Bataille stated, “At the boundary of that which escapes cohesion, he who reflects within cohesion realizes there is no longer any room for him” Thought is immaterial only to the degree that it is inhuman, it is a power that tries, always with failure, to ascertain its own genesis. Philosophy, if it can truly return to the great outdoors, if it can leave behind the dead loop of the human skull, must recognize not only the non-priority of human thought, but that thought never belongs to the brain that thinks it, thought comes from somewhere else. To return to the train image from the beginning “a locomotive rolling on the surface of the earth is the image of continuous metamorphosis” this is the problem of thought, and of thinking thought, of being no longer able to isolate thought, with only a thought-formed structure. [1] One of the central tenets of Francois Laruelle's non-philosophy is that philosophy has traditionally operated on material already presupposed as thinkable instead of trying to think the real in itself. Philosophy, according to Laruelle, remains fixated on transcendental synthesis which shatters immanence into an empirical datum and an a prori factum which are then fused by a third thing such as the ego. For a critical account of Laruelle's non-philosophy see Ray Brassier's Nihil Unbound. (shrink)

In developing a theory of truth, as the main condition of knowledge, four issues are usually examined: definition or analysis of truth, truth bearer, truth-maker, and relation (in correspondence and coherence theories). A proper theory of truth is the one that affords the explanation of the truth of all types of propositions, and, at the same time, resists the liar paradox. The aim of this inquiry is to analyze Nasīr al-Dīn al-Tūsī’s theory (...) of truth one who is involved both in the liar paradox and in the explanation of the truth of the verity propositions and propositions that are made of intelligibles that have no instance in external world. This inquiry shows, with an analytical approach mostly systematic analysis, that he regards, against the difficulty of the lair paradox, propositions that are other than what they are about as the bearers of truth. Further, it shows that he, against the other difficulty, has two attitudes: first, he desists from the correspondence theory of truth and defines it as “ascription of an ideational thing to what, with its characteristic, is proper for it”; second, he considers the agent intellect to be the truth-maker. Although he regards the correspondence relation as an intentional relation, he does not discuss it much. One explanation could be that the issue of the correspondence relation does not play a serious part in the aforementioned difficulties. (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate (...) ‘trickled in’ elements of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj, j = 1… k, is analyzed, in the independent setup. The e-value of a hypothesis H, ev, is a Bayesian epistemic, credibility or truth value defined under the Full Bayesian Significance Testing mathematical apparatus. The questions addressed concern the important issue of how the truth value of H, and the truth function of the corresponding FBST (...) structure M, relate to the truth values of its elementary constituents, Hj, and to the truth functions of their corresponding FBST structures Mj, respectively. (shrink)

Conceptual primitivism is the view that truth is among our most basic and fundamental concepts. It cannot be defined, analyzed, or reduced into concepts that are more fundamental. Primitivism is opposed to both traditional attempts at defining truth (in terms of correspondence, coherence, or utility) and deflationary theories that argue that the notion of truth is exhausted by means of the truth schema. Though primitivism might be thought of as a view of last (...) resort, I believe that the view is independently attractive, and can be argued for directly. In this paper I offer what I take to be the strongest argument in favor of conceptual primitivism, which relies upon the Fregean doctrine of the omnipresence of truth. (shrink)

Truth pluralism offers the latest extension in the tradition of substantive theorizing about truth. While various forms of this thesis are available, most frameworks commit to domain reliance. According to domain reliance, various ways of being true, such as coherence and correspondence, are tied to discourse domains rather than individual sentences. From this follows that the truth of different types of sentences is accounted for by their domain membership. For example, sentences addressing ethical matters are (...) true if they cohere and those addressing extensional states of affairs if they correspond. By tying distinct truth-grounding properties to domains rather than individual sentences, truth pluralists avoid certain issues with definitional ambiguity and indeterminacy. I argue that contrary to the ideal situation, domains fail to provide the sought-after benefits of achieving definitional unambiguity and determinacy in the standard domain reliant pluralist frameworks. The reason is that, when combined with the inherently ambiguous nature of certain truth-relevant terms of sentences, fringe cases emerge, causing some of them to count as members of multiple domains. Consequently, some sentences end up being both true and false in the standard domain reliant pluralist frameworks, thus conflicting with both standard laws of non-contradiction and identity. Finally, I argue that truth pluralists should pay closer attention to the hitherto neglected question of inherent natural language ambiguity. (shrink)

Most philosophers have largely downplayed any relevance of multiple meanings of the folk concept of truth in the empirical domain. However, confusions about what truth is have surged in political and everyday discourse. In order to resolve these confusions, we argue that we need a more accurate picture of how the term ‘true’ is in fact used. Our experimental studies reveal that the use of ‘true’ shows substantial variance within the empirical domain, indicating that ‘true’ is ambiguous between (...) a correspondence and a coherence reading. We then explore the consequences of these results for the project of re-engineering truth. (shrink)

These days the two most popular approaches to belief ascription are Millianism and Contextualism. The former approach is inconsistent with the existence of ordinary Frege cases, such as Lois believing that Superman flies while failing to believe that Clark Kent flies. The Millian holds that the only truth-conditionally relevant aspect of a proper name is its referent or extension. Contextualism, as I will define it for the purposes of this essay, includes all theories according to which ascriptions of the (...) form ‘S believes that a is F’ and ‘S believes that b is F’, where ‘a’ and ‘b’ are coreferential proper names, may, depending on the context, differ in truth-value even though in those very contexts each ascription relates the same believer to the very same proposition. What the two theories have in common is the claim that names are Millian. What separates the two theories is what they say about belief contexts. In this essay I prove that Millianism is true, Contextualism is true, or our intuitions regarding belief ascriptions are hopelessly inaccurate. As a consequence, my argument is a proof that either names and many general terms are Millian or our intuitions regarding belief ascriptions are hopelessly inaccurate. (shrink)

On this particular issue about ¨truth¨, I´d rather focus more on the specific problematization of ¨sentential truth¨. In other words, I will not be concerned with the truth of an event or an experience per se in the objective, intersubjective or subjective sense. In the present consideration, I´d be more concentrated on the truth of beliefs uttered in meaningful statements. This distinctively philosophical approach—in the linguistic-analytic tradition—is supportive of the intent to determine whether certain beliefs are (...) matters of knowledge or not with respect to how classical philosophy presupposes that ONLY true beliefs achieve the category of knowledge. In this sense, the question of being true or the problem of truth plays an intrinsic function in the technical aspect of philosophy mainly in the discipline of epistemology (the philosophical field that deals with the issue of knowledge). In the most fundamental formulation, knowledge is defined as true belief. To resolve whether a belief is true or not, it has to be initially articulated in a sensible statement and must finally pass the test of verification. (shrink)

Nelson's Proof of the Impossibility of the Theory of Knowledge -/- In addressing the possibility of a theory of knowledge, Leonard Nelson noted the contradiction of an epistemological criterion that one would require in order to differentiate between valid and invalid knowledge. Nelson concluded that the inconsistency of such a criterion proves the impossibility of the theory of knowledge. -/- Had the epistemological criterion had a perception, then it would presume to adjudicate on its own truth (thus epistemological circular (...) argument). However, if one were to assume that the criterion is not knowledge, one would then have to justify how this is a criterion for truth - yet this would only be possible when it may be considered as an object of knowledge. One would equally have had to predetermine the criterion in order to determine the truth of this knowledge, thereby providing another circular argument. Ostensibly, every criterion of truth fails at its very own test since it cannot guarantee its own truth, just as Munchausen, contrary to his assertion, could not draw himself out of the swamp by tugging on a tuft of his own hair. -/- Nelson proposed a solution of the epistemological problem (the question of the differentiation between valid and invalid knowledge), that based on Jakob Friedrich Fries' differentiation between proof and deduction. Proof, according to Nelson (in reference to Fries), can be defined as derivation of truth from one statement from another statement. Thus, from the truth in the statement that "all men are mortal", one is then able to say that "Socrates is a man" and thence extrapolate from the truth of the statement that "Socrates is mortal." If knowledge were to be considered somewhat judgmental (in a statement), then an attempt at proof (i.e. recourse to previous judgments) would inevitably lead to an infinite regression in justification, since each judgment would necessitate a further justification from another judgment. Every attempt to prove an epistemological criterion is thus also confronted by this regression in justification. -/- Nelson's attempt at a solution rests on the assumption of the existence of an immediate knowledge as a justification of the truth (mediate) of knowledge. Nelson considers immediate knowledge to be non-judgmental knowledge. These include intuitions (e. g. seeing-the-red-roof) and also philosophical knowledge that pre-exists in his opinion before a judgmental reflexion (immediate) in our reason (e. g. the principle of causality). -/- Proof of the truth of mediate knowledge can be effected by showing its compliance with attendant immediate knowledge (rational truth = correspondence of mediate knowledge with their immediate knowledge). Nelson considered this as a resolution of the circular epistemological argument. In regard to philosophical knowledge, Nelson sees these as subject to deduction and not proof. The following example illustrates the goal of deduction: -/- An approach for deducing the principle of causality: A) Every change has a cause. (The principle of causality) A´) A is a reiteration of an immediate knowledge. (Meta-assertion following A) -/- "A" may not be provable, but A´ may justified, and thus Nelson identified it as a deduction following from A. // reference: http://www.friesian.com/nelproof.htm. (shrink)

In HEBREW SCRIPTURES, in rabbinic literature and for most Jewish thinkers, "truth" (emet) is a character of personal relationships. Truth is fidelity to one's word, keeping promises, saying with the lips what one says in one's heart, bearing witness to what one has seen. Truth is the bond of trust between persons and between God and Humanity. In Western philosophic tradition, however, truth is a character of the claims people make about the world they experience: the (...) correspondence between a statement and the object it describes, or the coherence of a statement with what we already know about the world. As if divided by their dual allegiance to the traditions of Jerusalem and of Athens, Jewish philosophers often believe themselves forced to choose between the two meanings of truth, producing what we may call objectivist and personalist trends in Jewish thought. I suggest that, for a type of scripturally grounded Jewish philosophy, truth names the end of a process of inquiry that passes through several stages of trusting, reexamining, yearning, witnessing, critically testing, and re-sourcing. I suggest that this process bears analogy to Charles Peirce's pragmatic account of the stages of problem solving. -/- . (shrink)

The present thesis focuses on counterfactuals. Specifically, we will address new questions and open problems that arise for the standard semantic accounts of counterfactual conditionals. The first four chapters deal with the Lewisian semantic account of counterfactuals. On a technical level, we contribute by providing an equivalent algebraic semantics for Lewis' variably strict conditional logics, which is notably absent in the literature. We introduce a new kind of algebra and differentiate between local and global versions of each of Lewis' variably (...) strict conditional logics. We study the algebraic properties of Lewis' logics and the structure theory of our newly introduced algebras. Additionally, we employ a new algebraic construction, based on the framework of Boolean algebras of conditionals, to provide an alternative semantics for Lewisian counterfactual conditionals. This semantic account allows us to establish new truth conditions for Lewisian counterfactuals, implying that Lewisian counterfactuals are definable conditionals, and each counterfactual can be characterized as a modality of a corresponding probabilistic conditional. We further extend these results by demonstrating that each Lewisian counterfactual can also be characterized as a modality of the corresponding Stalnaker conditional. The resulting formal semantic framework is much more expressive than the standard one and, in addition to providing new truth conditions for counterfactuals, it also allows us to define a new class of conditional logics falling into the broader framework of weak logics. On the philosophical side, we argue that our results shed new light on the understanding of Lewisian counterfactuals and prompt a conceptual shift in this field: Lewisian counterfactual dependence can be understood as a modality of probabilistic conditional dependence or Stalnakerian conditional dependence. In other words, whether a counterfactual connection occurs between A and B depends on whether it is "necessary" for a Stalnakerian/probabilistic dependence to occur between A and B. We also propose some ways to interpret the kind of necessity involved in this interpretation. The remaining two chapters deal with the probability of counterfactuals. We provide an answer to the question of how we can characterize the probability that a Lewisian counterfactual is true, which is an open problem in the literature. We show that the probability of a Lewisian counterfactual can be characterized in terms of belief functions from Dempster-Shafer theory of evidence, which are a super-additive generalization of standard probability. We define an updating procedure for belief functions based on the imaging procedure and show that the probability of a counterfactual A > B amounts to the belief function of B imaged on A. This characterization strongly relies on the logical results we proved in the previous chapters. Moreover, we also solve an open problem concerning the procedure to assign a probability to complex counterfactuals in the framework of causal modelling semantics. A limitation of causal modelling semantics is that it cannot account for the probability of counterfactuals with disjunctive antecedents. Drawing on the same previous works, we define a new procedure to assign a probability to counterfactuals with disjunctive antecedents in the framework of causal modelling semantics. We also argue that our procedure is satisfactory in that it yields meaningful results and adheres to some conceptually intuitive constraints one may want to impose when computing the probability of counterfactuals. (shrink)

This paper demonstrates the practical and philosophical strengths of adopting Luciano Floridi’s “general definition of information” (GDI) for use in the information sciences (IS). Many definitions of information have been proposed, but little work has been done to determine which definitions are most coherent or useful. Consequently, doubts have been cast on the necessity and possibility of finding a definition. In response to these doubts, the paper shows how items and events central to IS are adequately described by Floridi’s conception (...) of information, and demonstrates how it helps clarify the muddy theoretical framework resulting from the many previous definitions. To this end, it analyzes definitions, popular in IS, that conceive of information as energy, processes, knowledge, and physical objects. The paper finds that each of these definitions produces problematic or counterintuitive implications that the GDI suitably accounts for. It discusses the role of truth in IS, notes why the GDI is preferable to its truth-requiring variant, and ends with comments about the import of such a theory for IS research and practice. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these (...) theories meets the correspondence intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

Recently there have been several attempts in formal epistemology to develop an adequate probabilistic measure of coherence. There is much to recommend probabilistic measures of coherence. They are quantitative and render formally precise a notion—coherence—notorious for its elusiveness. Further, some of them do very well, intuitively, on a variety of test cases. Siebel, however, argues that there can be no adequate probabilistic measure of coherence. Take some set of propositions A, some probabilistic measure of coherence, (...) and a probability distribution such that all the probabilities on which A’s degree of coherence depends (according to the measure in question) are defined. Then, the argument goes, the degree to which A is coherent depends solely on the details of the distribution in question and not at all on the explanatory relations, if any, standing between the propositions in A. This is problematic, the argument continues, because, first, explanation matters for coherence, and, second, explanation cannot be adequately captured solely in terms of probability. We argue that Siebel’s argument falls short. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. The (...) validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on (...) class='Hi'>truth and the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (shrink)

Several studies in experimental philosophy and semantics have shown that a substantial number of English speakers consider a statement true even if it does not align with the facts, as long as it is justified from the speaker's perspective. These findings challenge the prevailing view among philosophers that truth is uniformly based on a statement's correspondence to reality and suggest that for some speakers truth is sensitive to epistemic perspectives. In this study, we show that this behavior (...) depends on how the critical question assessing the statement's truth is phrased. When participants were asked whether the proposition itself is true (e.g., "Is it true that [the uttered proposition]?"), almost everyone answered negatively. It is when the original speaker was mentioned in the question (e.g., "Is what [the speaker] said true?" or "Is [the speaker]’s answer true?") that around half of the participants answered positively. We explore four possible explanations for this behavior: (1) "true" might be ambiguous between a basic correspondence sense and a coherence sense, which may be activated in some people by the explicit mentioning of the speaker; (2) "true" could be a context-sensitive expression with an implicit perspective parameter such that some speakers shift to the speaker’s perspective when prompted by the question; (3) those who select "true" might ad hoc relativize the term to the speaker’s perspective; (4) those who select "true" might unconsciously substitute it with "truthful". In addition, we discuss the implications of the findings for other philosophical discussions concerning norms of assertion, sincerity, and the theory of reference. (shrink)

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of (...) the resulting natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

This dissertation is devoted to empirically contrasting the Suppositional Theory of conditionals, which holds that indicative conditionals serve the purpose of engaging in hypothetical thought, and Inferentialism, which holds that indicative conditionals express reason relations. Throughout a series of experiments, probabilistic and truth-conditional variants of Inferentialism are investigated using new stimulus materials, which manipulate previously overlooked relevance conditions. These studies are some of the first published studies to directly investigate the central claims of Inferentialism empirically. In contrast, the Suppositional (...) Theory of conditionals has an impressive track record through more than a decade of intensive testing. The evidence for the Suppositional Theory encompasses three sources. Firstly, direct investigations of the probability of indicative conditionals, which substantiate “the Equation” (P(if A, then C) = P(C|A)). Secondly, the pattern of results known as “the defective truth table” effect, which corroborates the de Finetti truth table. And thirdly, indirect evidence from the uncertain and-to-if inference task. Through four studies each of these sources of evidence are scrutinized anew under the application of novel stimulus materials that factorially combine all permutations of prior and relevance levels of two conjoined sentences. The results indicate that the Equation only holds under positive relevance (P(C|A) – P(C|¬A) > 0) for indicative conditionals. In the case of irrelevance (P(C|A) – P(C|¬A) = 0), or negative relevance (P(C|A) – P(C|¬A) < 0), the strong relationship between P(if A, then C) and P(C|A) is disrupted. This finding suggests that participants tend to view natural language conditionals as defective under irrelevance and negative relevance (Chapter 2). Furthermore, most of the participants turn out only to be probabilistically coherent above chance levels for the uncertain and-to-if inference in the positive relevance condition, when applying the Equation (Chapter 3). Finally, the results on the truth table task indicate that the de Finetti truth table is at most descriptive for about a third of the participants (Chapter 4). Conversely, strong evidence for a probabilistic implementation of Inferentialism could be obtained from assessments of P(if A, then C) across relevance levels (Chapter 2) and the participants’ performance on the uncertain-and-to-if inference task (Chapter 3). Yet the results from the truth table task suggest that these findings could not be extended to truth-conditional Inferentialism (Chapter 4). On the contrary, strong dissociations could be found between the presence of an effect of the reason relation reading on the probability and acceptability evaluations of indicative conditionals (and connate sentences), and the lack of an effect of the reason relation reading on the truth evaluation of the same sentences. A bird’s eye view on these surprising results is taken in the final chapter and it is discussed which perspectives these results open up for future research. (shrink)

In this paper, we identify a new and mathematically well-defined sense in which the coherence of a set of hypotheses can be truth-conducive. Our focus is not, as usual, on the probability but on the confirmation of a coherent set and its members. We show that, if evidence confirms a hypothesis, confirmation is “transmitted” to any hypotheses that are sufficiently coherent with the former hypothesis, according to some appropriate probabilistic coherence measure such as Olsson’s or Fitelson’s measure. (...) Our findings have implications for scientific methodology, as they provide a formal rationale for the method of indirect confirmation and the method of confirming theories by confirming their parts. (shrink)

We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and (...) truth to the compound formulas of PA over N---I_PA(N; SV ) and I_PA(N; SC). We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both I_PA(N; SV ) and I_PA(N; SC). We then show: (a) that if we assume the satisfaction and truth of the compound formulas of PA are always non-finitarily decidable under I_PA(N; SV ), then this assignment corresponds to the classical non-finitary putative standard interpretation I_PA(N; S) of PA over the domain N; and (b) that the satisfaction and truth of the compound formulas of PA are always finitarily decidable under the assignment I_PA(N; SC), from which we may finitarily conclude that PA is consistent. We further conclude that the appropriate inference to be drawn from Goedel's 1931 paper on undecidable arithmetical propositions is that we can define PA formulas which---under interpretation---are algorithmically verifiable as always true over N, but not algorithmically computable as always true over N. We conclude from this that Lucas' Goedelian argument is validated if the assignment I_PA(N; SV ) can be treated as circumscribing the ambit of human reasoning about `true' arithmetical propositions, and the assignment I_PA(N; SC) as circumscribing the ambit of mechanistic reasoning about `true' arithmetical propositions. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

Truth is a matter of interest not only to philosophers, but to scientists and other researchers in various branches of knowledge. This paper examines Davidson’s views of the concept of truth. In the first section, I provide a brief account of the basic ideas of Davidson’s philosophy. An understanding of Davidson’s philosophy is essential for anyone who wishes to follow recent debates in the philosophy of language, the philosophy of action, the philosophy of logic, and the philosophy of (...) the mind. I give also a brief sketch of the leading traditional theories of truth, i.e., coherence, correspondence and pragmatic theories. In the second section, I give a comprehensive account of Davidson’s main contributions to the truth - the conditions theory of meaning. That the meaning of a sentence can be given by stating the conditions under which it is true, is not a novel idea. It is at least as old as the work of Frege. In addition to Frege, this idea has been held by, among others, Wittgenstein, Carnap, Quine and - as its leader apologist and most recent proponent - Davidson. Before I look at the details of Davidson’s contributions, I show how they relate to the work of Frege, Tarski, and Quine, all of whom greatly influenced Davidson’s theory. Putnam, Dummett, Rorty and many other philosophers rank Davidson among the deflationists. They all think that Tarski’s truth predicates completely capture the concept of truth. This is a mistake. The third section is concerned with this mistake. In the fourth section, I explain Davidson’s criticisms of what he regards as the main other anti-deflationary attempts to characterize truth: views which epistemologize truth on the one hand, and the correspondence theory of truth, on the other hand. Finally, in the fifth section, I make some remarks about Davidson’s treatment of the concept of truth. (shrink)

Several studies in experimental philosophy and semantics have shown that a substantial number of English speakers consider a statement true even if it does not align with the facts, as long as it is justified from the speaker's perspective. These findings challenge the prevailing view among philosophers that truth is uniformly based on a statement's correspondence to reality and suggest that for some speakers truth is sensitive to epistemic perspectives. In this study, we show that this behavior (...) depends on how the critical question assessing the statement's truth is phrased. When participants were asked whether the proposition itself is true (e.g., "Is it true that [the uttered proposition]?"), almost everyone answered negatively. It is when the original speaker was mentioned in the question (e.g., "Is what [the speaker] said true?" or "Is [the speaker]’s answer true?") that around half of the participants answered positively. We explore four possible explanations for this behavior: (1) "true" might be ambiguous between a basic correspondence sense and a coherence sense, which may be activated in some people by the explicit mentioning of the speaker; (2) "true" could be a context-sensitive expression with an implicit perspective parameter such that some speakers shift to the speaker’s perspective when prompted by the question; (3) those who select "true" might ad hoc relativize the term to the speaker’s perspective; (4) those who select "true" might unconsciously substitute it with "truthful". In addition, we discuss the implications of the findings for other philosophical discussions concerning norms of assertion, sincerity, and the theory of reference. (shrink)

Ernst Cassirer claimed that Kant's notion of actual object presupposes the notion of truth. Therefore, Kant cannot define truth as the correspondence of a judgement with an actual object. In this paper, I discuss the relations between Kant's notions of truth, object, and actuality. I argue that's notion of actual object does not presuppose the notion of truth. I conclude that Kant can define truth as the correspondence of a judgement with an actual (...) object. (shrink)

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for example, (...) the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual (...) semantic connection of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

According to MODERATISM, perceptual justification requires that one independently takes for granted propositional hinges like <There is an external world>, <I am not a brain in a vat (BIV)>, and so on. This view faces the truth problem: to offer an account of truth for hinges that is not threatened by skepticism. Annalisa Coliva has tried to solve the truth problem by combining the claim that external world propositions have a substantive truth property like correspondence (...) with the claim that hinges have a deflationary truth property. I argue that the resulting view cannot offer a coherent characterization of ‘skeptical switch scenarios’ while providing an effective anti-skeptical strategy. In a more positive vein, I defend an approach that combines a correspondence conception of truth with epistemological disjunctivism. (shrink)

The thresholds of human observers detecting line targets improve significantly when the targets are presented in a spatial context of collinear inducing stimuli. This phenomenon is referred to as spatial facilitation, and may reflect the output of long-range interactions between cortical feature detectors. Spatial facilitation has thus far been observed with luminance-defined, achromatic stimuli on achromatic backgrounds. This study compares spatial facilitation with line targets and collinear, edge-like inducers defined by luminance contrast to spatial facilitation with targets and inducers defined (...) by color contrast. The results of a first experiment show that achromatic inducers facilitate the detection of achromatic targets on gray and colored backgrounds, but tend to suppress the detection of chromatic targets. Chromatic inducers facilitate the detection of chromatic targets on gray and colored backgrounds, but tend to suppress the detection of achromatic targets. Chromatic spatial facilitation appears to be strongest when inducers and background are isoluminant. The results of a second experiment show that spatial facilitation with chromatic targets and inducers requires a longer exposure duration of the inducers than spatial facilitation with achromatic targets and inducers, which is already fully effective at an inducer exposure of 30 ms only. The findings point towards two separate mechanisms for spatial facilitation with collinear form stimuli: one that operates in the domain of luminance, and one that operates in the domain of color contrast. These results are consistent with neural models of boundary and surface formation which suggest that achromatic and chromatic visual cues are represented on different cortical surface representations that are capable of selectively attracting attention. Multiple copies of these achromatic and chromatic surface representations exist corresponding to different ranges of perceived depth from an observer, and each can attract attention to itself. Color and contrast differences between inducing and test stimuli, and transient responses to inducing stimuli, can cause attention to shift across these surface representations in ways that sometimes enhance and sometimes interfere with target detection. (shrink)

Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which (...) a collaboration between Jacques Derrida and a group of architects interested in his concepts is commenced, and the third one, in which completed or only designed objects or new concepts of deconstruction created by architects gain their supremacy over philosophy. The following book analyses these three possible ways, first of all with the reference to Peter Eisenman and Bernard Tschumi. -/- Peter Eisenman -/- Misreading… and Other Errors -/- The issue of relations between Peter Eisenman’s work and philosophy of deconstruction may be referred to his activity more than ten years preceding his direct collaboration with Jacques Derrida (in 1985) and organisation of the exhibition Deconstructivist Architecture at Museum of Modern Art in New York (in 1988). As soon as at the stage of designing the first houses (House I-III, 1967-1970), which almost entirely inscribed in formalistic aesthetics of Modernism, the architect analysed the problem of architecture dependence on its assumptions. All his later designs may be treated as consequence of this initial interest in relations between practice and theory, and at the same time as an introduction to manipulations later on led at the level of metaphysics of architecture. Beginning with the issue of presence, considered in comments to House VI (1972), the number of ideas having their analogies in philosophy of deconstruction increased. The text entitled The End of the Classical: The End of the Beginning, The End of the End (1984), in which Eisenman criticised questions of representation in architecture, its delusive strive for truth and comparably unattainable attempts at ultimate definition of elementary rules, should be acclaimed the breaking point. This attitude was extended by numerous strategies disturbing architecture rules defined at metaphysical level in an essay Moving Arrows, Eros, and Other Errors: an Architecture of Absence (1986). The issue of Eisenman’s passage from formalism to deconstruction has already been much discussed in the literature (Rosalind Krauss, Thomas Patin among others), still it should be mentioned that the threads similar to Derrida’s concept included in Eisenman’s writing reveal untranslatability of architecture and philosophy. -/- Choral Works or Separate tricks -/- In 1985-1986 a series of seven disputes between Jacques Derrida and Peter Eisenman took place. The pretext for them were designs concerning Parc de la Villette in Paris. The situation of many months of collaboration between a notable philosopher of the second half of the 20th c. and an architect that already had a huge theoretical oeuvre, ended up with a publication of a large volume entitled Chora L Works and it became at the same time a vast study area for historians of contemporary architecture and philosophers. Derrida’s contribution to concept works were his considerations over the idea of chôra, the properties related to this concept were about to be reflected in shapes of the park. Therefore, Chora L Works became an example of the abilities of contemporary art, both in its capability of translation from philosophical ideas to artistic forms and its resistance to tradition of representing in architecture some phenomena and values originating outside this discipline. In the final period of their collaboration both interlocutors started to polemicise with each other more decidedly, what became a separate part of their thought exchange. The exchange of letters between Derrida and Eisenman at the turn of 1989 ended up the period of their direct contacts, nevertheless, at this time precisely a large group of experts in issues of deconstruction joined the discussion and extended the revealed in the former dispute problems into more than ten years of further considerations and publications. Except for a long text by Jeffrey Kipnis, who had participated in the meetings of the philosopher and the architect, there appeared also comments of researchers of artistic theories (K. Michael Hays, Thomas Patin), philosophers (Andrew Benjamin), and even experts in Greek literature (Maria Theodorou or Ann Bergren). Following these debates a contemporary reflection on architecture has saturated with indeed numerous concepts originating in philosophy of deconstruction. -/- Architecture which imitates mute philosophy -/- The series of Jacques Derrida and Peter Eisenman meetings, which took place in the period of 1985-1987, induced many authors to make comments. Some of them (Jeffrey Kipnis, Ann Bergren, Maria Theodorou) developed the subject of chôra which was introduced to the discussion by Derrida. The problem that was about to be solved was the question of tying up the concept of chôra with architecture, including Eisenman’s architecture and the series of meetings within frames of Chora L Works project. Kipnis on this occasion paid attention to chôra and its character of anachronia which infects any being created within chôra. In other words any event has its counterpart (analogon) in another, earlier event. He demonstrated the similarity of structure of many events and statements from the times of Derrida and Eisenman’s meetings to the almost identical behaviour of figures in Plato’s dialogue Timaeus. The loss of beginning present in this phenomenon was appropriate to both features of chôra and the effects of typical analyses of philosophy of deconstruction. Bergren’s analyses focused on accentuating gender of chôra, which, according to this author, had been neglected hitherto in discussions. She collated chôra descriptions with characteristics of women in myths, early Greek epic and philosophy and she arrived at a conclusion that chôra has features of a single woman and a married one at the same time. And yet Theodorou’s studies showed that in the Homeric epics chôra is not treated as an idea but is related with single things and events. The other part of the comments (represented by Andrew Benjamin and K. Michael Hays’ utterances) concerns Eisenman’s attitude to tradition which was treated as a variety of iteration understood philosophically. Benjamin commenced his considerations at the point of closeness between a definition of tradition and a concept of chôra understood as perpetuation (placement). A problematic issue was for him Eisenman’s complex relation to tradition based on its contest and affirmation at the same time. Overcoming the simple subordination to tradition – according to Benjamin – was based on awareness of the role of repetition in culture not known before. Hays made an attempt to explain the pleasure and torment of repetition with the support of Sigmund Freud and Roland Barthes’ concepts. According to Hays repetitions are attempts of a single being to a certain primal state perceived as free of any tension. In a similar way Rosalind Krauss explained a motif of a grate present in Modernistic art and also exceptionally frequent in Eisenman’s work. -/- Annex Architecture is still writing Balzac novels. Peter Eisenman and literature -/- Architecture’s approach to writing, script or literature, present within Peter Eisenman’s work, is an exceptional phenomenon, furthermore a complex one. The article considers four possible relations. The first one relates to Eisenman’s characteristics as a person extremely gifted with the ability to wordplay, which very ‘play’ reveals skills to create architectural images. In the second approach the attention has been paid to Eisenman’s interests – in the first period of his oeuvre – in linguistic works by Noam Chomsky and his transformational-generative grammar. The third kind of relations applied to overcoming the need for autonomy of architecture (and of modernist aesthetics at the same time) and renew interests in questions of meaning in architecture. The fourth sort of relations occurred when Eisenman started to create reflections of historic or literary narrations in architecture – ‘stone stories’ and architectural fictions of their kind. -/- Bernard Tschumi -/- From perversion to deconstruction In Bernard Tschumi’s writings from the 1970s and 1980s we can find a transposition of important threads of post-structuralist ideas deriving from Georges Bataille, Roland Barthes and Jacques Derrida’s works. The analysis of the architect’s writings also shows roots in Phillippe Sollers, Michel Foucault and Denis Hollier’s works. The analysis of borrowed elements from the beginnings of Tschumi’s theoretical activity may be helpful in explaining the contents of his later writings motre inspired by philosophy of deconstruction. The set of his earliest views was inspired by Marxism, Neo Marxism and French Structuralism, mainly by the writings of Henri Levebre and Guy Debord. From the thought of Levebre Tschumi took interest for city as not only a question of urbanistics but also a political issue. From Debord’s concepts he borrowed a conviction about the role of situational violation for changes in the society structure. Some of these beliefs were preserved in his own concepts of architecture as an event. From this period derived also his will to change conservative elements of social structure not by means of political revolution but of theoretical and creative activity. Tschumi acknowledged that the effective way of the proceedings towards achieving his aims would be accepting the role of both a critical intellectualist and architecture expert who would not hide away his left-wing orientation. The speculations defined by the architect as ‘revolting analyses’ were about to characterise contradictions which tear the society apart, penetrate architecture and constitute the basis of culture. Spreading away of the conscience of false assumptions hidden away in various disciplines could have weakened cohesion of a conservative society and influence the will to change among the elites. This way the beginnings of political revolution were rooted in philosophy of architecture. In 1977 Tschumi published his text entitled The Pleasure of Architecture inspired by Roland Barthes’s The Pleasure of the Text, it also included some concepts derived from Georges Bataille and Jacques Derrida. First of all the author used Barthes’s concept which made an assumption that literary activity is pervaded by the spirit of resistance towards social rules, and Tschudi transferred this remark onto architecture. From the ideas of Bataille, acquainted via Holier’s work, he derived his belief that two concepts of space, a conceptual one (defined as Pyramid) and a sensual one (defined as Labirynth), not losing their distinct features, they join in the concept of experienced space which exceeds contradictions. The exceeding itself was defined as the basic rule of architecture and it was referred to situations in which architecture not only negates social needs, but also disavows its own tradition. Crossing the borders applies not only to political issues or permanent rules of the very discipline but also interfering with other fields (especially literature and film). The fact that architecture is associated with organising events turned Tschumi’s attention to questions of violence that result from upsetting architectural order of a given building by its users and the one hand, and on the other from forcing the users to specific acts imposed by this very order. The analysis of the concepts used by Tschumi in his early writings indicates that they are close to definitions that would occur in his reflection in the following years influenced by philosophy of deconstruction. -/- Approaching deconstruction Tschumi in his theories developed in the 1980s presumed that the current social world had undergone a deep process of decay, and the reaction against which ought to be based on ordering-up actions, and also preserving the main outline of disintegration of the whole and its elements in the state of conflict. The statements concerning the nature of the contemporary to Tschumi social relations were applied by him to the world of architecture, this led him to coming up with designing strategies that took into consideration the destabilised character of conditions in which works of architecture were created. New ways of conduct invented by Tschumi drew their inspiration from literature and research on literature, psychoanalysis, structural linguistics, structuralism and post structuralism, and eventually also deconstruction philosophy. The proposed methods were opposed by their author both to functionalism continuity trends and postmodern architecture. Tschumi’s proposals contradicted any forms of conservatism or traditionalism in political sphere as well as in reference to tendencies in architecture. They were not simple contradictions of social or architectural rules, they intrude them from the inside, weaken or escalate the already existing incongruities, they move the boundaries between the areas. Revolutionary illusions about the possibility of radical changes were replaced with strategies which completed, tainted or test former rules in the series of formal games of permutation and combination. Quite different from avant-garde formalism Tschumi’s games were not about maintaining the autonomy of a given area, but on the contrary – polluting it with other areas’ influences. Tschumi enjoyed demonstrating illusions of architecture concerning simple relations between form and function, or between form and meaning. Making use of Freud, Lacan and Foucault’s research he introduced a category of “madness” into architecture allowing an observation that the recognised norms are nothing but merely ones of many possible principles of behaviour, and their recognised status resulted from unjustified hindering innovativeness which is crucial for architecture. To reborn architecture’s capability of changing Tschumi also made use of Barthes’s discoveries concerning rules of narration and works by writers who applied in their writing knowledge on linguistics. Making a work’s author unclear by various mechanical transformations of its elements was however apparent only, and formal rigours imposed on the process of designing liberated possibilities difficult to obtain in more traditional creative action. Another mode of acting introduced by Tschumi was combining his work of elements deriving from outside architecture; joining space records with notation of motion and events accompanying architectural objects among others. These architectural and extra-architectural elements were not unified, on the contrary their heterogenous and conflictual character was stressed. This is how shock, anxiety and instability, typical for live in great metropolises, infiltrated architecture. Taking some ideas of deconstruction philosophy as a pattern Tschumi also took into critical consideration in his essays traditional in architecture oppositions between form and figuration, or theory and practice. By combining various inspirations he eventually worked out an idea of architectural event, which he understood as a series of actions contesting its own field, redefining its sources, principles and elements. An event, understood in this way, was not so much producing works as rather creating conditions of their production and at the same time designing the society different from a hierarchic one. -/- Park of deconstruction Among numerous philosophical strategies of deconstruction most frequently used was questioning the practice of strong opposition of two reasons. In many cases Bernard Tschumi’s writings just consider functioning of the conflict juxtaposition of the ideas of structure and ornament or theory and practice in history of architecture. Violation of traditional relations between terms of this kind, both old and modern, raised Jacques Derrida’s objections, when he was induced for the first time to co-operate with architects’ milieu. During this long lasting thought exchange the philosopher eventually acknowledged Bernard Tschumi’s arguments for reasoning the encroachment of architecture’s fundamental rules. Deconstruction applied in architecture was not a simple transposition or analogy of practices that had been applied by philosophy of deconstruction. We may even say that considering architectural terms became an important formula of deconstruction. Architecture understood in philosophical way became something beyond the practice and theory of its own discipline, a sort of metaphysics of both philosophy and architecture. The deliberate encroachment of simplicity of dividing architecture into theory and practice, for the first time became a clear aim for Tschumi in his drawings and texts entitled The Manhattan Transcripts. The contents of this series of works was a record of characteristic features of this New York district in such a way that not only objects were the subject of the record but also relations between objects, people and events. The record was about to take into consideration a conflict character of elements of this representation and at the same time to avoid applying to them the rule of mimetism. The record became a form of reflection over the very record by an increased control over the ways of representation. Architecture which was considered in the The Manhattan Transcripts was not directed to fulfill the needs of inhabitation or production, it was rather related with hitherto usually marginalised liminal situations: building ostentatiously big monuments, religious cult, war etc. Architecture operating in these relations focused also the attention on the included in it continuous tendency to overpass its own restrictions, the role of violence as its not recognised factor, or the meaning of excess and shock in its operation. Architecture moving from reason towards madness became even more visible in the design of Parisian Parc de la Villette, whose pavilions were defined as folies (in French it means both small park buildings and follies). The park was supposed to be on the one hand a reflection of traditional society disintegration while on the other it questioned basic rules of producing a work of architecture. The traditional rules of designing, based on ordering up, were replaced with the strategies of dysfunction and dissociation. In Tschumi’s opinion methods of this kind may be equivalent of what Derrida named différance. Instead of aiming at mergence, any diversity, plays or variations were strengthen. Tschumi’s texts, in which he explained his attitude, were completed by Derrida’s extent statement entitled Point de folie – Maintenant l’architecture. Derrida’s article is the most significant of all his statements on architecture as a form of thinking and activity. According to the philosopher, architecture should divide space (in French defined as espacement), what enables both thinking and action – it arranges the space of an event. Tschumi’s buildings, defined as folies, in an essential way destabilise any created order, and at the same time they refresh it. Derrida’s statement suggests that architecture may become both metaphor of an order merging a language or a society but also of inner forces which deconstruct and reconstruct it. Therefore architecture is at the same time a construction, a deconstruction and a reconstruction. Parc de la Villette stands out in this system with its attempt to step beyond the scheme of an easy repetition and its heading for chances of achieving more radical otherness. -/- Conclusion Destruction as construction. Paradoxes of deconstruction in architecture -/- Scepticism about persistence and common importance of fundamental values of human culture evinced in philosophers and writers’ works as early as in Greek antiquity, nevertheless it was not expressed so strongly as in the second half of the 20th century. Especially in Heidegger’s work Being and Time (although originated in 1927, still influential in all later philosophy) the following states were characterised: the state of losing the ground (Abgrund), of being out of sight (Unheimlichkeit) and of being out of dwelling (Un-zuhause-sein) – as the basis of self-confidence of conscious being there (Dasein). The entire criticism of philosophy of home and dwelling draws the inspiration from this early writing of the German philosopher, it combines crisis of basic terms of metaphysics with social conditions which are dictated by living in large metropolis. The crisis of both metaphysical foundation and home appears to be similar to the situation of weakening the relations between a man and his dwelling in extensively expanding cities. Whereas philosophy, as well as many disciplines of social sciences, have diagnosed for a long time the destabilisation of fundamental ideas of Western culture and crucial changes in the ways of dwelling, architecture itself occurred to be “the last fortress of metaphysics” (J. Derrida). Among contemporary architects, Peter Eisenman and Bernard Tschumi were the ones who engaged most decidedly in the issues of critical analysis of architecture foundation and its social role. Both the architects noticed new formulas of contemporary social and individual existence, tremendously different from the entire history, and at the same time they affirmed lack of adequacy of architecture concepts to new situations. Both Eisenman and Tschumi used to describe the existing architecture as a tool for consolidation of highly integrated and hierarchised societies, and also as a discipline extremely uncoincidental with the current character of social life based on ideas of freedom and diversity. The means to transform architecture and make a factor of further social changes out of it, was a concept that accentuated revealing the inner contradictions of this discipline, and considering them in designing strategies. Eisenman’s activity, in regard of what has just been noticed, was focused on questioning the basic rules of traditionally comprehended architecture, especially the rule of purpose. The American architect noticed that the concept of architecture as fulfilment the need of location, hides away the fact that the location has to be constantly reconsidered, and hence it is overtaken by change (dislocation). Therefore new concept of architecture propounded architectural activity to translocate the concept of location – more than before – but also to change its status perpetually. Such comprehended architecture should claim, as its main purpose, the constant revision of this purpose and create itself anew permanently. Even Eisenman’s earliest designs of houses nos. I-IV broke with such values as the sense of safety, closeness and familiarity, and just on the contrary they accentuated senses of strangeness, homelessness and loss of confidence. The contradictions within architecture noticed by Tschumi referred to combination of intellectual and sensual values in architecture, when their non-appropriation was defeated by an additional condition, namely the way of experience based on pleasure of excess, marked by insanity. The features of folly were especially visible in his designs of gardens, where the order of planning was mixed with sensual experience introduced by particular elements (both the ones created by nature, and the buildings defined as folies). Parc de la Villette designed by the French architect in Paris put in question not only the common understanding of purpose in architecture but also the ideas of order and integrity, as its plan was based on the combination of independent layers with records of grids of points, various lines and planes. The architecture that collides inadequate elements with each other was supposed to be a kind of an event with no beginning and no end. The architecture treated as an event became a form of a space weakened articulation that maintains its diversity and lack of accordance of the elements building it up. The analyses of Eisenman and Tschumi’s theoretical writings indicate how much the aims of architecture have actually changed; instead of supporting social persistence, the architecture is rather intensifying contradictions, and instead of providing people with the sense of safety, it sublimes danger. From simple acts of defamiliarisation, increasing the distance to itself and enhancing the role of theory, through discomfort, anxiety, not feeling someone at home, weirdness, excess, shock and violence, architecture reached the edge of stability and uncertainty, only to make an attempt at penetrating what is impossible and unutterable, and recording what cannot become the subject of any records. -/- . (shrink)

The relationship between the One and the Multiple in mystic philosophy is a profound and central theme that explores the nature of existence, the cosmos, and the divine. This theme is present in various mystical traditions, including those of the East and West, and it addresses the paradoxical coexistence of the unity and multiplicity of all things. -/- In mystic philosophy, the **One** often represents the ultimate reality, the source from which all things emanate and to which all things return. (...) It is the absolute, the infinite, and the unchanging. The One is beyond all attributes and is often associated with the divine or the absolute truth. -/- The **Multiple**, on the other hand, represents the manifest world, the diversity of forms, and the realm of change and plurality. It is the world we experience through our senses, the domain of time and space, where differentiation and individuality are apparent. -/- The relationship between the One and the Multiple is not one of opposition but of emanation and unity. The Multiple is seen as a reflection, expression, or manifestation of the One. In this sense, the diversity of the world doesn’t contradict the unity of the One but rather demonstrates it in a myriad of forms. -/- Mystics seek to understand and experience this relationship through various practices and insights. They aim to transcend the illusion of separation and duality to experience the non-dual reality where the One and the Multiple are recognized as inseparable. -/- This concept can be illustrated by the metaphor of the ocean and its waves. The ocean represents the One—vast, deep, and all-encompassing—while the waves represent the Multiple—distinct, diverse, and ever-changing. Each wave is unique, yet it is not separate from the ocean. The wave’s existence is dependent on and made of the same substance as the ocean. In the same way, each individual entity in the Multiple is an expression of the One. -/- In summary, the relationship between the One and the Multiple in mystic philosophy is a dynamic interplay that challenges the conventional understanding of separation. It invites a deeper exploration of reality, where the apparent multiplicity of the world is a direct expression of the singular, underlying essence of all that is. -/- The relationship between the One and the Multiple in the context of mathematical philosophy is a profound topic that touches upon the very foundations of existence and knowledge. It’s a theme that has been explored by philosophers and mathematicians alike, often leading to the contemplation of unity and diversity within the structures of reality. -/- In mathematics, the concept of the One can be seen as the basis of unity from which all numbers derive. It’s the identity element in multiplication, the starting point in counting, and the foundation of dimension in geometry. The One is often associated with the concept of monism in philosophy, which posits that there is a single, underlying substance or principle that constitutes reality. -/- On the other hand, the Multiple represents the infinite variety and diversity of forms and numbers that arise from the One. It’s the embodiment of plurality and the complex interplay of different entities that mathematics seeks to understand and describe. This reflects the philosophical stance of pluralism, which acknowledges the existence of multiple realities or truths. -/- The interplay between the One and the Multiple can be seen in the mathematical concept of sets. A set can be thought of as a unity, a whole composed of distinct elements. Yet, each element within the set also retains its individuality, contributing to the diversity of the set’s composition. This duality is mirrored in the philosophical exploration of the universal and the particular, where the universal represents the One, and the particulars represent the Multiple. -/- In the realm of mathematical philosophy, this relationship often leads to questions about the nature of mathematical objects: Are they discovered as part of an objective reality (the One), or are they constructed by the human mind from a multitude of experiences (the Multiple)? This debate resonates with the philosophical inquiry into the nature of truth and reality. -/- Reflecting on the One and the Multiple can also lead to a deeper understanding of the self and the cosmos. Just as the number one is integral to the existence of all other numbers, the individual self can be seen as a unique expression of the universal whole. Similarly, the cosmos can be viewed as a grand unity composed of a multiplicity of forms and phenomena. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers. -/- Gödel’s incompleteness theorems have a fascinating connection to the philosophical concepts of the One and the Multiple. These theorems, which are pivotal in mathematical logic and philosophy of mathematics, articulate the inherent limitations of formal axiomatic systems, particularly those sufficient to express the arithmetic of natural numbers⁴. -/- The **first incompleteness theorem** reveals that within any such consistent system, there are propositions that are true but cannot be proven within the system itself. This reflects the idea of the Multiple in that there is an abundance of mathematical truths, a multiplicity that exceeds the unifying framework of any one system. It suggests that the realm of mathematical truth is more extensive than any single formal system can fully capture. -/- The **second incompleteness theorem** extends this by showing that a system cannot prove its own consistency. This relates to the concept of the One, as it implies that a system’s complete self-understanding, its unity and coherence, is unattainable from within. It must look beyond itself, to an external vantage point, to ascertain its consistency. -/- In the context of the One and the Multiple, Gödel’s theorems imply that the One (a consistent formal system) is inherently incomplete and cannot encompass the Multiple (the totality of mathematical truths). This resonates with philosophical discussions about the relationship between unity and plurality. Just as a single philosophical system cannot capture the entirety of truth, a single formal mathematical system cannot encapsulate all mathematical truths. -/- Moreover, Gödel’s work suggests that the pursuit of a single, unified theory of everything in mathematics—a One that encompasses all Multiples—is an inherently Sisyphean task. There will always be more truths (Multiples) than can be derived from any given set of axioms (the One). -/- In essence, Gödel’s incompleteness theorems provide a formal underpinning to the philosophical notion that the One cannot exist without the Multiple, and vice versa. They are interdependent, with the One giving rise to the Multiple, and the Multiple necessitating the One for its expression and comprehension. This interplay is a dance of limitations and possibilities, where the boundaries of logic, mathematics, and philosophy blur into one another. -/- The relationship between the One and the Multiple in the context of the mathematics of zero is a deeply philosophical inquiry that bridges the abstract world of numbers with the existential questions of being and non-being. -/- Zero, in mathematics, is a symbol of absence, a representation of nothingness, yet it holds a pivotal position as a number. It is the void from which all things emerge and to which they return. In the philosophy of mathematics, zero is the paradoxical junction where the One and the Multiple converge and diverge. -/- From the perspective of the One, zero can be seen as the origin—the singular point that precedes the existence of numbers. It is the empty set, the foundation upon which the edifice of mathematics is constructed. As the identity element in addition, zero maintains the integrity of numbers, for adding zero to any number leaves it unchanged, reflecting the immutable nature of the One. -/- Conversely, when we consider the Multiple, zero represents the infinite potentiality of creation. It is the canvas upon which the integers, both positive and negative, express their multitude. Zero is the balance point, the fulcrum around which the symphony of numbers dances. It embodies the plurality of possibilities, the beginning of the number line that stretches infinitely in both directions. -/- Philosophically, zero challenges our understanding of existence. It is both something and nothing—a number that quantifies the absence of quantity. This duality echoes the philosophical struggle to comprehend how the One gives rise to the Multiple. How does the unity of being manifest the diversity of the cosmos? Zero offers a mathematical metaphor for this mystery, as it encapsulates the transition from non-existence to existence, from the undifferentiated One to the differentiated Multiple. -/- In the realm of set theory, zero corresponds to the empty set—a set with no elements. This set is unique in that it is the only set that contains nothing, yet it is the foundation upon which all other sets are built. The empty set is the mathematical embodiment of the One, and all other sets, containing multiple elements, arise from it. -/- Reflecting on zero in the context of Gödel’s incompleteness theorems, we find a resonance with the idea that the One (a consistent formal system) cannot capture the entirety of the Multiple (the totality of mathematical truths). Zero, as the foundation of numbers, similarly suggests that from the nothingness of the One, the infinite complexity of the Multiple emerges—yet it can never be fully encompassed or expressed by any single system. -/- In conclusion, the mathematics of zero offers a profound reflection on the relationship between the One and the Multiple. It serves as a bridge between the abstract and the concrete, the known and the unknowable, challenging us to ponder the origins of existence and the nature of reality itself. -/- . (shrink)

A theory of truth is an explanation of the nature of truth and set of rules that true things obey. A theory of truth is basically an attempt to enlighten on the nature of truth and formulate a set of laws that ‘true’ things follow. When we recall a memory, or analyze a statement, or appeal to evaluate within our brain, in fact, we are in quest for truth. Different theories of truth try to (...) understand it from different perspectives. Attempts to analyze truth down the history can neatly be divided into two: Classical and Contemporary theories. The classical or otherwise known as the traditional theories of truth are, Correspondence theory, Coherence theory, Pragmatic theory. Contemporary theories or otherwise known as modern theories of truth are mostly deflationary theories. Over and above these two categories we shall discuss a new theory of truth known as Functional theory of truth. When we analyze contemporary theories of truth, such as functionalist theory of truth, specifically alethic pluralism which commits the problem of mixed compound and also suggest the solution for the same. (shrink)

While we typically think of culture as defined by geography or ethnicity (e.g., American culture, Mayan culture), the term also applies to the practices and expectations of smaller groups of people. Though embedded in the larger culture surrounding them, such subcultures have their own sets of rules like those that scientists do. Philosophy of science has as its main object of studio the scientific activity. A way in which we have tried to explain these scientific practices is from the actual (...) ontological commitments that scientists do through their scientific theories. Certainly, we know scientific theories through some specific scientific language, which is, in its turn, a subset of the natural language developed by a particular culture. This study is conducted to explore and evaluate some of the most important epistemological consequences of these ontological commitments, specially the so-called ‘truth-commitment’ and its relation with a linguistic-cultural framework. There is an interesting debate between advocates and opponents of scientific realistic view of the natural world. Some lines of scientific realism argumentation assure that: (i) Mature scientific theories are approximately true. (ii) There are entities and organisms in the world that correspond with the ontology presupposed by the best scientific theories within a specific domain of scientific research and (iii) The new acceptable scientific theories should explain why past theories were successful predecessors (Colyvan 2008, Cocchiarella 2007 & Laudan 1981). Contrary, anti- realist positions ensure against the realist’s true - claim that is a semantic commitment - that the purpose of scientific theories to found the truth it is simple an unattainable goal, especially if the kind of truth they are looking for is a corresponding relation between scientific theories and the ontology of the world. Anti-realist positions held that this relation could be circular and unknowable. I do believe that there is a deep confusion between the way in which we accede to the knowledge of the constitutive structures, entities and organisms of the world (which is an epistemological matter) and the way these structures, entities and organisms are (which is an ontological matter). It seems that there is a bridge between the epistemological and ontological aspect in need for conceptual clarification. I do propose that the type of link between the two extremes have to be linguistic in nature. (shrink)

What is reality? How do we know? Answers to these fundamental questions of ontology and epistemology, based on Mahatma Gandhi's "experiments with truth", are: reality is nonviolent (in the sense of not-inconsistent), and nonviolence (in the sense of respecting-meaning) is the only means of knowing (Gandhi, 1940). Be that as it may, science is what we think of when we think of reality and knowing. How does Gandhi's nonviolence, discovered in his spiritual quest for Truth, relate to the (...) scientific pursuit of truth? Here we show that Gandhian nonviolent knowing of nonviolent reality is an abstraction of both individual knowing (looking, reasoning) and collective scientific knowing (measurements, calculations). Specifically, Gandhi's truth-through-nonviolence is a law-like summation of the methods of physics ("do not disturb" of measurements) and of mathematics ("do not tear" of calculations) that are used to know. Moreover, physics (with its lawful behaviour of bodies) and biology (in preserving the meaning of genetic code) do affirm that the defining attribute of reality is nonviolence. In light of these correspondences, the Mahatma's derivation of a universal method of knowing (nonviolence of preserving-structure) from a universal truth (nonviolence of consistent-becoming) constitutes a science-supported general theory of reality and knowing. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple (...) contaminating values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events (...) and we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)

In this article I propose a new problem for the classical analysis of knowledge (as justified true belief) and all analyses belonging to its legacy. The gist of my argument is that truth as a condition for a belief to be knowledge is problematic insofar there is no definition of truth. From this, and other remarks relating to the possibility of defining truth (or lack thereof) and about what truth theories fit our thoughts about knowledge, (...) I conclude that as long as truth is unquestioningly taken as a condition of knowing, knowledge can never be defined in a way that could satisfy our intuitions about it. (shrink)

A Bayesian measure of evidence for precise hypotheses is presented. The intention is to give a Bayesian alternative to significance tests or, equivalently, to p-values. In fact, a set is defined in the parameter space and the posterior probability, its credibility, is evaluated. This set is the “Highest Posterior Density Region” that is “tangent” to the set that defines the null hypothesis. Our measure of evidence is the complement of the credibility of the “tangent” region.

Assertion is fundamental to our lives as social and cognitive beings. Philosophers have recently built an impressive case that the norm of assertion is factive. That is, you should make an assertion only if it is true. Thus far the case for a factive norm of assertion been based on observational data. This paper adds experimental evidence in favor of a factive norm from six studies. In these studies, an assertion’s truth value dramatically affects whether people think it should (...) be made. Whereas nearly everyone agreed that a true assertion supported by good evidence should be made, most people judged that a false assertion supported by good evidence should not be made. The studies also suggest that people are consciously aware of criteria that guide their evaluation of assertions. Evidence is also presented that some intuitive support for a non-factive norm of assertion comes from a surprising tendency people have to misdescribe cases of blameless rule-breaking as cases where no rule is broken. (shrink)

I argue that coherence is truth-conducive in that coherence implies an increase in the probability of truth. Central to my argument is a certain principle for transitivity in probabilistic support. I then address a question concerning the truth-conduciveness of coherence as it relates to (something else I argue for) the truth-conduciveness of consistency, and consider how the truth-conduciveness of coherence bears on coherentist theories of justification.

Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is (...) a set of approaches in contemporary epistemology that regards knowledge as "a true belief arising from humans epistemic virtues." Virtue responsibilism and Virtue reliabilism are two important approaches to virtue epistemology that differ together in their attitude to the nature of epistemic virtue. Responsibilisms regards epistemic virtues as an acquired character traits that must be attained through practice and training with plenty of effort from the agent who possesses the will. In contrast, virtue reliabilisms considers epistemic virtues as reliable and innate cognitive faculties, and believes that this natural faculties has been placed in the human being from the very beginning and, if used in the appropriate condition and in a proper environment, is reliably truth-conducive. So virtue epistemology, which is distinguished from belief-based analytical epistemology by focusing on the cognitive character of the agent rather than the belief, regards epistemic virtues as the constructive factor of the epistemic agent and the condition of reaching the truth. From the two approaches of virtue reliabilism and virtue responsibilism, this paper focuses on the second approach and with using of the nine-fold virtues, that Jason Baehr posed, shows how to make epistemically good and thinker human by utilizing these virtues and avoiding the corresponding vices and through this, gained the truth in various epistemic areas. After explaining these virtues and their role in the two mentioned domains based on the virtue epistemology, the significance of this relationship in the view of Mulla Sadra as an example of Islamic philosophy is examined, For the reason that he sees knowledge as the produce of some factors that epistemic virtues is considered part of them. In the view of Sadra, epistemic virtues is the specific attributes and traits of reason faculty that their function causes man to be a very good and strong perciever, and their actual possesion or their gradual acquisition leads to the perfection of the soul and the dignity of human existence. In a new theory of soul-  Ph.D. Student of Islamic Philosophy and Theology, Qom University, Qom, Iran (Responsible author) [email protected]  Associate Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected]  Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected] 2/ Comparative Theology, Vol: 9, No: 19, Spring & Summer 2018 knowledge, he considers the journey of the soul from the outset as evolutionary journey, and, on the other hand, he considers all human activities directly as an activity of the soul (epistemic agent), which he performs through his own faculties. As a result, the soul is a increasing and evolving being, while at the same time acquiring knowledge is also from its own activities, and therefore the factors that make up the soul are also influential in its products. Now, as knowledge comes from soul exposure to the outside world, the more this soul is refined from pollutions and adorned to virtues, the better reflection from reality will be. Undoubtedly, the desire to engage in the process of truth-seeking and the responsible use of cognitive virtues and skills lead man to a desirable goal (recognition of truth) and forms his true intellectual identity. In the end, the paper suggests that because of the importance of epistemic virtues in the improvement of truth-seeking behaviors, educating and cultivating of these types of virtues should be part of the spoken and written course content of universities and schools, and must be proper critical thinking is institutionalized and strengthened in the spirit of community members. Educational resources contain a wide range of information that can deeply influence our epistemic behaviors and actions. Hence, it is necessary to include praised cognitive skills and epistemic virtues training in them. Teachers play an important role in educating and developing epistemic virtues as part of the formal curriculum content of educational centers, perhaps as part of critical thinking and logic courses. The formal education of epistemic virtues and the creation of opportunities for practicing and exercising them will be a good starting point for institutionalizing and developing admired cognitive skills among members of the community. In a society where individuals in their epistemic processes use their own cognitive virtues and organize their beliefs on their basis, the community itself and the social relations will also be virtuous, because the necessity of such an virtues is that individuals interact with their peers and In these interactions, rule virtue. Observing fairness towards others, intellectual humility, intellectual generosity, courage against miscreant and one who has weak arguments, observance of neutrality and other epistemic virtues, if it is to be found in societies as a habit and praised skill, then that society will be virtuous and its relations will be healthier and with the cultivating of those virtues, Intellectual and moral development will also become easier and more common. Intellectual virtues (or praised cognitive skills) should be taught to the community members, so that they display such characteristics when engaging in social activities, whean expressing opinions, when doing research, and so on. It is important to change our education policies, because the decay of praised cognitive skills leads to devastating consequences for intellectual identity and the truth-seeking and knowledgeacquiring behavior of the community members. (shrink)

Ongoing research in the fields of genetics and biotechnology hold the promise of improved diagnosis and treatment of genetic diseases, and potentially the development of individually tailored pharmaceuticals and gene therapies. Difficulty, however, arises in determining how these services are to be evaluated and integrated equitably into public health care systems such as Canada's. The current context is one of increasing fiscal restraint on the part of governments, limited financial resources being dedicated to health care, and rising costs for new (...) health care services and technologies. This has led to increasing public debate in the last few years about how to reform public health care, and whether we should prohibit, permit or perhaps even encourage private purchase of health care services. ;In Canada, some of these concerns have crystallized around the issue of gene patents and commercial genetic testing, in particular as illustrated by the case of Myriad Genetics' patented BRACAnalysis test for hereditary breast and ovarian cancer. While most Canadians who currently access genetic services do so through the public health care system, for those with the means, private purchase is becoming an option. This situation raises serious concerns---about justice in access to health care; about continued access to safe and reliable genetic testing supported by unbiased patient information; and about the broader effects of commercialization for ongoing research and the Canadian public health care system. Commercial genetic testing presents a challenge to health care professionals, policy analysts, and academics concerned with the social, ethical and policy implications of new genetic technologies. Using the Myriad case as an exemplar, tools from moral philosophy, the social sciences, and health policy and law will be brought to bear on the larger issues of how as a society we should regulate commercial research and product development, and more coherently decide which services to cover under public health insurance and which to leave to private purchase. Generally, the thesis is concerned with the question of "how best to bring capital, morality, and knowledge into a productive and ethical relationship". (shrink)

There is a fundamental incompatibility between a developmental orientation to education and instrumental and scientistic conceptions of rationality that dominate educational inquiry. An expanded conception of rationality is provided in the critical theory of Jurgen Habermas. This study draws on Habermas' work to present a theory of inquiry that is consistent with a developmental perspective. I distinguish three interdependent realms of experience--the objective world of nature, the intersubjective world of society and the subjective world of each individual. Then, I argue (...) that current conceptions of rationality tend to reduce personal and interpersonal experience to the objective material realm. Under prevailing conceptions, human action is rational when it pursues valued ends guided by knowledge about the world and effective means-ends relationships. Both theories of knowledge and theories of value in these conceptions are inadequate for a developmental orientation. -/- First, knowledge is defined as justified true belief. Theories of truth are based on the correspondence of beliefs with an external world; theories of justification are based on perceptual certainty. These conceptions objectify experience by making experience an object of natural science and instrumental action separate from and external to the person. Such conceptions reduce experience to the objective material dimension and cannot adequately account for the personal and interpersonal dimensions of human experience and understanding. -/- Second, because value claims are not capable of justification by these standards, they are considered ultimately irrational and treated as subjectively held empirical properties of individuals. The only standard of rationality is efficiency and economy in the selection of means. Ethics is reduced to empirical science. But the removal of practical questions from public discourse divests action of ethical significance. With its strict separation of descriptive and normative domains, empirical-analytic inquiry can neither acknowledge its standard of instrumental efficiency nor reach into the practical arena to guide the selection of values and ends that orient and gude human action. Practical questions that cannot be framed in terms of technical problems cannot be taken seriously. -/- Whereas these conceptions of rationality are generally derived from theories of experienced based on individual consciousness, Habermas looks to language for a more adequate account of the intersubjective nature of experience. This account provides an expanded conception of rationality with theories for justifying beliefs and actions that incorporate the personal and interpersonal dimensions of experience so critical to a developmental perspective. Through an analysis of the universal pragmatic structure of language directed to the resolution of problematic truth claims and moral claims, this study presents a consensus theory of truth (for a more adequate theory of knowledge) and a communicative theory of ethics (based on a more adequate theory of human values). -/- The concept of truth refers to a universal pragmatic convention of the unforced agreement of an ideal community of inquirers. Ethical conduct is guided by norms that reflect a rational general will and that regulate genuine human needs. Problematic truth claims and moral claims are discursively justified by the force of the better argument under the conditions of an anticipated "ideal speech situation" inherent in the very structure of communication. Furthermore, a theory of inquiry is developed in which inquiry processes are represented as historically evolved extensions of developmental process in the three realms of experience. Three interrelated forms of inquiry are derived--empirical-analytic, hermeneutic and critical. I derive each from its respective experiential realm, and indicate the logic of inquiry, object domain, and kind of knowledge gained from each. -/- An exploration of the relationship between inquiry and development provides a foundation for a developmental orientation to education. Finally, the theory is contrasted with prevailing inquiry approaches in education and illustrated with an application to a particular educational problem. (shrink)

This thesis is concerned with the ways in which meaning is generically mediated in the novel. In particular it addresses the productive diversity of meanings generated by critical interpretation and asks how, given this diversity, comprehension and consensus might be possible. I argue that the construction of subject, object, space and time is achieved in the novel through different manifestations of four key metaphors: voice, view, setting and event. These metaphors supply meanings that rely on a common experience of embodiment. (...) Embodiment supplies the basis for an intersubjectively established consensus which identifies subjects and objects in terms that correspond to the semiotic, syntagmatic and semantic uses of metaphor. I begin by surveying and reviewing certain constructionist accounts of language and meaning in order to establish the importance of metaphor in conveying meaning in rhetorical, rather than linguistic, terms. I then discuss two examples of continental philosophy on speech: Derrida on voice and Foucault on discourse. I demonstrate how meaning is rhetorically constructed according to the use to which metaphors are put—whether they denote formal, semantic, or functional aspects of meaning—through an explication of Foucault’s theory, reserving Derrida’s grammatology for my analysis of the stabilisation of meaning in the theory of certain narratologists (Gérard Genette and Marie-Laure Ryan). Voice and view are key terms in literary theory, and I examine refinements to these metaphors in Genette and Ryan. The insistence of these narratologists on restricting the rhetorical dimension of meaning undermines the value of the literary work, prompting me to argue for a relaxing of such constraints. I read Peter Carey’s True History of the Kelly Gang for its uses of voice and point of view, many of which expose the limitations of the narratological approach. This is a theoretical thesis, which engages a wide range of perspectives—constructionist, deconstructionist, sociological and structuralist—together with their various accounts of language, metaphor, speech and meaning. In terms of sociological approaches to genre and discourse, I employ the chronotope as a critical tool, examining it in the context of the theme of the country house to demonstrate the role of two of my key metaphors, setting and event, which are important for the construction of space and time in abstract terms. Focusing on novels by Jane Austen, Virginia Woolf, and Kazuo Ishiguro, in which the country house defines the space and the temporality through which thematic and “material” elements are mediated, I reveal how the chronotope supplies an overarching coherence that unites thought and event in narrative. My readings of these novels describe a theory that is concerned with the rhetorical capacities of genre rather than with taxonomic constructions of form. To this end I argue that the metaphorical dimensions of narrative—voice, view, setting and event—be loosely drawn, according to the acknowledged mutability of genre. I also emphasise the constructive effect of metaphor whilst according it a rhetorical versatility consistent with the mutability and instability of genre as a semiotic tool, concluding that consensus is achieved in our readings of novels through the form’s reliance on these four key metaphors of embodiment. These metaphors have ordinary, everyday, widespread usage beyond narrative theory; in appreciating their rhetorical value, it must be noted nonetheless that any confusion that ensues is productive, for it results in the diversities of meaning and form celebrated in the literary work. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

The theory proposing a biological framework for a mathematical universe hypothesis posits that biological patterns define the fundamental nature of reality. These biological patterns are initially hidden from view, but can only be unveiled and understood through the knowledge of biology’s patterns and structurally mapping correspondences from the biological domain to a target domain. This perspective aligns with the ideas establishing perennial wisdom, a concept that encompasses universal and timeless spiritual truths found across various traditions. By exploring the parallels between (...) perennial wisdom's core ideas and the theory of a biological universe, we can assert that the mystical concepts of Pnimiyut and Chitzoniyut from Kabbalah may have been attempting to express the underlying principles surrounding a biological universe. In this essay, we will delve into the concepts of Pnimiyut and Chitzniyut and their potential connection to the biological nature of the universe. (shrink)