: Undoubtedly, in the formation of history, relations between religious structures and political powers, which are shaped within certain principles, have an important place. The course of these relations determines the strength and domain of both sides. This form of relationship, in some cases, evolves in favor of political power, and sometimes manifests itself as a political direction of religious interests. It is possible to see politics as a direction of religion or to use it in the direction of (...) its own interests in the politics that the Soviet Union has implemented since the Second World War. As a matter of fact, the Soviet Union, which has embraced the ideology of official atheism and struggled against religious beliefs, did not stop using religion/church for conjuration in its own interests. In this context, The Soviet leader Stalin has almost reconstructed the Russian Orthodox Church, which he had been trying to destroy since the early years of the Second World War. Even, Moscow has made serious attempts to make Patriarchate the pioneer of the Orthodox world. In this article, we aim to emphasize Stalin’s church politics and reasons. We will also stress the reasons behind the Council of the Orthodox Churches, which Stalin sought to achieve through the Moscow Patriarchate in 1947. Finally, we will touch on the policy of the Fener Greek Patriarch against these developments. Summary: Throughout history, politics of states have been under the influence of religion. Likewise, religions have directed political authority in the direction of their own interests. Sometimes a religion takes the state under its influence; sometimes under a state takes a religion under the influence and they try to use the other one in the interests of itself. Concepts that define religion-state relations have emerged under the influence of experiences experienced over time. Secularism is at the head of the concepts that determine religion-state relations today. What secularism is and how it is practiced is much debated in the scientific circles. Despite all these struggles, however, no binding definition has been reached for all political issues. Certainly, the subjective structure of states plays an important role in regulating religion-state relations. The political ideology adopted by this political structure and the world view varies. Sometimes political structures with official atheist ideology can break the principle of secularism. While these ideologies are ungodly in their nature, they benefit from political interests. As an example, it is possible to show the Soviet Union with an atheist ideology. Because the Soviet regime used religion in the direction of political interests between 1943-1948. The Russian Orthodox Church, which was very active and competent during the reign of Tsarist Russia, lost its power with the Bolshevik Revolution in 1917. The Soviet regime has made the Russian Orthodox Church an illegal institution. The struggle against the church by the regime continued until the Second World War. With the Second World War, Stalin's church politics changed. There is no doubt that this political change has become more than one reason. The first is that the state has entered into a war. Stalin did not want to continue the struggle with religion while the war was going on. Another reason for pushing Stalin for a policy change towards the Church is the anti-Soviet propaganda carried out by the Germans. As a matter of fact, the Germans defined themselves as the savior of the Russian people. It was also alleged that Germany was waging a war against the Soviets in order to free Russian people from communism. Even brochures were taken from the airplanes in this frame. The Germans aimed to break the resistance of the Russian people with this method. Stalin acted to ward off this propaganda of the Germans. Stalin therefore had to keep an eye on church politics and stopped the oppression against the church. In this framework, opportunities were provided for the Russian Orthodox Church. For example, have been approved to organize rites in churches. The priests are encouraged to strengthen hand the people. Also closed churches have been reopened by Stalin. In this way the German propaganda has been wasted. The Second World War ended with the victory of the Soviet Union. Stalin, however, continued to use the church after the war was over. So why did Stalin continue to support the church as an atheist? What were the reasons for pushing Stalin into this policy? Stalin's post-war church policy has multiple causes. The most important of these is spreading the Soviet influence over the entire Balkans and Middle East geography through the Russian Orthodox Church. Undoubtedly this is related to the long-term policies of the Soviets. Because the war has changed all the balances in the world. This has given new opportunities to the Soviets. At the beginning of these, the Orthodox world comes to the Soviet influence. It seems that the steps towards this have been started to be started from 1945. In this context, the Russian Orthodox Church found important activities. For example, the Moscow Patriarch has established relations with other Orthodox Churches. Jerusalem, Athens, Cyprus, Antakya churches were visited. In the end, an attempt was made to collect the Orthodox Council. The struggle of the Western and Eastern bloc emerged after the Second World War divided the Orthodox world into two camps. In this process, the Greek, Cyprus and Jerusalem Orthodox churches under the leadership of the Fener Patriarchate were under American influence. The Serbian, Bulgarian and Antiochian Orthodox Churches under the leadership of the Moscow Patriarchate were under Soviet influence. For these reasons, the Soviet regime, which has been fighting for the Church since the Bolshevik Revolution in 1917, has given up its position. It is understood from this historical fact that a regime adopting irreligion as an official ideology uses religion in its own interests as needed. This indicates that secularism is relative. This study will try to show how the Soviet Union uses the Russian Orthodox Church in its own interests despite the atheism ideology. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is (...) shown to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

