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   21 citations  
  2. 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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  30
    A Game-Based Formal System for Ł∞.Alan Adamson & Robin Giles - 1979 - Studia Logica 38 (1):49-73.
    A formal system for , based on a game-theoretic analysis of the ukasiewicz prepositional connectives, is defined and proved to be complete. An Herbrand theorem for the 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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  11
    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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  42
    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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  39
    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  
  7.  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.
  8.  1
    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   2 citations  
  9.  19
    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.
  10.  11
    A Formal System.G. Y. Rainick - 1960 - Notre Dame Journal of Formal Logic 1 (3):123-126.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  20
    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   4 citations  
  12.  32
    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  
  13.  35
    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.
  14.  17
    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   3 citations  
  15. Tonal Harmony as a Formal System.P. PulkkO - 1988 - Acta Philosophica Fennica 43:300-322.
     
    Export citation  
     
    Bookmark  
  16.  28
    A Formal System of Logic.Hao Wang - 1950 - Journal of Symbolic Logic 15 (1):25-32.
  17.  15
    Curry Haskell B.. Philosophische Bemerkungen Zu Einigen Problemen der Mathematischen Logik. Archiv Für Philosophie, Vol. 4 No. 2 , Pp. 147–156.Curry Haskell B.. 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, Paris 1951, Pp. 19–29.Curry Haskell B.. On the Definition of Substitution, Replacement and Allied Notions in an Abstract Formal System. Revue Philosophique de Louvain, Vol. 50 , Pp. 251–269.Curry Haskell B.. Mathematics, Syntactics and Logic. Mind, N. S. Vol. 62 , Pp. 172–183.Curry Haskell B.. 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, Paris 1953, Pp. 1–9.Bernays Paul, Brouwer L. E. J., Curry Haskell B., Heyting A., Robinson Abraham. Discussion. Les Méthodes Formelles En Axiomatique. Paris Décembre 1950, Colloques Internationaux. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
  18.  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.
  19.  20
    Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas.John Gregory - 1971 - Journal of Symbolic Logic 36 (3):445-455.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  13
    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.
  21.  13
    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  
  22.  5
    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.
  23.  10
    On the Problem of Deciding Equality in Partial Combinatory Algebras and in a Formal System.Giuseppa Longo - 1976 - Studia Logica 35 (4):363 - 375.
  24.  4
    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 (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  15
    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.
  26.  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  
  27.  12
    Value Theory as a Formal System.Robert S. Hartman - 1958 - Kant-Studien 50 (1-4):287-315.
  28.  4
    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.
  29.  5
    Decision Making Behaviours Represented in a Formal System.Hajime Eto - 1969 - Kagaku Tetsugaku 2:37-48.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. Review: Haskell B. Curry, Language, Metalanguage, and Formal System[REVIEW]A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (3):270-270.
  31.  3
    Šanin N. A.. On the Constructive Interpretation of Mathematical Judgments. English Translation of XXXI 255 by Mendelson Elliott. American Mathematical Society Translations, Ser. 2 Vol. 23 , Pp. 109–189.Markov A. A.. On Constructive Functions. English Translation of XXXI 258 by Machover Moshe. American Mathematical Society Translations, Vol. 29 , Pp. 163–195.Kleene S. C.. A Formal System of Intuitionistic Analysis. The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Kleene Stephen Cole and Vesley Richard Eugene, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 1–89.Kleene S. C.. Various Notions of Realizability: The Foundations of Intuitionistlc Mathematics Especially in Relation to Recursive Functions, by Kleene Stephen Cole and Vesley Richard Eugene, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Company, Amsterdam 1965, Pp. 90–132.Vesley Richard E.. The. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  3
    On Numerations of a Formal System.Hidehisa Sakai - 1974 - Annals of the Japan Association for Philosophy of Science 4 (4):227-230.
  33.  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.
  34.  4
    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  
  35.  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.
  36. 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.
  37.  3
    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.
  38.  1
    A Formal System of Logic.Hao Wang - 1950 - Journal of Symbolic Logic 15 (3):228-229.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  1
    Review: Hao Wang, A Formal System of Logic. [REVIEW]Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
  40. 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.
     
    Export citation  
     
    Bookmark  
  41. A Formal System of Mathematical Programming and Game Theory.Hajime Eto - 1968 - Kagaku Tetsugaku 1:45-54.
  42. Wang Hao. A Formal System of Logic.Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
  43. 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  
  44. 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.
  45. 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.
  46.  15
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  47. 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  
  48. Formal and Conceptual Blending in the Hebrew Verbal System: A Cognitive Basis for Verbal-Pattern Alternations in Modern Hebrew. UCSD.Nili Mandelblit - unknown
     
    Export citation  
     
    Bookmark   1 citation  
  49. A Homogeneous System for Formal Logic.R. M. Martin - 1943 - Journal of Symbolic Logic 8 (1):1-23.
  50.  2
    S. Feferman. Reflecting on Incompleteness. The Journal of Symbolic Logic, Vol. 56 , No. 1, Pp. 1–49. - W. N. Reinhardt. Some Remarks on Extending and Interpreting Theories with a Partial Predicate for Truth. Journal of Philosophical Logic, Vol. 15 , No. 2, Pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s Theory of Truth. The Journal of Symbolic Logic, Vol. 71 , No. 2, Pp. 667–712 - H. Friedman and M. Sheard. An Axiomatic Approach to Self-Referential Truth.Annals of Pure and Applied Logic, Vol. 33 , No. 1, Pp. 1–21. - V. Halbach. A System of Complete and Consistent Truth. Notre Dame Journal of Formal Logic, Vol. 35 , No. 3, Pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000