This article proposes a new logical framework for NL quantification. The framework is based on Generalized Quantifiers, Skolem-like functional dependencies, and Maximality of the involved sets of entities. Among the readings available for NL sentences, those where two or more sets of entities are independent of one another are particularly challenging. In the literature, examples of those readings are known as Collective and Cumulative readings. This article briefly analyzes previous approaches to Cumulativity and Collectivity, and indicates (Schwarzschild in Pluralities. (...) Kluwer, Dordrecht, 1996) as the best proposal so far to deal with these readings. Then, it incorporates its insights in the logical framework defined in Robaldo (J Philos Log 39(1):23–58, 2009a), leading to a scalable logical account for NL quantification. (shrink)

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van (...) Fraassen’s modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model (namely, QED and QCD), we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories. (shrink)

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van (...) Fraassen’s modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model, we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories. (shrink)

Robert cummins has recently attacked this line of argument: if p is a semantically primitive predicate of a first order language l, then p requires its own clause in the definition of satisfaction integral to a definition of truth of l. thus if l has infinitely many such p, the satisfaction clause cannot be completed and truth for l will remain undefined. against this cummins argues that a single clause in a general base theory for l can specify satisfaction (...) conditions for even infinitely many semantically primitive predicates of l. against cummins we argue that a general base theory contains a primitive expression 'applies to' and that to make his case cummins would need to prove this expression stands for a semantical relation sufficient to a truth definition for l. not only is such a proof lacking but we show the claim to be altogether dubious. (shrink)

An analysis of the role of language in basic and applied science from the semantics of science and the theory of reference requires several steps. First, to specify the field of analysis in the light of several factors: the semantic problems of science; the reference in its triple dimension of relation between language and reality, of referent and of transmission in science; and the link between meaning and reference in science.Second, to consider the central approach to the (...) semantics of science, which forks into two main directions: the semantic line and the pragmatic path. De facto, they lead to different interpretations of the role of language in basic science and in applied science. The semantic line focuses on the content expressed through terms, statements and theories, which has been influential in important philosophical trends and still is prominent in some versions of scientific realism. Meanwhile, the pragmatic path emphasizes the meaning as use, which has influenced philosophers of science of diverse tendencies, such as S. Toulmin, Th. Kuhn, American pragmatists and supporters of the methodological pluralism.Third, to make explicit the leading conceptions regarding the theory of reference, both for the formal sciences and for the empirical sciences. There are a number of options, four of which are analyzed here. The view associated with the semantic role and the semantic value, which connects semantic, epistemological and ontological realms in basic science and in applied science. The causal theory of reference, which has shifted towards internal realism. Anti-realistic semantics, where truth is replaced by proof and the reference is the use made by someone of a term in a context. Kuhn’s approach in his linguistic period, where he rethinks the scientific revolutions taking into account the causal theory of reference.Fourth, to be aware of the consequences of these analyses for basic science and applied science in two ways: on the one hand, for the semantic differences between them, and, on the other, for the perspective of reference. (shrink)

The paper offers a solution to the semantic paradoxes, one in which (1) we keep the unrestricted truth schema “True(A)↔A”, and (2) the object language can include its own metalanguage. Because of the first feature, classical logic must be restricted, but full classical reasoning applies in “ordinary” contexts, including standard set theory. The more general logic that replaces classical logic includes a principle of substitutivity of equivalents, which with the truth schema leads to the general intersubstitutivity of True(A) with (...) A within the language.The logic is also shown to have the resources required to represent the way in which sentences (like the Liar sentence and the Curry sentence) that lead to paradox in classical logic are “defective”. We can in fact define a hierarchy of “defectiveness” predicates within the language. Contrary to claims that any solution to the paradoxes just breeds further paradoxes (“revenge problems”) involving defectiveness predicates, there is a general consistency/conservativeness proof that shows that talk of truth and the various “levels of defectiveness” can all be made coherent together within a single object language. (shrink)

