Symbolic Logic Research Papers - Academia.edu (original) (raw)

- by
- •
- Symbolic Logic
- by Coskun Bayrak
- •
- Symbolic Logic, Schema Mapping, Heterogeneous Data Sources

Medium density fiberboard (MDF) is an engineered wood product that has density and specific gravity similar to solid wood, ranging from 600 to 800 kg/m3 of density and 0.6 to 0.8 of specific gravity. This makes MDF suitable to partially replace solid wood, particularly for interior application. Approximately over than 100 million m3 of MDF are produced in 2020, resulting in a large amount of waste MDF will be generated in the next 20 years. MDF is produced using urea-formaldehyde (UF) resins adhesive. UF resins adhesive is a poly-condensation product of urea and formaldehyde via an alkaline acid two-step reaction. Sustainable MDF production is required as the world is facing climate change and deforestation. Recycling is a way to support sustainable production in the engineered wood products manufacturing. Many attempts have been done to find ways to recycle waste MDF. The main problem is UF resins, which bond the MDF panel fibers. In order to re-manufacture the waste MDF into new r...

- by Widya Fatriasari
- •
- Materials Science, Symbolic Logic
- by Pauline Jacobson
- •
- Philosophy, Pure Mathematics, Symbolic Logic, Lexical Functional Grammar
- by Branko Nikovski
- •
- Logic, Philosophy of Logic, Mathematical Logic, Symbolic Logic
- by Amirouche Moktefi
- •
- Lewis Carroll, Symbolic Logic
- by Michael Zakharyaschev
- •
- Philosophy, Pure Mathematics, Spatial Representation, Symbolic Logic
- by Juliet Floyd
- •
- Symbolic Logic

Пропонований навчальний посібник є спробою доступного викладу вихідних понять й припущень, концепцій та теорій сучасної символічної логіки. При підготовці лекцій до друку було враховано результати, отримані шляхом розробки актуальних проблем сучасного логічного знання. Навчальний посібник знайомить читача із базовими розділами сучасної символічної логіки – класичними логіками (логікою висловлювань і логікою предикатів) та некласичними логіками (модальною, алетичною, темпоральною, епістемічною, деонтичною логіками). Для студентів та аспірантів філософських спеціальностей, а також усіх, хто цікавиться здобутками сучасної символічної логіки.

A selection of humorous epitaphs of many mathematicians and physicists of yesteryear

- by David Halprin
- •
- Parasitology, Newtonian Dynamics, Calculus of Variations, Quantum Mechanics
- by Amirouche Moktefi
- •
- History of Logic, Lewis Carroll, Alice in Wonderland, Symbolic Logic
- by Amirouche Moktefi
- •
- History of Logic, Diagrammatic Reasoning, Mathematical Logic, George Boole

The author contends that a number of steps should
be taken if we want to honestly upgrade the thinking
instruments of a person, in particular of the Filipino.
Since logical reasoning is contextually rooted in
everyday discourse, it is argued that we replace the
logical term proposition with the term constative.
Secondly, if we intend to train ourselves to think
abstractly, then the Polish notation, rather than the
Hilbert-Ackermann notation, can better do this
function. At any rate, the Polish notation can serve as
an alternative just as perfectly as the Hilbert-Ackermann
notation. Thirdly, it is suggested⎯especially for
Filipino seminaries⎯to go symbolic since it is
economical and convenient, while at the same time
cleansing our modes of thinking of emotive barriers.
Lastly, for one to be completely logical, one needs to
understand that a three-unit course in modern logic,
while in the right direction, is insufficient.

- by Rolando M Gripaldo
- •
- Logic, Language, John R. Searle, Speech acts

Пропонований навчальний посібник призначений для практичного освоєння логічної теорії. За допомогою перспективної методики у ньому розглядаються головні теми і ключові проблеми логіки як теоретичної та навчальної дисципліни, а також наводяться логічні завдання і методики їх розв’язання, що забезпечує набуття логічного досвіду, підвищення рівня логічної культури мислення. Для студентів, аспірантів, викладачів та усіх, хто вивчає логіку самостійно, вдосконалює мислення й розвиває інтелект.

