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   36 citations  
  2.  20
    Formal Systems for Some Branches of Intuitionistic Analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.
  3.  63
    Formal Systems of Dialogue Rules.Erik C. W. Krabbe - 1985 - Synthese 63 (3):295 - 328.
    Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  4.  10
    Formal Systems of Fuzzy Logic and Their Fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.
    Formal systems of fuzzy logic are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  18
    The Ethics “Fix”: When Formal Systems Make a Difference.Kristin Smith-Crowe, Ann E. Tenbrunsel, Suzanne Chan-Serafin, Arthur P. Brief, Elizabeth E. Umphress & Joshua Joseph - 2015 - Journal of Business Ethics 131 (4):791-801.
    This paper investigates the effect of the countervailing forces within organizations of formal systems that direct employees toward ethical acts and informal systems that direct employees toward fraudulent behavior. We study the effect of these forces on deception, a key component of fraud. The results provide support for an interactive effect of these formal and informal systems. The effectiveness of formal systems is greater when there is a strong informal “push” to do wrong; conversely, in the absence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  44
    Formal Systems of Dialogue Rules.Erick C. W. Krabbe - 1984 - Synthese 58 (2):295 - 328.
    Section 1 contains a survey of options in constructing a formal system of dialogue rules. The distinction between material and formal systems is discussed (section 1.1). It is stressed that the material systems are, in several senses, formal as well. In section 1.2 variants as to language form (choices of logical constants and logical rules) are pointed out. Section 1.3 is concerned with options as to initial positions and the permissibility of attacks on elementary statements. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7. Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth.E. Szabo´ La´Szlo´ - 2003 - International Studies in the Philosophy of Science 17 (2):117-125.
    This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  25
    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   3 citations  
  9. Formal Systems and Recursive Functions.Michael Dummett & J. N. Crossley (eds.) - 1963 - North Holland.
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  10.  61
    Formal Systems for Modal Operators on Locales.Gonzalo E. Reyes & Marek W. Zawadowski - 1993 - Studia Logica 52 (4):595 - 613.
    In the paper [8], the first author developped a topos- theoretic approach to reference and modality. (See also [5]). This approach leads naturally to modal operators on locales (or spaces without points). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  33
    Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.Wilfried Sieg - unknown
    Wilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  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   8 citations  
  13.  27
    Theory of Formal Systems.Raymond M. Smullyan - 1965 - Journal of Symbolic Logic 30 (1):88-90.
    Direct download  
     
    Export citation  
     
    Bookmark   53 citations  
  14.  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  
  15.  16
    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  
  16. 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  
  17.  67
    Two Formal Systems for Situation Semantics.Juan Barba Escriba - 1991 - Notre Dame Journal of Formal Logic 33 (1):70-88.
  18.  14
    Continuous Formal Systems: A Unifying Model in Language and Cognition.Bruce J. MacLennan - unknown
    The idea of a calculus or discrete formal system is central to traditional models of language, knowledge, logic, cognition and computation, and it has provided a unifying framework for these and other disciplines. Nevertheless, research in psychology, neuroscience, philosophy and computer science has shown the limited ability of this model to account for the flexible, adaptive and creative behavior exhibited by much of the animal kingdom. Promising alternate models replace discrete structures by structured continua and discrete rule-following by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  8
    Elementary Formal Systems.Raymond M. Smullyan - 1969 - Journal of Symbolic Logic 34 (1):117-117.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Formal Systems and Recursive Functions.John N. Crossley & Michael A. E. Dummett (eds.) - 1965 - Amsterdam: North-Holland Pub. Co..
     
    Export citation  
     
    Bookmark  
  21. Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium Oxford, July 1963.John N. Crossley & Michael A. E. Dummett (eds.) - 1965 - North-Holland.
    No categories
     
    Export citation  
     
    Bookmark  
  22.  23
    Elementary Formal Systems for Hyperarithmetical Relations.Melvin Fitting - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):25-30.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  1
    Mathematical Interpretation of Formal Systems.Thoralf Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin & J. Łoś (eds.) - 1955 - Amsterdam, Netherlands: North-Holland Pub. Co..
  24.  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  
  25.  51
    Relevant Entailment--Semantics and Formal Systems.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (2):334-342.
  26.  47
    Epistemic and Intuitionistic Formal Systems.R. C. Flagg & H. Friedman - 1986 - Annals of Pure and Applied Logic 32:53-60.
  27.  21
    Formal Systems and Recursive Functions. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):161-162.
    This is a collection of papers read at an international logic colloquium held at Oxford in 1963. The first half contains articles on intuitionistic and modal logics, the propositional calculus, and languages with infinitely long expressions by such logicians as Kripke, Bull, Harrop, and Tait. The second part is primarily concerned with recursive functions and features a monograph by Crossley on constructive order types, as well as contributions by Goodstein, Schütte, and Wang, among others. Especially noteworthy is Kripke's paper which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Formale Systeme, entwicklungsfähige Organismen, menschliche Vernunft.Herbert Hrachovec - 1986 - Philosophische Rundschau 33 (1-2):122-132.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Formal Systems, Progressive Organisms, Human Reason.H. Hrachovec - 1986 - Philosophische Rundschau 33 (1-2):122-132.
     
    Export citation  
     
    Bookmark  
  30.  9
    Formal Systems, Properties Of.Wilfried Sieg - 1950 - Bulletin of Symbolic Logic 3:154-180.
  31.  15
    Solving Smullyan Puzzles with Formal Systems.José Félix Costa & Diogo Poças - 2018 - Axiomathes 28 (2):181-199.
    Solving numeric, logic and language puzzles and paradoxes is common within a wide community of high school and university students, fact witnessed by the increasing number of books published by mathematicians such as Martin Gardner, Douglas Hofstadter [in one of the best popular science books on paradoxes ], inspired by Gödel’s incompleteness theorems), Patrick Hughes and George Brecht and Raymond M. Smullyan, inter alia. Books by Smullyan are, however, much more involved, since they introduce learning trajectories and strategies across several (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  76
    Fractal Images of Formal Systems.Paul St Denis & Patrick Grim - 1997 - Journal of Philosophical Logic 26 (2):181-222.
    Formal systems are standardly envisaged in terms of a grammar specifying well-formed formulae together with a set of axioms and rules. Derivations are ordered lists of formulae each of which is either an axiom or is generated from earlier items on the list by means of the rules of the system; the theorems of a formal system are simply those formulae for which there are derivations. Here we outline a set of alternative and explicitly visual ways (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  35
    The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations.Michael J. Beeson - 1975 - Journal of Symbolic Logic 40 (3):321-346.
  34.  38
    Formal Systems and Mental Activity.B. H. Kazemier - 1949 - Synthese 8 (1):210 - 219.
  35.  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  
  36.  41
    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.
  37.  5
    Elementary Formal Systems for Hyperarithmetical Relations.Melvin Fitting - 1978 - Mathematical Logic Quarterly 24 (1‐6):25-30.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  6
    Elementary Formal Systems as a Framework for Relative Recursion Theory.Bruce M. Horowitz - 1982 - Notre Dame Journal of Formal Logic 23 (1):39-52.
  39.  26
    On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
  40.  19
    Formal Systems of Constructive Mathematics.M. H. Löb - 1956 - Journal of Symbolic Logic 21 (1):63 - 75.
  41.  4
    Formal Systems and Mental Activity.B. H. Kazemier - 1949 - Synthese 8 (1):480-489.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  20
    Degrees of Formal Systems.J. R. Shoenfield - 1958 - Journal of Symbolic Logic 23 (4):389-392.
  43.  73
    The Intentionality of Formal Systems.Ard Van Moer - 2006 - Foundations of Science 11 (1-2):81-119.
    One of the most interesting and entertaining philosophical discussions of the last few decades is the discussion between Daniel Dennett and John Searle on the existence of intrinsic intentionality. Dennett denies the existence of phenomena with intrinsic intentionality. Searle, however, is convinced that some mental phenomena exhibit intrinsic intentionality. According to me, this discussion has been obscured by some serious misunderstandings with regard to the concept ‘intrinsic intentionality’. For instance, most philosophers fail to realize that it is possible that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  42
    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   7 citations  
  45.  1
    A Formal System of Mathematical Programming and Game Theory.Hajime Eto - 1968 - Kagaku Tetsugaku 1:45-54.
  46. On the Theory of Inconsistent Formal Systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
  47.  40
    The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals.Michael Beeson - 1976 - Journal of Symbolic Logic 41 (1):18-24.
  48.  46
    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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  3
    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   7 citations  
  50.  10
    The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2021 - Erkenntnis 86 (4):875-903.
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000