The multilevel conversational exchanges between a mentor and a learner could be seen as a radical constructivist account of their comprehensions. The process of knowledge construction could be realised to have significant importance in the context of mentor-learner interactions. The most important fundamental is that ‘the conversational exchanges between mentors and learners ask questions and give answers concerning their individual conceptions, comprehensions and reasonings’. These questions and answers are the main building blocks of the ‘Relations’ between mentors and learners. In (...) this article, I will employ Predicate Logic in order to focus on the relationships between learners and mentors. This research will—conceptually and logically—be concerned with [formal] semantic analysis of mentoring-learning relationships in the context of constructivist interactions. The conclusions will shed light on how a [formal] semantics for constructivist interactions is established. (shrink)

Although we believe the results reported below to have direct philosophical import, we shall for the most part confine our remarks to the realm of mathematics. The reader is referred to [4] for a philosophically oriented discussion, comprehensible to mathematicians, of tense logic.The “minimal” tense logicT0is the system having connectives ∼, →,F(“at some future time”), andP(“at some past time”); the following axioms:(whereGandHabbreviate ∼F∼ and ∼P∼ respectively); and the following rules:(8) fromαandα → β, inferβ,(9) fromα, infer any substitution instance ofα,(10) fromα, (...) inferGα,(11) fromα, inferHα.A tense logic is a systemTwhose language is that ofT0and whose axioms and rules include (1)–(11). The axioms and rules ofTother than (1)–(11) are calledproperaxioms and rules.We shall investigate three systems of semantics for tense logics, i.e. three notions ofstructureand three relations ⊧ which stand between structures and formulas. One reads⊧αas “αis valid in.” A structureis amodelof a tense logicTif every formula provable inTis valid in. A semantics isadequateforTif the set of models ofTin the semantics is characteristic forT, i.e. if wheneverT ∀ αthen there is a modelofTin the semantics such that∀ α. Two structuresand, possibly from different semantics, are calledequivalent(∼) if exactly the same formulas are valid inas in. (shrink)

Semantic Analysis is a lively and clearly written introduction to the study of meaning in language and to the language-culture connection. Goddard covers traditional and contemporary issues and approaches with the relationship between semantics, conceptualization, and culture as a key theme. He also details a number of case studies that draw on a wide range of material from non-Indo-European languages, particularly Australian Aboriginal languages and Malay, on which the author is an authority.

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

The aim of this paper is to prove strong completeness theorems for several Anderson-like variants of Gödels theory wrt. classes of modal structures, in which: (i). 1st order terms order receive only rigid extensions in the constant objectual 1st order domain; (ii). 2nd order terms receive non-rigid extensions in preselected world-relative objectual domains of 2nd order and rigid intensions in the constant conceptual 2nd order domain.

In the ancient Arabic dictionaries, the root “ḍ-r-r” has three main meanings: “to harm”, “to gather” and “strength”. In the course of history, many words have been derived from these root meanings and have acquired various meanings. In the present article, the words derived from the root “ḍ-r-r” are semantically analyzed. First, the etymological origins of the root as well as its compounds and their meanings in early Arabic dictionaries are analyzed. In this context, it was aimed to determine the (...) literal and figurative meanings they acquired over time. In doing so, Arabic poetry of the Jahiliyyah period and hadiths were also utilized. Afterwards, in order to determine the semantic meaning pattern of the root “ḍ-r-r” and its compounds, words containing antonymous and proximate meaning relations with this root were included and their semantic relations were compared. While words have “essential meanings” that they always carry and do not lose no matter which system they enter, there are also “relative meanings” that do not originate from the root of words but arise from the system of relations they are in. For this reason, in the next stage, it was aimed to determine the relative meanings of the related words in the Qur’anic context by including the uses of the root “ḍ-r-r” and its derivatives in the Qur’an. Finally, various uses of words that have a semantically antonymous or proximate relationship with the root “ḍ-r-r” and its de-rivatives in the Qur’an were presented and their semantic pattern was tried to be determined. (shrink)

