This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

This volume offers the first-ever complete English translation of Leibniz’s Dissertatio De Arte Combinatoria together with a critical edition of the original Latin text on fa...

Outstanding translations by leading contemporary scholars--many commissioned especially for this volume--are presented here in the first single edition to include the entire surviving corpus of works attributed to Plato in antiquity. In his introductory essay, John Cooper explains the presentation of these works, discusses questions concerning the chronology of their composition, comments on the dialogue form in which Plato wrote, and offers guidance on approaching the reading and study of Plato's works. Also included are concise introductions by Cooper and Hutchinson (...) to each translation, meticulous annotation designed to serve both scholar and general reader, and a comprehensive index. This handsome volume offers fine paper and a high-quality Smyth-sewn cloth binding in a sturdy, elegant edition. (shrink)

In 1958 Arnould Bayart, 1911-1998, produced a semantics for first and second-order S5 modal logic, and in 1959 a completeness proof for first-order S5, and what he calls a 'quasi-completeness' proof for second-order S5. The 1959 paper is the first completeness proof for modal predicate logic based on the Henkin construction of maximal consistent sets, and indeed may be the easier application of the Henkin method even to propositional modal logic. The semantics is in terms of possible worlds, which, Bayart (...) notes, can be anything at all. The present paper provides an English translation of both these papers together with an historical introduction and a logical commentary. (shrink)

The paper discusses methodological guidelines for evaluating mechanistic explanations. According to current accounts, a satisfactory mechanistic explanation should include all of the relevant features of the mechanism, its component entities and activities, and their properties and organization, as well as exhibit productive continuity. It is not specified, however, how this kind of mechanistic completeness can be demonstrated. I argue that parameter sufficiency inferences based on mathematical model simulations provide a way of determining whether a mechanism capable of producing the phenomenon (...) of interest can be constructed from mechanistic components organized, acting, and having the properties described in the mechanistic explanation. (shrink)

Context: We are presently witnessing a revival of introspective methods, which implicitly challenges an impressive list of in-principle objections that were addressed to introspection by various philosophers and by behaviorists. Problem: How can one overcome those objections and provide introspection with a secure basis? Results: A renewed definition of introspection as “enlargement of the field of attention and contact with re-enacted experience,” rather than “looking-within,” is formulated. This entails (i) an alternative status of introspective phenomena, which are no longer taken (...) as revelations of some an sich slice of experience, but as full-fledged experiences; and (ii) an alternative view of the validity of first-person reports as “performative coherence” rather than correspondence. A preliminary empirical study of the self-assessed reliability of introspective data using the elicitation interview method is then carried out. It turns out that subjects make use of reproducible processual criteria in order to probe into the authenticity and completeness of their own introspective reports. Implications: Introspective inquiry is likely to have enough resources to “take care of itself.” Constructivist content: It is argued that the failure of the introspectionist wave of the turn of the 19th/20th centuries is mostly due to its unconditional acceptance of the representationalist theory of knowledge, and that alternative non-representationalist criteria of validity give new credibility to introspective knowledge. (shrink)

Over a longer period than I sometimes care to contemplate I have worked on possible-worlds semantics. The earliest work was in modal logic, to which I keep returning, but a sabbatical in 1970 took me to UCLA, there to discover the work of Richard Montague in applying possible-worlds semantics to natural lan guage. My own version of this appeared in Cresswell (1973) and was followed up in a number of articles, most of which were collected in Cresswell (1985b). A central (...) problem for possible worlds semantics is how to accommodate propositional attitudes. This problem was addressed in Cresswell (1985a), and the three books mentioned so far represent a reasonably complete picture of my positive views on formal semantics. I have regarded the presentation of a positive view as more important than the criticism of alternatives, although the works referred to do contain many passages in which I have tried to defend my own views against those of others. But such criticism is important in that a crucial element in establishing the content of a theory is that we be able to evaluate it in relation to its com petitors. It is for that reason that I have collected in this volume a number of articles in which I attempt to defend the positive semantical picture I favour against objections and competing theories. (shrink)

