Search results for 'Form (Logic' (try it on Scholar)

1000+ found
Order:
  1.  16
    Wolfgang Freitag & Alexandra Zinke (2012). The Theory of Form Logic. Logic and Logical Philosophy 21 (4):363-389.
    We investigate a construction schema for first-order logical systems, called “form logic”. Form logic allows us to overcome the dualistic commitment of predicate logic to individual constants and predicates. Dualism is replaced by a pluralism of terms of different “logical forms”. Individual form-logical systems are generated by the determination of a range of logical forms and of the formbased syntax rules for combining terms into formulas. We develop a generic syntax and semantics for such systems and provide (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  23
    Peter Long (2001). Logic, Form, and Grammar. Routledge.
    This work contains Peter Long's important essay, Logic, Form and Grammar , which resolves many difficulties for the logical form of an argument where the reasoning is hypothetical. Also included are two essays on classical problems in philosophical logic, relating to logical form and formal relations.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  3.  12
    Zhongyi Zhang & Jialong Zhang (2009). The Three-Form Reasoning of New Hetu-Vidya in Indian Logic From the Perspective of Modern Logic. Frontiers of Philosophy in China 4 (4):631-645.
    Comparing the three-form reasoning of new Hetu-vidya with Western logic, scholars have put forward four perspectives. Combining their strengths and shortcomings, and the examples of Hetu-vidya reasoning, we can conclude that the three-form reasoning should have four forms: (1) the affirmative expression of formal implication; (2) the modus ponens of hypothetical reasoning concerning sufficient conditions after universal instantiation; (3) the negative expression of a formal implication; and (4) the modus tollens of hypothetical reasoning concerning sufficient conditions after universal (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  4. Anastasios Albert Brenner (ed.) (1989). Questions of Form: Logic and Analytic Proposition From Kant to Carnap. Univ of Minnesota Press.
    _Questions of Form _was first published in 1989. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. In _Questions on Form_, Joelle Proust traces the concept of the analytic proposition from Kant's development of the notion down to its place in the work of Rudolf Carnap, a founder of logical empiricism and a key figure in contemporary analytic philosophy. Using a method known in (...)
    No categories
     
    Export citation  
     
    My bibliography  
  5.  2
    Zhang Zhongyi & Zhang Jialong (2009). The Three-Form Reasoning of New Hetu-Vidya in Indian Logic From the Perspective of Modern Logic. Frontiers of Philosophy in China 4 (4):631-645.
  6.  18
    H. Jerome Keisler & Wafik Boulos Lotfallah (2005). A Local Normal Form Theorem for Infinitary Logic with Unary Quantifiers. Mathematical Logic Quarterly 51 (2):137-144.
    We prove a local normal form theorem of the Gaifman type for the infinitary logic L∞ωω whose formulas involve arbitrary unary quantifiers but finite quantifier rank. We use a local Ehrenfeucht-Fraïssé type game similar to the one in [9]. A consequence is that every sentence of L∞ωω of quantifier rank n is equivalent to an infinite Boolean combination of sentences of the form ψ, where ψ has counting quantifiers restricted to the -neighborhood of y.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  4
    V. V. Rybakov, M. Terziler & V. Remazki (2000). A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC. Mathematical Logic Quarterly 46 (2):207-218.
    We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. Tom Richards (1989). Clausal Form Logic an Introduction to the Logic of Computer Reasoning. Monograph Collection (Matt - Pseudo).
  9.  7
    Joelle Proust (1989). Questions of Form: Logic and Analytic Proposition From Kant to Carnap. Univ of Minnesota Press.
    Hence, this book's provocative claim: today's so-called logical empiricism owes much more to Kant's notion of science than to Hume's.
    Direct download  
     
    Export citation  
     
    My bibliography   13 citations  
  10.  3
    Piotr Łukowski (2004). A Deductive-Reductive Form of Logic: General Theory and Intuitionistic Case. Logic and Logical Philosophy 10:59.
    The paper deals with reconstruction of the unique reductivecounterpart of the deductive logic. The procedure results in the deductivereductive form of logic. This extension is illustrated on the base of intuitionistic logics: Heyting’s, Brouwerian and Heyting-Brouwer’s ones.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11. W. B. Lotfallah & H. J. Keisler (2005). A Local Normal Form Theorem for Infinitary Logic with Unary Quantifiers. Mathematical Logic Quarterly 51 (2):137.
    We prove a local normal form theorem of the Gaifman type for the infinitary logic L∞ωω whose formulas involve arbitrary unary quantifiers but finite quantifier rank. We use a local Ehrenfeucht-Fraïssé type game similar to the one in [9]. A consequence is that every sentence of L∞ωω of quantifier rank n is equivalent to an infinite Boolean combination of sentences of the form ψ, where ψ has counting quantifiers restricted to the -neighborhood of y.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  12. Alex Oliver (2010). The Matter of Form : Logic's Beginnings. In T. J. Smiley, Jonathan Lear & Alex Oliver (eds.), The Force of Argument: Essays in Honor of Timothy Smiley. Routledge
    No categories
     
    Export citation  
     
    My bibliography  
  13. A. Brenner (1992). Questions of Form: Logic and the Analytic Proposition From Kant to Carnap. Noûs 26 (4):532-542.
     
    Export citation  
     
    My bibliography   1 citation  
  14. Frederick P. Van De Pitte (1991). Joëlle Proust, Questions of Form: Logic and the Analytic Proposition From Kant to Carnap, Trans. Anastasios Albert Brenner. [REVIEW] Philosophy in Review 11 (1):60-62.
  15.  2
    Piotr Łukowski (2004). A Deductive-Reductive Form of Logic: Intuitionistic S4 Modalities. Logic and Logical Philosophy 10:79.
    The paper is a continuation of A deductive-reductive form oflogic: general theory and intuitionistic case and considers the problem of definability of modal operators on the intuitionistic base. Contrary tothe classical case, it seems that the fact whether the connective is Heyting’sor Brouwerian is essential for the intuitionistic logic. The connective of possibility has the classical interpretation, i.e. w |= ✸α iff ∃t, if it is defined on the base of the logicwith Brouwerian connective of coimplication.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16. Michael Friedman (1992). Review of Questions of Form: Logic and the Analytic Proposition From Kant to Carnap by Joëlle Proust. [REVIEW] Noûs 26:532-542.
  17.  65
    Denis McManus (2009). The General Form of the Proposition: The Unity of Language and the Generality of Logic in the Early Wittgenstein. Philosophical Investigations 32 (4):295-318.
    The paper presents an interpretation of the thinking behind the early Wittgenstein's "general form of the proposition." It argues that a central role is played by the assumption that all domains of discourse are governed by the same laws of logic. The interpretation is presented partly through a comparison with ideas presented recently by Michael Potter and Peter Sullivan; the paper argues that the above assumption explains more of the key characteristics of the "general form of the proposition" (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  18.  14
    Alan D. M. Rayner (2013). SPACE IN FORM The Fluid-Boundary Logic of Fungi. Common Knowledge 19 (2):257-268.
    This contribution to the Common Knowledge symposium “Fuzzy Studies” argues that the inclusion of space in form brings varying degrees of fuzziness and fluidity to all natural identities. Such inclusion is vital to evolutionary creativity, from subatomic to cosmic scales of natural energy flow. Examples abound throughout the natural world of indeterminate forms and processes unclassifiable under any of the discrete categories that are preferred and imposed by definitive theoretical models. Here, the much-neglected kingdom of the fungi is used (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  19.  16
    Petr Hájek & Vítězslav Švejdar (1991). A Note on the Normal Form of Closed Formulas of Interpretability Logic. Studia Logica 50 (1):25 - 28.
    Each closed (i.e. variable free) formula of interpretability logic is equivalent in ILF to a closed formula of the provability logic G, thus to a Boolean combination of formulas of the form n.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  6
    I. Ping (1969). Formal Logic and Objective Truth — on the Correctness of Thought Form and the Truthfulness of Thought Content. Contemporary Chinese Thought 1 (1):89-98.
    As we all know, metaphysics and objective truth are basically antagonistic, while dialectical materialism and objective truth are uniform. This is the common sense of Marxist philosophy and needs no argument. What, then, is the relationship between formal logic as a science and objective truth? This involves the problem of the correctness of thought form and the truthfulness of thought content. As shown, this problem is still an unsettled dispute in philosophy and logic circles. There are two opposite views: (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Peter Long (2013). Logic, Form and Grammar. Routledge.
    This work contains Peter Long's important essay, _Logic, Form and Grammar_, which resolves many difficulties for the logical form of an argument where the reasoning is hypothetical. Also included are two essays on classical problems in philosophical logic, relating to logical form and formal relations. All of the essays provide clear thinking and philosophical explanations, overturning many unchallenged suggestions in philosophical logic.
    No categories
     
    Export citation  
     
    My bibliography  
  22. Peter Long (2001). Logic, Form and Grammar. Routledge.
    The notion of logical form and its applications are at the heart of some of the classical problems in philosophical logic and are the focus of Peter Long’s investigations in the three essays that comprise this volume. In the first, major, essay the concern is with the notion of logical form as it applies to arguments involving hypotethical statements, for example ‘If today is Wednesday then tomorrow is Thursday; today is Wednesday: therefore tomorrow is Thursday.’ Whilst such an (...)
    No categories
     
    Export citation  
     
    My bibliography  
  23. Barry Smith & David Murray (1981). Logic, Form and Matter. Aristotelian Society Supplementary Volume 55 (1):47 - 74.
    It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary relations. The (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  24.  14
    J. A. Robinson (1979). Logic Form and Function : The Mechanization of Deductive Reasoning. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  25.  1
    William Craig (1974). Logic in Algebraic Form. Three Languages and Theories. Monograph Collection (Matt - Pseudo).
  26.  7
    V. K. Bharadwaja (1990). Form and Validity in Indian Logic. Indian Institute of Advanced Study in Association with Munshiram Manoharlal Publishers, Delhi.
    Direct download  
     
    Export citation  
     
    My bibliography  
  27. Jaakko Hintikka (1955). Two Papers on Symbolic Logic Form and Content in Quantification Theory and Reductions in the Theory of Types. [Suomalaisen Kirjallisuuden Seuran Kirjapainon,].
     
    Export citation  
     
    My bibliography  
  28. G. H. von Wright (1949). Form and Content in Logic an Inaugural Lecture Delivered on 26 May 1949 in the University of Cambridge. University Press.
    No categories
     
    Export citation  
     
    My bibliography  
  29. Bruce Lercher (1967). Strong Reduction and Normal Form in Combinatory Logic. Journal of Symbolic Logic 32 (2):213-223.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  30.  19
    Joseph S. Fulda (2006). Abstracts From Logic Form: An Experimental Study of the Nexus Between Language and Logic I. Journal of Pragmatics 38 (5):778-807.
  31.  13
    Joseph S. Fulda (2006). Abstracts From Logical Form: An Experimental Study of the Nexus Between Language and Logic II. Journal of Pragmatics 38 (6):925-943.
    This experimental study provides further support for a theory of meaning first put forward by Bar-Hillel and Carnap in 1953 and foreshadowed by Asimov in 1951. The theory is the Popperian notion that the meaningfulness of a proposition is its a priori falsity. We tested this theory in the first part of this paper by translating to logical form a long, tightly written, published text and computed the meaningfulness of each proposition using the a priori falsity measure. We then (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  32.  1
    William Craig (1957). Beth E. W.. Remarks on Natural Deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, Vol. 58 , Pp. 322–325; Also Indagationes Mathematicae, Vol. 17 Pp. 322–325.Beth E. W.. Semantic Entailment and Formal Derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde, N.S. Vol. 18 No. 13 , Pp. 309–342.Jaakko K. Hintikka J.. A New Approach to Sentential Logic. Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 17 No. 2 , 14 Pp.Jaakko K. Hintikka J.. Form and Content in Quantification Theory. Two Papers on Symbolic Logic, Acta Philosophica Fennica No. 8, Helsinki 1955, Pp. 7–55.Jaakko K. Hintikka J.. Notes on Quantification Theory. Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 17 No. 12 , 13 Pp. [REVIEW] Journal of Symbolic Logic 22 (4):360-363.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  9
    J. D. Halpern (1986). Review: J. A. Robinson, Logic: Form and Function. The Mechanization of Deductive Reasoning. [REVIEW] Journal of Symbolic Logic 51 (1):227-229.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  18
    Carl G. Hempel (1937). A Purely Topological Form of Non-Aristotelian Logic. Journal of Symbolic Logic 2 (3):97-112.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  35.  6
    Alonzo Church (1950). Review: G. H. V. Wright, On the Idea of Logical Truth (I); G. H. Von Wright, Form and Content in Logic. [REVIEW] Journal of Symbolic Logic 15 (1):58-59.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  36.  2
    Stephen D. Comer (1977). Review: William Craig, Logic in Algebraic Form. Three Languages and Theories. [REVIEW] Journal of Symbolic Logic 42 (1):108-109.
    Direct download  
     
    Export citation  
     
    My bibliography  
  37.  2
    Robert L. Wilson (1974). Prenex Normal Form in the Modal Predicate Logic PS*S and the Grosseteste Algebra of Sets GS*S. Mathematical Logic Quarterly 20 (13‐18):271-280.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38.  1
    Paul Bernays (1938). Review: Carl G. Hempel, A Purely Topological Form of Non-Aristotelian Logic. [REVIEW] Journal of Symbolic Logic 3 (2):91-92.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  1
    A. R. Turquette (1952). Review: Alan Rose, Systems of Logic Whose Truth-Values Form Lattices; Alan Rose, A Lattice-Theoretic Characterisation of the $Aleph_0$-Valued Propositional Calculus; Alan Rose, The Degree of Completeness of Some Lukasiewicz-Tarski Propositional Calculi. [REVIEW] Journal of Symbolic Logic 17 (2):147-148.
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  2
    William Demopoulos (1990). The Homogeneous Form of Logic Programs with Equality. Notre Dame Journal of Formal Logic 31 (2):291-303.
  41. Paul Bernays (1938). Hempel Carl G.. A Purely Topological Form of Non-Aristotelian Logic. Journal of Symbolic Logic 3 (2):91-92.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Alonzo Church (1950). Wright G. H. V.. On the Idea of Logical Truth . Societas Scientarum Fennica, Commentationes Physico-Mathematicae, Vol. 14 No. 4. Helsingfors 1948, 20 Pp.Von Wright G. H.. Form and Content in Logic. An Inaugural Lecture Delivered on 26 May 1949 in the University of Cambridge. University Press, Cambridge 1949, 35 Pp. [REVIEW] Journal of Symbolic Logic 15 (1):58-59.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Alonzo Church (1950). Wright G. H. V.. On the Idea of Logical Truth . Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 14 No. 4. Helsingfors 1948, 20 Pp.Von Wright G. H.. Form and Content in Logic. An Inaugural Lecture Delivered on 26 May 1949 in the University of Cambridge. University Press, Cambridge 1949, 35 Pp. [REVIEW] Journal of Symbolic Logic 15 (3):199.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Alonzo Church (1950). Wright G. H. V.. On the Idea of Logical Truth . Societas Scientiarum Fennica, Commentationes Physico-Mathematicae, Vol. 14 No. 4. Helsingfors 1948, 20 Pp.Von Wright G. H.. Form and Content in Logic. An Inaugural Lecture Delivered on 26 May 1949 in the University of Cambridge. University Press, Cambridge 1949, 35 Pp. [REVIEW] Journal of Symbolic Logic 15 (4):280.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Stephen D. Comer (1977). Logic in Algebraic Form. Three Languages and Theories. William Craig. Logic in Algebraic Form. Three Languages and Theories. Studies in Logic and the Foundations of Mathematics, Vol. 72. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, Viii + 204 Pp. [REVIEW] Journal of Symbolic Logic 42 (1):108-109.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. J. D. Halpern (1986). Robinson J. A.. Logic: Form and Function. The Mechanization of Deductive Reasoning. Artificial Intelligence Series. North-Holland, New York 1979, Vi + 312 Pp. [REVIEW] Journal of Symbolic Logic 51 (1):227-229.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. J. King-Farlow (1971). Matter, Form, and Logic. International Logic Review 3:93.
    No categories
     
    Export citation  
     
    My bibliography  
  48. Robert McNaughton (1959). Review: N. A. Routledge, Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form. [REVIEW] Journal of Symbolic Logic 24 (3):255-255.
     
    Export citation  
     
    My bibliography  
  49. Robert McNaughton (1959). Routledge N. A.. Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form. Proceedings of the Cambridge Philosophical Society, Vol. 52 , Pp. 161–173. [REVIEW] Journal of Symbolic Logic 24 (3):255.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. S. Negri (forthcoming). Natural Deduction and Normal Form for Intuitionistic Linear Logic. Archive for Mathematical Logic.
1 — 50 / 1000