Transfer learning can improve the robustness of deep learning in the case of small samples. However, when the semantic difference between the source domain data and the target domain data is large, transfer learning easily introduces redundant features and leads to negative transfer. According the mechanism of the human brain focusing on effective features while ignoring redundant features in recognition tasks, a brain-like classification method based on adaptive feature matching dual-source domain heterogeneous transfer learning is proposed (...) for the preoperative aided diagnosis of lung granuloma and lung adenocarcinoma for patients with solitary pulmonary solid nodule in the case of small samples. The method includes two parts: (1) feature extraction and (2) feature classification. In the feature extraction part, first, By simulating the feature selection mechanism of the human brain in the process of drawing inferences about other cases from one instance, an adaptive selected-based dual-source domain feature matching network is proposed to determine the matching weight of each pair of feature maps and each pair of convolution layers between the two source networks and the target network, respectively. These two weights can, respectively, adaptive select the features in the source network that are conducive to the learning of the target task, and the destination of feature transfer to improve the robustness of the target network. Meanwhile, a target network based on diverse branch block is proposed, which made the target network have different receptive fields and complex paths to further improve the feature expression ability of the target network. Second, the convolution kernel of the target network is used as the feature extractor to extract features. In the feature classification part, an ensemble classifier based on sparse Bayesian extreme learning machine is proposed that can automatically decide how to combine the output of base classifiers to improve the classification performance. Finally, the experimental results (the AUCs were 0.9542 and 0.9356, respectively) on the data of two center data show that this method can provide a better diagnostic reference for doctors. (shrink)

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

Abramsky, S., Domain theory in logical form, Annals of Pure and Applied Logic 51 1–77. The mathematical framework of Stone duality is used to synthesise a number of hitherto separate developments in theoretical computer science.• Domain theory, the mathematical theory of computation introduced by Scott as a foundation for detonational semantics• The theory of concurrency and systems behaviour developed by Milner, Hennesy based on operational semantics.• Logics of programsStone duality provides a junction between semantics and (...) logics . Moreover, the underlying logic is geometric, which can be computationally interpreted as the logic of observable properties—i.e., properties which can be determined to hold of a process on the basis of a finite amount of information about its execution.These ideas lead to the following programme. A metalanguage is introduced, comprising• types = universes of discourse for various computational situations;• terms = PROGRAMS = syntactic intensions for models or points. A standard denotational interpretation of the metalanguage is given, assigning domains to types and domain elements to terms. The metalanguage is also given a logical interpretation, in which types are interpreted as propositional theories and terms are interpreted via a program logic, which axiomatises the properties they satisfy. The two interpretations are related by showing that they are Stone duals of each other. Hence, semantics and logic are guaranteed to be in harmony with each other, and in fact each determines the other up to isomorphism. This opens the way to a whole range of applications. Given a denotational description of a computational situation in our metalanguage, we can turn the handle to obtain a logic for that situation. (shrink)

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain (...) topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. (shrink)

Zero-shot learning is dedicated to solving the classification problem of unseen categories, while generalized zero-shot learning aims to classify the samples selected from both seen classes and unseen classes, in which “seen” and “unseen” classes indicate whether they can be used in the training process, and if so, they indicate seen classes, and vice versa. Nowadays, with the promotion of deep learning technology, the performance of zero-shot learning has been greatly improved. Generalized zero-shot learning is a challenging topic that has (...) promising prospects in many realistic scenarios. Although the zero-shot learning task has made gratifying progress, there is still a strong deviation between seen classes and unseen classes in the existing methods. Recent methods focus on learning a unified semantic-aligned visual representation to transfer knowledge between two domains, while ignoring the intrinsic characteristics of visual features which are discriminative enough to be classified by itself. To solve the above problems, we propose a novel model that uses the discriminative information of visual features to optimize the generative module, in which the generative module is a dual generation network framework composed of conditional VAE and improved WGAN. Specifically, the model uses the discrimination information of visual features, according to the relevant semantic embedding, synthesizes the visual features of unseen categories by using the learned generator, and then trains the final softmax classifier by using the generated visual features, thus realizing the recognition of unseen categories. In addition, this paper also analyzes the effect of the additional classifiers with different structures on the transmission of discriminative information. We have conducted a lot of experiments on six commonly used benchmark datasets. The experimental results show that our model outperforms several state-of-the-art methods for both traditional as well as generalized zero-shot learning. (shrink)