In ”Embodiment and Epistemology,” Louise Antony considers a kind of ”Cartesian epistemology” according to which, so far as knowing goes, knowers could be completely disembodied, that is, pure Cartesian egos. Antony examines a number of recent challenges to Cartesian epistemology, particularly challenges from feminist epistemology. She contends that we might have good reason to think that theorizing about knowledge can be influenced by features of our embodiment, even if we lack reason to suppose that knowing itself varies relative to such (...) features. She also argues that a masculinist bias can result in mishandling of cognitive differences in cases where they actually exist and she examines a number of the ways in which the maleness of philosophy has, according to feminists, distorted epistemology. Even if a Cartesian approach offers one indispensable part of a comprehensive epistemology, according to Antony, we still need an epistemology that answers questions raised by our everyday, embodied lives. (shrink)

Versions and extensions of intuitionistic and modal logic involving biHeyting and bimodal operators, the axiom of constant domains and Barcan's formula, are formulated as structured categories. Representation theorems for the resulting concepts are proved. Essentially stronger versions, requiring new methods of proof, of known completeness theorems are consequences. A new type of completeness result, with a topos theoretic character, is given for theories satisfying a condition considered by Lawvere . The completeness theorems are used to conclude results asserting that certain (...) logics are conservatively interpretable in others. (shrink)

We give a sound and complete axiomatization for the full computation tree logic, CTL*, of R-generable models. This solves a long standing open problem in branching time temporal logic.

Quantum physics is believed to be the fundamental theory underlying our understanding of the physical universe. However, it is based on concepts and principles that have always been difficult to understand and controversial in their interpretation. This book aims to explain these issues using a minimum of technical language and mathematics. After a brief introduction to the ideas of quantum physics, the problems of interpretation are identified and explained. The rest of the book surveys, describes and criticises a range of (...) suggestions that have been made with the aim of resolving these problems; these include the traditional, or 'Copenhagen' interpretation, the possible role of the conscious mind in measurement, and the postulate of parallel universes. This new edition has been revised throughout to take into account developments in this field over the past fifteen years, including the idea of 'consistent histories' to which a completely new chapter is devoted. (shrink)

The combined use of molecular and structural biology techniques has proved very efficient in elucidating structure‐function relationships in aminoacyl‐tRNA synthetases. Our present understanding of this family of enzymes is based on two main unifying principles: (i) division into two different classes, corresponding to two different modes of ATP binding and attachment of the activated amino acid to the last nucleotide of tRNA (either 2′OH or 3′OH of the ribose) by two different catalytic mechanisms and two structural domains with completely different (...) folding, and (ii) the modular organization into separate and additional domains that we are just beginning to understand. Sequence analysis complements very nicely existing structural, biochemical and genetic results and makes them more general, leading to verifiable predictions. (shrink)

Written in a relaxed, readable style, A Concise Introduction to Pure Mathematics leads students gently but firmly into the world of higher mathematics. It provides beginning undergraduates with a rigourous grounding in the basic tools and techniques of the discipline and prepares them for further more advanced studies in analysis, differential equations, and algebra. This edition contains additional material on secret codes, permutations, and prime numbers. It features more than 200 exercises, with many completely new. The text is organized into (...) relatively independent chapters, allowing instructors to tailor the book to meet their individual course needs. · Contains extra material concerning prime numbers, forming the basis for data encryption · Explores "Secret Codes" - one of today's most spectacular applications of pure mathematics Discusses Permutations and their importance in many topics in discrete mathematics. (shrink)

In this paper we first give a survey of reductive cut-elimination methods in classical logic. In particular we describe the methods of Gentzen and Schütte-Tait from the abstract point of view of proof reduction. We also present the method CERES which we classify as a semi-semantic method. In a further section we describe the so-called semantic methods. In the second part of the paper we carry the proof analysis further by generalizing the CERES method to CERESD . In the generalized (...) version CERESD we admit general elimination rules which are based on the mere semantical truth of sentences. We construct complete cut-free LK-derivations originating from derivations potentially containing unproven lemmas. Finally we give a comparison of reductive methods and CERESD by presenting a general simulation result. (shrink)