The purpose of this research paper is to semantically analyze the concept of transhumanism in the publications of Russian scientists, as well as to study the influence of the idea of transhumanism as the leading philosophy of human improvement on the global differentiation of the world through a comparative analysis of the level of life expectancy in the Russian Federation, the USA, and China. Findings indicate that, in general, when setting the right goals based on the Russian cosmism and (...) transhumanism concepts can and should bring certain positive benefits to humanity. First of all, this involves treatment of incurable and complex diseases and enhancement of human capabilities in space expansion. The scientific contribution and practical significance of the research lie in the development of three exponential models of life expectancy growth in accordance with the indicator of economic development that is based on the gross domestic product per capita level. (shrink)

A transcription of Richard Routley's manuscript, "Semantic Analysis of Entailment and Relevant Implication: I".

This paper presents an analysis of wh-complements in Montague Grammar. We will be concerned primarily with semantics, though some remarks on syntax are made in Section 4. Questions and wh-comple ments in Montague Grammar have been studied in Hamblin (1976), Bennett (1979), Karttunen (1977) and Hauser (1978) among others. These proposals will not be discussed explicitly, but some differences with Karttunen's analysis will be pointed out along the way.

This paper develops a model theoretic semantics for so called “natural kind terms” that reflects the viewpoint of (Kripke, 1980) and (Putnam, 1975). The semantics generates a formal counterpart of the “K-mechanism” investigated in (Salmon, 1981) and in unpublished work by Keith Donnellan.

In this paper, we use simple techniques derived from on Latent Semantic Analysis (LSA) to provide a simple and robust way of generating extractive summaries for TAC 2008 Update Summarization task.

Investigation of the emotions entails reference to words and expressions conventionally used for the description of emotion experience. Important methodological issues arise for emotion researchers, and the issues are of similarly central concern in linguistic semantics more generally. I argue that superficial and/or inconsistent description of linguistic meaning can have seriously misleading results. This paper is firstly a critique of standards in emotion research for its tendency to underrate and ill-understood linguistic semantics. It is secondly a critique of standards in (...) some approaches to linguistic semantics itself. Two major problems occur. The first is failure to distinguish between conceptually distinct meanings of single words, neglecting the well-established fact that a single phonological string can signify more than one conceptual category (i.e., that words can be polysemous). The second error involves failure to distinguish between two kinds of secondary uses of words: (1) those which are truly active “online” extensions, and (2) those which are conventionalised secondary meanings and not active (qua “extensions”) at all. These semantic considerations are crucial to conclusions one may draw about cognition and conceptualisation based on linguistic evidence. (shrink)

The present article provides an analysis of the existing proof systems for dynamic epistemic logic from the viewpoint of proof-theoretic semantics. Dynamic epistemic logic is one of the best known members of a family of logical systems that have been successfully applied to diverse scientific disciplines, but the proof-theoretic treatment of which presents many difficulties. After an illustration of the proof-theoretic semantic principles most relevant to the treatment of logical connectives, we turn to illustrating the main features of (...) display calculi, a proof-theoretic paradigm that has been successfully employed to give a proof-theoretic semantic account of modal and substructural logics. Then, we review some of the most significant proposals of proof systems for dynamic epistemic logics, and we critically reflect on them in the light of the previously introduced proof-theoretic semantic principles. The contributions of the present article include a generalization of Belnap's cut-elimination metatheorem for display calculi, and a revised version of the display-style calculus D.EAK. We verify that the revised version satisfies the previously mentioned proof-theoretic semantic principles, and show that it enjoys cut-elimination as a consequence of the generalized metatheorem. (shrink)

