We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For (...) instance, Kamp's and Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

This book begins with the question 'Who am I?' and immediately sets off in an astonishingly original direction. Why didn't anyone before Harding think of responding to this question like this? It's so obvious, once you see it. Harding presents a new vision of our place in the universe that uses the scientific method of looking to see what is true. It turns out that the truth about ourselves is not only true but also very good, and breathtakingly beautiful. We (...) live in a sacred, many-layered, living universe - or rather it lives in us. Though it was completed in 1950, this book is still ahead of its time. One day it will surely be widely recognised for its greatness: its all-encompassing vision, its originality and freshness, its depth of insight, its wide-ranging knowledge, the clarity and poetry of its language, its humanity. It is a world-view not dependent on local culture or religion, but on universally verifiable facts. It is also a world-view that respects our manifest differences whilst celebrating our underlying unity - the unity not just of oneself with other people but with all of life, indeed with the whole universe. Harding died in 2007 aged 97, leaving behind him an impressive body of work. He was a highly creative person who was passionate about - he was in love with - this living universe and the immortal treasure that abides at its centre - at our centre. "A work of the highest genius." C. S. Lewis. (shrink)

Kim Sterelny's book The Pleistocene social contract provides an exceptionally well-informed and credible narrative explanation of the origins of inequality and hierarchy. In this essay review, we reflect on the role of rational choice theory in Sterelny's project, before turning to Sterelny's reasons for doubting the importance of cultural group selection. In the final section, we compare Sterelny's big picture with an alternative from David Wengrow and David Graeber.

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, (...) with Level Theory, as developed in Part 1. (shrink)

This dissertation fits within the literature on subordinating speech and aims to demonstrate that how language subordinates is more complex than has been described by most philosophers. I argue that the harms that subordinating speech inflicts on its targets (chapter one), the type of authority that is exercised by subordinating speakers (chapters two and three), and the expansive variety of subordinating speech acts themselves (chapter three) are all under-developed subjects in need of further refinement—and, in some cases, large paradigm shifts. (...) I also examine cases that have yet to be adequately addressed by philosophers working on this topic, like the explosion of abusive speech online (chapter four) or the distinctive speech acts of protest groups (chapter five). I argue that by considering these alongside the ‘paradigm’ cases of subordinating speech that inform most models, we are better able to capture the lived realities of this phenomena, as described by members of groups targeted by such speech. I develop a novel account of speaker authority to explain the variety of pragmatic effects subordinating speech generates. Instead of seeing this authority as reducible to either a formal position or a merely local, linguistic phenomenon, I argue for a conception of speaker authority that is a richly contextual social fact, distributed unevenly among members of different social groups. I also develop an account of collective authority that explains how a group of speakers can join together to subordinate in a way that no individual speaker is capable of doing. This account, I argue, is better able to explain the social reality of subordinating speech than individualist models. Overall, I show how a more fine-grained account of subordinating speaker authority gives us a more accurate picture of the different subordinating speech acts available to different speakers, along with how these may harm their targets. (shrink)

Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical basis of the (...) structural-ontological analysis. In this case, understanding of an event was considered in the context of the definition adopted in computer science – a change in the object properties registered by the observer. -/- Results. The negative nature of space realizes itself in the subject-object structure, the components interaction of which is characterized by a change – a key property of the system under study. Observer’s registration of changes is accompanied by spatial focusing (situational concretization of the field of changes) and relating of its results with the field of potentially distinguishable changes (subjective knowledge about «changing world»). The indicated correlation performs the function of space identification in terms of recognizing its properties and their subjective significance, depending on the features of the observer`s motivational sphere. As a result, the correction of the actual affective dynamics of the observer is carried out, which structures the current perception of space according to principle of the semantic fractal. Fractalization is a formation of such a subjective perception of space, which supposes the establishment of semantic accordance between the situational field of changes, on the one hand, and the worldview, as well as the motivational characteristics of the observer, on the other. -/- Conclusions. Performed structural-ontological analysis of the system formed by the interaction of the perceptual function of the psyche and the semantic field of the language made it possible to conceptualize the space as a field of changes potentially distinguishable by the observer, structurally organized according to the principle of the semantic fractal. The compositional features of the fractalization process consist in fact that the semantic fractal of space is relevant to the product of the difference between the situational field of changes and the field of potentially distinguishable changes, adjusted by the current configuration of the observer`s value-needs hierarchy and reduced by his actual affective dynamics. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