This paper discusses the relation between the minimal positive relevant logic B and intersection and union type theories. There is a marvelous coincidence between these very differently motivated research areas. First, we show a perfect fit between the Intersection Type Discipline ITD and the tweaking BT of B, which saves implication and conjunction but drops disjunction . The filter models of the -calculus (and its intimate partner Combinatory Logic CL) of the first author and her coauthors then become theory models (...) of these calculi. (The logician's "theory" is the algebraist's "filter".) The coincidence extends to a dual interpretation of key particles—the subtype translates to provable , type intersection to conjunction , function space to implication, and whole domain to the (trivially added but trivial) truth T. This satisfying ointment contains a fly. For it is right, proper, and to be expected that type union should correspond to the logical disjunction of B. But the simulation of functional application by a fusion (or modus ponens product) operation on theories leaves the key Bubbling lemma of work on ITD unprovable for the -prime theories now appropriate for the modeling. The focus of the present paper lies in an appeal to Harrop theories which are (a) prime and (b) closed under fusion. A version of the Bubbling lemma is then proved for Harrop theories, which accordingly furnish a model of and CL. (shrink)

This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented in (...) a type-driven formal semantic framework. In addition, I also argue against traditional accounts of privative noun phrases which can be paired with the assumption that nouns do not have a dual semantic structure. At the most general level, this paper presents a proposal for how we can begin to integrate a psychologically realistic account of lexical semantics with a linguistically plausible compositional semantic framework. (shrink)

A sequent calculus for the positive fragment of entailment together with the Church constants is introduced here. The single cut rule is admissible in this consecution calculus. A topological dual gaggle semantics is developed for the logic. The category of the topological structures for the logic with frame morphisms is proven to be the dual category of the variety, that is defined by the equations of the algebra of the logic, with homomorphisms. The duality results are extended (...) to the logic of entailment that includes a De Morgan negation. (shrink)

This article addresses and resolves some issues of relational, Kripke-style, semantics for the logics of bounded lattice expansions with operators of well-defined distribution types, focusing on the case where the underlying lattice is not assumed to be distributive. It therefore falls within the scope of the theory of Generalized Galois Logics, introduced by Dunn, and it contributes to its extension. We introduce order-dual relational semantics and present a semantic analysis and completeness theorems for non-distributive lattice logic with (...) n -ary additive or multiplicative operators, with negation operators modally interpreted as impossibility and unnecessity, as well as with implication connectives. Order-dual relational semantics shares with the generalized Kripke frames, or the bi-approximation semantics approach, the use of both a satisfaction and a co-satisfaction relation, but it also responds to the recently voiced concerns of Craig, Haviar and Conradie about the relative non-intuitiveness of the 2-sorted semantics of the aforementioned approaches. In this article, we provide a standard interpretation of modalities and natural interpretations of both negation and implication, despite the absence of distribution. Thereby, our results contribute in creating the necessary background for research in non-distributive logics with modalities variously interpreted as dynamic, temporal etc, by analogy to the classical case. (shrink)

The contribution of this paper lies with providing a systematically specified and intuitive interpretation pattern and delineating a class of relational structures and models providing a natural interpretation of logical operators on an underlying propositional calculus of Positive Lattice Logic and subsequently proving a generic completeness theorem for the related class of logics, sometimes collectively referred to as Generalized Galois Logics.

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account (...) of attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (shrink)

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

A novel problem or task may seem difficult at first, but with enough practice, it can become easy and routine. Practice and the process of learning is often accompanied by some mild cognitive uneas...

We define dual and symmetric combinatory calculi (inequational and equational ones), and prove their consistency. Then, we introduce algebraic and set theoretical relational and operational - semantics, and prove soundness and completeness. We analyze the relationship between these logics, and argue that inequational dual logics are the best suited to model computation.

Many philosophers of language have held that a truth‐conditional semantic account can explain the data motivating the distinction between referential and attributive uses of definite descriptions, but I believe this is a mistake. I argue that these data also motivate what I call “dual‐aspect” uses as a distinct but closely related type. After establishing that an account of the distinction must also explain dual‐aspect uses, I argue that the truth‐conditional Semantic Model of the distinction cannot. Thus, the Semantic (...) Model cannot explain the data for which it is developed and so fails as an account of the referential/attributive distinction. (shrink)