In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT- (...) class='Hi'>semantics, common nouns are interpreted as types rather than predicates. Therefore, in order to capture the semantics of adjectives adequately, one needs to meet the challenge of modeling CNs modified by adjectives as types. To explicate that this can be done successfully, we first look at the mainstream classification of adjectives, i.e. intersective, subsective and non-subsective adjectives. There, we show that the rich type structure available in MTTs, along with a suitable subtyping framework, offers an adequate mechanism to model these cases. In particular, this modelling naturally takes care of the characterising inferences associated with each class of adjectives. Then, more advanced issues on adjectival modification are discussed: degree adjectives, comparatives and multidimensional adjectives. There, it is shown that the use of indexed types can be usefully applied in order to deal with these cases. In the same vein, the issue of adverbial modification is discussed. We study two general typings for sentence and VP adverbs respectively. It is shown that the rich type structure in MTTs further provides useful organisational mechanisms in giving formal semantics for adverbs. In particular, we discuss the use of \-types to capture the veridicality/non-veridicality distinction and further discuss cases of intensional adverbs using the type theoretic notion of context. We also look at manner, subject and speech act adverbials and propose solutions using MTTs. Finally, we show that the current proof technology can help mechanically check the associated inferences. A number of our proposals concerning adjectival and adverbial modification have been formalised in the proof assistant Coq and many of the associated inference patterns are checked to be correctly captured. (shrink)

According to Horwich’s use theory of meaning, the meaning of a word W is engendered by the underived acceptance of certain sentences containing W. Horwich applies this theory to provide an account of semantic stipulation: Semantic stipulation proceeds by deciding to accept sentences containing an as yet meaningless word W. Thereby one brings it about that W gets an underived acceptance property. Since a word’s meaning is constituted by its (basic) underived acceptance property, this decision endows the word (...) with a meaning. The use-theoretic account of semantic stipulation contrasts with the standard view that semantic stipulation proceeds by assigning the meaning (reference) to W that makes a certain set of sentences express true propositions. In this paper I will argue that the use-theoretic account does not work. I take Frege to have already made the crucial point: "a definition does not assert anything but lays down something ["etwas festsetzt"]” (Frege 1899, 36). A semantic stipulation for W cannot be the decision to accept a sentence containing W or be explained in terms of such an acceptance. Semantic stipulation constitutes a problem for Horwich's use theory of meaning, especially his basic notion of acceptance. (shrink)

In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method, orderization, is shown to be sound and complete with respect to this logic. This implies an analogue of Herbrand's theorem for intuitionistic logic. The orderization method is applied (...) to the constructive theories of equality and groups. (shrink)

In this essay, I show how semantic theories in contemporary philosophy of language shed light on questions about the meaning of life. Current semantic theories tend to defend various forms of holism in semantics: the meaning of a word or sentence is explained by its place in a pattern of sentences, a framework, or a language . A second feature of these theories is that semantic holism rejects the idea that we understand words and sentences on the basis of (...) a pre-established theory which can be applied to cases. Meaning and understanding always involve interpretation and languages are dynamic idiolects rather than fixed systems of communication. This connects semantics with various forms of particularism in ethics. I show how semantic particularism can be applied to questions were ‘meaning’ is used in its ’existential’ sense . The semantic and existential meaning of ’meaning’ have analogous functions. (shrink)

In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, there (...) was a need for a comprehensive overview which would tie the lines together. This volume fills that need by presenting a balanced mixture of high quality expository and research articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California.With an introductory survey to put the works into an appropriate context, the collection consists of papers dealing with various aspects of 'unprovable theorems and fast-growing functions'. Among the topics addressed are: ordinal notations, the dynamical systems approach to Ramsey theory, Hindman's finite sums theorem and related ultrafilters, well quasiordering theory, uncountable combinatorics, nonstandard models of set theory, and a length-of-proof analysis of Godel's incompleteness theorem. Many of the articles bring the reader to the frontiers of research in this area, and most assume familiarity with combinatorics and/or mathematical logic only at the senior undergraduate or first-year graduate level. (shrink)

_ Source: _Volume 10, Issue 3, pp 349 - 369 A theory of causation suitable for historiography must accommodate the many types of causal claims historians make. In this paper, I examine the advantages of applying D. K. Lewis’s counterfactual theory of causation to the philosophy of historiography. I contend that Lewis’s possible world semantics offers a superior framework for making sense of historical causation, and that it lays the foundation for historians to look at history as (...) causal series of events, remaining agnostic as to whether there may be historical regularities or laws. Lewis’s theory can also accommodate important notions often used by historians, such as absences as causes, historical necessity and contingency, and the role they play in the formulation of historical counterfactuals. (shrink)