A probabilistic Chomsky–Schützenberger hierarchy of grammars is introduced and studied, with the aim of understanding the expressive power of generative models. We offer characterizations of the distributions definable at each level of the hierarchy, including probabilistic regular, context-free, (linear) indexed, context-sensitive, and unrestricted grammars, each corresponding to familiar probabilistic machine classes. Special attention is given to distributions on (unary notations for) positive integers. Unlike in the classical case where the "semi-linear" languages all collapse into the regular (...) class='Hi'>languages, using analytic tools adapted from the classical setting we show there is no collapse in the probabilistic hierarchy: more distributions become definable at each level. We also address related issues such as closure under probabilistic conditioning. (shrink)

Quine’s way of dealing with the semantical paradoxes (Ways of Paradox, pp. 9-10) is criticized. The criticism is based on three premises: (1) no learnable language has infinitely many semantical primitives; (2) any language of which Quine’s theory is true has infinitely many semantical primitives; (3) English is a learnable language. The conclusion drawn is that Quine’s theory is not true of English.

This article is devoted to describing results of conceptualization of the idea of mind at the stage of maturity. Delineated the acquisition by the energy system (mind) of stable morphological characteristics, which associated with such a pivotal formation as the discourse. A qualitative structural and ontological sign of the system transition to this stage is the transformation of the verbal morphology of the mind into a discursive one. The analysis of the poststructuralist understanding of discourse in the context of the (...) dispersion of meanings (Foucault) made it possible to formulate a notion of it as a meaning that is constituted by the relation between the discursive practice and the worldview, regarded as a meta-discourse or a global discursive formation. In consequence of this relationship, a discrete and simultaneous scattering of meanings arises, the procedural side of which is a concrete discourse, and its productive aspect is linked with the creation of a local discursive formation. Based on this view it is proposed a logical formula of discourse, which takes into account the entropy of the language and the entropy of the worldview, as a particular manifestation of the mind entropy. Using this formula and considering the reactive nature of discourse, it was developed a classification, which included such types of discourses as reactive, suggestive, synthetic and creative. In turn, the proposed types of discourses are correlated with the specific characteristics of certain activities, as a psychological category. Also, it was considered the translation of the structure of discourse dissipation from the cognitive plan into the affective sphere because of which it is formed a hierarchy of significances, which performs the sense-forming function. It was analyzed the inverse influence of the hierarchy of significances on the structure of meanings dispersion and for respective account it was introduced a conditional coefficient of the value deviation of the significance of the meanings. This parameter reflects the sense correction of the meaning that occurs in the process of the emergence of discourse from discursive practice. Thus, the discourse is presented as a complex dynamic formation of the mind arising at the maturity stage of the system as a result of the combined effect of entropic dispersion of meanings and the value deviation of their significances. (shrink)

In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises by (...) means of simple logical steps. A statement that is demonstrable is also knowable and a statement that is actually demonstrated is known to be true. By casting doubt upon apparently central principles governing the concept of demonstrability, the paradoxes of demonstrability presented here tend to undermine the concept itself—or at least our understanding of it. As long as we cannot find a diagnosis and a cure for the paradoxes, it seems that the coherence of the concepts of demonstrability and demonstrable knowledge are put in question. There are of course ways of putting the paradoxes in quarantine, for example by imposing a hierarchy of languages a` la Tarski, or a ramified hierarchy of propositions and propositional functions a` la Russell. These measures, however, helpful as they may be in avoiding contradictions, do not seem to solve the underlying conceptual problems. Although structurally similar to the semantic paradoxes, the paradoxes discussed in this paper involve epistemic notions: “demonstrability”, “knowability”, “knowledge”... These notions are “factive” (e.g., if A is demonstrable, then A is true), but similar paradoxes arise in connection with “nonfactive” notions like “believes”, “says”, “asserts”.3 There is no consensus in the literature concerning the analysis of the notions involved—often referred to as “propositional attitudes”—or concerning the treatment of the paradoxes they give rise to. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role (...) of these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

