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   33 citations  
  2.  34
    A game-based formal system L.A. Adamson - 1979 - Studia Logica 38:49.
    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 (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  3.  48
    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  
  4.  16
    Calculus CL as a Formal System.Jens Lemanski & Ludger Jansen - 2020 - In Ahti Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter & Sven Linker (eds.), Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science, vol 12169. 2020. 93413 Cham, Deutschland: pp. 445-460.
    In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  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  
  6. 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  
  7.  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   2 citations  
  8.  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.
  9.  34
    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   5 citations  
  10.  15
    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  
  11.  1
    A Formal System of Logic.Hao Wang - 1950 - Journal of Symbolic Logic 15 (3):228-229.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  37
    Language, Metalanguage, and Formal System.Haskell B. Curry - 1950 - Philosophical Review 59 (3):346-353.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  13.  45
    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  
  14.  2
    A More Perspicuous Formal System for Predicativity.Solomon Feferman - 1978 - In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. De Gruyter. pp. 68-93.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  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  
  16.  19
    A Formal System.G. Y. Rainick - 1960 - Notre Dame Journal of Formal Logic 1 (3):123-126.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17. A Formal System of Mathematical Programming and Game Theory.Hajime Eto - 1968 - Kagaku Tetsugaku 1:45-54.
  18.  69
    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  
  19.  25
    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   6 citations  
  20.  2
    Review: Hao Wang, A Formal System of Logic. [REVIEW]Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
  21. Wang Hao. A Formal System of Logic.Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
  22.  18
    Value Theory as a Formal System.Robert S. Hartman - 1958 - Kant-Studien 50 (1-4):287-315.
  23.  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  
  24. Tonal Harmony as a Formal System.P. PulkkO - 1988 - Acta Philosophica Fennica 43:300-322.
     
    Export citation  
     
    Bookmark  
  25.  3
    On Numerations of a Formal System.Hidehisa Sakai - 1974 - Annals of the Japan Association for Philosophy of Science 4 (4):227-230.
  26.  9
    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  
  27.  40
    A Multidimensional Modal Translation for a Formal System Motivated by Situation Semantics.Juan Barba Escriba - 1991 - Notre Dame Journal of Formal Logic 32 (4):598-608.
  28.  17
    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.
  29.  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.
  30.  14
    The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas Roma, Antonia Huertas Sánchez & M. Elena Rodríguez - forthcoming - Erkenntnis.
    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, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  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.
  32. 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  
  33.  5
    Decision Making Behaviours Represented in a Formal System.Hajime Eto - 1969 - Kagaku Tetsugaku 2:37-48.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  26
    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.
  35. 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  
  36.  37
    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.
  37.  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  
  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. 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.
  40.  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.
  41.  2
    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  
  42.  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.
  43.  1
    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  
  44.  15
    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.
  45.  25
    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.
  46.  18
    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.
  47.  14
    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  
  48.  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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  7
    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.
  50.  2
    Review: Haskell B. Curry, Language, Metalanguage, and Formal System[REVIEW]A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (3):270-270.
1 — 50 / 1000