Most moral philosophers who have recently expressed sympathy with feminist or ‘care-based’ perspectives on ethical theory have thought that such perspectives can make valuable contributions to more comprehensive ethical theories. Few have thought that an ethics of care can offer a complete normative theory. However, Michael Slote is one of the ambitious few. In his recent book, The Ethics of Care and Empathy, he seeks to show that a care-based perspective can do a lot of service in first-order moral and (...) political theory as well as in metaethics. Here is a quick overview of the book's content: In Chapter 1, Slote explicates the notion of empathy that is central in his ethics of care, which he locates within the sentimentalist paradigm, stemming from philosophers such as Hume and Hutcheson. Slote's account of empathy and moral development draws substantially on work by the psychologist Martin Hoffman. Chapter 2 discusses care ethics and our obligation to help others, including both the near and the distant needy. Chapter 3 aims to show how the notion of empathy can further the case for deontology in ethics. Chapters 4 through 6 discuss the relation of care ethics to pivotal issues in political philosophy, such as autonomy, liberalism, social justice and rights. Slote maintains that autonomy …. (shrink)

Subset Spaces were introduced by L. Moss and R. Parikh in [8]. These spaces model the reasoning about knowledge of changing states.In [2] a kind of subset space called intersection space was considered and the question about the existence of a set of axioms that is complete for the logic of intersection spaces was addressed. In [9] the first author introduced the class of directed spaces and proved that any set of axioms for directed frames also characterizes intersection spaces.We give (...) here a complete axiomatization for directed spaces. We also show that it is not possible to reduce this set of axioms to a finite set. (shrink)

Eliminative materialism is the thesis that our common-sense conception of psychological phenomena constitutes a radically false theory, a theory so fundamentally defective that both the principles and the ontology of that theory will eventually be displaced, rather than smoothly reduced, by completed neuroscience. Our mutual understanding and even our introspection may then be reconstituted within the conceptual framework of completed neuroscience, a theory we may expect to be more powerful by far than the common-sense psychology it displaces, and more substantially (...) integrated within physical science generally. My purpose in this paper is to explore these projections, especially as they bear on (1) the principal elements of common-sense psychology: the propositional attitudes (beliefs, desires, etc.), and (2) the conception of rationality in which these elements figure. (shrink)

A (normal) system of propositional modal logic is said to be complete iff it is characterized by a class of (Kripke) frames. When we move to modal predicate logic the question of completeness can again be raised. It is not hard to prove that if a predicate modal logic is complete then it is characterized by the class of all frames for the propositional logic on which it is based. Nor is it hard to prove that if a propositional modal (...) logic is incomplete then so is the predicate logic based on it. But the interesting question is whether a complete propositional modal logic can have an incomplete extension. In 1967 Kripke announced the incompleteness of a predicate extension of S4. The purpose of the present article is to present several such systems. In the first group it is the systems with the Barcan Formula which are incomplete, while those without are complete. In the second group it is those without the Barcan formula which are incomplete, while those with the Barcan Formula are complete. But all these are based on propositional systems which are characterized by frames satisfying in each case a single first-order sentence. (shrink)

In this paper we discuss two hybrid languages, ℒ and ℒ, and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they contain modal operators and have a Kripke semantics. Unlike modal languages, in these systems it is possible to 'label' states by using A and ↓ to bind special state variables.This paper explores the consequences of hybridization for completeness. As we shall show, the challenge is to blend the modal idea of (...) canonical models with the classical idea of witnessed maximal consistent sets. The languages ℒ and ℒ provide us with two extreme examples of the issues involved. In the case of ℒ, we can combine these ideas relatively straightforwardly with the aid of analogs of the Barcan axioms coupled with a modal theory of labeling. In the case of ℒ, on the other hand, although we can still formulate a theory of labeling, the Barcan analogs are not valid. We show how to overcome this difficulty by using COV*, an infinite collection of additional rules of proof which has been used in a number of investigations of extended modal logic. (shrink)