Wittgenstein’s philosophy involves a general anti-platonism about properties or standards of similarity. On his view, what it is for one thing to have the same property as another is not dictated by reality itself; it depends on our classificatory practices and the standards of similarity they embody. Wittgenstein’s anti-platonism plays an important role in the private language sections and in his discussion of the conceptual problem of other minds. In sharp contrast to Wittgenstein’s views stands the contemporary doctrine of natural (...) properties, which holds that there is an objective hierarchy of naturalness amongst properties, a hierarchy that is completely independent of our concepts or practices. Some authors have appealed to the natural properties view to offer an explicitly anti-Wittgensteinian account of sensation concepts. The paper discusses these competing views of properties and sensation concepts. It is argued that, if our account of concepts of conscious states starts from a commitment to natural properties, we are bound to recognize that our actual classificatory practices also play a crucial role in determining which properties our concepts pick out. On the other hand, if we start from the anti-platonist position, we are bound to recognize that we also need a notion of sameness of property that extends beyond our limited capacity to recognize similarity or sameness of property. The correct view, it is concluded, must occupy a middle position between an extreme anti-realism about properties and an extreme version of the natural properties view. It is suggested that Wittgenstein’s own view does just that. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of (...) growing computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

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

The concept of symbolic power was first introduced by French sociologist Pierre Bourdieu to account for the tacit, almost unconscious modes of cultural/social domination occurring within the everyday social habits maintained over conscious subjects. Symbolic power accounts for discipline used against another to confirm that individual's placement in a social hierarchy, at times in individual relations but most basically through system institutions, in particular education.

The concept of symbolic power was first introduced by French sociologist Pierre Bourdieu to account for the tacit, almost unconscious modes of cultural/social domination occurring within the everyday social habits maintained over conscious subjects. Symbolic power accounts for discipline used against another to confirm that individual's placement in a social hierarchy, at times in individual relations but most basically through system institutions, in particular education.

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic (...) is to be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

The existential insecurity of human beings has induced them to create protective spheres of symbols: myths, religions, values, belief systems, theories, etc. Rationality is one of the key factors contributing to the construction of civilisation in technical and symbolic terms. As Hankiss (2001) has emphasised, protective spheres of symbols may collapse – thus causing a profound social crisis. Social and political transformations had a tremendous impact at the end of the 20th century. As a result, management theories have been revised (...) in order to deal with transition and uncertainty. Francis Fukuyama's (2000) approach is supportive of hierarchical organisation as the best solution when facing a 'disruption'. The notion of Homo Hierarchicus has been based on, allegedly, rational presumptions. This paper contributes to the discussion on hierarchy within contemporary organisations. It criticises so-called 'natural' and 'rational' necessities justifying hierarchy. A key issue identified by the paper is the formalisation of language in claiming value-free knowledge and 'detached' observation as the basis for neutral rationality and aspired efficiency. This should be seriously reconsidered as hindering rather than aiding understanding of social complexity. All in all, Homo Hierarchicus appears to be misleading rather than helping symbolic sphere or construct. (shrink)

There are emotively powerful words that can modify our judgment, arouse our emotions, and influence our decisions. The purpose of this paper is to provide instruments for analyzing the structure of the reasoning underlying the inferences that they trigger, in order to investigate their reasonableness conditions and their persuasive effect. The analysis of the mechanism of persuasion triggered by such words involves the complex systematic relationship between values, decisions, and emotions, and the reasoning mechanisms that have been investigated under the (...) label of “heuristics.” On the one hand, arguing using ethical words is shown to sometimes involve value-based practical reasoning grounded on evaluative classifications stemming from hierarchies of values and maxims of experience. On the other hand, ethical words provide representations bound to the interlocutor’s experiences and judgments, which trigger specific emotions yielding a particular reaction. This chain of judgments and reactions and the potential fallaciousness thereof can be inquired into by examining the relationship between the heuristic processes of reasoning and the more complex argumentative structure that the use of such words involves. The analysis of the 2013 Italian political campaign and the ad hominem arguments used by the political candidates shows the different strategies and counterstrategies for the manipulation of emotions. (shrink)

There are emotively powerful words that can modify our judgment, arouse our emotions and influence our decisions. This paper shows how the use of emotive meaning in argumentation can be explained by showing how their logical dimension, which can be analysed using argumentation schemes, combines with heuristic processes triggered by emotions. Arguing with emotive words is shown to use value-based practical reasoning grounded on hierarchies of values and maxims of experience for evaluative classification.