Since the beginning of the XX-th century, it became increasingly evident that information, besides matter and energy, is a major actor in the life processes. Moreover, communication of information has been recognized as differentiating living things from inanimate ones, hence as specific to the life processes. Therefore the sciences of matter and energy, chemistry and physics, do not suffice to deal with life processes. Biology should also rely on sciences of information. A majority of biologists, however, did not change their (...) mind and continued to describe life in terms of chemistry and physics. They merely borrowed some vocabulary from the information sciences. The first science of information available to biological applications, semiotics, appeared at the end of the XIX-th century. It is a qualitative and descriptive science which stemmed from efforts of linguists and philosophers to understand the human language and is thus mainly concerned with semantics. Applying semiotics to biology resulted in today’s Biosemiotics. Independently, an explosive expansion of communication engineering began in the second half of the XX-th century. Besides tremendous progresses in hardware technology, it was made possible by the onset of a science of literal communication: Information Theory (Shannon, Bell Syst Tech J 27:379–457, 623–656, 1948). Literal communication consists of faithfully transporting a message from a place to another, or from an instant to another. Because the meaning of a message does not matter for its transportation, information theory ignores semantics. This restriction enables defining information as a measurable quantity on which a mathematical theory of communication is founded. Although lacking implementation means at its beginning, information theory became later very successful for designing communication means. Modern ones, like mobile phones, can be thought of as experimentally proving the relevance and accuracy of information theory since their design and operation heavily rely on it. Information theory is plainly relevant to biological functions which involve literal communication, especially heredity. This paper is intended to compare the two approaches. It shows that, besides obvious differences, they have some points in common: for instance, the quantitative measurement of information obeys Peirce’s triadic paradigm. They also can mutually enlighten each other. Using information theory, which is closer to the basic communication mechanisms, may appear as a preliminary step prior to more elaborated investigations. Criticizing genetics from outside, information theory furthermore reveals that the ability of the template-replication paradigm to faithfully conserve genomes is but a prejudice. Heredity actually demands error-correcting means which impose severe constraints to the living world and must be recognized as biological facts. (shrink)

§1. The mission of axiomatic set theory. What is set theory needed for in the foundations of mathematics? Why cannot we transact whatever foundational business we have to transact in terms of our ordinary logic without resorting to set theory? There are many possible answers, but most of them are likely to be variations of the same theme. The core area of ordinary logic is by a fairly common consent the received first-order logic. Why cannot it take (...) care of itself? What is it that it cannot do? A large part of every answer is probably that first-order logic cannot handle its own model theory and other metatheory. For instance, a first-order language does not allow the codification of the most important semantical concept, viz. the notion of truth, for that language in that language itself, as shown already in Tarski. In view of such negative results it is generally thought that one of the most important missions of set theory is to provide the wherewithal for a model theory of logic. For instance Gregory H. Moore asserts in his encyclopedia article “Logic and set theory” thatSet theory influenced logic, both through its semantics, by expanding the possible models of various theories and by the formal definition of a model; and through its syntax, by allowing for logical languages in which formulas can be infinite in length or in which the number of symbols is uncountable. (shrink)

McTaggart's ideas on the unreality of time as expressed in "The Nature of Existence" have retained great interest for many years for scholars, academics and other philosophers. In this essay, there is a brief discussion which mentions some of the high points of this philosophical interest, and goes on to apply his ideas to modern physics and neuroscience. It does not discuss McTaggart's C and D series, but does emphasise how the use of derived versions of both his A and (...) B series can be of great virtue in discussing both the abstract physics of time, and the present and future importance of McTaggart's ideas to the subject of time. Indeed an experiment using human volunteers and dynamic systems modelling which was carried out is described, which illustrates this fact. The Many Bubble Interpretation, which also derives from McTaggart's ideas, is discussed and various examples of its use and effectiveness are referred to. The Schrodinger Cat paradox is essentially resolved in principle, the quantum Zeno effect interpretable, Kwiat's recent result referred to, and the newly discovered reverse Stickgold effect described. (shrink)