How ought the historian to reconcile themselves philosophically with the fact of evental contingency and of its relationship to structural determination? Does the existence of contingent causation undermine the very concept of historical necessity, or do the two instead in dialectical entanglement? In this essay, I engage with the problem of historical contingency from a transcendental-materialist perspective informed by the work of Slavoj Žižek, tendering a philosophically serious response to the famous Pascalian conundrum of Cleopatra’s nose and its challenge to (...) structuralist accounts of historical causation. The position associated with Laplace – that is to say, that the course of history would be entirely predictable were one provided with a complete account of initial conditions – is firmly rejected. Instead, I revive Althusser’s attempt to craft a theory of ‘aleatory materialism’, in which the determinative power of structural forces nevertheless leave space for the radical and unpredictable transformation of a situation by the chance crystallisation of events and encounters. In this effort, I recruit conceptual architecture not only from the fields of historiography and philosophy, but also quantum physics, psychoanalysis, and mathematics. (shrink)

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The (...) level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists. (shrink)

In earlier work we have described how computer algebra may be used to derive composite rate laws for complete systems of equations, using the mathematical technique of Gröbner Bases (Bennett, Davenport and Sauro, 1988). Such composite rate laws may then be fitted to experimental data to yield estimates of kinetic parameters.Recently we have been investigating the practical application of this methodology to the estimation of kinetic parameters for the closed two enzyme system of aspartate aminotransferase (AAT) and malate dehydrogenase (MDH) (...) (Fisher 1990a; Fisher 1990b; Bennett and Fisher, 1990). (shrink)

In England, Wales and Scotland, the vast majority of abortions take place in the first trimester of pregnancy. In 2009, for example, 91% of abortions were carried out at under 13 weeks gestation for women resident in England and Wales. 1 Early abortion opens up the opportunity for a woman to have a medical abortion rather than a surgical abortion. Medical abortion is considered to be less invasive and less expensive than surgical abortion, and is increasingly becoming the preferred method. (...) 1 The proportion of medical abortions to surgical abortions has doubled in the last five years with 52% of abortions being medical abortions under 9 weeks gestation in 2009. A medical abortion typically involves taking mifepristone to block the hormones that help a pregnancy to continue, and then later on misoprostol, which makes the womb expel the embryo/fetus, usually within 4–6 h. Current legislation requires that both sets of drugs are administered in an NHS hospital or approved place, but women can go home after taking the second dose of drugs to complete the abortion. There has long been disagreement between the Department of Health and the British Pregnancy Advisory Services about what constitutes ‘any treatment for the termination of pregnancy’ under the Abortion Act 1967, specifically whether a woman taking the second set of drugs is considered to be undergoing the ‘treatment’ and is therefore required to be present in premises permitted under the Act. At the end of 2010, BPAS went to the High Court to challenge the Department of Health's view that the legislation requires women to take both sets of drugs in an approved place. BPAS argued that ‘treatment’ stops at the point of prescription and women should be able to go home, …. (shrink)

The term "interest" lacks a precise antonym. In English, we have "disinterested" and "uninteresting," but we want for a term that denotes robust opposition to interest. The same appears to hold true in every other language (as far as we know). Interest's missing antonym reflects not merely a widespread lexical oversight, but a misrecognition of interest's complete and exact meaning. More importantly, the idea that interest has no opposite expresses a certain refusal to acknowledge the power of the impulse to (...) extinguish interest, for the self and for others. Why then do we foreclose interest's possibility, degrade our (and others') capacities to experience interest, and destroy interest's objects? Why do we decline what interest proffers - which includes creative and subjective being, thinking, and relating - in favor of more primitive modes of survival, thoughtlessness, and nonbeing? Why do relationships - with ourselves, with others, with objects - toward which genuine interest draws us seem sometimes, if not often, unbearable? These questions are difficult. Their answers, even more so. Misinterest: Essays, Pensées, and Dreams attempts to approach them in an honest way, without making them fascinating, mysterious, boring, obscurantist, or fascinatingly mysteriously boringly obscurantist. Outwardly, Misinterest is concerned with dreams and forgetting and Eros and soaring dogs and groups and suicidal suburban teenagers and sex and jury duty and Nazis and fathers and hatred and holy parrots and fundamentalists and plagues and other things that may or may not be interesting. Ultimately, however, it seeks, like Jules Renard, "en restant exact" (in remaining true/real), to shed light on the establishment of misinterest, missingness, and mystery where and when they need not be, and, thus, on the psychic, familial, and political forces that compel us not to be when and where we ought. (shrink)