The present proposal is an approach to the vision, cosmogony and philosophy of the Totonacapan people, and particularly with the inhabitants of the Totonacapan region in Veracruz Mexico, a town whose wisdom is manifested to this day, in the conservation of customs and traditions , as well as the hierarchy of collective desire that seeks health, well-being and peace in the region, are guides in the evolution of their cultural processes, where a closeness, respectful and deep with Mother Nature (...) stands out. This wisdom by the Council of Elders, transmitted to the new generations, by the Supreme Council of Totonacapan who seek share the basis to understand and conceive the current world, from the ancestral vision and cosmogony to identify their space, thought, spirituality and in the building your social context. In the Totonacapan region, the first pre-hispanic population concentrations were located around 1259 to 1311. Already by the year 1450, there is a record of incursions and the conquest of Totonaca territory, by the Mexica, establishing a relationship of domain and subordination. As a result of the presence of "Mexica" in the Totonaco territory, there was an imposition of customs and language, since in some areas they begin to speak in Nahuatl, resulting in the presence of a bilingualism (Nahuatl-Totonac) , situation that persists, until the encounter with the Spaniards in the year of 1519. At present, the Totonacapan region includes the area that extends from the Cazones River to the north, to the towns of Gutiérrez Zamora and Tecolutla, in the State of Veracruz in Mexico. 2 The importance of the document is that it constitutes an invitation to deepen and understand the vision of the inhabitants of Totonacapan, in the construction of their social context and their connection with nature, as part of an ancient culture, which creates and recreates their vision, in the search for the feeling of belonging and as an inheritance of the children of thunder (Tajin), as well as the need to preserve the benefits that nature itself offers them, seeking a peaceful and harmonious coexistence, in the social and environmental environment. However, the preservation of its history, tradition and philosophy of life, contrast with public policy strategies, particularly in the social sphere, and which are aimed at achieving economic development in the fight against multidimensional poverty and marginalization, all Once they have not incorporated into them, the feeling and living of the relationship between individual and nature, as the guiding axis, of the philosophy of the Totonacapan people. What is sustainability for the people of Totonacapan? What is social justice in the search for sustainability? And what is your concept of justice in sustainability and human development? From the vision and philosophy of the people of Totonacapan, as part of the history and tradition of the children of thunder "Tajin" and in whose worldview, he is responsible for regulating the rain, climate and life of the people of the region. How does the people of Totonacapan live and live in the face of the maelstrom of actions that, from public policy, that seek human development? How do you adjust, your way of life and how do you adapt to the requirements, which from the perspective of justice, are required to contribute to the objectives of the 2030 development agenda? This document is an effort to learn and recognize one of the most important millenary cultures in Mexico, in the construction of a more inclusive vision of the social development of the Totonacapan people, which invites us to reflect on the direction and scope of this response. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set (...) of theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

It is discerned what light can bring the recent historical reconstructions of maxwellian optics and electromagnetism unification on the following philosophical/methodological questions. I. Why should one believe that Nature is ultimately simple and that unified theories are more likely to be true? II. What does it mean to say that a theory is unified? III. Why theory unification should be an epistemic virtue? To answer the questions posed genesis and development of Maxwellian electrodynamics are elucidated. It is enunciated that the (...) Maxwellian Revolution is a far more complicated phenomenon than it may be seen in the light of Kuhnian and Lakatosian epistemological models. Correspondingly it is maintained that maxwellian electrodynamics was elaborated in the course of the old pre-maxwellian programmes’ reconciliation: the electrodynamics of Ampére-Weber, the wave theory of Young-Fresnel and Faraday’s programme. To compare the different theoretical schemes springing from the different language games James Maxwell had constructed a peculiar neutral language. Initially it had encompassed the incompressible fluid models; eventually – the vortices ones. The three programmes’ encounter engendered the construction of the hybrid theory at first with an irregular set of theoretical schemes. However, step by step, on revealing and gradual eliminating the contradictions between the programmes involved, the hybrid set is “put into order” (Maxwell’s term). A hierarchy of theoretical schemes starting from ingenious crossbreeds (the displacement current) and up to usual hybrids is set up. After the displacement current construction the interpenetration of the pre-maxwellian programmes begins that marks the commencement of theoretical schemes of optics, electricity and magnetism real unification. Maxwell’s programme surpassed that of Ampére-Weber because it did absorb the ideas of the Ampére-Weber programme, as well as the presuppositions of the programmes of Young-Fresnel and Faraday properly co-ordinating them with each other. But the opposite statement is not true. The Ampére-Weber programme did not assimilate the propositions of the Maxwellian programme. Maxwell’s victory over his rivals became possible because the gist of Maxwell’s unification strategy was formed by Kantian epistemology looked in the light of William Whewell and such representatives of Scottish Enlightenment as Thomas Reid and Sir William Hamilton. Maxwell did put forward as basic synthetic principles the ideas that radically differed from that of Ampére-Weber approach by their open, flexible and contra-ontological, genuinly epistemological, Kantian character. For Maxwell, ether was not the ultimate building block of physical reality, from which all the charges and fields should be constructed. “Action at a distance”, “incompressible fluid”, “molecular vortices”, etc. were contrived analogies for Maxwell, capable only to direct the researcher at the “right” mathematical relations. Key words: J.C. Maxwell, unification of optics and electromagnetism, I. Kant, T. Reid, W. Hamilton . (shrink)