Computability logic (CL) is a recently launched program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic has more traditionally been. Formulas in it represent computational problems, "truth" means existence of an algorithmic solution, and proofs encode such solutions. Within the line of research devoted to finding axiomatizations for ever more expressive fragments of CL, the present paper introduces a new deductive system CL12 and proves its soundness and (...) completeness with respect to the semantics of CL. Conservatively extending classical predicate calculus and offering considerable additional expressive and deductive power, CL12 presents a reasonable, computationally meaningful, constructive alternative to classical logic as a basis for applied theories. To obtain a model example of such theories, this paper rebuilds the traditional, classical-logic-based Peano arithmetic into a computability-logic-based counterpart. Among the purposes of the present contribution is to provide a starting point for what, as the author wishes to hope, might become a new line of research with a potential of interesting findings—an exploration of the presumably quite unusual metatheory of CL-based arithmetic and other CL-based applied systems. (shrink)

The article deals with an approach to the analysis of propositional attitudes based on the type-theoretical semantics proposed by A. Ranta and originating from the type theory of P. Martin-Löf. Type-theoretical semantics contains the notion of context and tools of extracting information from it in an explicit form. This allows us to correctly formalize the dependence on contexts typical of propositional attitudes. In the article the context is presented as a dependent sum type (Record type in the (...) proof assistant Coq). Ranta’s approach is refined and applied to the analysis of Quine’s phrase “Ralph believes that someone is a spy”. Three variants of formalization for this phrase are described which differ in the content of contextual knowledge and the way the truth values of the phrase are derived. Contexts are connected through the function of conversion, making it possible to relate truth values. As a result, it is shown that the instruments for working with contexts provided by type-theoretical semantics allow us to avoid the problem of opacity described by Quine. Provided formalization along with proofs is coded in Coq and made freely available. (shrink)

The importance of the comparative notion of versimilitude, or truthlikeness, for a realist conception of knowledge follows from two modest ‘realist’ assumptions, namely, that the aim of an enquiry, as an enquiry, is the truth of some matter; and that one false theory may realize this aim better than another. However, there seem to be two ways in which one (false) theory can realize this aim better than another. One (false) theory can be closer to the truth (...) than another either by being preponderantly more accurate in its predictions or by providing more comprehensive information about the system (or class of systems) at issue. This paper presents a model-theoretic approach to the analysis of the comprehensiveness-related component of the comparative notion of versimilitude. The machinery of the ‘semantic’ view of theories is applied to the problem of providing necessary and sufficient conditions for the truth of sentences of the form, ‘B is truth-increasing with respect to A’, where A and B are taken to be sets of structures. (shrink)

In chapter 1, I begin the task of giving a semantical theory which is appropriate for the general indeterministic context and which can profitably be applied to the special context of quantum mechanics. I treat the notion of indeterminism, and discuss tree structures. In the second chapter, I consider several theories of tense meant for the indeterministic context. All presuppose tree structures. I defend one of these as the best rendering of simple English future tense. ;In the third (...) chapter, I begin discussing counterfactual conditionals. It is the burden of this chapter to show that one well known analysis of counterfactuals, Stalnaker's theory, is not appropriate for the context of quantum mechanics. I show that his analysis leads all too easily to a contradiction of experimental evidence. Stalnaker's analysis--like many theories of counterfactuals--is based on the relation of comparative similarity between worlds. Recently this basis has been questioned. In chapter 4, I step back a bit from the project of analyzing counterfactuals and consider the foundations for any such analysis. I first argue that the similarity approach is still a promising one. But I go on to argue that a similarity approach requires a non-ordinary notion of 'similarity'. So 'similarity' is in need of explication. This, I argue, is something that should be done on a piecemeal basis. ;In the fifth chapter, I attempt to unify the results of earlier chapters by relating them to the quantum mechanical context. I begin by defending an analysis of counterfactuals which is given in terms of similarity between worlds. I try to show that this theory is a natural one for the quantum mechanical context. And I discuss how, for purposes of the analysis of counterfactuals, 'similarity' is to be understood in the quantum mechanical context. Also, I consider the logical form of quantum mechanical attribution of probability. These attributions, I argue, involve counterfactuals and tense in interesting ways. Utilizing the results of chapters 1 and 2, I argue for a somewhat novel rendering of these quantum mechanical attributions. (shrink)

The aim of this paper is to describe from a semantic perspective the problem of conservativity of classical first-order theories over their intuitionistic counterparts. In particular, we describe a class of formulae for which such conservativity results can be proven in case of any intuitionistic theory T which is complete with respect to a class of T-normal Kripke models. We also prove conservativity results for intuitionistic theories which are closed under the Friedman translation and complete with respect to a (...) class of conversely well-founded Kripke models. The results can be applied to a wide class of intuitionistic theories and can be viewed as generalization of the results obtained by syntactic methods. (shrink)