Many people who have reached the age of majority still qualify as financial dependents of their parents, and may be registered as dependents on their parents’ medical schemes. This poses a practical conundrum, because major persons enjoy complete autonomy over their bodies to choose healthcare services as they please, including informational determination. However, their sensitive health information may end up being disclosed in the accounts rendered to their parents, as main members of medical schemes, thereby breaching their informational privacy, medical (...) confidentiality and possibly also damaging personal relationships. On the other hand, medical schemes must ensure that they strictly manage the business of their hospitalisation to ensure that they can adhere to their contractual and legal medical insurance obligations. Both major but financially dependent patients and medical schemes have good legal grounds to defend their respective positions. In this article, we will analyse and clarify the applicable legal and ethical grounds by considering medical confidentiality, the Protection of Personal Information Act, the Consumer Protection Act and the Medical Schemes Act and rules. We shall conclude with recommendations to accommodate the interests of both parties. (shrink)

In his carefully documented article, “From reciprocity to autonomy in physician-assisted death: an ethical analysis of the Dutch Supreme Court ruling in the Albert Heringa case,” Berand Florijn (20...

Darwin's phrase “place in natural economy”, andSpencer's term “correspondence” can be regarded as first attempts to express the organism-environment relationships. The same concept has more recently been approached from the point of view of life-form, external activities, and habitat. Though all these points are interlocking, they have been stressed differently in the writings of American and European ecologists. It is proposed that the term “niche” would be most useful and rational if applied to the total of relationships between a living (...) organism and its complete environment, both biotic and abiotic. (shrink)

The paper presents an indexical semantics, based on times and worlds, for some of Prior's logics concerned with issues such as foreknowledge and determinism. In that sense Prior's logic of futurity can be presented as a completely standard modal/tense logic.

Background In August 2017, Chile lifted its complete ban on abortion by permitting abortion in three limited circumstances: 1) to save a woman’s life, 2) lethal fetal anomaly, and 3) rape. The new law allows regulated use of conscientious objection in abortion care, including allowing institutions to register as objectors. This study assesses medical and midwifery students’ support for CO, following legal reform. Methods From October 2017 to May 2018, we surveyed medical and midwifery students from seven universities located in (...) Santiago, Chile. Universities included 4 secular and 3 private religiously-affiliated universities; all offering medical degrees with a specialization in obstetrics and gynecology and five offering midwifery degrees. We used generalized estimating equations to identify characteristics associated with student support for CO, intentions to use CO to refuse to care for someone seeking abortion, and support for CO at the institutional level. Results 333 of the 413 eligible students who opened the survey, completed the questions on conscientious objection; 26% were seeking medical degrees with an ob-gyn specialty, 25% were seeking midwifery degrees, and 49% were seeking medical degrees and had not yet decided their specialty. While nearly all endorse requirements for conscientious objecting clinicians to inform and refer abortion-seeking patients, a minority would personally use conscientious objection to avoid caring for a patient seeking abortion. About half of religious-university students and one-fifth of secular-university students support objections at the institutional level. Conclusions Most students support the regulated use of CO which preserves patients’ access to abortion care. Religious-university student views on the use of conscientious objection in abortion care are discordant with those of their institutions which currently support institutional-level objections. (shrink)

The present study investigates procedural learning of motor sequences in children with developmental coordination disorder and/or developmental dyslexia, typically-developing children and healthy adults with a special emphasis on the role of the nature of stimuli and the neuropsychological functions associated to final performance of the sequence. Seventy children and ten adults participated in this study and were separated in five experimental groups: TD, DCD, DD, and DCD + DD children and adults. Procedural learning was assessed with a serial reaction time (...) task that required to tap on a specific key as accurately and quickly as possible when stimuli appeared on the screen. Three types of stimuli were proposed as cues: the classical version of the SRTT with 4 squares aligned horizontally on the screen, giving visuospatial cues, and two modified versions, with 4 letters aligned horizontally on the screen and letters at the center of the screen. Reaction times during the repeated and random blocks allowed assessing three phases of learning: global learning, specific learning and retention of the sequence. Learning was considered as completed when RT evolved significantly in the three phases. Neuropsychological assessment involved, among other functions, memory and attentional functions. Our main result was that learning and retention were not influenced by the available cues in adults whereas learning improved with specific cues in children with or without neurodevelopmental disorders. More precisely, learning was not completed with L cues in children with neurodevelopmental disorders. For children with DD, learning was completed with the VS and VS + L cues whereas for children with DCD, learning was completed with combined VS + L cues. Comorbidity between DD and DCD had no more impact on procedural learning than DCD alone. These results suggest that learning depends on the nature of cues available during practice and that cues allowing learning and retention depend on the type of disorder. Moreover, selective attention was correlated with RT during retention, suggesting that this neuropsychological function is important for procedural learning whatever the available cues. (shrink)