Maxwellian electrodynamics genesis is considered in the light of the author’s theory change model previously tried on the Copernican and the Einstein revolutions. It is shown that in the case considered a genuine new theory is constructed as a result of the old pre-maxwellian programmes reconciliation: the electrodynamics of Ampere-Weber, the wave theory of Fresnel and Young and Faraday’s programme. The “neutral language” constructed for the comparison of the consequences of the theories from these programmes consisted in the language of (...) hydrodynamics with its rich content of analogous models ranging from the uncompressible fluid up to molecular vortices. The programmes’ meeting led to construction of the whole hierarchy of crossbred objects beginning from the displacement current and up to common hybrids. After that the interpenetration of the pre-maxwellian programmes began that marked the beginning of theoretical schemes of optics and electromagnetism unification. Maxwell’s programme did assimilate some ideas of the Ampere-Weber programme, as well as the presuppositions of the programmes of Fresnel and Faraday; and the significance of this fact for further methodology of scientific research programmes development is discussed. It is argued that the core of Maxwell’s unification strategy was formed by Kantian epistemology looked through the prism of William Whewell and such representatives of Scottish Enlightenment as Thomas Reid and William Hamilton. All these enabled Maxwell to start to unify not only optics and electromagnetism, but British and continental research traditions as well. Maxwell’s programme did supersede the Ampere-Weber one because Maxwell did put forward as a synthetic principle the idea, that differed from that of Ampere-Weber by its flexible and contra-ontological, strictly epistemological, Kantian character. For Maxwell, ether was not the last building block of physical reality, from which fields and charges should be constructed . “Action at a distance”, “incompressible fluid”, “molecular vortices” were only analogies for Maxwell, capable to direct the researcher on the “right” mathematical relations. From the “representational” point of view all this hydrodynamical models were doomed to failure efforts to describe what can not be described in principle – things in themselves, the “nature” of electrical and magnetic phenomena. On the contrary, Maxwell aimed his programme to find empirically meaningful mathematical relations between the electrodynamics basic objects, i.e. the creation of inter - coordinated electromagnetic field equations system. Namely the application of this epistemology enabled Hermann von Helmholtz and his pupil Heinrich Hertz to arrive at such a version of Maxwell’s theory that served a heuristical basis for the radiowaves discovery. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then (...) consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

The paper places the work of G. Gaus into the tradition of political thought experimenting. In particular, his strategy of modeling moral decision by the heuristic device of idealized Members of the Public is presented as an iterated thought experiment, which stands in marked contrast with more traditional devices like the veil of ignorance. The consequences are drawn, and issues of utopianism and realism briefly discussed.

Despite a growing interest in and sympathy with Confucianism, there remains a stereotyped conception of Confucian civil order as a form of authoritarian hierarchy that is responsible for various oppressions in ancient China and is reprehensible from a modern egalitarian perspective. One central target of this modern criticism is the Confucian maxim of sangang 三綱, whose underlying idea is essential for regulating the relationship between sovereign and subject, father and son, and husband and wife in traditional Confucian society. Tu (...) Wei-ming translates sangang as the “Three Bonds” and argues that it is the “least defensible legacy of Confucian ethics” from the “modern egalitarian and liberal perspective.” For Tu.. (shrink)

This paper argues against the claim that Frege is committed to an infinite hierarchy of senses. Carnap and Kripke, along with many others, argue the contrary; I expose where all such arguments go astray. Invariably these arguments assume (without citation) that Frege holds that sense and reference are always distinct. This is the fulcrum upon which the hierarchy is hoisted. The counter to this assumption is based on two important but neglected passages. The locution ‘indirect sense’ has no (...) ontological significance for Frege. It was just a ‘short expression’ (his term) to indicate that the customary relation between sign, sense, and reference is suspended in what he called the exception case of indirect context. Once the hierarchy is abandoned, the alleged problem of just what indirect sense is, as well as questions as to why Frege said so little about it and why he did not examine iterative indirect contexts are resolved. Of course, with no hierarchy, Davidson’s “unlearnability argument” turns out to be a non-starter. Some objections to my interpretation are considered and answered. Additionally, comparisons to Dummett’s one-level view of sense, which is similar to mine are made, as well as to some two-level views (Parsons and Skiba). (shrink)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...) exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)