Phraseology is a treasury of language. It is the fruit, which was born in the result of a long process of the practical use of the language. Phraseologisms give the speech power, persuasiveness, brilliance and imagery. They enliven the language and make it more emotional. In this article, we focus on the negative psycho-emotional state of a person. The negative psycho-emotional state of a person is emotion and feelings that are formed in the result of the negative mood of a (...) person and related to the dissatisfaction with vital needs. The authors of the article identified 5 phraseological subgroups that characterize the negative psycho-emotional state of a person: anger ; disgust, hatred; terror ; anxiety, agitation; sadness, melancholy. (shrink)

SummaryThis paper develops a semantical account of sentences containing performative principal verbs in which these verbs are analyzed as indexical expressions: the proposition picked out by a sentence containing a performative verb depends on aspects of the context of use of the sentence; and these same aspects of context of use also determine the truth value of the proposition picked out. A two‐dimensional modal operator is utilized in analyzing non‐ performative sentences that contain principal verb which, in other contexts, have (...) performative uses. Thus, the analysis developed accounts for the performative — non‐performative distinction within a formal semantic‐pragmatic framework; the more common approach of relegating the distinction to the somewhat vague realm of ‘language use’ is avoided.RésuméCet article développe un traitement sémantique des phrases contenant un verbe principal performatif. Ces verbes sont analysés comme des expressions indicées: la proposition sélectionnée par une phrase contenant un verbe performatif dépend du contexte d'usage de cette phrase; et ces mêmes aspects du contexte d'usage déterminent également la valeur de vérité de la proposition sélectionnée. Un opérateur modal à deux dimensions est utilisé pour l'analyse de phrases non‐performatives contenant un verbe principal performatif dans d'autres contextes. L'analyse développée rend ainsi compte de la distinction performatif — non‐performatif dans un cadre sémantico‐pragmatique; on évite ainsi la solution habituelle consistant à reléguer cette distinction dans le domaine plutôt vague de l'usage linguistique.ZusammenfassungEs wird eine semantische Darstellung von Sätzen entwickelt, die performative Hauptverben enthalten, indem diese Verben als indexikale Ausdrücke analysiert werden: die Proposition, die durch einen Satz mit einem performativen Verb bezeichnet wird, hängt von Aspekten des Gebrauchskontextes des Satzes ab; und gerade diese Aspekte bestimmen auch den Wahrheitswert der Proposition. Ein zweidimensionaler Modaloperator wird verwendet, um nicht‐performative Sätze zu analysieren, die Hauptverben enthalten, welche — in andern Kontexten — einen performativen Gebrauch haben. Auf diese Weise gibt die entwickelte Analyse innerhalb eines formalen semantisch‐syntaktischen Rahmenwerkes Rechenschaft über die Unterscheidung performativ — nicht‐performativ; man vermeidet dadurch das übliche Vorgehen, die Unterscheidung in den etwas vagen Bereich des sog. 〈Sprachgebrauchs〉 abzuschieben. (shrink)