AimThe aim of this study was to determine the presence of depressive symptoms and understand the potential factors associated with these symptoms among physicians in Bangladesh during the COVID-19 pandemic.MethodsA cross-sectional study using an online survey was conducted in between April 21 and May 10, 2020, among physicians living in Bangladesh. Participants completed a series of demographic questions, COVID-19-related questions, and the Patient Health Questionnaire-9. Descriptive statistics, test statistics were performed to explore the association between physicians’ experience of depression symptoms (...) and other study variables. Stepwise binary logistic regression was followed while conducting the multivariable analysis.ResultA total of 390 physicians completed the survey. Of them, 283 were found to be experiencing depressive symptoms. Predictors which were significantly associated with depressive symptoms were gender, the presence of sleep disturbance, being highly exposed to media coverage about the pandemic, and fear around COVID-19 infection, being assaulted/humiliated by regulatory forces and by the general public, while traveling to and from the hospital and treating patients during the countrywide lockdown.ConclusionThe findings of this study demonstrate that there is a high prevalence of depressive symptom among physicians especially among female physicians in Bangladesh during the COVID-19 pandemic. Immediate, adequate and effective interventions addressing gender specific needs are required amid this ongoing crisis and beyond. (shrink)

Objective The study evaluated patient informed consent for the Quad screen and examined differences in IC between test acceptors and test refusers. A multidimensional model of IC was used. Methods Women seeking prenatal care at nine obstetrics clinics in a large Midwestern city completed surveys between February and December 2006. Surveys contained measures for three dimensions of IC: intention, understanding and controlling influence. Results 56.2% of women did not meet criteria for all three of our dimensions of IC and therefore (...) failed to give it. The failure rate was higher among women who choose to screen than women who choose not screen. Women who met all criteria for IC were over three times less likley to choose to screen ) than women who did not meet criteria for IC. Conclusion The decision to screen for fetal anomalies is less of a deliberated action than the decision not to screen. Women who lack a fundamental understanding of the purpose and nature of the screen may be operating on the belief that the screen is part of standard care and presents no need to deliberate. (shrink)

The most common way of proving decidability in propositional modal logic is to shew that the system in question has the finite model property. This is not however the only way. Gabbay in [4] proves the decidability of many modal systems using Rabin's result in [8] on the decidability of the second-order theory of successor functions. In particular [4, pp. 258-265] he is able to prove the decidability of a system which lacks the finite model property. Gabbay's system is however (...) complete, in the sense of being characterized by a class of frames, and the question arises whether there is a decidable modal logic which is not complete. Since no incomplete modal logic has the finite model property [9, p. 33], any proof of decidability must employ some such method as Gabbay's. In this paper I use the Gabbay/Rabin technique to prove the decidability of a finitely axiomatized normal modal propositional logic which is not characterized by any class of frames. I am grateful to the referee for suggesting improvements in substance and presentation.The terminology I am using is standard in modal logic. By aframeis understood a pair 〈W, R〉 in whichWis a class (of “possible worlds”) andR⊆W2. To avoid confusion in what follows, a frame will henceforth be referred to as aKripkeframe. By contrast, ageneral frameis a pair 〈,Π〉 in whichis a Kripke frame andΠis a collection of subsets ofWclosed under the Boolean operations and satisfying the condition that ifAis inΠthen so isR−1“A. A model on a frame (of either kind) is obtained by adding a functionVwhich assigns sets of worlds to propositional variables. In the case of a general frame we require thatV(p) ∈Π. (shrink)

