Results for 'formal system'

1000+ found
Order:
  1. A Formal System for Euclid’s Elements.Jeremy Avigad, Edward Dean & John Mumma - 2009 - Review of Symbolic Logic 2 (4):700--768.
    We present a formal system, E, which provides a faithful model of the proofs in Euclid's Elements, including the use of diagrammatic reasoning.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  2.  23
    The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2019 - Erkenntnis:1-29.
    Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. A Formal System for Classical Particle Mechanics, its Model-Theoretic Applications and Space-Time Structure.Toshio Ishigaki - 1995 - Synthese 102 (2):267 - 292.
    In the history of Newtonian Mechanics physicists and astronomers did not rely on so-called inertial frames, indeed they were not able to identify such frames. So the usual neo-Newtonian formalism of Newtonian Mechanics contains some superfluous components. In the present paper I will formulate a formal system for classical particle mechanics in Leibnizian space-time, where a relation, a counterpart of the second law of motion, between force on bodies and derivative of their momentum will be defined relative to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  13
    A Game-Based Formal System for Ł ${}_{\Infty}$.Alan Adamson & Robin Giles - 1979 - Studia Logica 38 (1):49 - 73.
    A formal system for Ł ${}_{\infty}$ , based on a "game-theoretic" analysis of the Łukasiewicz propositional connectives, is defined and proved to be complete. An "Herbrand theorem" for the Ł ${}_{\infty}$ predicate calculus (a variant of some work of Mostowski) and some corollaries relating to its axiomatizability are proved. The predicate calculus with equality is also considered.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  44
    A Complete and Consistent Formal System for Sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
    A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  46
    A Formal System of Logic.Hao Wang - 1950 - Journal of Symbolic Logic 15 (1):25-32.
    The main purpose of this paper is to present a formal systemPin which we enjoy a smooth-running technique and which countenances a universe of classes which is symmetrical as between large and small. More exactly,Pis a system which differs from the inconsistent system of [1] only in the introduction of a rather natural new restrictive condition on the defining formulas of the elements. It will be proved that if the weaker system of [2] is consistent, thenPis (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  46
    Kurt Gödel’s First Steps in Logic: Formal Proofs in Arithmetic and Set Theory Through a System of Natural Deduction.Jan von Plato - 2018 - Bulletin of Symbolic Logic 24 (3):319-335.
    What seem to be Kurt Gödel’s first notes on logic, an exercise notebook of 84 pages, contains formal proofs in higher-order arithmetic and set theory. The choice of these topics is clearly suggested by their inclusion in Hilbert and Ackermann’s logic book of 1928, the Grundzüge der theoretischen Logik. Such proofs are notoriously hard to construct within axiomatic logic. Gödel takes without further ado into use a linear system of natural deduction for the full language of higher-order logic, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  4
    A Formal System for the Non-Theorems of the Propositional Calculus.Xavier Caicedo - 1978 - Notre Dame Journal of Formal Logic 19:147.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  39
    A Multidimensional Modal Translation for a Formal System Motivated by Situation Semantics.Barba Escriba Juan - 1991 - Notre Dame Journal of Formal Logic 32 (4):598-608.
  10.  27
    A Formal System for the Non-Theorems of the Propositional Calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.
  11.  19
    A Formal System.G. Y. Rainick - 1960 - Notre Dame Journal of Formal Logic 1 (3):123-126.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  48
    Logical Inquiries Into a New Formal System with Plural Reference.Ran Lanzet & Hanoch Ben-Yami - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Schefler & Wansing Heinrich (eds.), First-Order Logic Revisited. Berlin: Logos Verlag. pp. 173-223.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  14
    N. A. Šanin. On the Constructive Interpretation of Mathematical Judgments. English Translation of XXXI 255 by Elliott Mendelson. American Mathematical Society Translations, Ser. 2 Vol. 23 , Pp. 109–189. - A. A. Markov. On Constructive Functions. English Translation of XXXI 258 by Moshe Machover. American Mathematical Society Translations, Vol. 29 , Pp. 163–195. - S. C. Kleene. A Formal System of Intuitionistic Analysis. The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 1–89. - S. C. Kleene. Various Notions of Realizability:The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam1965, Pp. 90–132. - Richard E. Ve. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  19
    On the Definition of Substitution, Replacement and Allied Notions in a Abstract Formal System.Haskell B. Curry - 1952 - Revue Philosophique De Louvain 50 (26):251-269.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  33
    Language, Metalanguage, and Formal System.Haskell B. Curry - 1950 - Philosophical Review 59 (3):346-353.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  36
    A Proof of Hume's Separation Thesis Based on a Formal System for Descriptive and Normative Statements.Arnold A. Johanson - 1973 - Theory and Decision 3 (4):339-350.
  17. Tonal Harmony as a Formal System.P. PulkkO - 1988 - Acta Philosophica Fennica 43:300-322.
     
    Export citation  
     
    Bookmark  
  18.  22
    Haskell B. Curry. Philosophische Bemerkungen Zu Einigen Problemen der Mathematischen Logik. Archiv Für Philosophie, Vol. 4 No. 2 , Pp. 147–156. - Haskell B. Curry. L-Semantics as a Formal System. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités Scientifiques Et Industrielles 1134, Hermann & Cie, Paris1951, Pp. 19–29. - Haskell B. Curry. On the Definition of Substitution, Replacement and Allied Notions in an Abstract Formal System. Revue Philosophique de Louvain, Vol. 50 , Pp. 251–269. - Haskell B. Curry. Mathematics, Syntactics and Logic. Mind, N. S. Vol. 62 , Pp. 172–183. - Haskell B. Curry. Les Systèmes Formels Et les Langues. Les Méthodes Formelles En Axiomatique. Paris Décembre 1950, Colloques Internationaux du Centre National de la Recherche Scientifique No. 36, Paris1953, Pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les Méthodes Formelles En Axiomatique. Paris Décembre 1950, Colloques I. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
  19.  21
    Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas.John Gregory - 1971 - Journal of Symbolic Logic 36 (3):445-455.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  6
    Mostowski A.. A Class of Models for Second Order Arithmetic. Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques Et Physiques, Vol. 7 , Pp. 401–404.Mostowski A.. Formal System of Analysis Based on an Infinitistic Rule of Proof. Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, Pp. 141–166. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  16
    Maehara Shôji. Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types. Annals of the Japan Association for Philosophy of Science, Vol. 2 No. 2 , Pp. 55–64. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.
  22.  10
    Maehara Shôji and Takeuti Gaisi. A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. Journal of the Mathematical Society of Japan, Vol. 13 , Pp. 357–370. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
  23.  21
    Review: Shoji Maehara, General Recursive Functions in the Number-Theoretic Formal System[REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
  24.  14
    Maehara Shôji. General Recursive Functions in the Number-Theoretic Formal System. Annals of the Japan Association for Philosophy of Science, Vol. 1 No. 2 , Pp. 119–130. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):90-90.
  25.  14
    Aristotle's Formal System of Modal Logic and its Modal Paradoxes.Lei Ma - 2016 - Philosophical Forum 47 (1):5-15.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  13
    On the Problem of Deciding Equality in Partial Combinatory Algebras and in a Formal System.Giuseppa Longo - 1976 - Studia Logica 35 (4):363 - 375.
  27.  5
    A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions.Gaisi Takeuti - 1962 - Journal of Symbolic Logic 27 (4):468-468.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  18
    Value Theory as a Formal System.Robert S. Hartman - 1958 - Kant-Studien 50 (1-4):287-315.
  29.  6
    Curry Haskell B.. Language, Metalanguage, and Formal System. The Philosophical Review, Vol. 59 , Pp. 346–353.A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (3):270-270.
  30.  1
    A Formal System of Logic.Hao Wang - 1950 - Journal of Symbolic Logic 15 (3):228-229.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  7
    Review: Shoji Maehara, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types. [REVIEW]Moto-O. Takahashi - 1970 - Journal of Symbolic Logic 35 (2):325-325.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  5
    General Recursive Functions in the Number-Theoretic Formal System.Sh^|^Ocirc Maehara & Ji - 1957 - Annals of the Japan Association for Philosophy of Science 1 (2):119-130.
  33.  2
    Review: Haskell B. Curry, Language, Metalanguage, and Formal System[REVIEW]A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (3):270-270.
  34.  5
    Decision Making Behaviours Represented in a Formal System.Hajime Eto - 1969 - Kagaku Tetsugaku 2:37-48.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  5
    Review: A. Mostowski, A Class of Models for Second Order Arithmetic; A. Mostowski, Formal System of Analysis Based on an Infinitistic Rule of Proof. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):128-129.
  36.  5
    Diagonalization, the Liar Para-Dox, and the Inconsistency of the Formal System Presented in the Appendix to Frege's Gr Undgese T Ze: Vol Ume II.R. O. Y. T. Cook - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 11--273.
  37.  3
    On Numerations of a Formal System.Hidehisa Sakai - 1974 - Annals of the Japan Association for Philosophy of Science 4 (4):227-230.
  38. Review: N. A. Sanin, On the Constructive Interpretation of Mathematical Judgments; S. C. Kleene, A Formal System of Intuitionistic Analysis. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
  39.  2
    Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Sh^|^Ocirc Maehara & Ji - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
  40.  1
    Review: Hao Wang, A Formal System of Logic. [REVIEW]Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
  41. Review: Shoji Maehara, Gaisi Takeuti, A Formal System of First-Order Predicate Calculus with Infinitely Long Expressions. [REVIEW]Erwin Engeler - 1962 - Journal of Symbolic Logic 27 (4):468-468.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. A Formal System of Mathematical Programming and Game Theory.Hajime Eto - 1968 - Kagaku Tetsugaku 1:45-54.
  43. Wang Hao. A Formal System of Logic.Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
  44. H.P. Grice's Defense of the Two-Valued Formal System of Classical Logic: A Critique.Araceli C. Hidalgo - 1985 - Asian Center, University of the Philippines.
     
    Export citation  
     
    Bookmark  
  45. Cultural Elements in the Practice of Law in Mexico: Informal Networks in a Formal System.Larissa Adler Lomnitz & Rodrigo Salazar - 2002 - In Yves Dezalay & Bryant G. Garth (eds.), Global Prescriptions: The Production, Exportation, and Importation of a New Legal Orthodoxy. University of Michigan Press.
  46. Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Shôji Maehara - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. General Recursive Functions in the Number-Theoretic Formal System.Shôji Maehara - 1957 - Annals of the Japan Association for Philosophy of Science 1 (2):119-130.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  20
    Introducing Sex Education in the Formal Education System in Nigeria.Donatus O. Owuamanam - 1987 - Journal of Moral Education 16 (1):54-59.
    Abstract Evidence exists about the increasing rate of sexual involvement, decrease in age of first sexual experience and the existence of different forms of sexual aberration such as prostitution, sexual exploitation and rape among Nigerian youth. In spite of these problems sex education has not been included in the framework of the formal education system in Nigeria. The introduction of sex education in our formal school system is now necessary not only to provide adolescents with valuable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Formal Freedom in Fichte's System of Ethics.Michelle Kosch - 2013 - Internationales Jahrbuch des Deutschen Idealismus / International Yearbook of German Idealism 9:150-168.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  50.  21
    Bolesław Sobociński. Certain Extensions of Modal System S4. Notre Dame Journal of Formal Logic, Vol. 11 No. 3 , Pp. 347–368. - Bolesław Sobociński. Concerning Some Extensions of S4. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 363–370. - G. F. Schumm. Solutions to Four Modal Problems of Sobocinski. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 335–340. - J. Jay Zeman. A Study of Some Systems in the Neighborhood of S4.4. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 341–357. - Bolesław Sobociński. A New Class of Modal Systems. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 371–377. - Bolesław Sobociński. A Proper Subsystem of S4.04. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 381–384. [REVIEW]M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602.
1 — 50 / 1000