This article deals with the subject and semantic analysis of human organs mentioned in the Holy Qur’ān. After the relevant verses were researched and identified in accordance with thematic commentary methodology, their scientific and semantic analysis was carried out objectively. The comments of commentators in this context were also examined in the study. After the verses in which the organs are found are researched, their definitions, then an objective and brief interpretation are made, and the (...) class='Hi'>semantic usage of each is shown. The subject consists of the organs in the head, the organs in the trunk, the organs in the body and limbs. As is known, human organs are attributed to Allah in the Qur’ān. While the predecessor avoided interpreting the organs attributed to Allah as they are, their successors interpreted them in accordance with the glory of Allah, based on the use of the Arabic language. However, some contemporary scholars say that such verses are representative narratives. In reality, there is nothing like Allah. However, God explains Himself with people's organs and actions so that they can understand His truth. These verses aim to explain the unknown world and its metaphors by comparing them to known events and phenomena in the world, and in this way to bring religious truths closer to the human mind. In the Qur’ān, expressions such as sealing or veiling the senses, as in the verse "Allah has sealed their hearts and ears, and there is a veil over their eyes, and there is a great torment for them" (al-Baqarah 2/7), also indicate the senses' deprivation of true perception expresses. The Holy Qur’ān takes care to mention the organs in the human body and uses them in many senses, both literal and figurative, in man's relationships in this world and the afterlife. He gives him examples of organs so that he can take lessons and advice, and reminds him of his beautiful creation and the blessings he gives because of these organs. The semantic uses of body organs in the Holy Qur’ān vary, as they contain literal connotations of the physiological meaning of the organ. This is a condition characterized by most of the organs mentioned once in the Holy Qur’ān. However, the connotations of the organs mentioned many times have varied and gone beyond their literal meanings, they have been used in figurative meanings and contain secondary connotations. It included many topics related to the existence, role and performance of humans in world life. For example, the hand is used for power, giving, blessing, dominance and specialization. Linguists did not distinguish between similar organs such as body, object and body, but on the contrary, they compared them to each other to the point of creating confusion. However, while interpreting them, many commentators have tried to separate them according to the context of the verse and take into account the differences in meaning between them. The organs are mentioned in general terms in the Holy Qur’ān, but the details they contain are not touched upon. For example: It talks about the head, but does not touch the hair, eyelashes and brain. It is talking about bones and does not touch parts such as the skull, ribcage, pelvis, and thighs. It mentions the abdomen but does not mention its parts such as the belly button, esophagus, stomach, liver, kidney, bile and bladder. In addition, in the Holy Quran, there are organ names in the human body that are used metaphorically in different meanings rather than expressing the reality of the organs. Esophagus (المريء) is one such expression. This expression is used in the sense of blessing for eating and drinking. For example, it is used in this sense in the verse, "Give women their dowry as a matter of right (with good will), and if they voluntarily donate some of that dowry to you, enjoy it with pleasure" (an-Nisa: 4/4). For example, Liver (الكبد) in the verse "We created man among difficulties" (el-Beled: 9/4), it expresses difficulties and constant troubles. The study deals with the sixty-two organs mentioned in the Holy Qur’ān and includes all the organs in the internal and external parts of the body mentioned in six hundred and forty-five verses. These are six hundred organs in total in the Qur’ān, in accordance with the statistics we made during our research. It is used ninety-one times. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens (...) simple Russellian type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

The hypothesis that perceptual mechanisms could have more representational and logical power than usually assumed is interesting and provocative, especially with regard to brain evolution. However, the importance of embodiment and grounding is exaggerated, and the implication that there is no highly abstract representation at all, and that human-like knowledge cannot be learned or represented without human bodies, is very doubtful. A machine-learning model, Latent Semantic Analysis (LSA) that closely mimics human word and passage meaning relations is offered (...) as a counterexample. (shrink)

The study applied the Natural Semantic Metalanguage to the investigation of pakikisama or ‘getting along with others’. The study aimed to use language in representing cognition and to identify the elements that make the concepts culture-specific. Hence, the study of a language, especially of its vocabulary, can reveal one’s way of thinking, show the essential features of a particular culture and offer important clues for its distinction from others. Using linguistic evidence as data, the study is a semantic (...) analysis, a type which falls under descriptive qualitative research. The native meanings of the concepts are couched in cultural scripts offering an objective representation through the use of semantic primitives or semantic primes. To date, there are 63 semantic primes which make possible the bias-free, culture-independent and non-ethnocentric description of the meaning and its comparison with related concepts in other languages. The study includes a semantic explication which reveals the Filipinos’ unique way of looking at things by demonstrating their dominantly inherent ‘group’ cognitive structures. The study recommends that the concepts be compared with those from other ethnolinguistic groups in order to promote goodwill and understanding among people of diverse cultural types. Keywords- Social Science, semantics, key cultural concepts, Natural Semantic Metalanguage, Philippines. (shrink)

Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig Kanger (...) and a set theoretical statement equivalent to the axiom of choice.--Lindström, P. On characterizing elementary logic.-- Scott, D. Rules and derived rules.--Hansson, B. A program for pragmatics.--Hermerén, G. Models.--Fenstad, J.E. Remarks on logic and probability.--Stenlund, S. Analytic and synthetic arithmetical statements. (shrink)

