The overall purpose of this paper is to contribute to the debate over a possibility to reconstruct such theories which are not explicitly formulated in the preserved texts of ancient authors. Aristotle is one of those who did not write a single treatise on language, though language – both, as an instrument, as well as an object of the study – was still focal point of his philosophy. In his writings, Aristotle rigorously distinguishes several ways of methodologically (...) examining same phenomenon. He is aware of the fact that every phenomenon can be examined from various perspectives and that different goals of the study lead us towards different answers. Aristotle’s views on language are scattered through his entire oeuvre. The main aim of this paper is to offer and justify a new way of reconstructing Aristotle’s theory of language. In the first part, the paper justifies the very existence of Aristotle’s theory of language and outlines a plan how to proceed with reconstruction of such theory. In the second part, the preliminary plan is situated into the current state of Aristotelian scholarship. Finally, in the third part, the plan of reconstruction is elaborated using an integrationist approach. Integrationism (the idea that our language is a very complex phenomenon which has to be studied from different perspectives and the results of those studies cannot be reduced to each other and cannot be merged into a single atemporal model, instead those results should be understood as an integral part of the very temporal nature of our language) allows me to explain how various different dimensions of language are uncovered in Aristotle’s works and how they gradually arise from each other. (shrink)

The main aim of my paper is to analyse Aristotle’s theory of language in the context of his Physics I.1 and via an analysis and an interpretation of this part of his Physics I try to show that (i) the study of human language (logos) significantly falls within the competence of Aristotle’s physics (i.e. natural philosophy), (ii) we can find the results of such (physical) inquiry in Aristotle’s zoological writings, stated in the forms of the first principles, causes (...) and elements of the human speech (logos) and (iii) the analogies (Phys. 184b13-14) made by Aristotle at the very end of the first chapter make better sense if we consider them in the broader context in which Aristotle recognizes language as a complex natural phenomenon we are born into and which has to be not only biologically, but also socially developed through our lives. Hence, I aim towards a more naturalistic reading of Aristotle’s views on language. (shrink)

There is a tension between John Locke’s awareness of the fundamental importance of a shared public language and the manner in which his theorizing appears limited to offering a psychologistic account of the idiolects of individual speakers. I argue that a correct understanding of Locke’s central notion of signification can resolve this tension. I start by examining a long standing objection to Locke’s view, according to which his theory of meaning systematically gets the subject matter of our discourse wrong, (...) by making our ideas the meanings of our words. By examining Locke’s definition of “truth”, I show that Lockean signification is an expression relation, rather than a descriptive or referential relation. Consequently, the sense in which our words signify our ideas is roughly that our utterances advertise our otherwise undisclosed mental lives to each other. While this resolves one aspect of the public/private tension, I close with a brief discussion of the remaining tension, and the role for normative constraints on signification to play in generating a genuinely shared public language. (shrink)

In his lucid and helpful reply, Chris Drain (2021) clarifies some of his views and aims and offers pertinent criticisms of my own. Drain refocuses my forays into Pittsburgh Hegelianism onto Vygotsky’s own thought. He rightly notes that Brandom’s account of deontic scorekeeping tells us nothing about phylogenesis. Sellars too has little to say about the origins of language and social practice and I would endorse the projects of those who turn to Tomasello to fill such gaps (Koons 2018). (...) However, I still do not think Drain has got Vygotsky’s Hegel right. I do not think one can substitute “Hegelian” for “Janetian”, and I hope to show why this matters. -/- Drain also objects to my characterization of Tomasello as Cartesian. There is of course a long line of philosophers from Deleuze to Dennett charging all those who fall across their path with covert Cartesianism. I will not besmirch this venerable custom here. In my reply I contrast the Hegelian-Marxist approach to language of Vygotsky with the Cartesian approach of Tomasello. I conclude by suggesting some active research programmes which overcome this Cartesiansim while following the trajectories of Vygotsky’s own project. (shrink)

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