Journal of Mass Media Ethics, Volume 27, Issue 3, Page 215-217, July-September.

This chapter focuses on the incompatibility of afterimage colors. Several quasilogical, semantic, and metaphysical questions having to do with incompatibility come up in color theory, and the problem is so complicated and fragile that it is argued here that, despite some marvelous work on the topic, the problem remains to be sorted out. Every naive subject who encounters afterimages without prejudice has agreed that they have color; this is mentioned here because it is the initial and also the commonsense (...) view. However, accepting that a physical account of color incompatibility is right for physical colors makes an account for the incompatibility of afterimage colors improbable. One can provide a physiological account based on opponent processes, but this will deliver only a contingent truth or a necessity relative only to a particular retinal structure and postretinal neural coding. (shrink)

The institutions we create shape many of the activities we engage insofar as they are pervasive entities in our society. In an era full of new technologies, including the semantic web, there is a movement toward sound conceptual modeling for socio-technical solutions applied to government institutions. To develop these complex solutions, one needs to deepen the ontological status of entities in the institutional domain, because literature is full of ambiguous and ad-hoc hypotheses about distinctions between public and private corporations. (...) We believe we can find better explanations for such distinctions in the interdisciplinary field of library a information science. Within an ongoing semantic web project, we focus on a study case of official documents. First, we analyze theories about public and private corporations, seeking a reliable on‘tological distinction between them; then, by focusing on documents produced by each type of corporation, we hope to provide a well-founded analysis. Second, we adopt the aforementioned theories and the new analysis as recommendations for the improvement for the access and understanding of public documents, through appropriate classification of them within government information systems. This project, ultimately, aims to maximize the transparency of public government documents by favoring retrieval and comprehension by a society with plenty of automated information systems. (shrink)

Art is a language. Art objects are therefore decipherable into more or less elaborated and restricted codes. These codes change with the relative solidarity of the community in which they are produced. The more solidary the group, the more restricted the code; the less solidary the community, the more elaborated the artistic codes they produce. In general, realism is a more elaborated code and abstraction a more restricted code, and accordingly more solidary communities should produce more abstract art and less (...) solidary groups should produce more realistic art. This theoretical relationship between artistic codes and group solidarity is captured in the idea of a "semantic equation" and is applied to changes in the styles of New York art from the 1940s through the mid 1980s. (shrink)

The paper focuses on a particular episode in the (pre)history of semiotics in the USSR in the 1920s–1930s. At that time, an attempt to create an “integral” science was made by linguists, among whom N. Ja. Marr was one of the best-known. Several semantic laws formulated by Marr could be either reformulated in order to be applied to other disciplines (literary studies, anthropology, archeology, biology) or “proved” by the facts or discoveries drawn from them. Another “proof” that these linguistic (...) theories were correct consisted in the possibility of transferring the corresponding models and schemes from one field of knowledge to another: at that epoch the refusal to make a clear methodological separation between disciplines which were primarily concerned with “matter” and those that were more “spiritual” was an important tendency for scholars both in the Soviet Union and in other countries. (shrink)

Much work in the philosophy of language assumes that a semantic theory T, for a language L should assign p as the semantic content of an utterance u, by A, of a sentence S in L, if and only if “A said that p” is true. This assumption is mistaken. More generally, the aim of semantics cannot be to capture the extension of English expressions such as “meaning” or “what was said”. This provides support for Davidson’s paratactic (...) class='Hi'>theory of indirect speech and for the view that a semantic theory should take the form of a truth-theory. (shrink)