- by Amit Shomrat
- •
- Philosophy, Pure Mathematics, Symbolic Logic, Boolean Satisfiability

It is the proof of De Morgan's laws made in Fitch notation for students of logic lecture.

- by Murat Şamil Şen
- •
- Logic, Proof and Reasoning, Natural Deduction, Symbolic Logic

The aim of the paper is show that that W. V. O. Quine's animadversions against modal logic did not get the same attention that is considered to be the case nowadays. The community of logicians focused solely on the technical aspects of C. I. Lewis' systems and did not take Quine's arguments and remarks seriously – or at least seriously enough to respond. In order to assess Quine's place in the history, however, his relation to Carnap is considered since their notorious break was about the status of extensionality and modal logic (and analyticity was much more of a second issue). Since much of the works about the history of analytic philosophy is centered on the relationship of Quine and Carnap, their break about modality deserves much more attention – it also sheds some light on why should anyone wonder about Quine's early arguments against modal logic. The paper ends with some further considerations regarding the early formation of modal logic and hitherto unconsidered problematic issues.

Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least general Kripke semantics on through Beth semantics, topological semantics, Dragalin semantics, and finally to the most general algebraic semantics. While the Kripke, topological, and algebraic semantics have been extensively studied, the Beth and Dragalin semantics have received less attention. We bring Beth and Dragalin semantics to the fore, relating them to the concept of a nucleus from pointfree topology, which provides a unifying perspective on the semantic hierarchy.

- by Wesley Holliday
- •
- Modal Logic, Intuitionistic Logic, Logic, Philosophical Logic

The paper addresses the abundance of imperfections in Nature and Society, i.e., Reality. Imperfections are encountered in all Sciences and the Arts, models of what this author refers to as Virtual Realities. They are specifically recorded in systems of Logic, and cover Linguistics, Mathematics, and all Natural, Biological and Social Sciences, Humanities, and the Professions. Photographs are included from different fields, that highlight topics in Astronomy, Painting, Sculpture and Architecture, vividly capturing certain aspects of these imperfections. Ways towards managing imperfections are put forward, consistent with what this author refers to as a New Epistemology, a field using methods from the fields of Nonlinear Dynamics, Fuzzy Sets Theory, Quantum Mechanics, and Modern Metrology. In this third paper of a triptych, the mathematical Theory of Optimization is added to the mix, as more attention is focused on Symbolic Logic. The effort is directed towards deriving a Quantum Reasoning approach to Logic and Computing. Subjects involved in purposeful individual behavior are used, as the material to structure a General Theory of Action, where the critical role that an observer, operating within a space-time scale, plays is emphasized. There is an Addendum to this paper here: https://www.academia.edu/49456134/%CE%9F%CE%9D_IMPERFECTIONS_Addendum_I

- by Dimitrios S Dendrinos, Ph.D.
- •
- History, Sociology, Psychology, Mathematics

In broad overview, dunes are rounded, elliptical, parabolic or crescentic mounds of loose sand, which have been piled up by wind action in the areas of lakes, (lacustrine dunes), rivers, sea coasts and deserts.
There are 5 or 6 supposed basic dune-types, as well as a few other variations, so herein is an approximate mathematical treatment for the simpler ones, since exactness is a pointless goal with this type of natural phenomenon, that evolves over long periods of time, and can be looked at either as a flowing object or as a stationary one, depending on one's approach.
Dunes are all composite structures, that can be deconstructed mathematically. Their aerial views/profiles and lateral profiles will be examined as well as the rippled surfaces of some.

- by David Halprin
- •
- Parasitology, Calculus of Variations, Quantum Mechanics, Fractals

The traditional conflict in epistemology has been between rationalism and empiricism. Philosophers have often tried to align themselves in one of these schools even though a close reading of some of their writings may suggest they may often have used both varyingly, one more than the other. This paper demonstrates that both rationalism and empiricism work together and are thus called the rational-empiric model. The paper extends the scope of the rational-empiric model to also evolving cognitive developments and other aspects of reasoning such as computational thought and makes an effort towards summarizing the nature of human reason by explaining the functional intellect and the structural brain since the time of Aristotle to date drawing from theology, philosophy, logic, computer science, and psychology. The paper presents the rational-empiric model in a broader in-depth context with supporting ideas and evidence. Various literature on theology, logic, philosophy, and psychology has been used to elaborate on the concepts. The paper concludes that the purpose of the rational empiric model is to discover knowledge by finding and understanding ontologies as they exist and function or as they ought to exist and function.