Older siblings play a role in their younger siblings’ language socialization by ratifying or rejecting linguistic behavior. In addition, older siblings may engage in a struggle to maintain their dominant position in the family hierarchy. This struggle is seen through the lens of language and political economy as a struggle for symbolic capital. Bilingual adolescent sibling interactions are analyzed as expressions both of identity and of symbolic power. This paper proposes a theory of political micro-economy, by which analysts may (...) trace connections between broad societal structures and structures of face-to-face interaction. (shrink)

Recent studies indicate that indicative conditionals like "If people wear masks, the spread of Covid-19 will be diminished" require a probabilistic dependency between their antecedents and consequents to be acceptable (Skovgaard-Olsen et al., 2016). But it is easy to make the slip from this claim to the thesis that indicative conditionals are acceptable only if this probabilistic dependency results from a causal relation between antecedent and consequent. According to Pearl (2009), understanding a causal relation involves multiple, hierarchically organized conceptual dimensions: (...) prediction, intervention, and counterfactual dependence. In a series of experiments, we test the hypothesis that these conceptual dimensions are differentially encoded in indicative and counterfactual conditionals. If this hypothesis holds, then there are limits as to how much of a causal relation is captured by indicative conditionals alone. Our results show that the acceptance of indicative and counterfactual conditionals can become dissociated. Furthermore, it is found that the acceptance of both is needed for accepting a causal relation between two co-occurring events. The implications that these findings have for the hypothesis above, and for recent debates at the intersection of the psychology of reasoning and causal judgment, are critically discussed. Our findings are consistent with viewing indicative conditionals as answering predictive queries requiring evidential relevance (even in the absence of direct causal relations). Counterfactual conditionals in contrast target causal relevance, specifically. Finally, we discuss the implications our results have for the yet unsolved question of how reasoners succeed in constructing causal models from verbal descriptions. (shrink)

Metaethics is the study of metaphysics, epistemology, the philosophy of mind, and the philosophy of language, insofar as they relate to the subject matter of moral or, more broadly, normative discourse – the subject matter of what is good, bad, right or wrong, just, reasonable, rational, what we must or ought to do, or otherwise. But out of these four ‘core’ areas of philosophy, it is plausibly the philosophy of language that is most central to metaethics – and not simply (...) because ‘metaethics’ was for a long time construed more narrowly as a name for the study of moral language. The philosophy of language is central to metaethics because both the advantages of and the open problems facing different metaethical theories differ sharply over the answers those theories give to central questions in the philosophy of language. In fact, among the open problems over which such theories differ, are included particularly further problems in the philosophy of language. This article briefly surveys a range of broad categories of views in metaethics and both catalogues some of the principal issues faced by each in the philosophy of language, as well as how those arise out of their answers to more basic questions in the philosophy of language. I make no claim to completeness, only to raising a variety of important issues. (shrink)

The contents of Brahmajnaana, the Buddhism, the Jainism, the Sabdabrahma Siddhanta and Shaddarsanas will be discussed to present the true meaning of individual’s identity and I. The influence of spirituality contained in Upanishadic insight in the development of Sanskrit language structure, Indian culture, and individual identity formation will be developed. The cultural and psychological aspects of a civilization on the formation of its language structure and prominence given to various parts of speech and vice versa will be touched upon. These (...) aspects will be also compared and contrasted with German, French, Telugu and Hindi and their respective influence on cultural and identity formation and vice versa. A cognitive science interpretation of advaita and dvaita phases of mind and bhakti and vibhakti modes of language acquisition and communication in terms of physics and electronics will be given and be clubbed to present an inclusive and comprehensive modern scientific and social scientific understanding and interpretation of Brahmajnaana, the Buddhism, the Jainism and rest of current theistic and atheistic awareness of I and its spiritual, linguistic, cognitive scientific and rationalistic ideas and opinions. The use of this study for national integration and oneness of Indians will be highlighted. (shrink)