In the context of propositional logics, we apply semantics modulo satisfiability—a restricted semantics which comprehends only valuations that satisfy some specific set of formulas—with the aim to efficiently solve some computational tasks. Three possible such applications are developed.We begin by studying the possibility of implicitly representing rational McNaughton functions in Łukasiewicz Infinitely-valued Logic through semantics modulo satisfiability. We theoretically investigate some approaches to such representation concept, called representation modulo satisfiability, and describe a polynomial algorithm that builds representations (...) in the newly introduced system. An implementation of the algorithm, test results and ways to randomly generate rational McNaughton functions for testing are presented. Moreover, we propose an application of such representations to the formal verification of properties of neural networks by means of the reasoning framework of Łukasiewicz Infinitely-valued Logic.Then, we move to the investigation of the satisfiability of joint probabilistic assignments to formulas of Łukasiewicz Infinitely-valued Logic, which is known to be an NP-complete problem. We provide an exact decision algorithm derived from the combination of linear algebraic methods with semantics modulo satisfiability. Also, we provide an implementation for such algorithm for which the phenomenon of phase transition is empirically detected.Lastly, we study the game theory situation of observable games, which are games that are known to reach a Nash equilibrium, however, an external observer does not know what is the exact profile of actions that occur in a specific instance; thus, such observer assigns subjective probabilities to players actions. We study the decision problem of determining if a set of these probabilistic constraints is coherent by reducing it to the problems of satisfiability of probabilistic assignments to logical formulas both in Classical Propositional Logic and Łukasiewicz Infinitely-valued Logic depending on whether only pure equilibria or also mixed equilibria are allowed. Such reductions rely upon the properties of semantics modulo satisfiability. We provide complexity and algorithmic discussion for the coherence problem and, also, for the problem of computing maximal and minimal probabilistic constraints on actions that preserves coherence.prepared by Sandro Márcio da Silva Preto.E-mail: [email protected]:https://doi.org/10.11606/T.45.2021.tde-17062021-163257. (shrink)

I assume that the task of natural language semantics is to provide an unambiguous logical language into which natural language can be translated in such a way that the translating expressions display a structure which is isomorphic to the meaning of the translated expressions. Since language is a means of thinking and communicating mental contents, the meanings of singular terms cannot be the individuals of the substratist tradition, because such individuals are not cognizable entities. Thus I propose that the (...) logical language be based on Castaneda's guise theory, according to which singular terms always denote guises, i.e., roughly, bundles of properties. This, I argue, would result in a semantics which is in accordance with projects such as Lakoff's natural logic or Fodor's methodological solipsism. ;I first propose a formal system, GCC, which tries to be as faithful as possible to Castaneda's informal presentation of guise theory. It is therefore characterized by different forms of predication and a distinction between a level of property composition and a level of proposition composition. Such a distinction is dropped in a second system, GF, which presents a more traditional Fregean representation of predication. Yet, GF endorses essential assumptions of guise theory such as the existence of different sameness relations that can provide various interpretations for the English "is". I claim that GF provides more theoretical simplicity than GCC. ;Finally, I show the fruitfulness of the present approach by applying GF to a vast collection of linguistico-philosophical puzzles which includes but is not restricted to those that guise theory was originally designed to address: various versions of Frege's paradox, the paradox of analysis, Quine's puzzle on the number of planets, issues of reidentification and intentional identity, the anaphoric "it" of sentences such as "the lizard's tail fell off but then it grew back," problems connected with the use of "knowing-who ," proper names, indexicals and demonstratives. (shrink)

The subject of research in this article is the question of the possibility of formalizing the general theory of systems, that is, turning it into a language for describing systems of any nature with unambiguously defined lexical units and rules. To answer this question, the author considers the phenomenon of semantic indeterminacy of languages, which ensures the flexibility of formed lexical constructions due to the multivalence of lexical units. Also the subject of the research is the practice of quoting (...) out of context – a phenomenon, the admissibility of which is conditioned by the isomorphism of lexical constructions, as well as by the creative nature of the cognitive process, in which the result of cognition is unknown in advance, and thus the change of interpretation of the used concepts is inevitable. The conducted research allows us to state that the general theory of systems cannot be exclusively an applied theory, but should be supplemented with an ontological component. In this case, it becomes a philosophical theory, for which full formalization is impossible without loss of functionality. As a result, general systems theory must inevitably retain a certain semantic uncertainty. This uncertainty, however, can be reduced by translation into universality and generalization of concepts. Besides, it is possible and in some cases necessary to formalize separate components of the general theory of systems, in particular, its ontological component - the metaphysics of material existence. (shrink)