A primary problem in the area of natural language processing has been semantic analysis. This book looks at the semantics of natural languages in context. It presents an approach to the computational processing of English text that combines current theories of knowledge representation and reasoning in Artificial Intelligence with the latest linguistic views of lexical semantics. The book will interest postgraduates and researchers in computational linguistics as well as industrial research groups specializing in natural language processing.

We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning.

Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic (...) comprehension: as well as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)

A modified version of Normann's hierarchy of domains with totality [9] is presented and is shown to be suitable for interpretation of Martin-Löf's intuitionistic type theory. This gives an interpretation within classical set theory, which is natural in the sense that $\Sigma$ -types are interpreted as sets of pairs and $\Pi$ -types as sets of choice functions. The hierarchy admits a natural definition of the total objects in the domains, and following an idea of Berger [3] this makes possible an (...) interpretation where a type is defined to be true if its interpretation contains a total object. In particular, the empty type contains no total objects and will therefore be false (in any non-empty context). In addition, there is a natural equivalence relation on the total objects, so we derive a hierarchy of topological spaces (quotient spaces wrt. the Scott topology), and give a second interpretation using this hierarchy. (shrink)

This paper presents a new logical analysis of quantity comparatives (i.e. More linguists than philosophers came to the party.) within the Delineation Semantics approach to gradability and comparison (McConnell-Ginet in Comparison constructions in English. PhD thesis, University of Rochester, Rochester, 1973; Kamp in Formal semantics of natural language. Cambridge University Press, Cambridge, 1975; Klein in Linguist Philos 4:1–45, 1980) among many others. Along with the Degree Semantics framework (Cresswell in Montague grammar. Academic Press, New York, 1976; von (...) Stechow in J Semant 3:1–77, 1984; Kennedy in Projecting the adjective. PhD thesis. University of California, Santa Cruz, 1997, among many others) Delineation Semantics is one of the dominant logical frameworks for analyzing the meaning of gradable constituents of the adjectival syntactic category; however, there has been very little work done investigating the application of this framework to the analysis of gradability outside the adjectival domain. This state of affairs distinguishes the Delineation Semantics framework from its Degree Semantics counterpart, where such questions have been investigated in great deal since the beginning of the twenty-first century. Nevertheless, it has been observed [for example, by Doetjes (Seventeenth amsterdam colloquium. University of Amsterdam, Amsterdam, 2011); van Rooij (The vagueness handbook. Springer, Dordrecht, 2011c)] that there is nothing inherently adjectival about the way that the interpretations of scalar predicates are calculated in Delineation Semantics, and therefore that there is enormous potential for this approach to shed light on the nature of gradability and comparison in the nominal and verbal domains. This paper is a first contribution to realizing this potential within a Mereological extension of a simple version of the DelS system. (shrink)

Recent research on human problem solving has largely focused on laboratory tasks that do not demand from the subject much prior, task‐related information. This study seeks to extend the theory of human problem solving to semantically richer domains that are characteristic of professional problem solving. We discuss the behavior of a single subject solving problems in chemical engineering thermodynamics. We use as a protocol‐encoding device a computer program called SAPA which also doubles as a theory of the subject's problem‐solving behavior. (...) The subject made extensive use of means‐ends analysis, similar to that observed in semantically less rich domains, supplemented by recognition mechanisms for accessing information in semantic memory. (shrink)

In a series of cross-cultural investigations of word meaning, Cliff Goddard and Anna Wierzbicka examine key expressions from different domains of the lexicon - concrete, abstract, physical, sensory, emotional, and social. They focus on complex and culturally important words in a range of languages that includes English, Russian, Polish, French, Warlpiri and Malay."--Publishers website.