Human linguistic phenomenon is at one and the same time an individual, social, and political fact. As such, its study should bear in mind these complex interrelations, which are produced inside the framework of the sociocultural and historical ecosystem of each human community. Understanding this phenomenon is often no easy task, due to the range of elements involved and their interrelations. The absence of valid, clearly developed paradigms adds to the problem and means that the theoretical conclusions that emerge may (...) be unclear on certain points. It is true that in the last fifty years sociolinguistic studies have advanced considerably, and today we have access to an impressive set of data and a wide variety of theoretical reflections. But as a discipline sociolinguistics does not yet have unified, powerful theoretical models able to account rigorously and clearly for the phenomena it studies. Sociolinguistic studies are today a diverse set of contributions in which certain and theoretical schools and lines of research emerged; but as is to be expected in a relatively new field, there is not enough communication between the various schools and they cannot yet be said to be integrated in terms of their conceptual and theoretical postulates. Against this background, our work aims to contribute to the overall, integrated understanding of the processes of language contact. Via an interdisciplinary, eclectic approach, it also aims to aid the theoretical grounding and integration of a unified, common sociolinguistic paradigm. Our strategy will not be merely to combine the contributions from ongoing research lines, but to address the question from a more global viewpoint which, together with the more innovative contemporary scientific disciplines, permits a harmonious integration of the various sociolinguistic perspectives in a broad, deep and unitary approach to the reality. The materials used to construct this unified approach are taken from many sources: Theoretical physics, ecology, the philosophy of science and mind, anthropology, phenomenological and process sociology, cognitive sciences, political science, pragmatics, history, systems theory, approaches to complexity and obviously sociolinguistics, are all involved in a dialogue in this desire for integration. (shrink)

Four modes of language acquisition and communication are presented translating ancient Indian expressions on human consciousness, mind, their form, structure and function clubbing with the Sabdabrahma theory of language acquisition and communication. The modern scientific understanding of such an insight is discussed. . A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension and communication process forming the basis to develop software for relevantmind-machine modeling will be presented. The implications of such a (...) model to artificial intelligence and cognitive sciences will be discussed. The essential nature and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of language processing in humans is put forward. (shrink)

How language works — its functions, mechanisms, and limitations — matters to the early moderns as much as it does to contemporary philosophers. Many of the moderns make reflection on language central to their philosophical projects, both as a tool for explaining human cognition and as a weapon to be used against competing views. Even in philosophers for whom language is less central, we can find important connections between their views on language and their other philosophical commitments.

Implicatures are described as particular forms reasoning from best explanation, in which the para-digm of possible explanations consists of the possible semantic interpretations of a sentence or a word. The need for explanation will be shown to be triggered by conflicts between presumptions, namely hearer’s dialogical expectations and the presumptive sentence meaning. What counts as the best explanation can be established on the grounds of hierarchies of presumptions, dependent on dialogue types and interlocutors’ culture.

The creative aspect of language use provides a set of phenomena that a science of language must explain. It is the “central fact to which any signi- ficant linguistic theory must address itself” and thus “a theory of language that neglects this ‘creative’ aspect is of only marginal interest” (Chomsky 1964: 7–8). Therefore, the form and explanatory depth of linguistic science is restricted in accordance with this aspect of language. In this paper, the implications of the creative aspect of language (...) use for a scientific theory of language will be discussed, noting the possible further implications for a science of the mind. It will be argued that a corollary of the creative aspect of language use is that a science of language can study the mechanisms that make language use possible, but that such a science cannot explain how these mechanisms enter into human action in the form of language use. (shrink)

