. Relational semantics for nonclassical logics lead straightforwardly to topological representation theorems of their algebras. Ortholattices and De Morgan lattices are reducts of the algebras of various nonclassical logics. We define three new classes of topological spaces so that the lattice categories and the corresponding categories of topological spaces turn out to be dually isomorphic. A key feature of all these topological spaces is that they are ordered relational or ordered product topologies.

We present an embedding of the Lambek–Grishin calculus into an extension of the nonassociative Lambek calculus with negation. The embedding is based on the De Morgan interpretation of the dual Grishin connectives.

This paper develops De Morgan-Płonka sums, which generalise Płonka sums to contexts in which negation is not topically transparent but still respects De Morgan duality. We give a general theory of De Morgan-Płonka sums, on the model of the general theory of Płonka sums. Additionally, we describe free De Morgan-Płonka sums and apply our construction to give an algebraic proof of completeness for Kit Fine’s truthmaker semantics for Angell’s logic of analytic containment.

In this paper we use Hobby's duality for semi-De Morgan algebras, to characterize those algebras having only principal congruences in the classes of semi-De Morgan algebras, demi-pseudocomplemented lattices and almost pseudocomplemented lattices. This work extends some of the results reached by Beazer in [3] and [4].

Monoidal logics were introduced as a foundational framework to analyse the proof theory of deontic logic. Building on Lambek’s work in categorical logic, logical systems are defined as deductive systems, that is, as collections of equivalence classes of proofs satisfying specific rules and axiom schemata. This approach enables the classification of deductive systems with respect to their categorical structure. When looking at their proof theory, however, one can see that there are similarities between monoidal and substructural logics. The purpose of (...) the present paper is to address this issue and highlight the differences between these two approaches. We argue that monoidal logics provide a more flexible foundational framework that enables a finer analysis of the relationship between negation and other logical connectives. We show that the elimination of double negation is independent from the de Morgan dualities, that monoidal deductive systems are not necessarily weakly distributive and that deduc... (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Originally published in 1966 On the Syllogism and Other Logical Writings assembles for the first time the five celebrated memoirs of Augustus De Morgan on the syllogism. These are collected together with the more condensed accounts of his researches given in his Syllabus of a Proposed System of Logic an article on Logic contributed to the English Cyclopaedia. De Morgan was among the most distinguished of nineteenth century British mathematicians but is chiefly remembered today as one of the (...) founders of modern mathematical logic. His writings on this subject have been little read, however since apart from his Formal Logic, they lie buried for the most part in inaccessible periodicals. De Morgan's own later amendments are inserted in the text and the editorial introduction gives a summary of the whole and traces in some detail the course of the once-famous feud with Sir William Hamilton of Edinburgh. (shrink)

In this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al. in Studia Logica 109(2):285–312, 2021, Studia Logica 110(1):241–263, 2022). We define the variety of algebras, which we call tense Nelson D-algebras, as a natural extension of tense De Morgan algebras (Figallo and Pelaitay in Logic J IGPL 22(2):255–267, 2014). In particular, we give a discrete duality for these algebras. To do this, we will extend the representation theorems for Nelson algebras given in (...) Sendlewski (Studia Logica 43(3):257–280, 1984) to the tense case. (shrink)

Augustus De Morgan was a British mathematician and logician. He formulated De Morgan's laws and introduced the term mathematical induction, making its idea rigorousFrom the introduction:"If I had before me a fly and an elephant, having never seen more than one such magnitude of either kind; and if the fly were to endeavor to persuade me that he was larger than the elephant, I might by possibility be placed in a difficulty. The apparently little creature might use such (...) arguments about the effect of distance, and might appeal to such laws of sight and hearing as I, if unlearned in those things, might be unable wholly to reject. But if there were a thousand flies, all buzzing, to appearance, about the great creature; and, to a fly, declaring, each one for himself, that he was bigger than the quadruped; and all giving different and frequently contradictory reasons; and each one despising and opposing the reasons of the others-I should feel quite at my ease. I should certainly say, My little friends, the case of each one of you is destroyed by the rest. I intend to show flies in the swarm, with a few larger animals, for reasons to be given.In every age of the world there has been an established system, which has been opposed from time to time by isolated and dissentient reformers. The established system has sometimes fallen, slowly and gradually: it has either been upset by the rising influence of some one man, or it has been sapped by gradual change of opinion in the many.I have insisted on the isolated character of the dissentients, as an element of the a priori probabilities of the case. Show me a schism, especially a growing schism, and it is another thing. The homeopathists, for instance, shall be, if any one so think, as wrong as St. John Long; but an organized opposition, supported by the efforts of many acting in concert, appealing to common arguments and experience, with perpetual succession and a common seal, as the Queen says in the charter, is, be the merit of the schism what it may, a thing wholly different from the case of the isolated opponent in the mode of opposition to it which reason points out.During the last two centuries and a half, physical knowledge has been gradually made to rest upon a basis which it had not before. It has become mathematical. The question now is, not whether this or that hypothesis is better or worse to the pure thought, but whether it accords with observed phenomena in those consequences which can be shown necessarily to follow from it, if it be true. Even in those sciences which are not yet under the dominion of mathematics, and perhaps never will be, a working copy of the mathematical process has been made. This is not known to the followers of those sciences who are not themselves mathematicians and who very often exalt their horns against the mathematics in consequence. They might as well be squaring the circle, for any sense they show in this particular.". (shrink)