- by István Németi
- •
- Philosophy, Pure Mathematics, Symbolic Logic, Algebraic Logic
- by Seth Vannatta
- •
- Logic, Critical Thinking, Symbolic Logic
- by Costas Dimitrakopoulos
- •
- Philosophy, Pure Mathematics, Symbolic Logic, Peano arithmetic
- by Gideon Rosen
- •
- Philosophy, Symbolic Logic, Nous
- by Ali Enayat
- •
- Set Theory, Philosophy, Pure Mathematics, Symbolic Logic
- by Andrea Cantini
- •
- Philosophy, Pure Mathematics, Symbolic Logic

В предлагаемой книге предпринята попытка общедоступного изложения современной логики. Содержание работы затрагивает наиболее актуальные вопросы математической, вероятностной и неформальной логики трех доминирующих разделов современного... more

The Symbolic Logic Study Guide is designed to be used in conjunction with Language, Proof, and Logic (LPL), by Jon Barwise and John Etchemendy, (CSLI Publications 2003). It is intended to help instructors teach and students learn the text... more

- by Xinli Wang （王新力）
- •
- Logic, Symbolic Logic

PREFACE INTRODUCTORY TO DRAFT 3; EXPLANATORY IMPORTANT NOTICE
This paper contains many interrelated sections, most of which are complete. Those, that are incomplete, are `works-in-progress' and their updated versions are intended for appearance ASAP, hopefully weekly. This premature publication is due to the recent news broadcast of research findings (the black hole Sagittarius A and dark matter) of the Nobel prize winners Roger Penrose, Reinhard Genzel and Andrea Ghez. Their areas of research are also covered in this draft paper, and each reader has the opportunity to make his/her own personal discernment and/or judgement of the conclusions thereof. ────────────────────────────────────

- by David Halprin
- •
- Parasitology, Mathematics, Theoretical Physics, Newtonian Dynamics

In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem [1979], " Syntactic aspects of modal incompleteness theorems, " and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, V-BAOs. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem's paper resolves the open question in the negative. In addition, for the case of bimodal logic, we show that there is a naturally occurring logic that is incomplete with respect to V-BAOs, namely the provability logic GLB [Japaridze, 1988, Boolos, 1993]. We also show that even logics that are unsound with respect to such algebras do not have to be more complex than the classical propositional calculus. On the other hand, we observe that it is undecidable whether a syntactically defined logic is V-complete. After these results, we generalize the famed Blok Dichotomy [Blok, 1978] to degrees of V-incompleteness. In the end, we return to van Benthem's theme of syntactic aspects of modal incompleteness.

- by Wesley Holliday and +1
- •
- Modal Logic, Logic, Philosophical Logic, Mathematical Logic
- by Richard Grandy
- •
- Philosophy, Pure Mathematics, Symbolic Logic
- by Nino B Cocchiarella
- •
- Symbolic Logic

Symbolic logic faced great difficulties in its early stage of development in order to acquire recognition of its utility for the needs of science and society. The aim of this paper is to discuss an early attempt by the British logician Lewis Carroll (1832– 1898) to promote symbolic logic as a social good. This examination is achieved in three phases: first, Carroll's belief in the social utility of logic, broadly understood, is demonstrated by his numerous interventions to fight fallacious reasoning in public debates. Then, Carroll's attempts to promote symbolic logic, specifically, are revealed through his work on a treatise that would make the subject accessible to a wide and young audience. Finally, it is argued that Carroll's ideal of logic as a common good influenced the logical methods he invented and allowed him to tackle more efficiently some problems that resisted to early symbolic logicians.

- by Amirouche Moktefi
- •
- Logic, History of Logic, Lewis Carroll, Logic Education

This 8-page long paper addresses the Linguistic implications of two Latin expressions, involving temporal sequencing regarding structures, objects and events, for Set Theory, Topology and Symbolic Logic in view of fuzziness and fluidity, two core characteristics in the field of what this author has called the “New Epistemology”. The two Latin expressions analyzed are: terminus ante quem, together with its modification terminus ante quem non, and terminus post quem.

- by Dimitrios S Dendrinos, Ph.D.
- •
- Mathematics, Archaeology, Philosophy, Epistemology
- by James Aczel
- •
- Computer Science, Educational Technology, Learning Technology, British

An upper-level symbolic logic course aimed at students who have had little to no formal logic training.

- by Nolan Little
- •
- Symbolic Logic

ÖZ Formel mantık alanında Venn şemalarıyla kıyasların geçerlilik denetlemelerinde bazı güçlükler doğmaktadır. Venn şemalarıyla güçlü geçerli kıyasların anlaşılması ve belirlenmesi gayet kolayken, zayıf geçerli olduğu durumlar ile geçersiz olduğu durumlar arasındaki fark hemen anlaşılmamaktadır. Kategorik bir kıyasın zayıf geçerli olarak kurulması, Aristoteles tarafından doğru kabul edilmesine rağmen Boole tarafından "varoluşsal hata" (existential fallacy) olarak adlandırılır. Çünkü "altık kipli" olarak da adlandırabileceğimiz bu tür kıyaslar iki tümelden tikel bir sonuç çıkararak, aslında varoluşsal yükü olmayan tümel önermelerden varoluşsal yükü olan tikel bir önerme çıkarmış ve varoluşsal bir varsayımda bulunmuştur. Elbette bu konu başka bir çalışmanın ilgi alanını oluşturacaktır, çünkü bu çalışmada daha baştan böylesine varoluşsal varsayımlı kıyasların geçerli olduğu kabul edilmiş ve Venn şemalarıyla denetlerken geçerliliğine ilişkin kuralların varlığı araştırılmıştır. Oldukça teknik sayılabilecek bu çalışma aracılığıyla alana ilgi duyan akademisyen ve eğitimcilere yol göstermek de amaçlanmıştır. Temel problem zayıf veya varoluşsal kipte olan kıyasların geçerliliğine ilişkin kapsayıcı kuralları bulmaktır ve bu tür kıyasların geçersiz olan kipleri de Venn şemaları yoluyla incelenmiştir. Özellikle dördüncü şekil varoluşsal kipte olan kıyaslar fazlasıyla sorunlar içermekte ve bu çalışmanın odak noktasını oluşturmaktadır. İzlenen temel yöntem Venn şemalarıyla denetim ve sonuçlarını yorumlamak şeklindedir. Giriş sayılabilecek bazı bilgilerle mantığa uzak okuyucunun da konuyu ve problemi rahat bir şekilde anlamasını sağlamak amaçlanmıştır. Daha sonra problemin sergilenmesi için kategorik kıyasın dört şekline ait

- by Caner Çiçekdağı
- •
- Philosophy, Logic, Aristotle, Symbolic Logic
- by Ali Bilge Öztürk
- •
- Logic, Informal Logic, History of Informal Logic, History of Symbolic Logic
- by William Rapaport
- •
- Symbolic Logic
- by Verónica Becher
- •
- Philosophy, Pure Mathematics, Symbolic Logic, Turing machine
- by Steve Awodey
- •
- Philosophy, Pure Mathematics, Topos theory, Classical Logic
- by Roy Dyckhoff
- •
- Intuitionistic Logic, Philosophy, Pure Mathematics, Symbolic Logic

Contemporary orthodoxy affirms that singular terms cannot be predicates and that, therefore, ‘is’ is ambiguous as between predication and identity. Recent attempts to treat names as predicates do not challenge this orthodoxy. The orthodoxy was built into the structure of modern formal logic by Frege. It is defended by arguments which I show to be unsound. I provide a semantical account of atomic sentences which draws upon Mill’s account of predication, connotation and denotation. I show that singular terms may be predicates, that it is highly implausible that there is an ‘is’ of identity in natural languages, and that modern formal logic is deficient in that it cannot recognise propositions, including singular existentials, in which singular terms are predicates, or inferences which depend upon the logical role rather than the logical category of expressions.

- by Danny Frederick
- •
- Philosophy Of Language, Philosophical Logic, Philosophy of Logic, Predication