In a series of early essays, beginning with "Must We Mean What We Say?", Stanley Cavell offers a sustained response to the argument that ordinary language philosophy is nothing more than amateur linguistics, carried out from the armchair -- so that philosophers' claims about "what we say", and what we mean when we say it, are necessarily in need of proper empirical support. The present paper provides a close reading of Cavell and a defense of his argument that, since a (...) philosopher's descriptions of our use of words are supposed to be an expression of *self*-knowledge, they do not require, and indeed cannot possibly find, any empirical justification. This does not guarantee that these descriptions are immune to error, nor does it mean they describe a different range of facts from the ones that are the subject-matter of linguistics and lexicography. Nor, finally, does it follow from this argument that observation of the facts of ordinary usage, as revealed e.g. in linguistic corpora, is of no use to the philosopher of ordinary language. I close with a brief discussion of what the shared nature of linguistic communication shows about how to understand the "we" in "what we say". (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, (...) we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

This paper examines theories of first person authority proposed by Dorit Bar-On (2004), Crispin Wright (1989a) and Sydney Shoemaker (1988). What all three accounts have in common is that they attempt to explain first person authority by reference to the way our language works. Bar-On claims that in our language self-ascriptions of mental states are regarded as expressive of those states; Wright says that in our language such self-ascriptions are treated as true by default; and Shoemaker suggests that they might (...) arise from our capacity to avoid Moore-paradoxical utterances. I argue that Bar-On’s expressivism and Wright’s constitutive theory suffer from a similar problem: They fail to explain how it is possible for us to instantiate the language structures that supposedly bring about first person authority. Shoemaker’s account does not suffer from this problem. But it is unclear whether the capacity to avoid Moore-paradoxical utterances really yields self-knowledge. Also, it might be that self-knowledge explains why we have this capacity rather than vice versa. (shrink)

This paper clarifies Merleau-Ponty’s distinction between speaking and spoken speech, and the relation between the two, in his Phenomenology of Perception. Against a common interpretation, I argue on exegetical and philosophical grounds that the distinction should not be understood as one between two kinds of speech, but rather between two internally related dimensions present in all speech. This suggests an interdependence between speaking and spoken aspects of speech, and some commentators have critiqued Merleau-Ponty for claiming a priority of speaking over (...) spoken speech. However, there is a sense in which Merleau-Ponty is right to emphasize the priority, namely, in terms of the ontological priority of the speaking subject with respect to language understood as a constituted cultural ideality. The latter only maintains its ontological status insofar as it is taken up by a language community. I favorably contrast Merleau-Ponty’s views on this question to those of the late Heidegger and de Saussure, and suggest potential applications of this clarified position for contemporary discussions in philosophy of language. (shrink)

I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in (Journal o f Philosophical Logic,49, 93-120, 2021). First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different (...) inferential level. Then, I point out two potential philosophical implications of these results. (i) Since the logics in the hierarchy differ from one another on the rules, I argue that each such logic maintains its own distinct identity (contrary to arguments like the one given by Dicher and Paoli in 2019). (ii) Each validity predicate need not capture “validity” at more than one metainferential level. Hence, there are reasons to deny the thesis (put forward in Barrio, E., Rosenblatt, L. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy,110(3), 143–165, 2013) has to express facts not only about what follows from what, but also about the metarules, etc. (shrink)

In this chapter, I try to answer the above question, and another question that it presupposes: can philosophy of language help us navigate the political news cycle? A reader can be sceptical of a positive answer to the latter question; after all, citizens, political theorists, and journalists seem to be capable of following current politics and its coverage in the news, and there is no reason to think that philosophy of language in particular should be capable of helping people make (...) sense and respond to the news. I will illustrate the application of philosophy of language to three contrasting strategies of political propaganda: dogwhistles, meaning perversions, and bald-faced lies. I hope that these help us see that philosophy of language can be a good tool in diagnosing demagoguery, and in resisting it. (shrink)

Confronting the Liar Paradox is commonly viewed as a prerequisite for developing a theory of truth. In this paper I turn the tables on this traditional conception of the relation between the two. The theorist of truth need not constrain his search for a “material” theory of truth, i.e., a theory of the philosophical nature of truth, by committing himself to one solution or another to the Liar Paradox. If he focuses on the nature of truth (leaving issues of formal (...) consistency for a later stage), he can arrive at material principles that prevent the Liar Paradox from arising in the first place. I argue for this point both on general methodological grounds and by example. The example is based on a substantivist theory of truth that emphasizes the role of truth in human cognition. The key point is that truth requires a certain complementarity of “immanence” and “transcendence”, and this means that some hierarchical structure is inherent in truth. Approaching the Liar Paradox from this perspective throws new light on its existent solutions: their differences and commonalities, their purported ad-hocness, and the relevance of natural language and bivalence to truth and the Liar. (shrink)

Experimental philosophy of language uses experimental methods developed in the cognitive sciences to investigate topics of interest to philosophers of language. This article describes the methodological background for the development of experimental approaches to topics in philosophy of language, distinguishes negative and positive projects in experimental philosophy of language, and evaluates experimental work on the reference of proper names and natural kind terms. The reliability of expert judgments vs. the judgments of ordinary speakers, the role that ambiguity plays in influencing (...) responses to experiments, and the reliability of metalinguistic judgments are also assessed. (shrink)

Because “evidence” is at issue in evidence-based medicine (EBM), the critical responses to the movement have taken up themes from post-positivist philosophy of science to demonstrate the untenability of the objectivist account of evidence. While these post-positivist critiques seem largely correct, I propose that when they focus their analyses on what counts as evidence, the critics miss important and desirable pragmatic features of the evidence-based approach. This article redirects critical attention toward EBM’s rigid hierarchy of evidence as the culprit (...) of its objectionable epistemic practices. It reframes the EBM discourse in light of a distinction between objectivist and pragmatic epistemology, which allows for a more nuanced analysis of EBM than previously offered: one that is not either/or in its evaluation of the decision-making technology as either iconoclastic or creedal. -/- . (shrink)