In this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes’ representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas–Dunn duality and introduce the categories of 2spaces and 2spaces\. The categories of 2spaces and 2spaces\ will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category (...) of Stone spaces with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent. (shrink)

The Priestley duality for Wajsberg algebras is developed. The Wajsberg space is a De Morgan space endowed with a family of functions that are obtained in rather natural way.As a first application of this duality, a theorem about unicity of the structure is given.

Quantum geometry on a discrete set means a directed graph with a weight associated to each arrow defining the quantum metric. However, these ‘lattice spacing’ weights do not have to be independent of the direction of the arrow. We use this greater freedom to give a quantum geometric interpretation of discrete Markov processes with transition probabilities as arrow weights, namely taking the diffusion form ∂+f = f for the graph Laplacian Δθ, potential functions q, p built from the probabilities, and (...) finite difference ∂+ in the time direction. Motivated by this new point of view, we introduce a ‘discrete Schrödinger process’ as ∂+ψ = ıψ for the Laplacian associated to a bimodule connection such that the discrete evolution is unitary. We solve this explicitly for the 2-state graph, finding a 1-parameter family of such connections and an induced ‘generalised Markov process’ for f = |ψ|2 in which there is an additional source current built from ψ. We also mention our recent work on the quantum geometry of logic in ‘digital’ form over the field F2 = {0, 1}, including de Morgan duality and its possible generalisations. (shrink)

O objetivo do estudo foi investigar a prevalência e motivos do uso de álcool, tabaco e outras drogas por acadêmicos. A amostra foi composta por 560 estudantes, entre 17 e 74 anos ( M = 31,16, DP = 11,10). As substâncias com maior prevalência de uso na vida foram álcool e tabaco. Dentre as drogas ilí..

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)

De Morgan's Formal Logic, which was published on virtually the same day in 1847 as Boole's The Mathematical Analysis of Logic, contains a logic of complex terms (LCT) which has been sadly neglected. It is surprising to find that LCT contains almost a full theory of Boolean algebra. This paper will: (1) provide some background to LCT; (2) outline its main features; (3) point out some gaps in it; (4) compare it with Boole's algebra; (5) show that it is (...) a lattice-theoretical formulation of Boolean algebra; (6) discuss some issues of historical priority; and (7) conclude with the puzzle of LCT's lack of influence. (shrink)

It was shown in [3] (see also [5]) that there is a duality between the category of bounded distributive lattices endowed with a join-homomorphism and the category of Priestley spaces endowed with a Priestley relation. In this paper, bounded distributive lattices endowed with a join-homomorphism, are considered as algebras and we characterize the congruences of these algebras in terms of the mentioned duality and certain closed subsets of Priestley spaces. This enable us to characterize the simple and subdirectly irreducible algebras. (...) In particular, Priestley relations enable us to characterize the congruence lattice of the Q-distributive lattices considered in [4]. Moreover, these results give us an effective method to characterize the simple and subdirectly irreducible monadic De Morgan algebras [7].The duality considered in [4], was obtained in terms of the range of the quantifiers, and such a duality was enough to obtain the simple and subdirectly irreducible algebras, but not to characterize the congruences. (shrink)

The lattices of the title generalize the concept of a De Morgan lattice. A representation in terms of ordered topological spaces is described. This topological duality is applied to describe homomorphisms, congruences, and subdirectly irreducible and free lattices in the category. In addition, certain equational subclasses are described in detail.

