Information exchange can be seen as a dynamic process of raising and resolving issues. The goal of this paper is to provide a logical framework to model and reason about this process. We develop an inquisitive dynamic epistemic logic , which enriches the standard framework of dynamic epistemic logic , incorporating insights from recent work on inquisitive semantics. At a static level, IDEL does not only allow us to model the information available to a set of agents, like standard epistemic (...) logic, but also the issues that the agents entertain. At a dynamic level, IDEL does not only allow us to model the effects of communicative actions that provide new information, like standard DEL, but also the effects of actions that raise new issues. Thus, IDEL provides the fundamental tools needed to analyze information exchange as a dynamic process of raising and resolving issues. (shrink)
The book presents a new logical framework to capture the meaning of sentences in conversation. It is based on a richer notion of meaning than traditional approaches, and allows for an integrated treatment of statements and questions. The first part of the book presents the framework in detail, while the second demonstrates its many benefits.
Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation in inquisitive semantics: (...) truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)
In this paper I discuss the role that question contents should play in an overall account of language, thought, and communication. Based on these considerations, I argue against the Fregean view that analyzes questions as distinguished only at the level of force. Questions, I argue, are associated with specific semantic objects, which play a distinctive role in thought and in compositional semantics, stand in logical relations to one another, and can act as contents of multiple speech acts. In the second (...) part of the paper, I present a recent approach to the semantics of questions – inquisitive semantics – and discuss how the notion of question content it provides can be fruitfully put to use in the different roles we identified. (shrink)
This paper investigates a generalized version of inquisitive semantics. A complete axiomatization of the associated logic is established, the connection with intuitionistic logic and several intermediate logics is explored, and the generalized version of inquisitive semantics is argued to have certain advantages over the system that was originally proposed by Groenendijk (2009) and Mascarenhas (2009).
I propose an account of indicative conditionals that combines features of minimal change semantics and information semantics. As in information semantics, conditionals are interpreted relative to an information state in accordance with the Ramsey test idea: “if p then q” is supported at a state s iff q is supported at the hypothetical state s[p] obtained by restricting s to the p-worlds. However, information states are not modeled as simple sets of worlds, but by means of a Lewisian system of (...) spheres. Worlds in the inner sphere are considered possible; worlds outside of it are ruled out, but to different degrees. In this way, even when a state supports “not p”, it is still possible to suppose p consistently. I argue that this account does better than its predecessors with respect to a set of desiderata concerning inferences with conditionals. In particular, it captures three important facts: that a conditional is logically independent from its antecedent; that a sequence of antecedents behaves like a single conjunctive antecedent ; and that conditionals restrict the quantification domain of epistemic modals. I also discuss two ways to construe the role of a premise, and propose a generalized notion of entailment that keeps the two apart. (shrink)
There is a prominent line of work in natural language semantics, rooted in the work of Hamblin, in which the meaning of a sentence is not taken to be a single proposition, but rather a set of propositions—a set of alternatives. This allows for a more fine-grained view on meaning, which has led to improved analyses of a wide range of linguistic phenomena. However, this approach also faces a number of problems. We focus here on two of these, in our (...) view the most fundamental ones. The first has to do with how meanings are composed, i.e., with the type-theoretic operations of function application and abstraction; the second has to do with how meanings are compared, i.e., the notion of entailment. Our aim is to reconcile what we take to be the essence of Hamblin’s proposal with the more orthodox type-theoretic framework rooted in the work of Montague in such a way that both the explanatory utility of the former and the solid formal foundations of the latter are preserved. Our proposal builds on insights from recent work on inquisitive semantics, and it also contributes to the further development of this framework by specifying how the inquisitive meaning of a sentence may be built up compositionally. (shrink)
This paper argues that questions have an important role to to play in logic, both semantically and proof-theoretically. Semantically, we show that by generalizing the classical notion of entailment to questions, we can capture not only the standard relation of logical consequence, which holds between pieces of information, but also the relation of logical dependency, which holds between information types. Proof-theoretically, we show that questions may be used in inferences as placeholders for arbitrary information of a given type; by manipulating (...) such placeholders, we may construct formal proofs of dependencies. Finally, we show that such proofs have a specific kind of constructive content: they do not just witness the existence of a certain dependency, but actually encode a method for transforming information of the types described by the assumptions into information of the type described by the conclusion. (shrink)
In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. (...) The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic. (shrink)
This paper contributes to two recent lines of work on disjunction: on the one hand, work on so-called Hurford disjunctions, i.e., disjunctions where one disjunct entails another, and on the other hand, work in alternative and inquisitive semantics where disjunction has been argued to generate multiple propositional alternatives. We point out that Hurford effects are found not only in disjunctive statements, but also in disjunctive questions. These cases are not covered by the standard accounts of Hurford phenomena, which assume a (...) truth-conditional treatment of disjunction. We show that inquisitive semantics facilitates a unified explanation of Hurford phenomena in statements and questions. We also argue that Hurford effects provide an empirical handle on the subtle differences between inquisitive semantics and alternative semantics, providing insight into the notion of alternatives and the notion of meaning adopted in these two frameworks. (shrink)
The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a conditional antecedent. (...) Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)
Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce and investigate (...) the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states, and characterise inquisitive modal logic as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. (shrink)
Traditional approaches to the semantics of questions analyze questions indirectly, via the notion of an answer. In recent work on inquisitive semantics, a different perspective is taken: the meaning of a question is equated with its resolution conditions, just like the meaning of a statement is traditionally equated with its truth-conditions. In this paper I argue that this proposal improves on previous approaches, combining the formal elegance and explanatory power of Groenendijk and Stokhof’s partition theory with the greater generality afforded (...) by answer-set theories. (shrink)
The view that if-clauses function semantically as restrictors is widely regarded as the only candidate for a fully general account of conditionals. The standard implementation of this view assumes that, where no operator to be restricted is in sight, if-clauses restrict covert epistemic modals. Stipulating such modals, however, lacks independent motivation and leads to wrong empirical predictions. In this paper I provide a theory of conditionals on which if-clauses are uniformly interpreted as restrictors, but no covert modals are postulated. Epistemic (...) if-clauses, like those in bare conditionals, restrict an information state parameter which is used to interpret an expressive layer of the language. I show that this theory yields an attractive account of bare and overtly modalized conditionals and solves various empirical problems for the standard view, while dispensing with its less plausible assumption. (shrink)
Inquisitive first-order logic, InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic. First, we describe an Ehrenfeucht–Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic. Second, we use the game to study cardinality quantifiers in the inquisitive setting. That is, we study what (...) statements and questions can be expressed in InqBQ about the number of individuals satisfying a given predicate. As special cases, we show that several variants of the question how many individuals satisfy α(x) are not expressible in InqBQ, both in the general case and in restriction to finite models. (shrink)
Building on recent work by Yale Weiss, we study conditional logics in the intuitionistic setting. We consider a number of semantic conditions which give rise, among others, to intuitionistic counterparts of Lewis’s logic VC and Stalnaker’s C2. We show how to obtain a sound and complete axiomatization of each logic arising from a combination of these conditions. On the way, we remark how, in the intuitionistic setting, certain classically equivalent principles of conditional logic come apart, and how certain logical connections (...) between different principles no longer hold. (shrink)
Inquisitive dynamic epistemic logic extends standard public announcement logic incorporating ideas from inquisitive semantics. In IDEL, the standard public announcement action can be extended to a more general public utterance action, which may involve a statement or a question. While uttering a statement has the effect of a standard announcement, uttering a question typically leads to new issues being raised. In this paper, we investigate the logic of this general public utterance action. We find striking commonalities, and some differences, with (...) standard public announcement logic. We show that dynamic modalities admit a set of reduction axioms, which allow us to turn any formula of IDEL into an equivalent formula of static inquisitive epistemic logic. This leads us to establish several complete axiomatizations of IDEL, corresponding to known axiomatizations of public announcement logic. (shrink)
We present a gravitational quantum dynamics theory that combines quantum field theory for particle dynamics in space-time with classical Einstein’s general relativity in a non-Riemannian Finsler space. This approach is based on the geometrization of quantum mechanics proposed in Tavernelli and combines quantum and gravitational effects into a global curvature of the Finsler space induced by the quantum potential associated to the matter quantum fields. In order to make this theory compatible with general relativity, the quantum effects are described in (...) the framework of quantum field theory, where a covariant definition of ‘simultaneity’ for many-body systems is introduced through the definition of a suited foliation of space-time. As in Einstein’s gravitation theory, the particle dynamics is finally described by means of a geodesic equation in a curved space-time manifold. (shrink)
A construction is found in American Sign Language that we call a Question–Answer Clause. It is made of two parts: the first part looks like an interrogative clause conveying a question, while the second part resembles a declarative clause answering that question. The very same signer has to sign both, the entire construction is interpreted as truth-conditionally equivalent to a declarative sentence, and it can be uttered only under certain discourse conditions. These and other properties of Question–Answer Clauses are discussed, (...) and a detailed syntactic, semantic, and pragmatic account is provided. Question–Answer Clauses are argued to be copular clauses consisting of a silent copula of identity connecting an interrogative clause in the precopular position with a declarative clause in the postcopular position. Pragmatically, they instantiate a topic/comment structure, with the first part expressing a sub-question under discussion and the second part expressing the answer to that sub-question. Broader implications of the analysis are discussed for the Question Under Discussion theory of discourse structuring, for the analysis of pseudoclefts in spoken languages, and for recent proposals about the need for answerhood operators and exhaustivity operators in the grammar and the consequences for the syntax/semantics/pragmatics interface. (shrink)
With the purpose of introducing a useful tool for researches concerning foundations of quantum mechanics and applications to quantum technologies, here we address three quantumness quantifiers for bipartite optical systems: one is based on sub-shot-noise correlations, one is related to antibunching and one springs from entanglement determination. The specific cases of parametric downconversion seeded by thermal, coherent and squeezed states are discussed in detail.
Objectives: Investigate and identify the relationship between physical exercise and cognitive performance measured by using different cognitive tests taken from Cambridge Brain Science.Methods: Thirty subjects, divided into two groups, undergo twelve cognitive tests from CBS. A comparison between the pre- and post-exercise results in terms of cognitive performance differences is carried out. Regression analysis between Heart Rate Variability features and CBS tests results is performed.Results: In most CBS tests, there is an improvement, or at least a confirmation, of the subject's (...) cognitive ability, for both groups. Reasoning, concentration, and planning tests seem to undergo critical positive changes. The regression analysis, performed by using a set of different algorithms, has demonstrated that it is possible, by monitoring the HRV during the exercise, to predict to some extent the cognitive performance, i.e., the CBS tests results. The best performing regression algorithms are Simple Linear and REPTree. The statistical analysis has proved that physical activity is statistically useful for the subjects in improving their cognitive performance.Conclusions: This study has numerically appraised the improvement, the conservation, or the worsening on different aspects of cognition. The found mathematical relationship between physical exercise and cognitive performance suggests that it is possible to predict the beneficial effect of various exercises on executive and attentive control. (shrink)
In this article we consider a theme concerning the evolution of metal decoration in architecture of the town Ivano-Frankivsk, dated XIX - early XX century, this question was analyzed in line with European architectural and artistic trends of that time. Style trends and compositional features were detected through the example of certain types of metal-plastic in the architecture of the town. Special attention was paid to finding ways to preserve valuable historical examples of architectural-artistic metal, which are exposed to (...) destruction. Ancient metal-plastic, which impresses us by the mastery of far-back blacksmiths, adorns most historic buildings in Ivano-Frankivsk. It was formed, at each stage of its development, in line with European architectural-artistic trends and reproduces the content of these processes by typological, compositional, stylistic, iconographic, formal features, together with production technique and manufacturing technology. The metal-plastic being a valuable architectural-artistic heritage of XIX - early XX century, which defines the direction of urban modern forging art development, nowadays is exposed to destruction. Undervaluation and low level of research work, concerning Ivano-Frankivsk historic metal-plastic as a cultural heritage object, become one of the reasons that community and some experts do not consider it as an object that influenced the formation of the architectural urban space image and still continues to influence its evolution. (shrink)
Since its emergence, the novel coronavirus disease of 2019 has had enormous physical, social, and psychological impacts worldwide. The aim of this article was to identify elements of our knowledge on asbestos exposure and malignant mesothelioma that can provide insight into the psychological impact of the COVID-19 pandemic and be used to develop adequate interventions. Although the etiology of Covid-19 and MM differs, their psychological impacts have common characteristics: in both diseases, there is a feeling of being exposed through aerial (...) contagion to an “invisible killer” without boundaries that can strike even the strongest individuals. In both cases, affected persons can experience personality dysfunction, anxiety, depression, and posttraumatic symptoms; helplessness, hopelessness, and projection of destructive thoughts onto external forces often emerge, while defense mechanisms such as denial, splitting, repression, and reduced emotional expression are used by individuals to contain their overwhelming anxieties. We believe that in both diseases, an integrated multidimensional intervention offered by hospitals and other public health services is the most effective approach to alleviating patients’ and caregivers’ psychological distress. In particular, we emphasize that in the context of both MM and COVID-19, Brief Psychoanalytic Group therapy can help patients and caregivers attribute meaning to the significant changes in their lives related to the experience of the disease and identify adaptive strategies and more realistic relational modalities to deal with what has happened to them. We also highlight the importance of developing a surveillance system that includes individual anamnestic evaluation of occupational risk factors for COVID-19 disease. (shrink)
This paper explores the interactions between scientific travel, politics, instrument making and the epistemology of scientific instruments in Napoleon's Europe. In the early 1800s, the German astronomer Franz Xaver von Zach toured Italy and Southern France with instruments made by G. Reichenbach in his newly-established Bavarian workshop. I argue that von Zach acted as a broker for German technology and science and that travel, personal contacts and direct demonstrations were crucial in establishing Reichenbach's reputation and in conquering new markets. The (...) rise of German instrument making highlights the complexity of the scientific relationship between the centre and the peripheries in Napoleon's empire, and reveals the existence of diverging views on the role of instruments and of their makers. In von Zach's view, Reichenbach's instruments could not penetrate the French market because Parisian astronomers focused on mathematical astronomy and, for both political and epistemological reasons, dismissed instruments and material innovations from the peripheries. The German astronomer and his Italian colleagues, on the contrary, regarded Reichenbach's technical achievements as outstanding contributions to astronomy, and considered the political and cultural hegemony of the capital as a hindrance to the advancement of science. (shrink)
This paper explores the interactions between scientific travel, politics, instrument making and the epistemology of scientific instruments in Napoleon's Europe. In the early 1800s, the German astronomer Franz Xaver von Zach toured Italy and Southern France with instruments made by G. Reichenbach in his newly-established Bavarian workshop. I argue that von Zach acted as a broker for German technology and science and that travel, personal contacts and direct demonstrations were crucial in establishing Reichenbach's reputation and in conquering new markets. The (...) rise of German instrument making highlights the complexity of the scientific relationship between the centre and the peripheries in Napoleon's empire, and reveals the existence of diverging views on the role of instruments and of their makers. In von Zach's view, Reichenbach's instruments could not penetrate the French market because Parisian astronomers focused on mathematical astronomy and, for both political and epistemological reasons, dismissed instruments and material innovations from the peripheries. The German astronomer and his Italian colleagues, on the contrary, regarded Reichenbach's technical achievements as outstanding contributions to astronomy, and considered the political and cultural hegemony of the capital as a hindrance to the advancement of science. (shrink)
Under such a name in Ternopil on November 29-30, 1996 the All-Ukrainian Scientific and Theological Conference took place. Its organizers are the regional organization of religious scholars, associate member of the State Archive of the State Archive of Ternopil region, Ternopil diocese of the UGCC and Ternopil Medical Institute. In addition to the Ternopil citizens, scientists from Kyiv, Lviv, Sumy, Lutsk, Vinnitsa, and Ivano-Frankivsk participated in the conference.
Classical semantics for counterfactuals is based on a notion of minimal change: If ${\textsf {A}}$, would ${\textsf {C}}$ says that the worlds that make ${\textsf {A}}$ true and that are otherwise minimally different from the actual world are ${\textsf {C}}$-worlds. This semantics suffers from a well-known difficulty with disjunctive antecedents. In a recent study, Ciardelli, Zhang, and Champollion present new, related difficulties for the classical approach having to do with unpredicted differences between counterfactuals with De Morgan-equivalent antecedents, and related (...) pattern of inferences. They propose a new semantics for counterfactuals, which builds on inquisitive semantics and gives up on minimal change. Building on this debate, we report on a series of experiments that investigate the role of overt negation in this data. Our results replicate CZC’s main effects, but they also indicate that those effects are linked to the presence of overt negation. We propose a novel account, based on three key assumptions: the semantics for counterfactuals does involve a notion of minimal change, after all; the meanings of disjunction and negation are associated with alternatives, which interact with the meaning of counterfactuals; the alternatives generated by negation are partially determined by the question under discussion. We compare our account with other existing accounts, including CZC’s own proposal, as well as Schulz and Bar-Lev & Fox ones. (shrink)
Since it was first published, Quantum Field Theory in a Nutshell has quickly established itself as the most accessible and comprehensive introduction to this profound and deeply fascinating area of theoretical physics. Now in this fully revised and expanded edition, A. Zee covers the latest advances while providing a solid conceptual foundation for students to build on, making this the most up-to-date and modern textbook on quantum field theory available. -/- This expanded edition features several additional chapters, as well as (...) an entirely new section describing recent developments in quantum field theory such as gravitational waves, the helicity spinor formalism, on-shell gluon scattering, recursion relations for amplitudes with complex momenta, and the hidden connection between Yang-Mills theory and Einstein gravity. Zee also provides added exercises, explanations, and examples, as well as detailed appendices, solutions to selected exercises, and suggestions for further reading. (shrink)
Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major classical (...) topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types. (shrink)
In recent years, the study of this problem has received considerable attention in both Ukrainian and Polish historiography, which is connected, on the one hand, with the deportation of Ukrainians from Poland and Poles from Ukraine, and, on the other, with the loss of confessional presence, including property., these two denominations in Western Ukraine in 1944-1946. Both the first and the second are related to the policy of the State power of the Stalin regime. The echo of these events reminded (...) itself in the late 1980s - in the first half of the 1990s - of the apogee years of interfaith confrontation in Ukraine and still echoes today, activating these 60-year-old events. Therefore, given the Ukrainian and Polish historiography of the study, it is appropriate to cover this issue in more detail. This is the relevance of our article. In this context, the author used sources already available in our time in the archives of Lviv, Ternopil, and Ivano-Frankivsk regions, which have not yet been fully explored by researchers. This made it possible to reproduce the confessional transformations of the Roman Catholic Church and the Armenian Catholic Church in a broader and more detailed way and to show the impact on this process of state power, which was the purpose of the study. (shrink)
This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement in logic, we are (...) today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)
It seems that the choice for the subject "Christian Ethics in Ukrainian Culture" was made by everyone: the so-called "traditional Churches" and the authorities. The move, however, leaves much room for thought. First, who will teach this subject in educational institutions? We propose to use the experience not only of the western regions of Ukraine, including Lviv, Ivano-Frankivsk, etc., but also of the Ostroh Academy National University. When on March 24, 2000, the Rivne Regional Council decided to introduce the (...) subject of Christian ethics in Rivne schools, the National University "Ostroh Academy" became one of the basic training centers for teachers of Christian ethics. The creation of a faculty for the training of teachers of Christian ethics caused, accordingly, the recruitment of students. (shrink)
Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is a grammatical entity, a (...) unit of language that expresses a complete thought; a sentence may express a proposition, but is distinct from the proposition it may be used to express: categories, declarative sentences, exclamatory, imperative and interrogative sentences. Not all sentences are propositions, propositions express sentence. Sentence is a proposition only in condition when it bears truth values i.e. true or false. We use English sentences governed by imprecise rule to state the precise rules of proposition. In logic we use sentence as logical entity having propositional function but grammatical sentences are different from logical sentences while the former are having only two divisions namely subject and predicate and may express wishes, orders, surprise or facts and also have multiple subjects and predicates and the latter must be in a propositional form which states quantity of the subject and the quality of the proposition and multiple subjects and multiple predicate make the proposition multiple. (shrink)