This corpus analysis of linguistic and semantic features in French parliamentary debates concerning online hate speech regulation, highlights tensions between state powers and private rights. Two key themes are identified: first, the _problem of definition_: how such online content is defined in the debates, and second, the _problem of regulation_: how the debates negotiate the supra-jurisdictional and individual jurisdiction issues involved, in regulating both the global online content and the responsibilities of the owners of the platforms who manage the content. (...) For this analysis, the authors created a corpus of French National Assembly Examination Committee discussions and public sessions between July 2019 to January 2020 discussing the _Loi Avia _(Avia Law). The corpus was analysed using quali-quantitative methods. Overall, the study combines a top-down (global) and a bottom-up (local) analysis of the data, applying corpus semantic approaches (Lecolle et al. in Langages 210(2):35–54, 2018; Rastier in The Routledge handbook of semantics, Routledge, pp 507–522, 2015) to contextualize the analysis of the meta-discourse (Hyland in Meta-discourse: exploring interaction in writing, 1st ed. Bloomsbury Academic, Bloomsbury Collections, 2018. https://doi.org/10.5040/9781350063617 ). The analysis highlights the linguistic features revealing the power dynamics inherent within the discourse and counter-discourse of the dominant and opposition political parties respectively. (shrink)

The topos theory gives tools for unified proofs of theorems for model theory for various semantics and logics. We introduce the notion of power and the notion of generalized quantifier in topos and we formulate sufficient condition for such quantifiers in order that they fulfil downward Skolem-Löwenheim theorem when added to the language. In the next paper, in print, we will show that this sufficient condition is fulfilled in a vast class of Grothendieck toposes for the (...) general and the existential quantifiers. (shrink)

Research in sport pedagogy and its applied recommendations are still characterized by a contrast between the different learning theories from psychology. Traditional theories and their corresponding approaches to the specific case of teaching and learning “how to play [team sports like soccer]” are subject to compatibilities and incompatibilities. We discuss how behaviorism as an approach to teaching the game shows more incompatibilities with the nature of tactical actions when compared to constructivism. As coaches strive to teach the game and (...) make their players and team perform, we argue that teaching the game requires teaching approaches that will help develop their way to play without taking away their autonomy and adaptiveness. The teaching-learning-training process for playing the game should then be conducted to harmonize the characteristics of the contents, the context, and the individual at hand. We provide two illustrated examples and portray how the recommended approaches fit key contents of the game that are observed in the tactical behavior. We finally argue that the coherent design of games provides minimal conditions to teaching approaches, and that such a design should be a priority when elaborating the learning activities along the player development process. As a conclusion, the interactionist theory is the one that best serves the teaching of the game and the development of tactical behavior. We therefore defend that its principles can help coaches tailor their own strategy to teach the game with the many tools. (shrink)

While engaged in the analysis of topics such as the nature of knowledge, meaning, or justice, analytic philosophers have traditionally relied extensively on their own intuitions about when the relevant terms can, and can't, be correctly applied. Consequently, if intuitions about possible cases turned out not to be a reliable tool for the proper analysis of philosophically central concepts, then a radical reworking of philosophy's (or at least analytic philosophy's) methodology would seem to be in order. It is thus (...) not surprising that the increasingly critical scrutiny that intuitions have received of late has produced what has been referred to as a "crisis" in analytic philosophy. This paper will argue, however, that at least those criticisms that stem from recent work on semantic externalism are not as serious as their proponents have claimed. Indeed, this paper will argue while the conceptual intuitions (and the analyses that result from them) will have to be recognized as fallible, they still have a prima facie claim to correctness. A naturalistic and externalistic account of concepts thus merely requires that the methodology of conceptual analysis be reinterpreted (from a 'Platonic' to a 'constructive' model) rather than given up. (shrink)

It is recognized that Buddhadharma schools are markedly ontologically, epistemologically, and semantically nominalist. Regardless of that, when it comes to the use of the term “consciousness”, there is still a tendency in some Western circles to understand Buddhism in a solipsist or monist way. To this purpose, I argue that the general expression “consciousness” from Buddhadharma texts must be understood according to traditional nominalist Buddhist semantics and theory of entities. In the end, I briefly mention some arguments and (...) viewpoints – defending the plurality/diversity of consciousness – of some Buddhist Dzogchen scholars and masters. (shrink)

I argue against the conception of scientific models advocated by the proponents of the Semantic View of scientific theories. Part of the paper is devoted to clarifying the important features of the scientific modeling view that the Semantic conception entails. The liquid drop model of nuclear structure is analyzed in conjunction with the particular auxiliary hypothesis that is the guiding force behind its construction and it is argued that it does not meet the necessary features to render it a model (...) of the theory, as the Semantic View demands. Given that this model is indicative of how quantum mechanics is applied in the domain of nuclear physics, I claim that the Semantic View does not adequately account for scientific models. (shrink)

In this paper we defend a direct reference theory of names. We maintain that the meaning of a name is its bearer. In the case of vacuous names, there is no bearer and they have no meaning. We develop a unified theory of names such that one theory applies to names whether they occur within or outside fiction. Hence, we apply our theory to sentences containing names within fiction, sentences about fiction or sentences making comparisons across (...) fictions. We then defend our theory against objections and compare our view to the views of Currie, Walton, and others. (shrink)

Metasemantics is the metaphysics of semantic endowment: it asks how expressions become endowed with their semantic significance. Assuming that semantics is of the usual truth-conditional sort, metasemantics asks after the determinants of expressions’ distinctive contributions to truth-conditions. There are two widely divergent general approaches to the metasemantic project. Some theories – “productivist” ones such as causal theories or intention-based theories – emphasize conditions of production or employment of the items semantically endowed. Other metasemantic theories – “interpretationist” ones – emphasize (...) conditions of interpretive consumption or reception of such items. The book aims to articulate a set of considerations that favour metasemantic productivism over metasemantic interpretationism, to reconcile a general productivist metasemantic approach with contemporary truth-conditional semantics, and to apply the approach to more specialized case studies in the philosophy of language broadly construed. Finally, a major concern in contemporary philosophy of language after Quine is semantic indeterminacy, the worry that there is no fact of the matter as to the semantic significance of our words. The book articulates a distinctly metasemantic strategy to counter the worry. It is shown how the present approach delivers a more successful response to semantic indeterminacy than extant alternatives, a response that emphasizes the priority of reference over truth, which is both intuitively compelling and theoretically motivated. (shrink)

This article explores three aspects of Masterman's language work and applies them to questions of spiritual intelligence: metaphor, coherence, and ambiguity. First, metaphor, which is ubiquitous in ordinary language, both leads and misleads in religious and scientific understanding. Masterman's case for a “dual-approach” to thinking, both speculative and critical, is explored and tied to concepts of moral-spiritual development per Pierre Hadot and Hannah Arendt. Second, Masterman's work on machine translation presents semantic disambiguation as an emerging coherence wherein one gradually hones (...) in on meaning through features of ordinary language (like redundancy and repetition). This is applied to the problem of comprehending difficult spiritual language, and tied to spiritual stretching and spiritual cartography. Third, Masterman's work with thesauri, rather than relying on words as having fixed meanings, appeals to a concept of semantic spaces, nebulae of variously interconnected meanings. This is constructed into an exhortation to reambiguate overfamiliar religious language, to reinvest one's quotidian surroundings with spiritual meaning through defamilarization. (shrink)

The semantic paradoxes and the paradoxes of vagueness display remarkable family resemblances. In particular, the same non-classical logics have been applied to both kinds of paradoxes. These facts have been taken by some authors to suggest that truth and vagueness require a unified logical framework. Some authors go further, and argue that truth is itself a vague or indeterminate concept. Importantly, however, there currently is no identification of what the common features of semantic and soritical paradoxes exactly consist in. (...) This is what we aim to do in this work: we analyze semantic and soritical paradoxes, and develop our analysis into a theory of paradoxicality. The unification of the paradoxes of truth and vagueness we propose here has a wide scope, but for the sake of concreteness we focus on four three-valued logics. (shrink)

Mark Wilson argues that the standard categorizations of "Theory T thinking"— logic-centered conceptions of scientific organization (canonized via logical empiricists in the mid-twentieth century)—dampens the understanding and appreciation of those strategic subtleties working within science. By "Theory T thinking," we mean to describe the simplistic methodology in which mathematical science allegedly supplies ‘processes’ that parallel nature's own in a tidily isomorphic fashion, wherein "Theory T’s" feigned rigor and methodological dogmas advance inadequate discrimination that fails to distinguish between (...) explanatory structures that are architecturally distinct. One of Wilson's main goals is to reverse such premature exclusions and, thus, early on Wilson returns to John Locke's original physical concerns regarding material science and the congeries of descriptive concern insofar as capturing varied phenomena (i.e., cohesion, elasticity, fracture, and the transmission of coherent work) encountered amongst ordinary solids like wood and steel are concerned. Of course, Wilson methodologically updates such a purview by appealing to multiscalar techniques of modern computing, drawing from Robert Batterman's work on the greediness of scales and Jim Woodward's insights on causation. (shrink)