The middle years of the nineteenth century saw two crucial develop ments in the history of modern logic: George Boole's algebraic treat ment of logic and Augustus De Morgan's formulation of the logic of relations. The former episode has been studied extensively; the latter, hardly at all. This is a pity, for the most central feature of modern logic may well be its ability to handle relational inferences. De Morgan was the first person to work out an extensive (...) logic of relations, and the purpose of this book is to study this attempt in detail. Augustus De Morgan (1806-1871) was a British mathematician and logician who was Professor of Mathematics at the University of London (now, University College) from 1828 to 1866. A prolific but not highly original mathematician, De Morgan devoted much of his energies to the rather different field of logic. In his Formal Logic (1847) and a series of papers "On the Syllogism" (1846-1862), he attempted with great ingenuity to reformulate and extend the tradi tional syllogism and to systematize modes of reasoning that lie outside its boundaries. Chief among these is the logic of relations. De Mor gan's interest in relations culminated in his important memoir, "On the Syllogism: IV and on the Logic of Relations," read in 1860. (shrink)

We present substructural negations, a family of negations classified in terms of structural rules of an extended kind of sequent calculus, display calculus. In considering the whole picture, we emphasize the duality of negation. Two types of negative modality, impossibility and unnecessity, are discussed and "self-dual" negations like Classical, De Morgan, or Ockham negation are redefined as the fusions of two negative modalities. We also consider how to identify, using intuitionistic and dual intuitionistic negations, two accessibility relations associated with (...) impossibility and unnecessity. (shrink)

De la philosophie de la nature de Schelling à l'intérêt de Mallarmé pour la psychophysique d'Eugène de Roberty, cet ouvrage tenté de mettre en lumière un infini immanent au fini, qui prend la forme d'un panthéisme organique. L'organisme permet de dépasser la substance fixe de Spinoza et d'élaborer une doctrine du Dieu vivant.

The only complete edition in English of Baruch Spinoza's works, this volume features Samuel Shirley's preeminent translations, distinguished at once by the lucidity and fluency with which they convey the flavor and meaning of Spinoza's original texts. Michael L. Morgan provides a general introduction that places Spinoza in Western philosophy and culture and sketches the philosophical, scientific, religious, moral and political dimensions of Spinoza's thought. Morgan's brief introductions to each work give a succinct historical, biographical, and philosophical overview. (...) A chronology and index are included. (shrink)

In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.

This paper will annoy modern logicians who follow Bertrand Russell in taking pleasure in denigrating Aristotle for [allegedly] being ignorant of relational propositions. To be sure this paper does not clear Aristotle of the charge. On the contrary, it shows that such ignorance, which seems unforgivable in the current century, still dominated the thinking of one of the greatest modern logicians as late as 1831. Today it is difficult to accept the proposition that Aristotle was blind to the fact that, (...) for example, incommensurability is a relation and not a property: that the proposition “In every square, the diagonals are incommensurable with the sides” is relational and not categorical. This paper asks the reader to do something more difficult: to accept the proposition that as late as 1831 De Morgan was blind to the same fact. This paper shows conclusively that in 1831, De Morgan was still in the grips of the allegedly Aristotelian paradigm. (shrink)

We investigate the class of those algebras in which is a de Morgan algebra, is a quasi-Stone algebra, and the operations \ and \ are linked by the identity x**º = x*º*. We show that such an algebra is subdirectly irreducible if and only if its congruence lattice is either a 2-element chain or a 3-element chain. In particular, there are precisely eight non-isomorphic subdirectly irreducible Stone de Morgan algebras.

In the early nineteenth century, Henry Brougham endeavored to improve the moral character of England through the publication of educational texts. Soon after, Brougham helped form the Society for the Diffusion of Useful Knowledge to carry his plan of moral improvement to the people. Despite its goal of improving the nation’s moral character, the Society refused to publish any treatises on explicitly moral or religious topics. Brougham instead turned to a mathematician, Augustus De Morgan, to promote mathematics as a (...) rational subject that could provide the link between the secular and religious worlds. Using specific examples gleaned from the treatises of the Society, this article explores both how mathematics was intended to promote the development of reason and morality and how mathematical content was shaped to fit this particular view of the usefulness of mathematics. In the course of these treatises De Morgan proposed a fundamentally new pedagogical approach, one which focused on the student and the role mathematics could play in moral education.Keywords: Mathematics; Education; Henry Brougham; Augustus De Morgan; Nineteenth-century England. (shrink)