Pour la plupart des systèmes de représentation de la connaissance orientés concept, l’un des problèmes principaux relève de la commodité technique. A savoir, la représentation de connaissance en termes prototypiques, tout comme la possibilité d’exploiter des formes de raisonnement conceptuel basées sur la typicalité, ne sont pas autorisées. Au contraire, dans les sciences cognitives, il existe des données en faveur de concepts prototypiques, et des formes non-monotoniques de raisonnement conceptuel ont été largement étudiées. Ce fossé cognitif concernant la représentation et (...) le raisonnement constitue un problème pour les systèmes computationnels, puisque l’information prototypique joue un rôle crucial dans plusieurs tâches importantes. Dans la lignée des théories du raisonnement et de la rationalité dites du double processus, nous soutenons que la représentation conceptuelle dans les systèmes computationnels devrait dépendre de (au moins) deux composantes représentationnelles, chacune spécialisée dans le traitement de différents genres de processus de raisonnement. Dans cet article, nous présentons les avantages computationnels de cette approche en termes de double processus, et les comparons brièvement avec d’autres solutions d’orientation logique, adoptées pour traiter du même problème. (shrink)

Pour la plupart des systèmes de représentation de la connaissance orientés concept, l’un des problèmes principaux relève de la commodité technique. A savoir, la représentation de connaissance en termes prototypiques, tout comme la possibilité d’exploiter des formes de raisonnement conceptuel basées sur la typicalité, ne sont pas autorisées. Au contraire, dans les sciences cognitives, il existe des données en faveur de concepts prototypiques, et des formes non-monotoniques de raisonnement conceptuel ont été largement étudiées. Ce fossé cognitif concernant la représentation et (...) le raisonnement constitue un problème pour les systèmes computationnels, puisque l’information prototypique joue un rôle crucial dans plusieurs tâches importantes. Dans la lignée des théories du raisonnement et de la rationalité dites du double processus, nous soutenons que la représentation conceptuelle dans les systèmes computationnels devrait dépendre de deux composantes représentationnelles, chacune spécialisée dans le traitement de différents genres de processus de raisonnement. Dans cet article, nous présentons les avantages computationnels de cette approche en termes de double processus, et les comparons brièvement avec d’autres solutions d’orientation logique, adoptées pour traiter du même problème. (shrink)

Dual-aspect monism and neutral monism offer interesting alternatives to mainstream positions concerning the mind-matter problem. Both assume a domain underlying the mind-matter distinction, but they also differ in definitive ways. In the twentieth century, variants of both positions have been advanced by a number of protagonists. One of these variants, the dual-aspect monism due toWolfgang Pauli and Carl Gustav Jung, will be described and commented on in detail. As a unique feature in the Pauli-Jung conception, the duality (...) of mental and material aspects is specified in terms of a complementarity. This sounds innocent, but entails a number of peculiarities distinguishing their conjecture from other approaches. (shrink)

It is, I suppose, a truism that an adequate theory of meaning for a natural language L will associate each sentence of L with its meaning. But the converse does not hold. A theory that associates each sentence with its meaning is not, by virtue of that fact, an adequate theory of meaning. For it is also a truism that a semantic theory should explain the (interesting and explicable) semantic facts. And one cannot decree that the relevant facts are all (...) reportable with instances of schemata like ‘S means that p’ or ‘S, by virtue of its meaning, is true iff p’. Investigation suggests that there is much more for semanticists to explain: natural languages exhibit synonymies, ambiguities, and entailments; for any string of words, there are endlessly many meanings it cannot have; there are semantic generalizations, including crosslinguistic generalizations, that go uncaptured and unexplained by merely associating sentences with their meanings; etc. Initially, one might think these facts are “peripheral” and can thus be ignored if the aim is to explain why sentences mean what they do. But the study of natural language suggests otherwise. (One can’t tell, in advance of investigation, which facts are peripheral to a given domain. It was initially tempting to think that one could ignore falling bodies, and the tides, if the aim was to explain why planets move as they do.). (shrink)

Standard psychological scaling methods have been widely used as knowledge elicitation tools to uncover structural characteristics of a given domain. However, these methods traditionally rely on relatedness ratings from human experts, which is often time-consuming and tedious. We describe an integrated approach to knowledge elicitation and representation using Latent Semantic Analysis and Pathfinder Network Scaling techniques. The semantic structure of a subject domain can be automatically characterised from a collection of published documents in the domain. The method (...) is illustrated with an example of organising a digital library in accordance to latent semantic structures. (shrink)

