scholarly journals Don’t Care Words with an Application to the Automata-Based Approach for Real Addition

2006 ◽  
pp. 67-80 ◽  
Author(s):  
Jochen Eisinger ◽  
Felix Klaedtke
Keyword(s):  
Real Addition

G. H. R. Parkinson. Introduction. Leibniz, Logical papers, A selection translated and edited with an introduction by G. H. R. Parkinson, Clarendon Press, Oxford1966, pp. ix–Ixv. - Gottfried Wilhelm Leibniz. From Of the art of combination (1666). English translation of a portion of 11 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 1–11. - Gottfried Wilhelm Leibniz. Elements of a calculus (April, 1679). English translation of 114 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 17–24. - Gottfried Wilhelm Leibniz. Rules from which a decision can be made, by means of numbers, about the validity of inferences and about the forms and moods of categorical syllogisms (April, 1679). English translation of 118 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 25–32. - Gottfried Wilhelm Leibniz. A specimen of the universal calculus (1679–86?). English translation of 111 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 33–39. - Gottfried Wilhelm Leibniz. Addenda to the specimen of the universal calculus (1679–86?). English translation of 111 (without the three concluding paragraphs from Couturat) by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 40–46. - Gottfried Wilhelm Leibniz. General inquiries about the analysis of concepts and of truths (1686). English translation of 129 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 47–87. - Gottfried Wilhelm Leibniz. The primary bases of a logical calculus (1 August 1690). English translation of 133 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 90–92. - Gottfried Wilhelm Leibniz. The bases of a logical calculus (2 August 1690). English translation of 134 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 93–94. - Gottfried Wilhelm Leibniz. An intensional account of immediate inference and the syllogism (‘Logical definitions’). English translation of 18 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 112–114. - Gottfried Wilhelm Leibniz. A paper on ‘some logical difficulties’ (after 1690). English translation of 13 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 115–121. - Gottfried Wilhelm Leibniz. A study in the plus-minus calculus (‘A not inelegant specimen of abstract proof’) (after 1690). English translation of 16 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 122–130. - Gottfried Wilhelm Leibniz. A study in the calculus of real addition (after 1690). English translation of 112 by G. H. R. Parkinson. Clarendon Press, Oxford1966, pp. 131–144.

1968 ◽  
Vol 33 (1) ◽  
pp. 139-140
Author(s):  
Alonzo Church
Keyword(s):  
English Translation ◽  
Gottfried Wilhelm Leibniz ◽  
Logical Calculus ◽  
Real Addition ◽  
Leibniz Rules

scholarly journals Leibniz on the Empty Term ‘Nothing’

2021 ◽  
Author(s):  
Filippo Costantini
Keyword(s):  
Singular Term ◽  
Free Logic ◽  
Existence Of God ◽  
The Real ◽  
Real Addition ◽  
Empty Term

This paper discusses Leibniz’s treatment of the term ‘nihil’ that appears in some logical papers about the notion of Real Addition. First, the paper argues that the term should be understood as an empty (singular) term and that sentences with empty terms can be true (§2). Second, it sketches a positive free logic to describe the logical behaviour of empty terms (§3). After explaining how this approach avoids a contradiction that threatens the introduction of the term ‘nihil’ in the Real Addition calculus (§4), and how this approach should be understood within Leibniz’s philosophy (§5), the paper assesses the prospects of such an approach with regard to two fundamental issues in Leibniz’s thought: the fictional nature of infinitesimals (§6), and the occurrence of the term ‘nothing’ in the proof of the existence of God that we find in the New Essays (§7).

scholarly journals Zur Reaktivität von C=N Doppelbindungssystemen, II / The Reactivity of the C=N Double Bond Systems, II

1975 ◽  
Vol 30 (3-4) ◽  
pp. 245-248 ◽  
Author(s):  
Georg Uray ◽  
Erich Ziegler
Keyword(s):  
Double Bond ◽  
Schiff Bases ◽  
Uv Spectroscopy ◽  
H Nmr ◽  
Real Addition ◽  
Spectroscopic Behavior ◽  
C Nmr

The adducts from carboxylicacid chlorides and -anhydrides of aromatic Schiff-Bases differ fundamentally in their spectroscopic behavior compared with the hydrochlorides. A real addition on the azomethine double-bond is shown by 1H NMR, 13C NMR and UV spectroscopy.

scholarly journals Ehrenfeucht–Fraïssé goes automatic for real addition

2010 ◽  
Vol 208 (11) ◽  
pp. 1283-1295
Author(s):  
Felix Klaedtke
Keyword(s):  
Real Addition

scholarly journals The Analytical Study of Medication during Fasting in the Perspective of Shariah Rulings

rahatulquloob ◽  
2018 ◽  
pp. 21-35
Author(s):  
Dr. Muhammad Fakhar ud din ◽  
Dr. Shahab Ashraf Khatak
Keyword(s):  
Human Body ◽  
Spiritual Care ◽  
Analytical Study ◽  
Research Study ◽  
Human Life ◽  
Standing Position ◽  
The Status ◽  
Real Addition ◽  
The One ◽  
Illness And Disease

The beauty of religion Islam is not only to provide the complete life style and charter for one to lead his life smoothly but it flourishes the human life with its eternal directions and commands full of hidden pleasures coupled with physical and spiritual care of human body. In fact, the everlasting religion comprised of such rulings that help individuals in every walk of life until and unless these rulings are implemented and executed in a proper way according to the prescribed codes of Almighty Allah and his Messenger, Prophet Muhammad PBUH. The thorough study of Shariah rulings reveals the fact that to protect the man’s life or even to make it in comfort and ease, the gradual and steady relaxation has been observed like the one unable to perform prayer in standing position, legitimate for him to sit or even through gestures according to the status of his illness and disease. Similarly, the fasting is important part of Worship, obligation upon Muslim to observe fasting during Ramadan with intentions to get Allah’s pleasure and piousness. This research study emphasis on highlighting the shariah rulings about the medication during fasting in order to know the extent of use, specification in drugs like injections and drips along with some relevant discussion about the spirit of medicine permission. The study will be the real addition to the knowledge and will be fine guidance for the Practiced Muslims.

scholarly journals Monotonicity, Convexity, Continuity, and Isomorphism: The Psychological Scaffolding of Arithmetic

2020 ◽  
Author(s):  
Matt Grice ◽  
simon kemp ◽  
Nicola J. Morton ◽  
Randolph C Grace
Keyword(s):  
Algebraic Structure ◽  
Continuous Extension ◽  
Natural Numbers ◽  
Mathematical Concepts ◽  
Real Multiplication ◽  
Starting Point ◽  
Real Addition ◽  
Mathematical Existence ◽  
Monotonic Extension

With the natural numbers as our starting point, we obtain the arithmetic structure of real (as in R) addition and multiplication without relying on any algebraic tools; in particular, we leverage monotonicity, convexity, continuity, and isomorphism. Natural addition arises by minimizing against monotonicity. Rational addition arises from natural addition by minimizing against convexity. Real addition arises from rational addition via any one of three methods; unique convex extension, unique continuous extension, and unique monotonic extension. Real multiplication arises from real addition via isomorphism. Following these mathematical developments, we argue that each of the leveraged mathematical concepts ---monotonicity, convexity, continuity, and isomorphism --- enjoys, prior to its formal mathematical existence, an intuitive psychological existence. Taken together, these lines of argument suggest a way for psychological representation of algebraic structure to emerge from non-algebraic --- and psychologically plausible --- ingredients.

Sign in / Sign up

Export Citation Format

Share Document