This paper deals with Peirce’s understanding of perceptual judgment, relating it to the conditions for the use of language defined by Michael Dummett. Namely, drawing on Dummett’s requirement for harmony between descriptive and evaluative aspects of our linguistic practice, we will try to give an interpretation of Peirce’s view of perception that implies rejecting the idea that the formation of a perceptual judgment has an inferential structure. On the other hand, since it is, in Peirce’s opinion, the structure of (...) abductive inference, this approach should enable us to draw some conclusions related to abduction in general. (shrink)

We study the representation of sets of desirable gambles by sets of probability mass functions. Sets of desirable gambles are a very general uncertainty model, that may be non-Archimedean, and therefore not representable by a set of probability mass functions. Recently, Cozman (2018) has shown that imposing the additional requirement of even convexity on sets of desirable gambles guarantees that they are representable by a set of probability mass functions. Already more that 20 years earlier, Seidenfeld et al. (1995) gave (...) an axiomatisation of binary preferences—on horse lotteries, rather than on gambles—that also leads to a unique representation in terms of sets of probability mass functions. To reach this goal, they use two devices, which we will call ‘SSK–Archimedeanity’ and ‘SSK–extension’. In this paper, we will make the arguments of Seidenfeld et al. (1995) explicit in the language of gambles, and show how their ideas imply even convexity and allow for conservative reasoning with evenly convex sets of desirable gambles, by deriving an equivalence between the SSK–Archimedean natural extension, the SSK–extension, and the evenly convex natural extension. (shrink)

Fine (2017) proposes a new logic of vagueness, CL, that promises to provide both a solution to the sorites paradox and a way to avoid the impossibility result from Fine (2008). The present paper presents a challenge to his new theory of vagueness. I argue that the possibility theorem stated in Fine (2017), as well as his solution to the sorites paradox, fail in certain reasonable extensions of the language of CL. More specifically, I show that if we extend (...) the language with any negation operator that obeys reductio ad absurdum, we can prove a new impossibility result that makes the kind of indeterminacy that Fine takes to be a hallmark of vagueness impossible. I show that such negation operators can be conservatively added to CL and examine some of the philosophical consequences of this result. Moreover, I demonstrate that we can define a particular negation operator that behaves exactly like intuitionistic negation in a natural and unobjectionable propositionally quantified extension of CL. Since intuitionistic negation obeys reductio, the new impossibility result holds in this propositionally quantified extension of CL. In addition, the sorites paradox resurfaces for the new negation. (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)

This paper examines the conservative point of view about distributive justice. The first section explains the methodology used to develop this point of view. The second section describes one conservative point of view and briefly provides empirical evidence that it reflects the viewpoint of many ordinary conservatives. The third section explains how this conservative view can ground objections to social safety net programs, using as examples the recent health reform legislation and more extensive proposals for a true (...) national health system. The fourth section sketches ways that non-conservative philosophers might try to refute those objections. Examining a conservative point of view leads to several important conclusions. One is that the conservative point of view is not properly represented in contemporary philosophical discussions. Another is that the conservative point of view cannot be refuted by appealing to existing egalitarian writings. A third is that if progressive philosophers such as myself want to address the conservative point of view, we must expand the range of issues that we discuss in contemporary political philosophy. Doing so is a vital task, because otherwise we ignore the political views held by as much as half the American population. (shrink)