Dual-process theories of the mind emphasize how reasoning is an interplay between intuitive and reflective thinking. This paper aims to understand how the two types of processing interact in the moral domain. According to a ‘default-interventionist’ model of moral reasoning intuition and reflection are conflicting cognitions: intuitive thinking would elicit heuristic and deontological responses, whereas reflection would favour utilitarian judgements. However, the evidence for the default interventionist view is inconclusive and challenged by a growing amount of counterevidence in (...) recent years. The recent empirical findings favour an interdependent rather than conflicting view of the two types of information processing in the moral domain. In this view, which I call dual-process reflective equilibrium, intuition and reflection cooperate in moral reasoning to reach a reflective goal, which is supposedly normative justification. In sum, on the one hand, the scope of moral intuitions extends to selecting relevant information and calling for reflection whenever a problem presents conflicting aspects; on the other hand, the purpose of moral reflection is to rationalize pre-reflective intuitions to provide articulated and accessible reasons. (shrink)

In this paper we explore the possibility of giving a justification of the “semantic information” content and measure, in the framework of the recent coalgebraic approach to quantum systems and quantum computation, extended to QFT systems. In QFT, indeed, any quantum system has to be considered as an “open” system, because it is always interacting with the background fluctuations of the quantum vacuum. Namely, the Hamiltonian in QFT always includes the quantum system and its inseparable thermal bath, formally “entangled” like (...) an algebra with its coalgebra, according to the principle of the “doubling” of the degrees of freedom between them. This is the core of the representation theory of cognitive neuroscience based on QFT. Moreover, in QFT, the probabilities of the quantum states follow a Wigner distribution, based on the notion and measure of quasiprobability, where regions integrated under given expectation values do not represent mutually exclusive states. This means that a computing agent, either natural or artificial, in QFT, against the quantum Turing machine paradigm, is able to change dynamically the representation space of its computations. This depends on the possibility of interpreting QFT system computations within the framework of category theory logic and its principle of duality between opposed categories, such as the algebra and coalgebra categories of QFT. This allows us to justify and not only to suppose, like in the “theory of strong semantic information” of L. Floridi, the definition of modal “local truth” and the notion of semantic information as a measure of it, despite both measures being defined on quasiprobability distributions. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2016 Heft: 209 Seiten: 187-208.

Semantic Leaps explores how people combine knowledge from different domains in order to understand and express new ideas. Concentrating on dynamic aspects of on-line meaning construction, Coulson identifies two related sets of processes: frame-shifting and conceptual blending. Frame-shifting is semantic reanalysis in which existing elements in the contextual representation are reorganized into a new frame. Conceptual blending is a set of cognitive operations for combining partial cognitive models. By addressing linguistic phenomena often ignored in traditional meaning research, Coulson explains how (...) processes of cross-domain mapping, frame-shifting, and conceptual blending enhance the explanatory adequacy of traditional frame-based systems for natural language processing. The focus is on how the constructive processes speakers use to assemble, link, and adapt simple cognitive models underlie a broad range of productive language behavior. (shrink)

This article introduces a new pragmatic framework for dual character concepts and their expressions, offering an alternative to the received lexical‐semantic view. On the prevalent lexical‐semantic view, expressions such as “philosopher” or “scientist” are construed as lexical polysemes, comprising both a descriptive and a normative dimension. Thereby, this view prioritizes established norms, neglecting normative expressions emerging in specific contexts. In contrast, the pragmatic view integrates pragmatic modulation as a central element in explaining context‐dependent dual character concepts and expressions. (...) This not only accounts for a wider range of phenomena but also addresses several theoretical shortcomings of the lexical view. (shrink)

We introduce a dual-context style sequent calculus which is complete with respectto Kripke semantics where implication is interpreted as strict implication in the modal logic K. The cut-elimination theorem for this calculus is proved by a variant of Gentzen's method.

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically (...) serves to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

The Dual State, first published in 1941, remains one of the most erudite books on the legal origins of democracy and dictatorship. It provided the first comprehensive analysis of the rise and nature of National Socialism, and was the only such analysis written from within Hitler's Germany. Fraenkel's concept of the dual state, being the normative state and the the prerogative state. It retains its vital relevance for the theory of democracy in the twenty-first century. The Dual (...) State considerably influenced scholars studying and working on questions of political justice in the period following World War II, particularly in the context of political and legal theory; in the domain of legal history; in the area of constitutional theory; in the context of comparative politics; and in what has become known as the field of comparative constitutional law. This republication of Fraenkel's classic work makes it once again widely available to scholars and students in the field. It includes both Fraenkel's 1974 introduction to the German second edition, never before published in English, and a new introduction by Dr Jens Meierhenrich, examining the world in which The Dual State was originally published, and the lasting legacy of this classic work. (shrink)