In this paprer a class of so called mathematically acceptable (shortly MA) languages is introduced First-order formal languages containing natural numbers and numerals belong to that class. MA languages which are contained in a given fully interpreted MA language augmented by a monadic predicate are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of these languages. MTT makes them fully interpreted MA languages which posses their own truth predicates, yielding consequences to philosophy of mathematics. MTT (...) is shown to conform well with the eight norms presented for theories of truth in the paper 'What Theories of Truth Should be Like (but Cannot be)' by Hannes Leitgeb. MTT is also free from infinite regress, providing a proper framework to study the regress problem. (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.

Theory of Computation -- Computation by Abstracts Devices.

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.

Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people’s beliefs about his own beliefs or intentions, he is demonstrating second-order ToM reasoning. A standard task to test second-order ToM reasoning is the second-order false belief task. A different approach to investigating ToM reasoning is through its application in a strategic game. Another task that is believed to involve the application of (...) second-order ToM is the comprehension of sentences that the hearer can only understand by considering the speaker’s alternatives. In this study we tested 40 children between 8 and 10 years old and 27 adult controls on (adaptations of) the three tasks mentioned above: the false belief task, a strategic game, and a sentence comprehension task. The results show interesting differences between adults and children, between the three tasks, and between this study and previous research. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

I give an informal presentation of the evolutionary game theoretic approach to the conventions that constitute linguistic meaning. The aim is to give a philosophical interpretation of the project, which accounts for the role of game theoretic mathematics in explaining linguistic phenomena. I articulate the main virtue of this sort of account, which is its psychological economy, and I point to the casual mechanisms that are the ground of the application of evolutionary game theory to linguistic phenomena. Lastly, I consider (...) the objection that the account cannot explain predication, logic, and compositionality. (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)

Stephen Finlay’s Confusion of Tongues is a bold and sophisticated book. The overarching goal is metaphysical: to reductively analyze normative facts, properties, and relations in terms of non-normative facts, properties, and relations. But the method is linguistic: to first provide a reductive analysis of the corresponding bits of normative language, with a particular focus on ‘good’, ‘ought’, and ‘reason’. The gap between language and reality is then bridged by taking linguistic analysis as a guide to conceptual analysis, and (...) conceptual analysis as a guide to metaphysical analysis. In this review, I consider three challenges to Finlay’s project that deserve more attention than they receive in the book. The first concerns Finlay’s claim to have provided a *reductive* theory of normative language, the second concerns his claim to have provided a *unified* theory of normative language, and the third concerns his claim to have provided a *correct* theory of normative language. (shrink)

The Complex Emergent Model of Language Acquisition (CEMLA) offers a new perspective on how humans acquire language, drawing on principles from complexity theory to explain this dynamic, adaptive process. Moving beyond linear and reductionist models, CEMLA views language acquisition as a system of interconnected nodes, feedback loops, and emergent patterns, operating at the edge of chaos. This framework captures the fluidity and adaptivity of language learning, highlighting how understanding and fluency arise through self-organisation, phase transitions, and (...) interaction with diverse linguistic input. By embracing the complexity of language acquisition, CEMLA provides a comprehensive model that reflects the true nature of human communication. (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)

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)

Davidson’s theory of agency aims to solve the dilemma that the same action can be both intentional and not intentional. He explains primitive actions using primarily bodily movements and argues that event-causality can be described through the “accordion effect”, but not agent-causality. And Davidson uses reasons as causes to explain the actions and responds to five objections. In this paper, I critique Davidson’s argument, pointing out that he ignores certain factors in the belief-desire model, such as emotions. And his sentence (...) holism has a problem because individual words that express complete thoughts can explain actions in language games. As a result, Davidson’s criticism of Wittgenstein is not reasonable. (shrink)

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...) is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others. (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)

I aim to develop a tool for comparing theories of vagueness, using Structured Query Language. Relevant SQL snippets will be used throughout.

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)

Some philosophers argue that a theory of logical validity should not interpret its own language, because a Russellian argument shows that self-applicability is inconsistent with the ability to capture all the interpretations of its own language. First, I set up a formal system to examine the Russellian argument. I then defend the need for self-applicability. I argue that self-applicability seems to be implied by generality, and that the Russellian argument rests on a test for meaning that is biased (...) against self-applicability. I propose an alternative test which is unproblematic for self-applicability. I conclude that self-applicability can be vindicated and the Russellian argument can be resisted. (shrink)

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already there, ready to (...) meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