The incompleteness of set theory ZFC leads one to look for natural extensions of ZFC in which one can prove statements independent of ZFC which appear to be "true". One approach has been to add large cardinal axioms. Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski- Grothendieck set theory TG [1]-[3] It is a non-conservative extension of ZFC and is obtaineed from other axiomatic set theories by the inclusion of Tarski's axiom which implies (...) the existence of inaccessible cardinals [1].Non-conservative extension of ZFC based on an generalized quantifiers considered in [4]. In this paper we look at a set theory NC_{∞^{#}}^{#},based on bivalent gyper infinitary logic with restricted Modus Ponens Rule [5]-[8]. In this paper we deal with set theory NC_{∞^{#}}^{#} based on gyper infinitary logic with Restricted Modus Ponens Rule. Set theory NC_{∞^{}}^{} contains Aczel's anti-foundation axiom [9]. We present a new approach to the invariant subspace problem for Hilbert spaces. Our main result will be that: if T is a bounded linear operator on an infinite-dimensional complex separable Hilbert space H,it follow that T has a non-trivial closed invariant subspace. Non-conservative extension based on set theory NC_{∞}^{#} of the model theoretical nonstandard analysis [10]-[12] also is considered. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

The Monist’s call for papers for this issue ended: “if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible”. We use the Grelling-Nelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point out that (...) object-object mapping theories of semantics, the usual account for the possibility of non intentional semantics, doesn’t seem able to account for the indefinitely extensible productivity of natural language. (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke (...) resource models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

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

This bibliographical guide gives a comprehensive overview of the historiography of philosophy and thought in the Japanese language through an extensive and thematically organized collection of relevant literature. Comprising over one thousand entries, the bibliography shows not only how extensive and complex the Japanese tradition of philosophical and intellectual historiography is, but also how it might be structured and analyzed to make it accessible to a comparative and intercultural approach to the historiography of philosophy worldwide. The literature is categorized (...) and organized according to thematic focus areas such as geographical regions and continents, nations or peoples, religious traditions and philosophical teachings such as Buddhism, Islam, Shintō, and Confucianism, as well as disciplines such as ethics, aesthetics, and political thought. The bibliography is accompanied by an introduction outlining the research method as well as quantitative and qualitative approaches to analyzing the material, followed by a chronological overview of the historiography of philosophy and thought in the Japanese language and of the Japanese tradition of writing “world histories of philosophy.” As a first step towards a “history of the historiography of philosophy” in non-European languages, we hope that this guide will provide a useful tool for interculturally oriented scholarship aimed at a non-Eurocentric and diversified historiography of philosophy in a global perspective. (Open access, see link below.). (shrink)

An application of diagrams for separating modes of theory development.

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

Hartry Field argues that conservative rather than true mathematical sentences facilitate deductions in nominalist (i.e., abstracta-free) science without prejudging its empirical outcomes. In this paper, I identify one branch of mathematics as nonconservative, for its indispensable role in enabling nominalist language about a fundamental scientific property, in a fictional scientific community. The fundamental property is electromagnetic reflectance, and the mathematics is Fourier analysis, which renders reflectance ascribable, and nominalist reflectance claims utterable, by this community. Using a recent characterization (...) of conservativeness by Kenneth Boyce, I argue that infinitudes can be rendered inherently mathematical and non-nominalizable in the fictional community, and that rendering infinitudes inherently mathematical for all real communities would yield a convincing counterexample to Fieldian conservativeness. (shrink)

In this paper we present a solution to Saul Kripke’s Puzzle About Belief Meaning and use, Dordrecht, 1979) based on Kaplan’s metaphysical picture of words. Although it is widely accepted that providing such a solution was one of the main incentives for the development of Kaplan’s theory, it was never presented by Kaplan in a systematic manner and was regarded by many as unsatisfactory. We agree with these critiques, and develop an extension of Kaplan’s theory by introducing the notion (...) of “conservative” word uses, as well as arguing for the restriction of Kripke’s Disquotational Principle only to such uses. This restriction allows us to solve Kripke’s Puzzle by arguing that the assent of the puzzle’s protagonist does not allow disquotation and ascription of corresponding inconsistent belief, as it contains the non-conservative use of a proper name. At the end of the paper, we defend two of Kaplan’s theses that we find essential for our argument to work: that individuation of word tokens involves taking into account the intention of the speaker, and that different uniquely referring proper names of the same shape should be regarded as different homonymous words. (shrink)

We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.

The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of (...) K, using a novel generalisation of the standard semantics. (shrink)

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its (...) extension. After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms. (shrink)

Analytical philosophy defines mathematics as an extension of logic. This research will restructure the progress in mathematical philosophy made by analytical thinkers like Wittgenstein, Russell, and Frege. We are setting up a new theory of mathematics and arithmetic’s familiar to Wittgenstein’s philosophy of language. The analytical theory proposed here proves that mathematics can be defined with non-logical terms, like numbers, theorems, and operators. We’ll explain the role of the arithmetical operators and geometrical theorems to be foundational in mathematics. (...) Our position states that mathematical operators and theorems are tautologies. Here numbers are arbitrary signs of magnitudes whose meaning is arbitrated by the mathematical operator. We will prove that set theory in mathematics doesn’t form a branch of logic and operators arbitrarily form sets into units. Herein are the foundations of numbers. (shrink)

We study the conservation of energy, or lack thereof, when measurements are performed in quantum mechanics. The expectation value of the Hamiltonian of a system changes when wave functions collapse in accordance with the standard textbook treatment of quantum measurement, but one might imagine that the change in energy is compensated by the measuring apparatus or environment. We show that this is not true; the change in the energy of a state after measurement can be arbitrarily large, independent of the (...) physical measurement process. In Everettian quantum theory, while the expectation value of the Hamiltonian is conserved for the wave function of the universe, it is not constant within individual worlds. It should therefore be possible to experimentally measure violations of conservation of energy, and we suggest an experimental protocol for doing so. (shrink)

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an impossible world, given Lewis’ reductive theoretical framework? Since (...) the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

As is well known, research on generics is represented by three approaches: majority- based (Cohen 1996, 1999, 2004), normalcy-based (Nickel 2006; 2009; 2010a, b; 2013; 2016; 2018), and cognition-based (Leslie 2007a, b; 2008; 2013; 2017) approaches. Two recent approaches proposed by van Rooij and Schulz (2020) and Tessler and Goodman (2019) are more elaborated theories on generics, although neither of these approaches nor the three representative theories can fully account for various generics data, as argued by Yoon (2021). On the (...) other hand, Nguyen (2020) proposes another theory of generics, the so-called ‘radical’ theory, which argues that the generic operator has no semantic content, and that the various quantificational interpretations of bare plural generics are determined contextually. In this context, the main purpose of this paper is to provide a critical review of some recently published analyses, including Nguyen’s theory, and to analyze non-conventionalized generics. While conventionalized or conceptualized generics have received much attention from researchers, non- conventionalized generics have not been studied as extensively. It will be argued that Nguyen’s theory simply transfers the burden onto pragmatics, and that non- conventionalized as well as conventionalized generics tend to be interpreted based on people’s perceptions of their exceptions, in line with Yoon (2021). This position will be supported by experimental results. (shrink)

This book offers substantial insight into students’ conceptualization of scientific terminology. The current book explores the commonalities and distinctions between Arabic and French physics terms, and the impact of the language disparities on students’ understanding of physics terms. This book adopts a novel approach to the problem of scientific terminology by exploring physics terms’ polysemy, prototypical meanings, and conceptual metaphor and metonymy, which motivates their extension of meaning. The book also investigates how the linguistic discrepancies and other variables (...) affect the learning of physics by Arab students (Moroccan students, in this book). Concepts in Physics: A Comparative Cognitive Analysis of Arabic and French Terminologies, whether you are a student of science, a science teacher or lecturer, a translator, or a linguist, is what you need. The book will help you comprehend the linguistic and cultural differences between western and non-western physics terminologies (in this book, French and Arabic physics terminologies) and the factors influencing the learning of physics concepts, and thus address the multiple challenges in learning scientific terms and concepts. (shrink)

There’s an interesting debate in moral and political philosophy about the nature of, and relationship between, ideal and non-ideal theory. In this paper we discuss whether an analogous distinction can be drawn in philosophy of language. Our conclusion is negative: Even if you think that distinction can be put to work within moral and political philosophy, there’s no useful way to extend it to work that has been done in the philosophy of language.

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain - outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent (...) statements do not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

Each of us is a measure. The project of advocates of change in Plato’s Theaetetus as compared with sophistic thought -/- Summary -/- One of the most intriguing motives in Plato’s Theaetetus is its historical-based division of philosophy, which revolves around the concepts of rest (represented by Parmenides and his disciples) and change (represented by Protagoras, Homer, Empedocles, and Epicharmus). This unique approach gives an opportunity to reconstruct the views of marginalized trend of early Greek philosophy - so called „the (...) sophistic movement”. Paradoxically, previous research shows little interest in sophistic thought as a source of the standpoint of advocates of change („the secret doctrine”). The roots of „the secret doctrine” were investigated in the works of Heraclitus, Aristippus, and Antisthenes or those related to “neoheracliteanism”. However, researchers did not make any significant attempt to confront this concept with the contemporary research on the sophistic movement. The conviction that sophistry was primarily humanistically oriented was one of the main reasons why researches were opposed to the fact that „the secret doctrine” could represent a true expression of Protagoras’ views. This is why J. Burnet and F. M. Cornford in their seminal works assumed that “the secret doctrine” should be attributed to Plato, who simply combined a series of loose statements into one single project. In this work, we argue that the thesis which questions the parallels between the sophists’ interests and the philosophers of nature requires a significant revision. There is ample evidence to suggest that the philosophy of nature was a part of sophists’ research. This is supported by two main arguments. First, the tutors of sophists were philosophers of nature. Second, there are numerous sources that explicitly show sophists’ interest in the physical issues. These sources include anecdotal evidence about the fact that sophists wrote works On nature. There is also information confirming that they deliberated on detailed physical issues. The analogies between the concepts attributed to the advocates of change and our knowledge about sophists from other sources is very wide and contains most elements, which are included in the project of “changeable reality” presented in Theaetetus. The deliberations on the mechanism of perception, which are close to those of flux theory of perception in Theaetetus, are present in the sources referring to Gorgias of Leontinoi, the famous sophist and rhetorician. Also, the second element of “the secret doctrine” that is the metaphysics of flux matches up with what we know about the sophists’ views from other sources. On this basis, one can deduce that – contrary to the tradition which marginalized the role of sophistic considerations on the issue of being and non-being – it was one of the major subjects of sophistic research. Its main point was the criticism of the Eleatic conception of a single and unchangeable being, which also plays a key role in the doctrine of flux in Theaetetus. The epistemological theses which are presented in Theaetetus are borne out in sophistic sources. They include the definition of knowledge as perception, the „Man-measure” formula and a number of principles, which result from these foundational theses. Sophists’ empirical preferences resonate with the theses of the advocates of change in Theaetetus. Special attention that is given to the issues of differences among people, and even to cognitive differences in one person depending on the changeable states to which a person is subject, goes well together with what we know about reciprocal influence between the sophistry and medicine. The consequences of the epistemological conception present in Theaetetus have their equivalents in sophists’ works and other testimonies. An example of these consequences may be the abolition of truth and falsehood or the abolition of contradiction, which finds its expression in the thesis ouk estin antilegein. The analogies also concern reflections on the language itself. The project of the “new language” uses categories, which were developed by sophists. These include the antithesis of nomos and physis. The general intentions of this project reflect Protagoras’ ideas, at least to the extent to which they are known from the sources reporting his thoughts on language. Plato’s Theaetetus can thus be considered a veritable treasury of sophistic motifs. Even though the problem remains unsolved and one is still not able to unambiguously decide about the author of “the secret doctrine”, one can come to a certain conclusion – even if Plato synthesized various doctrines, he must have relied in his project mostly on the elements that he borrowed from sophists. Moreover, the value of reconstructing the project of the advocates of change in Theaetetus does not consist of mere enumeration of sophistic motifs. The dialogue is key to understanding the sophistic movement, whose separate doctrines – for the lack of sources and as a result of centuries-old disregard – are usually treated as rhetorical formulae that are interpreted in many ways and have no philosophical foundations. If it is really the case that the theses attributed to Protagoras in Theaetetus were actually a part or a derivative of Protagoras’ thought, or – speaking more conservatively – if they constitute a synthesis of sophistic thought done by Plato, they could represent philosophical foundations for the most important sophistic theses: the “Man-measure” formula, the ouk estin antilegein principle, the concept of language as a tool, the idea of the relativity of good and the whole practical sphere of sophists’ activity. Contrary to the views of many researchers, we are certain that the representatives of the sophistic movement did not limit themselves only to the application of practical rules, which determined the extent of their educational or rhetorical-political activity. They were capable of creating – indeed, they did create comprehensive projects that embraced the whole thematic scope subject to philosophical reflection. (shrink)

Empty individual expressions are needed to reconstruct the actual use of scientific language as well as to make logic free from existence assumptions. According to Quine, a language must be extensional to be adequate for the purposes of science. By means of Lambert's non-extensionality argument it can be demonstrated that a language containing empty individual expressions cannot be extensional as long as truth-values are the extensions of sentences. This book investigates the soundness of Lambert's argument and examines (...) the question of whether and how extensionality of a language for free logic can be secured. To achieve these aims, the notion of extensionality is thoroughly analyzed and two new semantic approaches to free logic are developed in which states of affairs, but not truth-values, are the extensions of sentences. These two semantic approaches are defended against the slingshot argument. In this way, two possible solutions to the problem of extensionality arise which use non-existent objects in two different ways: whereas in dual domain semantics non-existent objects serve as referents of empty singular terms, in single domain semantics they serve as hole marker objects that mark the holes in states of affairs where an object is missing due to an irreferental individual expression. (shrink)

In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and employed to pinpoint (...) the maximal non-classical extension of both daC and Heyting-Brouwer logic HB . Finally, the relationship between daC and Logics of Formal Inconsistency is examined. (shrink)

If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value (...) that had to be preserved under the substitution of co-extensional expressions, but the state of affairs that the sentence described. The question is whether or not elementary sentences containing empty singular terms, such as ‘Vulcan rotates’, are extensional in the substitutivity sense. Five conditions are specified under which extensionality in the substitutivity sense of such sentences can be secured. It is demonstrated that such sentences are state-of-affairs-as-extension-related extensional. This implies that such sentences are also truth-value-related extensional in Quine’s sense, but not truth-value-as-extension-related extensional. (shrink)

The purpose of this paper is to communicate - as a proposal - a general method of assigning a 'truthmaker' to any 1st order sentence in each of its models. The respective construct is derived from the standard model theoretic (recursive) satisfaction definition for 1st order languages and is a conservative extension thereof. The heuristics of the proposal (which has been somewhat idiosyncratic from the current point of view) and some more technical detail of the construction may be (...) found in my article on part I of Spinoza's 'ethica, ordine geometrico demonstrata', which is the context within which I elaborated the assignment. But this context need not be repeated here, the presentation of the truthmaker assignment will be comprehensible to anybody with solid basic knowledge in 1st order model theory, anything used is standard and no advanced techniques are required. (shrink)

Current knowledge of the RNA world indicates 2 different genetic codes being present throughout the living world. In contrast to non-coding RNAs that are built of repetitive nucleotide syntax, the sequences that serve as templates for proteins share—as main characteristics—a non-repetitive syntax. Whereas non-coding RNAs build groups that serve as regulatory tools in nearly all genetic processes, the coding sections represent the evolutionarily successful function of the genetic information storage medium. This indicates that the differences in their syntax structure are (...) coherent with the differences of the functions they represent. Interestingly, these 2 genetic codes resemble the function of all natural languages, i.e., the repetitive non-coding sequences serve as appropriate tool for organization, coordination and regulation of group behavior, and the nonrepetitive coding sequences are for conservation of instrumental constructions, plans, blueprints for complex protein-body architecture. This differentiation may help to better understand RNA group behavioral motifs. (shrink)

The idea that thought and language can be clarified through logical methods seems problematic because, while thought and language are not always exact, logic (by its very nature) must be. According to Kuusela, ideal (ILP, represented by Frege and Russell) and ordinary language philosophy (OLP, represented by Strawson) offer opposed solutions to this problem, and Wittgenstein combines the advantages of both. I argue that, given Kuusela’s characterisation of OLP, Strawson was not an OLP’er. I suggest that, instead (...) of seeing ILP and OLP as opposed to one another, it is better to regard OLP as an extension of ILP. (shrink)

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

Sophists and rhetoricians like Gorgias are often accused of disregarding truth and rationality: their speeches seem to aim only at effective persuasion, and be constrained by nothing but persuasiveness itself. In his extant texts Gorgias claims that language does not represent external objects or communicate internal states, but merely generates behavioural responses in people. It has been argued that this perspective erodes the possibility of rationally assessing speeches by making persuasiveness the only norm, and persuasive power the only virtue, (...) of speech. Against this view, I show how Gorgias’ texts support a robust normativity of language that goes well beyond persuasion while remaining non-representational. Gorgias’ claims that a speech can be persuasive and false, or true and unpersuasive, reveal pragmatic, epistemic, and agonistic constraints on the validity of speech that are neither representational nor reducible to sheer persuasiveness. (shrink)

The primary objective of this paper is to show that for later Wittgenstein, language cannot be based on a pre-linguistic foundation. Following closely on the tracks of the philosopher, it argues that none of the proposed foundations that are claimed to relate language to reality - viz. verbal definitions, ostensive techniques, mental images, quantitative measurement , Fregean thought or intention - is able to sustain its assumed pre-interpretive character. In a dense exegetical engagement with Wittgenstein, the paper lays (...) out that the hallowed pre-interpretive reference taken to underlie the varying modes of interpretations or descriptions is actually a grammatical interplay, where what seems to be the pre-interpretive simple in one game turns out to be an elaborately complex construction in another. In the ultimate analysis, language and behaviour forge a non-foundational blend that internalizes and does not represent a supposedly extra-linguistic reality. (shrink)

In this paper, we present what we call the argument from accidental truth, according to which some instances of deflationist schemata, even those carefully reformulated and adjusted by Field and Horwich to accommodate the truth of utterances, are falsified due to accidental truths. Since the folk concept of truth allows for accidental truths, the deflationary theory of truth will face a serious problem. In particular, it follows that the deflationist schema fails to capture the proper extension of truth by (...) precluding accidental truths of utterances. Even though the argument uses the contextualist cases, this conclusion does not require so much as the truth of contextualism, but only two assumptions, the existence of context-relative non-literal contents of utterances (or speech acts), and the existence of accidental truths, both of which are widely accepted by folks and theorists. We will also consider various responses to the argument, including the revisionary deflationist position, all of which we argue are unsatisfactory or committed to a highly implausible view. (shrink)

Abstract A Note to Cogito Les Jones Blackburn College Previous submissions include -Intention, interpretation and literary theory, a first lookWittgenstein and St Augustine A DiscussionAreas of Interest – History of Western Philosophy, Miscellaneous Philosophy, European A Note on Cogito Descartes' brilliance in driving out doubt, and proving the existence of himself as a thinking entity, is well documented. Sartre's critique (or maybe extension) is both apposite and grounded and takes these enquiries on to another level. Let's take a look. (...) 'I think' somehow, for all its power, lacks something. What? Consider what one does when thinking (difficult, but we can try). Implicit in the word 'think', in fact the very essence of the word 'think', is that activity is going on, and if such activity is going on then it must be going on about something, an object, an emotion, a problem,or maybe some dreamlike state, but common to all these is that something is going on. Is that really so? Well, if that wasn't so we would be able to think in a pure state, wouldn't we? But what does a pure state of 'thinking' mean? It can't mean that there isnothing there, because if there were nothing there then no thinking would be taking place. Can it mean that we are thinking of nothing? Well no, because if we are thinking of nothing then we are thinking of something, we are contemplating the notion, or the nature, of nothing. In fact, one can argue that if we talk of something, inthis case nothing or nothingness, then in our head we have some notion of what that is, i.e. something exists in the mind for it to come out of our mouths. Thinking is a recognition of something outside the individual, for the very act of direction, which isan indispensable part of thinking, recognises, must recognise, that there are things to address outside the individual. Something else to bear in mind. According to Sartre human beings are condemned to freedom. Why condemned? Human beings did not choose to be born, but the act ofbeing born also imparts the freedom of which Sartre speaks. Freedom is something which we parrot off as being a sine qua non for the human condition. I believe that's true, but freedom in this sense isn't without its consequences for the individual humanbeing, for individual human beings handle freedom differently. To some it enables them to fly, to others it imparts immense pressures, anguish, heartbreak, unhappiness can all be associated with such freedom. Each individual is responsible for his destiny, for his direction. If someone says that God impelled him, that individual chose his or her God, and chose to obey his or her God. This believer has to sift through the multitude of things that his or her God desire of him or her. All this is fine, so long as we acknowledge what is going on here. Belief in God is, by definition, a belief. Belief, following Wittgenstein, is a language game with its rules and its boundaries. The essential feature of religion as language game are its boundaries, which can be summed up in the word belief. OK, belief has its practises which are its constituent parts, but belief is the boundary between religion and other language games, as the proof constituents are different. Our world is determined by the language used to describe everything that goes on within it. The boundaries of our world are set by the language we use. This might be better put as language gives access to ever expending boundaries. Ever expanding boundaries are only possible by ever expanding thought, and ever expanding thought is only possible by ever expanding directions to our thought brought about through language. It is a fact taken that to be conscious is to think. How could this be otherwise? Consciousness without thought just does not make sense. Imagine a state of consciousness without directional thought. What would it be like? It would be something never experienced, completely out of our understanding. Why? Because understanding itself is a directional thought process. If we say we are going outside our understanding then that is a world of void, and a world of void does not exist. Can such a world be contemplated in our thinking? Well, yes, but then it requires thinking, and thinking requires direction, and such direction requires language. Why does direction require language? Because there is no other way for human beings to articulate a directional thought. Could one point at an image without language? Well, one could have an image in mind, but the essence of saying something about it, of descriptive power, brings us back to the essence, to the power of language to direct. So what of this language of which we speak? Wittgenstein's private language argument points us towards the notion that language itself constantly develops and redevelops through human interaction. Descarte's cogito implies that thinking rules out doubt of one's own existence. But such thinking, to be valid, to make sense, to direct, must develop in a language that has developed, has been verified, by a plurality, by a plurality whose essence is social. Correct use of language symbols, i.e. words, requires that we verify and reverify the accuracy of such symbols. How do we do that? We do that in constant usage, in constant interaction, with other human beings. An individual using a private language could not be understood by others, his symbol system has not been verified by others, his meanings may not be your meanings. It follows from what we have said above that language is constructed, and is continually constructed, in a social context. Given our previous thoughts regarding verification this could not be otherwise. Language has a normative form. All language users are required, by their very use of the language, to verify the use of terms, grammar etc etc. As Wittgenstein cites (appropriately) games as a model, let us take a look. If I play e.g. Ludo, I am governed by the rules. It is not just that I may play dishonestly, for if I were to play at all that very dishonesty, to count as Ludo, would have to be rule governed. The rules of Ludo are Ludo, they are the essence and the constitution of it. Wittgenstein, particularly in his later writings, interweaves many concepts, and connects them in different and sometimes rather elusive ways. Wittgenstein sees concepts like emotions, sentiments and experiences in these interweaving maps. Of course these can be regarded as psychological concepts ** Language can be considered in another but related way, as embodying the elements of a cultural heritage. Language was seen as embodying the notion of higher culture in the arts, architecture etc. Over recent decades this has tended to shift to consider less tangible benefits, such things as oral traditions, cultural values and cultural identity. So language enables us to explore, through the achievements of past generations, cultural mores that may have laid unchallenged for many years. Many of these values and mores may be seen as independent of the language by which they are transmitted, but still this monumental accomplishment of mankind i.e. language, enables man to explore, to modify, to codify, to extend the boundaries of human experience. There are therefore massive implications for our Note on Cogito of Wittgenstein's work. Following Wittgenstein emotions and other psychological concepts can be termed depth grammar, and are distinguished by the fact that the third person of the present is recognised by observation, the first person is not. Taking Wittgenstein's well known pain example the sentence 'He is in pain' is a third person statement of an observational nature. The sentence 'I am in pain' is not derived from observation but from experience, it is an expression of that experience, it's essence is the experience. The asymmetry consists in the fact that predicting psychological attributes of others is warranted by what they do and say. By contrast, the use of such statements in the first person present tense does not rest on one's observation of one's own behaviour. (Hacker 2010:287) p 9 According to Wittgenstein 'I am in pain' is more like a cry of pain, an expression of pain, than a report of some pain. Of course this appertains for other similar statements. 'I feel good' etc. (shrink)

Coreferentialism refers to the common assumption in the literature that slurs and descriptors are coreferential expressions with precisely the same extension. For instance, Vallee recently writes that “If S is an ethnic slur in language L, then there is a non-derogatory expression G in L such that G and S have the same extension”. The non-derogatory expression G is commonly considered the nonpejorative correlate of the slur expression S and it is widely thought that every S has (...) a coreferring G that possesses precisely the same extension. Yet here I argue against this widespread assumption by first briefly introducing what slurs are and then considering four sources of supporting evidence showing that slurs and descriptors are in fact not coreferential expressions with precisely the same extension. I argue that since slurs and descriptors differ in their extension they thereby differ in their meaning or content also. This article additionally introduces the notion of a conceptual anchor in order to adequately account for the relationship between slurs and descriptors actually evidenced in the empirical data, and further considers the inadequacy of common dictionary definitions of slurs. This article therefore contributes to the literature on slurs by demonstrating that previous accounts operating on the assumption that slurs and descriptors are coreferential expressions with the same extension, and that they thereby have the same meaning or content, are inconsistent with empirical data and that an alternative account in accord with Croom better fits the facts concerning their actual meaning and use. (shrink)

The meaning that expressions take on particular occasions often depends on the context in ways which seem to transcend its direct effect on context-sensitive parameters. ‘Truth-conditional pragmatics’ is the project of trying to model such semantic flexibility within a compositional truth-conditional framework. Most proposals proceed by radically ‘freeing up’ the compositional operations of language. I argue, however, that the resulting theories are too unconstrained, and predict flexibility in cases where it is not observed. These accounts fall into this position (...) because they rarely, if ever, take advantage of the rich information made available by lexical items. I hold, instead, that lexical items encode both extension and non-extension determining information. Under certain conditions, the non-extension determining information of an expression e can enter into the compositional processes that determine the meaning of more complex expressions which contain e. This paper presents and motivates a set of type-driven compositional operations that can access non-extension determining information and introduce bits of it into the meaning of complex expressions. The resulting multidimensional semantics has the tools to deal with key cases of semantic flexibility in appropriately constrained ways, making it a promising framework to pursue the project of truth-conditional pragmatics. (shrink)

This paper attempts to resolve the puzzle associated with the non-spatiality of monads by investigating the possibility that Leibniz employed a version of the extension of power doctrine, a Scholastic concept that explains the relationship between immaterial and material beings. As will be demonstrated, not only does the extension of power doctrine lead to a better understanding of Leibniz’ reasons for claiming that monads are non-spatial, but it also supports those interpretations of Leibniz’ metaphysics that accepts the real (...) extension of bodies. (shrink)

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

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in (...) just those models. I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

● Sergio Cremaschi, The non-existing Island. The chapter discusses how the cleavage between the Continental and the Anglo-American philosophies originated, the (self-)images of both philosophical worlds, the converging rediscoveries from the Seventies, and recent ecumenic or anti-ecumenic strategies. I argue that pragmatism provides an important counter-instance to the familiar self-images and the fashionable ecumenic or anti-ecumenic strategies. The conclusions are: (i) the only place where Continental philosophy exists (as Euro-Communism one decade ago) is America; (ii) less obviously, also analytic philosophy (...) does not exist, or does no more exist as a current or a paradigm; what does exist is, on the one hand, philosophy of language and, on the other, philosophy of mind, that is, two disciplines; (iii) the dissolution of analytic philosophy as a school has been highly fruitful, precisely in so far as it has left room for disciplines and research programmes; (iv) what is left, of the Anglo-American/Continental cleavage is primarily differences in styles, depending partly on intellectual traditions, partly owing to sociology, history, institutional frameworks; these differences should not be blurred by rash ecumenism; besides, theoretical differences are alive as ever, but within both camps; finally, there is indeed a lag (not a difference) in the appropriation of intellectual techniques by most schools of 'Continental' philosophy, and this should be overcome through appropriation of what the best 'analytic' philosophers have produced. ● Michael Strauss, Language and sense-perception: an aspect of analytic philosophy. To test an assertion about one fact by comparing it with perceived reality seems quite unproblematic. But the very possibility of such a procedure is incompatible with the intellectualistic basis of logical positivism and atomism (as it is for example to be found in Russell's Analysis of Mind). According to the intellectualistic approach pure sensation is meaningless. Sensation receives its meaning and order from the intellect through interpretation, which is performed with the help of linguistic tools, i.e. words and sentences. Before being interpreted, sensation is not a picture or a representation, it is neither true nor false, neither an illusion nor knowledge; it does not tell us anything; it is a lifeless and order-less matter. But how can a thought (or a proposition) be compared with such a lifeless matter? This difficulty confronts the intellectualist, if on the one hand he admits the necessity of comparing thought with sense-perception, and on the other hand presupposes that we possess only intellectual and no immediate perceptual understanding of what we see and hear. In this paper I give a critical exposition of three attempts, made by Russell, Neurath and Wittgenstein, to solve this problem. The first attempt adheres to strict conventionalism, the second tends to naturalism and the third leads to an amended, very moderate version of conventionalism. This amended conventionalism looks at sense impressions as being a peculiar language, which includes primary symbols, i.e. symbols not founded on convention and not being in need of interpretation. ● Ernst Tugendhat, Phenomenology and language analysis. The paper, first published in German in 1970, by which Tugendhat gave a start to the German rediscovery of analytic philosophy. The author stages a confrontation between phenomenology and language analysis. He argues that language analysis does not differ from phenomenology as far as the topics dealt with are concerned; instead, both currents are quite different in method. The author argues that language-analytic philosophy does not simply lay out of the mainstream of transcendental philosophy, but that instead it challenges this tradition on the very level of foundations. The author criticizes the linguistic-analytic approach centred on the subject as well as any object-centred approach, while proposing inter-subjective understanding through language as the new universal framework. This is, when construed in so general terms, the same program of hermeneutics, though in a more basic version. ● Jürgen Habermas, Language game, intention and meaning. On a few suggestions by Sellars and Wittgenstein. The paper, first published in German in 1975, in which Habermas announces his own linguistic turn through a discovery of speech acts. In this essay the author wants to work out a categorical framework for a communicative theory of society; he takes Wittgenstein's concept of language game as a Leitfade and, besides, he takes advantage also of Wilfried Sellars's quasi-transcendental account of the genesis of intentionality. His goal is to single out the problems connected with a theory of consciousness oriented in a logical-linguistic sense. ● Zvie Bar-On, Isomorphism of speech acts and intentional states. This essay presents the problem of the formal relationship between speech acts and intentional states as an essential part of the perennial philosophical question of the relation between language and thought. I attempt to show how this problem had been dealt with by two prominent philosophers of different camps in our century, Edmund Husserl and John Searle. Both of them wrote extensively about the theory of intentionality. I point out an interesting, as it were unintended, continuity of their work on that theory. Searle started where Husserl left off 80 years earlier. Their meeting point could be used as the first clue in our search. They both adopted in effect the same distinction between two basic aspects of the intentional experience: its content or matter, and its quality or mode. Husserl did not yet have the concept of a speech act as contradistinguished from an intentional state. The working hypothesis, however, which he suggested, could be used as a second clue for the further elaboration of the theory. The relationship of the two levels, the mental and the linguistic, which remained for Husserl in the background only, became the cornerstone of Searle' s inquiry. He employed the speech act as the model and analysed the intentional experience by means of the conceptual apparatus of his own theory of speech acts. This procedure enabled him to mark out a number of parallelisms and correlations between the two levels. This procedure explains the phenomenon of the partial isomorphism of speech acts and intentional states. ● Roberta de Monticelli, Ontology. A dialogue among the linguistic philosopher, the naturalist, and the phenomenological philosopher. This paper proposes a comparison between two main ways of conceiving the role and scope of that fundamental part of philosophy (or of "first" philosophy) which is traditionally called "ontology". One way, originated within the analytic tradition, consists of two main streams, namely philosophy of language and (contemporary) philosophy of mind, the former yielding "reduced ontology" and the latter "neo-Aristotelian ontology". The other way of conceiving ontology is exemplified by "phenomenological ontology" (more precisely, the Husserlian, not the Heideggerian version). Ontology as a theory of reference ("reduced" ontology, or ontology as depending on semantics) is presented and justified on the basis of some classical thesis of traditional philosophy of language (from Frege to Quine). "Reduced ontology" is shown to be identifiable with one level of a traditional, Aristotelian ontology, namely the one which corresponds to one of the four "senses of being" listed in Aristotle's Metaphysics: "being" as "being true". This identification is justified on the basis of Franz Brentano's "rules for translation" of the Aristotelian table of judgements in terms of (positive and negative) existential judgments such as are easily translatable into sentences of first order predicate logic. The second part of the paper is concerned with "neo-Aristotelian ontology", i.e. with naturalism and physicalism as the main ontological options underlying most of contemporary discussion in the philosophy of mind. The qualification of such options as "neo-Aristotelian" is justified; the relationships between "neo-Aristotelian ontology" and "reduced ontology" are discussed. In the third part the fundamental tenet of "phenomenological ontology" is identified by the thesis that a logical theory of existence and being does capture a sense of "existing" and "being" which, even though not the basic one, is grounded in the basic one. An attempt is done of further clarifying this "more basic" sense of "being". An argument making use of this supposedly "more basic" sense is advanced in favour of a "phenomenological ontology". ● Kuno Lorenz, Analytic Roots in Dialogic Constructivism. Both in the Vienna Circle ad in Russell's early philosophy the division of knowledge into two kinds (or two levels), perceptual and conceptual, plays a vital role. Constructivism in philosophy, in trying to provide a pragmatic foundation - a knowing-how - to perceptual as well as conceptual competences, discovered that this is dependent on semiotic tools. Therefore, the "principle of method" had to be amended by the "principle of dialogue". Analytic philosophy being an heir of classical empiricism, conceptually grasping the "given", and constructive philosophy being an heir of classical rationalism, perceptually providing the "constructed", merge into dialogical constructivism, a contemporary development of ideas derived especially from the works of Charles S. Peirce (his pragmatic maxim as a means of giving meaning to signs) and of Ludwig Wittgenstein (his language games as tools of comparison for understanding ways of life). 7. Albrecht Wellmer, "Autonomy of meaning" and "principle of charity" from the viewpoint of the pragmatics of language. In this essay I present an interpretation of the principle of the autonomy of meaning and of the principle of charity, the two main principles of Davidson's semantic view of truth, showing how both principles may fit in a perspective dictated by the pragmatics of language. I argue that (I) the principle of the autonomy of meaning may be thoroughly reformulated in terms of the pragmatics of language, (ii) the principle of charity needs a supplement in terms of pragmatics of language in order to become really enlightening as a principle of interpretation. Besides, I argue that: (i) on the one hand, the fundamental thesis of Habermas on the pragmatic theory of meaning ("we understand a speech act when we know what makes it admissible") is correlated with the seemingly intentionalist thesis according to which we understand a speech act when we know what a speaker means; (ii) on the other hand, to say that the meaning competence of a competent speaker is basically a competence about a potential of reasons (or also of possible justifications) which is inherently connected with the meaning of statements, or with their use in utterances. ● Rüdiger Bubner, The convergence of analytic and hermeneutic philosophy This paper argues that the analytic philosophy does not exist, at least as understood by its original programs. Differences in the analytic camp have always been bigger than they were believed to be. Now these differences are coming to the fore thanks to a process of dissolution of dogmatism. Philosophical analysis is led by its own inner logic towards questions that may be fairly qualified as hermeneutic. Recent developments in analytic philosophy, e.g. Davidson, seem to indicate a growing convergence of themes between philosophical analysis and hermeneutics; thus, the familiar opposition of Anglo-Saxon and Continental philosophy might soon belong to history. The fact of an ongoing appropriation of analytical techniques by present-day German philosophers may provide a basis for a powerful argument for the unity of philosophizing, beyond its strained images privileging one technique of thinking and rejecting the remainder. Actual philosophical practice should take the dialogue between the two camps more seriously; in fact, the processes described so far are no danger to philosophical work. They may be a danger for parochial approaches to philosophizing; indeed, contrary to what happens in the natural sciences, Thomas Kuhn's "normal science" developing within the framework of one fixed paradigm is not typical for philosophical thinking. And in philosophy innovating revolutions are symptoms more of vitality than of crisis. ● Karl-Otto Apel, The impact of analytic philosophy on my intellectual biography. In my paper I try to reconstruct the history of my Auseinandersetzung mit - as I called it - "language-analytical" philosophy (including even Peircean semiotics) since the late Fifties. The heuristics of my study was predetermined by two main motives of my beginnings: the hermeneutic turn of phenomenology and the transformation of "transcendental philosophy" in the light of the "language a priori". Thus, I took issue with the early and the later Wittgenstein, logical positivism, and post-Wittgensteinian and post-empiricist philosophy of science (i.e. G.H. von Wright and the renewal of the "explanation vs understanding controversy" as well as the debate between Th. Kuhn and Popper/Lakatos); besides, with speech act theory and the debate about "transcendental arguments" since Strawson. The "pragmatic turn", started already by C.L. Morris and the later Carnap, led me to study also the relationship between Wittgensteinian "use" theory of meaning and of truth. This resulted on my side in something like a program of "transcendental semiotics", i.e. "transcendental pragmatics" and "transcendental hermeneutics". ● Ben-Ami Scharfstein, A doubt on both their houses: the blindness to non-western philosophies. The burden of my criticism is that contemporary European philosophers of all kinds have continued to think as if there were no true philosophy but that of the West. For the most part, the existentialists have been oblivious of their Eastern congeners; the hermeneuticians have yet to stretch their horizons beyond the most familiar ones; and the analysts remain unaware of the analyses and linguistic sensitivities of the ancient non-European philosophers. Briefly, ignorance still blinds almost all contemporary Western philosophers to the rich, variegated philosophical traditions outside of their familiar orbit. Both Continental and Anglo-Americans have lost the breadth of view that once characterized such thinkers as Herder and the Humboldts. The blindness that has resulted is not simply that of individual Western philosophers but of our whole, still parochial philosophical culture. (shrink)

In his Encomium of Helen and On Not Being, Gorgias of Leontinoi discusses the nature and function of speech more extensively than any other surviving author before Plato. His discussions are not only surprising in the way they characterize the power of logos and its effects on a listener but also in how the two descriptions of speech seem to contradict one another. In the Helen, Gorgias claims that logos is a very powerful entity, capable of affecting a listener in (...) whatever way it wants. In On Not-Being, he makes the very different (but no less exaggerated) claim that logos is a non-entity, incapable of referring to anything other than itself. In this essay I show how these apparently contradictory accounts might be brought into harmony with one another.2 In the first part I address some of the interpretive difficulties with the text of Gorgias’s On Not Being (henceforth ONB) and the role that irony plays in the work. In particular I argue (as others have before) that Gorgias’s remarks about the impotency of speech are not meant to be taken seriously. Instead, they are aimed more squarely at raising questions about how exactly speech is thought to function and, more specifically, how linguistic reference works—i.e., how words somehow correspond to things, on one level, and to our ideas about things, on another. In the second and third parts of this paper, I illustrate how Gorgias’s concern with linguistic reference in ONB goes on to inform his notion of logos in the Encomium of Helen. I point specifically to evidence found in an important and often overlooked exit clause at the close of ONB regarding the difference between words and things. There, Gorgias insists that if words manifest meaning at all, they must appeal to their own sort of sense organ. In the Helen, he draws on the concepts of soul (psychē) and opinion (doxa) in order to construct this alternative, psychagogic account in which utterances are actually apprehended in ways akin to sense perception. Whether or not one is convinced by Gorgias’s alternative account of how speech works, the description he gives of logos does notionally circumvent the problem of linguistic reference and, in doing so, pushes one to think beyond the potentially constrictive framework of nomen et nominatum. I argue that, when read in this way, these two early discussions of logos represent a unified progression of serious thought about how speech works. (shrink)

We look at extensions (i.e., stronger logics in the same language) of the Belnap–Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap–Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterise the reduced algebraic models of these new logics and prove a completeness result for the first and last element of the chain stating that both logics are determined by a single finite (...) logical matrix. We show that the last logic of the chain is not finitely axiomatisable. (shrink)

Neither logical deduction nor empirical induction is capable of mediating the dispute between religious disciples and non-disciples. The case is particularly acute when it comes to the divine Reality (God). Within Wittgenstein’s theoretical framework, some scholars start from the perspective of language games, contending that this dispute is meaningless and should be abandoned, while others are not satisfied with such a settlement and extend Wittgenstein’s aspect theory to religious issues, arguing that God is an aspect. The extension includes (...) analogous and theoretical extensions. This article will show that even if these two extensions are successful, their interpretations with regard to the disputes between religious disciples and non-disciples are not convincing. Worse still, the extension from aspect theory to religious issues is by no means successful in proving that God is an aspect. (shrink)

This paper defends the view that the Faculty of Language is compositional, i.e., that it computes the meaning of complex expressions from the meanings of their immediate constituents and their structure. I fargue that compositionality and other competing constraints on the way in which the Faculty of Language computes the meanings of complex expressions should be understood as hypotheses about innate constraints of the Faculty of Language. I then argue that, unlike compositionality, most of the currently available (...) non-compositional constraints predict incorrect patterns of early linguistic development. This supports the view that the Faculty of Language is com- positional. More generally, this paper presents a way of framing the compositionality debate (by focusing on its implications for language acquisition) that can lead to its even- tual resolution, so it will hopefully also interest theorists who disagree with its main conclusion. (shrink)

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

The main aim of this dissertation is to model the different ways in which we use language when we engage with fiction. This main aim subdivides itself into a number of puzzles. We all know that dragons do not exist. Yet, when I read the Harry Potter novels, I do accept the existence of dragons. How do we keep such fictional truths separate from ‘ordinary’ non-fictional truths? What is the difference between Tolkien writing down all sorts of falsities, and (...) a liar who also says all sorts of untrue things? How can it be true that Frodo was born in the Shire while it is also true that he was invented by Tolkien? Given that a fiction such as Pride and Prejudice is not about the actual world, how can I learn things about 19th century etiquette in England by reading this novel? -/- I develop a coherent semantic analysis of these different puzzles: the ‘workspace account’. This theory is an extension of Stalnaker’s famous pragmatic ‘common ground’ framework. In this framework, assertions are modelled as proposals to update the ‘common ground’ (the set of shared assumptions) between conversational interlocutors. (shrink)