Ontology engineering is mainly done by domain experts who are specialists in their domain but have, if at all, limited knowledge in logics, computer science, or analytic philosophy. The literature on formal ontologies and biomedical ontologies is neither suited nor intended to serve as an educational resource that would help domain experts to become good ontologists. Existing educational resources focus rather on ontology tools and languages than on good practice. The purpose of the GoodOD guideline is to pave the road (...) for domain experts who want (or need) to become ontology engineers. It pursues the openly pragmatic approach that ontology engineers only need to know ontology theory to the extent which supports the (measurable) outcome of their work. The GoodOD Guideline builds upon given philosophical and methodological principles as well as preexisting tools and resources. In particular (pragmatic) scientific realism, first order logics and its subset OWL-DL (description logics), set theory, an upper-level ontology with high-level categories and a canonic set of relations, constraints which limit the freedom of choice when building coordinate expressions, the ontology editor Protégé 4, a complete DL reasoner, such as HermIT, ontology design patterns, and naming conventions. -/- Given these precepts the guideline contains all the knowledge to be acquired by a user to be able to solve ontology engineering problems in a foreseeable and non-arbitrary way. The didactic concept is to convey the skills not only by theory but also by practical examples. (shrink)

A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.

Despite an increased recognition that plagiarism in published research can take many forms, current typologies of plagiarism are far from complete. One under-recognized variety of plagiarism—designated here as compression plagiarism—consists of the distillation of a lengthy scholarly text into a short one, followed by the publication of the short one under a new name with inadequate credit to the original author. In typical cases, compression plagiarism is invisible to unsuspecting readers and immune to anti-plagiarism software. The persistence of uncorrected instances (...) of plagiarism in all its forms—including compression plagiarism—in the body of published research literature has deleterious consequences for the reliability of scholarly communication. Not the least of these problems is that original authors are denied credit for their discoveries. When unsuspecting researchers read articles that are the products of plagiarism, they unwittingly engage the arguments of hidden original authors through the proxy of plagiarists. Furthermore, when these researchers later publish responses to the plagiarizing articles, not knowing they are engaging products of plagiarism, they create additional inefficiencies and redundancies in the body of published research. This article analyzes a suspected instance of compression plagiarism that appeared within the pages of this journal and considers the particular ways in which plagiarism of this variety weakens the quality of scholarly argumentation, with special attention paid to the field of philosophy. (shrink)

The usual completeness theorem for first-order logic is extended in order to allow for a natural incorporation of real analysis. Essentially, this is achieved by building in the set of real numbers into the structures for the language, and by adjusting other semantical notions accordingly. We use many-sorted languages so that the resulting formal systems are general enough for axiomatic treatments of empirical theories without recourse to elements of set theory which are difficult to interprete empirically. Thus we provide a (...) way of applying model theory to empirical theories without tricky detours. Our frame is applied to axiomatizations of three empirical theories: classical mechanics, phenomenological thermodynamics, and exchange economics. (shrink)

The characteristics of the meaning of inexpressible is given in the article. It is shown that in the Russian language semantics of inexpressible is represented as a binary functional-semantic category. It was determined that the nuances of semantics of inexpressible can be represented in the form of a gradational scale on which they are distributed within the opposition ‘complete inexpressibleness - complete expressibility‘. The components of the situation of inexpressibleness inherent the means of transference of the value of inexpressible are (...) described. It is shown that the definition of the components of situation of inexpressible contribute to the modeling of the field of semantics of inexpressible: what the concept of inexpressible means, in which situations semantics of inexpressible manifests itself; for whom this situation arises, how it is solved, can it be solved; by what means of language, speech and other semiotic systems it is expressed. It is determined that the situation of inexpressible includes seven components: the subject of speech inexpressibleness; an action that is impossible to express the statement; inexpressibility result of the process; objectivity of the situation described; reasons of inexpressibleness; the object of this situation; spatial area of the situation of inexpressibleness. It is shown that the central part of the functional-semantic field model components number 2, 3 and 4. The private values of the field of semantics of inexpressible were described for the first time. The definition of gradation nuances of inexpressibleness considering the paradigmatic and syntagmatic aspects of the study of the semantics were carried out for the first time. (shrink)