Second-order quantifier elimination in the context of classical logic emerged as a powerful technique in many applications, including the correspondence theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning. In the current paper we first generalize the result of Nonnengart and Szałas [17] by allowing second-order variables to appear within higher-order contexts. Then we focus on a semantical analysis of conditionals, using the introduced technique and Gabbay’s semantics provided in [10] and substantially using a (...) third-order accessibility relation. The analysis is done via finding correspondences between axioms involving conditionals and properties of the underlying third-order relation. (shrink)

Alonzo Church has repeatedly argued that the semantic analysis of certain contexts requires reference to abstract entities of various kinds. The problem, arising from this argument for nominalists, will be examined first. Then we shall attempt to meet Church’s challenge by constructing and informally describing a semantics which was inspired by Nelson Goodman’s distinction between primary and secondary extensions. According to that semantics, no expression of the object language will make reference to any abstract or non-actual entity while (...) the system is strong enough to lend itself to semantic analysis in Church’s sense. (shrink)

In this paper, we provide a semantic analysis of the well-known knowability paradox stemming from the Church–Fitch observation that the meaningful knowability principle /all truths are knowable/, when expressed as a bi-modal principle F --> K♢F, yields an unacceptable omniscience property /all truths are known/. We offer an alternative semantic proof of this fact independent of the Church–Fitch argument. This shows that the knowability paradox is not intrinsically related to the Church–Fitch proof, nor to the Moore sentence (...) upon which it relies, but rather to the knowability principle itself. Further, we show that, from a verifiability perspective, the knowability principle fails in the classical logic setting because it is missing the explicit incorporation of a hidden assumption of /stability/: ‘the proposition in question does not change from true to false in the process of discovery.’ Once stability is taken into account, the resulting /stable knowability principle/ and its nuanced versions more accurately represent verification-based knowability and do not yield omniscience. (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular (...) conception of “form” developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

A uniform analysis is offered for the source of the locations specified by all references in English to spatial properties including location and movement. This source is argued to be the location of events and states of affairs. These locations are specified by sets showing spaces momentarily occupied. Descriptions of motion are accounted for through a variety of ways of referencing these sets. Some classes of simple clauses are identified as requiring semantic analysis involving multiple events and (...) states of affairs. This importantly allows spatial references to be associated with different events and states of affairs. Identification of object location is accounted for by use of extra inference rules or meaning postulates. A number of other explanations are suggested for more limited and derivative phenomena. The analysis is developed within a Case-like notation presented in the first-order predicate calculus. It is supported by an extensive analysis of spatial reference phenomena and by identification of ancillary benefits. (shrink)

Dr Thrane makes an original contribution to one of the central topics in syntax and semantics: the nature and mechanisms of reference in natural language. He makes a fundamental distinction between syntactic analyses that are internal to the structure of a language and analyses of the referential properties that connect a language with the 'outside world' - and therefore derive in some sense from common human capacities for perceptual discrimination. Dr Thrane argues that the failure to make this distinction and (...) to attend separately to both kinds of analysis has vitiated previous general accounts of linguistic structure. The book focuses particularly on pronouns and on the role of determiners, quantifiers and other components of the noun phrase. Most of the data come from the modern Germanic languages, especially English, but Dr Thrane considers also the structural peculiarities of 'classifier languages' like Vietnamese. The book will be important for students of English language as well as for general linguists. (shrink)

Meaning is interpreted in terms of distributional regularities in the corpus of a language; synonymy in terms of contrastive and non-contrastive sets of morphemic environments. For this blending of philosophical analysis and empirical linguistics, however, no defense is offered, though in the course of his sketch the author registers subtle and unconventional insights into key concepts and issues in philosophy of language.--A. P. D. M.

We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)