In a study drawing from both evolutionary biology and the social sciences, evidence and argument is assembled in support of the comprehensive appli- cation of selfish gene theory to the human population. With a focus on genes giving rise to characteristically-human cooperation (“cooperative genes”) in- volving language and theory of mind, one may situate a whole range of pat- terned behaviour—including celibacy and even slavery—otherwise seeming to present insuperable difficulties. Crucially, the behaviour which tends to propa- gate the cooperative (...) genes may be “at cost” to the genes of some who may be party to the cooperation itself. Explanatory insights are provided by Trivers’ parent-offspring conflict theory, Lack’s principle, and Hamilton’s kin selec- tion mechanism. A primary observation is that cooperation using language and theory of mind is itself interdependent with full human conceptualization of a world of objects and of themselves as embodied beings. Human capaci- ties inhering in, or arising out of, the ability to cooperate are also responsible for a vitally important long-term process, the domestication of animals and p- lants. The approach illuminates the difference between animal and human sexual behaviour, and the emergence of kinship systems. Again, recent pat- terns of population growth become much more explicable. It is argued that the gene is the single controlling replicator; the notion of the meme as a sec- ond independent replicator is flawed. (shrink)

Recently it has been argued that autocatalytic theory could be applied to the origin of culture. Here possible application to a theory of meaning in the philosophy of language, called radical interpretation, is commented upon and compared to previous applications.