Two new first-order paraconsistent logics with De Morgan-type negations and co-implication, called symmetric paraconsistent logic (SPL) and dual paraconsistent logic (DPL), are introduced as Gentzen-type sequent calculi. The logic SPL is symmetric in the sense that the rule of contraposition is admissible in cut-free SPL. By using this symmetry property, a simpler cut-free sequent calculus for SPL is obtained. The logic DPL is not symmetric, but it has the duality principle. Simple semantics for SPL and DPL are introduced, and (...) the completeness theorems with respect to these semantics are proved. The cut-elimination theorems for SPL and DPL are proved in two ways: One is a syntactical way which is based on the embedding theorems of SPL and DPL into Gentzen’s LK, and the other is a semantical way which is based on the completeness theorems. (shrink)

Dans ses écrits sur l�esthétique, Friedrich Schleiermacher s�est attaché à formuler une critique de la philosophie de l�art de son contemporain Schelling. Schleiermacher en ressort comme un penseur du savoir-faire artistique, à la fois opposé à l�idéalisme schellingien pour lequel l�art demeure un organe de l�absolu placé sous le signe du génie, et engagé dans une définition de l��uvre d�art comme manière de former le monde à l�aide du sentiment de la raison (Vernunftgefu¨hl).

Les courtiers du savoir sont présentés comme des acteurs se déplaçant entre deux mondes, les producteurs de savoir et les utilisateurs de savoir. Leur travail ne consiste pourtant pas seulement à servir de véhicule entre les deux mondes ; ils opèrent d’une triple manière : ils mettent les savoirs en circulation, les traduisent et les solidifient. Ils établissent en fait des connexions très particulières transitoires, temporaires et flexibles. L’article s’attache à décrire ces opérations pour montrer que le courtage conduit vers (...) un nouveau monde aux contours incertains et surtout imprévisibles.Knowledge brokers may be described as people moving between the two different worlds of knowledge producers and knowledge users. However, they do more than merely shuttle knowledge between the two worlds. Their task is threefold: they bring knowledge into circulation, translate it and give it solid substance. To do so, they establish very specific, transitory, temporary and flexible connections. This article describes their operations to show that knowledge brokering is ushering in a new world whose boundaries are not only uncertain but also unpredictable. (shrink)

O climatério/menopausa é caracterizado por intensas alterações morfofisiológicas e comportamentais. O objetivo foi identificar os sinais e sintomas do climatério/menopausa e a sua relação com a Imagem corporal de mulheres ribeirinhas de uma região da Amazônia Brasileira. Estudo incluiu 100 mulheres de seis comunidades ribeirinhas de Itaituba/Pará. Os instrumentos utilizados foram: o questionário sociodemográfico, a Escala dos Sinais e Sintomas da Menopausa (MRS) e a Escala de Silhuetas de Stunkard. Para avaliar as associações entre as variáveis categóricas, o teste qui-quadrado (...) de Pearson e teste exato de Fisher foram utilizados, (p≤0,05). Os resultados indicaram que 76% das mulheres estavam insatisfeitas com a sua imagem corporal, seja porque queriam ter corpos menores ou corpos maiores. Em relação aos sintomas do climatério/menopausa, estes são percebidos de forma moderada pelas mulheres. Conclusão: Se faz necessário levar as mulheres o conhecimento desta fase da vida e assim promover saúde neste importante período da vida. (shrink)

Simone de Beauvoir held that human experience is intrinsically ambiguous and that there are no values extrinsic to experience, but she also designated some actions as absolute evil. This essay explains how Beauvoir utilized an intrinsic absolute value to ground an action-guiding principle of freedom that justifies her notion of evil. Morgan's analysis counters Robin May Schott's objections that Beauvoir failed to systematically justify her notion of absolute evil and that Beauvoir shifted from a “logic of action” to a (...) “logic of history” when she utilized the concept. (shrink)

In this note we introduce and study algebras of type such that is a bounded distributive lattice and ⌝ is an operator that satisfies the condition ⌝ = a ⌝ b and ⌝ 0 = 1. We develop the topological duality between these algebras and Priestley spaces with a relation. In addition, we characterize the congruences and the subalgebras of such an algebra. As an application, we will determine the Priestley spaces of quasi-Stone algebras.

The lack of double negation and de Morgan properties makes fuzzy logic unsymmetrical. This is the reason why fuzzy versions of notions like closure operator or Galois connection deserve attention for both antiotone and isotone cases, these two cases not being dual. This paper offers them attention, comming to the following conclusions: – some kind of hardly describable ‘‘local preduality’’ still makes possible important parallel results; – interesting new concepts besides antitone and isotone ones (like, for instance, conjugated pair), (...) that were classically reducible to the first, gain independency in fuzzy setting. (shrink)