Hannes Leitgeb formulated eight norms for theories of truth in his paper [5]: `What Theories of Truth Should be Like (but Cannot be)'. We shall present in this paper a theory of truth for suitably constructed languages which contain the first-order language of set theory, and prove that it satisfies all those norms.

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

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)

The present article is an attempt to bring together the development of mental activity and consciousness in the framework of the organism-environment theory (Jarvilehto, 1998a, 1998b, 1999); the main question is how the development of mental activity and consciousness can be formulated if the starting point is not the separation of man and environment as in traditional cognitive psychology, but a unitary organism-environment system. According to the present formulation, mental activity is conceived as activity of the whole organism-environment system and (...) connected to the general development of life as a specific form of an organism-environment system comprising neurons. The advent of consciousness is regarded as a result of co-operation of such organism-environment systems. Consciousness is based on co-operation for the achievement of common results, and shared by the co-operating individuals (general consciousness), although each individual also makes it concrete from the perspective of his/her own body in the act of participation in common results (personal consciousness). Language is the means of formation of the co-operative system in the achievement of common results, and it is suggested that the use of language is related more to the type of co-operative system and intended common results than to any symbolic representation of the world. It is claimed that on this basis it is possible to develop psychology which takes seriously the concepts of mental activity and consciousness in the description of human action, but does not reduce these concepts either to biological or social factors. The present formulation should be regarded more as a conceptual outline than as a full-blown theory. (shrink)

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

Philosophy of Language, introduces students to the main issues and theories in twenty-first-century philosophy of language, focusing specifically on linguistic phenomena. Author Salah Ismail divided the book into seven chapters. Ch. I, Philosophy of language: Defining term and Indication of trends. Ch.2, Empirical theory in language learning (Quine). Ch.3, Mental theory in language learning and its knowledge (Chomsky). Ch.4, Theories of meaning, surveys the competing theories of linguistic meaning and compares their various (...) advantages and liabilities; theory of ideas, theory of verification, use theory. Ch.5, Theory of communication- intention. Ch.6, Pragmatics and rules of conversation. Ch.7, Language, truth and reality. يعالج الكتاب الموضوعات الأساسية في فلسفة اللغة وهي المعنى والإشارة والصدق، بالإضافة إلى تعلم اللغة ومعرفتها. ويعرض بأسلوب رصين وبدقة نظريات الفلاسفة المعاصرين في هذه الموضوعات بداية من فتجنشتين، ومرورا بكواين وتشومسكي وجرايس، إلى جون سيرل في وقتنا الحالي. وستجد فيه إجابات عن أسئلة من قبيل: كيف نتعلم اللغة؟ وما المعنى؟ وكيف تعني الكلمات ما تعنيه؟ وما شروط صدق الجملة؟ وما الاختلاف بين معنى الجملة والمعنى لدى المتكلم؟ وكيف يكون التواصل اللغوي ممكنا؟ وما قواعد المحادثة؟ وما الاختلاف بين علم الدلالة وعلم الاستعمال؟ ويدافع المؤلف عن نظرية الاستعمال في المعنى . (shrink)

Since the 1960s, Kripke has been a central figure in several fields related to mathematical logic, language philosophy, mathematical philosophy, metaphysics, epistemology and set theory. He had influential and original contributions to logic, especially modal logic, and analytical philosophy, with a semantics of modal logic involving possible worlds, now called Kripke semantics. In Naming and Necessity, Kripke proposed a causal theory of reference, according to which a name refers to an object by virtue of a causal connection with the (...) object, mediated by the communities of speakers. DOI: 10.13140/RG.2.2.26557.20964. (shrink)

“Darwin’s Evolutionary Theory of Dependent Arising” January 2021, Buddhism and Culture (a Korean-language Buddhist magazine sponsored by the Foundation for the Promotion of Korean Buddhism), Korea 진화론으로 이해하는 불교: 다윈의 진화론은 연기의 진화론.

The notion of computability is developed through the study of the behavior of a set of languages interpreted over the natural numbers which contain their own fully defined satisfaction predicate and whose only other vocabulary is limited to "0", individual variables, the successor function, the identity relation and operators for disjunction, conjunction, and existential quantification.

This paper advances a general argument, inspired by some remarks of Davidson, to show that appeal to meanings as entities in the theory of meaning is neither necessary nor sufficient for carrying out the tasks of the theory of meaning. The crucial point is that appeal to meaning as entities fails to provide us with an understanding of any expression of a language except insofar as we pick it out with an expression we understand which we tacitly recognize to (...) be a translation of the term whose meaning we want to illuminate by the appeal to assigning to it a meaning. The meaning drops out as irrelevant: the work is done, and can only be done, by matching terms already understood with terms they translate. (shrink)

On the basis of a revision of the real dynamics of Greek poiesis and autopoiesis as evolutionary processes of meaning and knowledge-of-the-World evaluative-construction, Cognitive Poetics proposes key philological, ontological and cultural adjustments to improve our understanding of thought, conceptual activity, and the origins and social nature of language. It searches for an integrated theory of social problems in general Cognitive Science: from Linguistics or Psychology, through Anthropology, Neurophilosophy or Literary Studies, to Neurobiology or Artificial Life Sciences. From an essential (...) turn to the real thing, cognition as (social) action, it provides new unforeseen accounts of the complex dynamics of human essentially creative understanding studying and analyzing all form of texts as active fossils as mentils (Guerra 2009). (shrink)

During the last couple of decades, several attempts have been made to come up with a theory that can handle the various semantic, logical and philosophical problems raised by the vagueness of natural languages. One of the most influential ideas that have come into fashion in recent years is the idea that vagueness should be analysed as a form of context sensitivity. Such contextualist theories of vagueness have gained some popularity, but many philosophers have remained sceptical of the prospects (...) of finding a tenable contextualist solution to the problems of vagueness. This paper provides an introduction to the most popular contextualist accounts, and a discussion of some of the most important arguments for and against them. (shrink)

I respond to an argument presented by Daniel Povinelli and Jennifer Vonk that the current generation of experiments on chimpanzee theory of mind cannot decide whether chimpanzees have the ability to reason about mental states. I argue that Povinelli and Vonk’s proposed experiment is subject to their own criticisms and that there should be a more radical shift away from experiments that ask subjects to predict behavior. Further, I argue that Povinelli and Vonk’s theoretical commitments should lead them to accept (...) this new approach, and that experiments which offer subjects the opportunity to look for explanations for anomalous behavior should be explored. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

Local theories of consciousness state that one is conscious of a feature if it is adequately represented and processed in sensory brain areas, given some background conditions. We challenge the core prediction of local theories based on long-lasting postdictive effects demonstrating that features can be represented for hundreds of milliseconds in perceptual areas without being consciously perceived. Unlike previous empirical data aimed against local theories, localists cannot explain these effects away by conjecturing that subjects are phenomenally conscious (...) of features that they cannot report. We also discuss alternative explanations that localists could offer. (shrink)

In a series of recent articles, Robin Jeshion has developed a theory of singular thought which she calls ‘cognitivism’. According to Jeshion, cognitivism offers a middle path between acquaintance theories—which she takes to impose too strong a requirement on singular thought, and semantic instrumentalism—which she takes to impose too weak a requirement. In this article, I raise a series of concerns about Jeshion's theory, and suggest that the relevant data can be accommodated by a version of acquaintance theory that (...) distinguishes unsuccessful thoughts of singular form from successful singular thoughts, and in addition allows for ‘trace-based’ acquaintance. (shrink)

This note is based on a lecture delivered at the Conference on the Scien- tic Research of the Mathematical Center of Opole, Turawa, May 10-11th, 1980. A somewhat extended version will be published in the Proceedings of the Conference. At the same time it is an abstract of a part of a planned larger paper, which will involve the theory of label-tokens. The theory is included into the author's monograph in Polish "Teorie Językow Syntaktycznie Kategorialnych", PWN, Warszawa-Wrocław 1985 and into (...) its English version: Theory of Language Syntax. Categorial Approach, Kluwer Academic Publishers, Boston-London-Dordrecht 1991. (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)

In 1957, Feyerabend delivered a paper titled ‘On the Quantum-Theory of Measurement’ at the Colston Research Symposium in Bristol to sketch a completion of von Neumann's measurement scheme without collapse, using only unitary quantum dynamics and well-motivated statistical assumptions about macroscopic quantum systems. Feyerabend's paper has been recognised as an early contribution to quantum measurement, anticipating certain aspects of decoherence. Our paper reassesses the physical and philosophical content of Feyerabend's contribution, detailing the technical steps as well as its overall philosophical (...) motivations and consequences. Summarising our results, Feyerabend interpreted collapse as a positivist assumption in quantum mechanics leading to a strict distinction between the uninterpreted formalism of unitary evolution in quantum mechanics and the classically interpreted observational language describing post-measurement outcomes. Thus Feyerabend took the no-collapse completion of the von Neumann measurement scheme to show the dispensability of the positivist assumption, leading the way to a realistic interpretation of quantum theory. We note, however, that there are substantial problems with his account of measurement that bring into question its viability as a legitimate foil to the orthodox view. We further argue that his dissatisfaction with the von Neumann measurement scheme is indicative of early views on theoretical pluralism. (shrink)

It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation of (...) first-level function names in Grundgesetze into simple type-theoretic open terms rather than into closed terms of a function type. This interpretation offers a still unhistorical but more faithful type-theoretic approximation of Frege’s theory of levels and can be naturally extended to accommodate second-level functions. It is made possible by two key observations that Frege’s Roman markers behave essentially like open terms and that Frege lacks a clear criterion for distinguishing between Roman markers and function names. (shrink)

Husserl’s early picture of explanation in the sciences has never been completely provided. This lack represents an oversight, which we here redress. In contrast to currently accepted interpretations, we demonstrate that Husserl does not adhere to the much maligned deductive-nomological (DN) model of scientific explanation. Instead, via a close reading of early Husserlian texts, we reveal that he presents a unificationist account of scientific explanation. By doing so, we disclose that Husserl’s philosophy of scientific explanation is no mere anachronism. It (...) is, instead, tenable and relevant. We discuss how Husserl and other contemporary thinkers draw theoretical inspiration from the same source—namely, Bernard Bolzano. Husserl’s theory of scientific explanation shares a common language and discusses the same themes as, for example, Phillip Kitcher and Kit Fine. To advance our novel reading, we discuss Husserl’s investigations of grounding, inter-lawful explanation, intra-mathematical explanation, and scientific unification. (shrink)

One of the most important contributions in Roland Posner’s work (1993) was the extension and development of the Gricean paradigm on meaning (1957) in a systematic framework, providing thus a general foundation of semiotic phenomena. According to this approach, communication consists in behaviors or artifacts based on reciprocal assumptions about the intentions and beliefs of the subjects involved in a semiotic exchange. Posner’s model develops with clarity the hierarchical relationships of semiotic phenomena of different complexity, from simple pre-communicative behaviors (like (...) indicating or signaling) to full communicative acts. Not only limited to linguistic communication, this framework can be successfully extended in the description of all kind of sign production, from gestures to artifacts. This article discusses a key point of this paradigm, namely our faculty to at-tribute mental states to other individuals through the observation of their behavior, artifacts or texts. New insights from neuropsychology and developmental psychology are discussed in supporting the validity of this model of communication. (shrink)