Results for 'formulas'

997 found
Order:
  1.  52
    Kant's Universal Law and Humanity Formulae.Damian Williams - forthcoming - Forthcoming.
    Kant's formulae ought to effectively produce the same result when applied to the moral validity of any particular maxim; further, no valid maxim produces contradictory results when applied against Kant's Universal Law and Humanity formulae. Where one uses all formulae in the assessment of a maxim, one gains a more complete understanding of the moral law, thereby bridging principles of reason with intuition within the agent who has undertaken to evaluate the morality of a particular action. These formulae command without (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  28
    Isomorphic formulae in classical propositional logic.Kosta Došen & Zoran Petrić - 2012 - Mathematical Logic Quarterly 58 (1):5-17.
    Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  4.  9
    Ritualistic Formulae In Greek Dramatic Texts.Howard Jacobson - 1982 - Classical Quarterly 32 (01):233-.
    Ritualistic formulae and acts pervade the political, legal, societal and religious life of the ancient world. In many instances there are striking similarities between the formulae of the Greco-Roman world and those of the Near East. Often illumination exists from one to the other. Here I wish to notice a few passages in Greek drama where I think such illumination is possible.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  6
    Ritualistic Formulae In Greek Dramatic Texts.Howard Jacobson - 1982 - Classical Quarterly 32 (1):233-234.
    Ritualistic formulae and acts pervade the political, legal, societal and religious life of the ancient world. In many instances there are striking similarities between the formulae of the Greco-Roman world and those of the Near East. Often illumination exists from one to the other. Here I wish to notice a few passages in Greek drama where I think such illumination is possible.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  50
    ¹1-formulae on finite structures.M. Ajtai - 1983 - Annals of Pure and Applied Logic 24 (1):1.
  8.  17
    Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic.Alexander V. Gheorghiu & David J. Pym - 2023 - Bulletin of the Section of Logic 52 (2):239-266.
    Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  13
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called \emph{elementary}. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called \emph{canonical}. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  31
    Linguistic formulae as cognitive tools.Reviel Netz - 1999 - Pragmatics and Cognition 7 (1):147-176.
    Ancient Greek mathematics developed the original feature of being deductive mathematics. This article attempts to give a explanation f or this achievement. The focus is on the use of a fixed system of linguistic formulae in Greek mathematical texts. It is shown that the structure of this system was especially adapted for the easy computation of operations of substitution on such formulae, that is, of replacing one element in a fixed formula by another, and it is further argued that such (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11. Figures, Formulae, and Functors.Zach Weber - 2013 - In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. pp. 153--170.
    This article suggests a novel way to advance a current debate in the philosophy of mathematics. The debate concerns the role of diagrams and visual reasoning in proofs—which I take to concern the criteria of legitimate representation of mathematical thought. Drawing on the so-called ‘maverick’ approach to philosophy of mathematics, I turn to mathematical practice itself to adjudicate in this debate, and in particular to category theory, because there (a) diagrams obviously play a major role, and (b) category theory itself (...)
     
    Export citation  
     
    Bookmark   1 citation  
  12. Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos - 2021 - Australasian Journal of Logic 3.
    In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Simple Formulae for Optimal Income Taxation and the Measurement of Inequality: An Essay in Honor of Amartya Sen.Joseph E. Stiglitz - 2008 - In Kaushik Basu & Ravi Kanbur (eds.), Arguments for a Better World: Essays in Honor of Amartya Sen: Volume I: Ethics, Welfare, and Measurement. Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark  
  14. Simple Formulae for Optimal Income Taxation and the Measurement of Inequality: An Essay in Honor of Amartya Sen.Joseph E. Stiglitz - 2008 - In Kaushik Basu & Ravi Kanbur (eds.), Arguments for a Better World: Essays in Honor of Amartya Sen: Volume I: Ethics, Welfare, and Measurement and Volume Ii: Society, Institutions, and Development. Oxford University Press.
  15. Explaining formulae of first order logic.Timm Lampert - 2006 - Ruch Filozoficzny 3 (3).
     
    Export citation  
     
    Bookmark   5 citations  
  16.  35
    The Lorentz-Formulae and the Metrical Principle.Håkan Törnebohm - 1962 - Philosophy of Science 29 (3):269 - 278.
    The Lorentz-formulae are deduced from three factual statements the physical meaning of which is explained in terms of operations with clocks, light-signals and measuring rods. These statements are: (1) The time-length of a process is invariant. (2) The velocity of light is the same in all inertial systems. (3) The velocity of light is independent of the source. It is also shown that these statements can be deduced from the Lorentz-formulae. They are the physical content of the latter. The principle (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  20
    Non‐Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Mathematical Logic Quarterly 27 (7):111-112.
    Shows that a certain temporal logic has infinitely many non-equivalent formulae in a single variable.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  18.  60
    Formulae corresponding to universal decision elements.J. M. Pugmire & A. Rose - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (1-6):1-9.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  48
    Unification For Quantified Formulae.Wilfried Sieg - unknown
    — via appropriate substitutions — syntactically identical. The method can be applied directly to quantifierfree formulae and, in this paper, will b e extended in a natural and strai ghlforward way to quantified formulae.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  10
    Greek Adoptive Formulae.Martin S. Smith - 1967 - Classical Quarterly 17 (02):302-.
    The most recent work dealing expressly with adoption in Greece is Wentzel's article in Hermes lxv , 167–76, ‘Studien über die Adoption in Griechen-land’. Her article ranges widely over the whole subject and includes a list of all the inscriptions known to her which refer to adoptions, as well as a list of the adoptive formulae found in these inscriptions. In the present article I shall deal more fully with these formulae.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  4
    Greek Adoptive Formulae.Martin S. Smith - 1967 - Classical Quarterly 17 (2):302-310.
    The most recent work dealing expressly with adoption in Greece is Wentzel's article in Hermes lxv, 167–76, ‘Studien über die Adoption in Griechen-land’. Her article ranges widely over the whole subject and includes a list of all the inscriptions known to her which refer to adoptions, as well as a list of the adoptive formulae found in these inscriptions. In the present article I shall deal more fully with these formulae.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  28
    Some Formulae for Aesthetic Analysis.Sydney C. Rome - 1954 - Review of Metaphysics 8 (2):357 - 365.
    Another sort of thing resembles works of art in combining existence, message and a kind of presentation, namely, symbols. Hence it seems reasonable to take works of art as symbols. And yet works of art are a special kind of symbol, because in them presentation has a double function. All symbols directly present their meaning; indeed the essential function of symbols is to serve as vehicles for conveying us into the immediate presence of what they mean. But works of art (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  22
    Formulae and Literature.R. B. Rutherford - 1987 - The Classical Review 37 (01):1-.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  10
    Positive primitive formulae of modules over rings of semi-algebraic functions on a curve.Laura R. Phillips - 2015 - Archive for Mathematical Logic 54 (5-6):587-614.
    Let R be a real closed field, and X⊆Rm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\subseteq R^m}$$\end{document} semi-algebraic and 1-dimensional. We consider complete first-order theories of modules over the ring of continuous semi-algebraic functions X→R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${X\to R}$$\end{document} definable with parameters in R. As a tool we introduce -piecewise vector bundles on X and show that the category of piecewise vector bundles on X is equivalent to the category of syzygies of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  31
    Cluster formulae for metallic glasses derived from devitrification phases.Jixiang Chen, Qing Wang, Yingmin Wang, Jianbing Qiang, Fengwei Li, Chunlei Zhu & Chuang Dong - 2012 - Philosophical Magazine 92 (34):4300-4319.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  42
    Composition formulae of ideal metallic glasses and their relevant eutectics established by a cluster-resonance model.Guang Han, Jianbing Qiang, Qing Wang, Yingmin Wang, Chunlei Zhu, Shiguang Quan, Chuang Dong & Peter Häussler - 2011 - Philosophical Magazine 91 (18):2404-2418.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  8
    Analytical formulae for d.c. hopping conductivity.P. N. Butcher, K. J. Hayden & J. A. McInnes - 1977 - Philosophical Magazine 36 (1):19-32.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  20
    Analytical formulae for d.c. hopping conductivity degenerate hopping in wide bands.P. N. Butcher & K. J. Hayden - 1977 - Philosophical Magazine 36 (3):657-676.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  12
    Some latin funerary formulae with obitvs as a direct object: Origin, meaning and use.Iveta Adams - 2016 - Classical Quarterly 66 (2):525-539.
    This paper is about several little-known Latin funerary formulae of some interest. It is also intended as an addition to the growing literature on what are now called in English ‘support verbs’, with special focus on facio.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  10
    List-based Formulae in the Avadanasataka.Alice Collett - 2007 - Buddhist Studies Review 23 (2):155-185.
    This article is a study of formulaic passages in the Sanskrit Avadanasataka. Alongside a preliminary discussion of work on oral studies within Buddhism, and some recourse to wider oral studies on Indian texts, the focus of this article is a two-part study of formulae and constituents of formulae. The first part of the article details formulaic sections from the Avadanasataka, from short formulae about wealthy merchants to lengthy counterparts that detail the consequences of a Buddha's smile. The second part looks (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  41
    Perfect IFG-Formulas.Allen L. Mann - 2008 - Logica Universalis 2 (2):265-275.
    IFG logic is a variant of the independence-friendly logic of Hintikka and Sandu. We answer the question: “Which IFG-formulas are equivalent to ordinary first-order formulas?” We use the answer to prove the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32.  34
    Models of PT- with Internal Induction for Total Formulae.Cezary Cieslinski, Bartosz Wcisło & Mateusz Łełyk - 2017 - Review of Symbolic Logic 10 (1):187-202.
    We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT tot ) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT tot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  14
    A Rejection System for the First-Degree Formulae of some Relevant Logics.Ross T. Brady - 2008 - Australasian Journal of Logic 6:55-69.
    The standard Hilbert-style of axiomatic system yields the assertion of axioms and, via the use of rules, the assertion of theorems. However, there has been little work done on the corresponding axiomatic rejection of non-theorems. Such Hilbert-style rejection would be achieved by the inclusion of certain rejection-axioms (r-axioms) and, by use of rejection-rules (r-rules), the establishment of rejection-theorems (r-theorems). We will call such a proof a rejection-proof (r-proof). The ideal to aim for would be for the theorems and r-theorems to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  34.  28
    A note on modal formulae and relational properties.J. F. A. K. van Benthem - 1975 - Journal of Symbolic Logic 40 (1):55-58.
  35.  39
    Periodicity in the formulae of carbonyls and the electronic basis of the Periodic Table.Peter G. Nelson - 2012 - Foundations of Chemistry 15 (2):199-208.
    The basis of the Periodic Table is discussed. Electronic configuration recurs in only 21 out of the 32 groups. A better basis is derived by considering the highest classical valency (v) exhibited by an element and a new measure, the highest valency in carbonyl compounds (v*). This leads to a table based on the number of outer electrons possessed by an atom (N) and the number of electrons required for it to achieve an inert (noble) gas configuration (N*). Periodicity of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  32
    Minimising Existence: Or How to Stop Worrying and Love the Barcan Formulae.Nicola Ciprotti - 2006 - Annali Del Dipartimento di Filosofia 12:215-238.
    The paper is intended to provide a full-scale defence of the infamous Barcan Formulae. Not only do I put forth some arguments, both semantic and metaphysical, against recent criticism; I also take pains at supplying some rationale in favour of the formal semantics underlying the Formulae, namely Possibilist quantification. Such a task is carried out through an argument for Compositional Nihilism, according to which nothing but mereological simples ever exists, and consequently through an informal sketch of the metaphysics of possible (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Plants, Animals, and Formulae: Natural History in the Light of Latour's Science in Action and Foucault's the Order of Things.Dirk Stemerding - 1994 - Journal of the History of Biology 27 (2):372-373.
  38.  7
    Lyric Variations of Epic Formulae.Cristina Egoscozábal - 2004 - Hermes 132 (2):225-231.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  15
    Reading reactions for mathematical formulae.M. A. Tinker - 1926 - Journal of Experimental Psychology 9 (6):444.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  33
    Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):111-112.
  41.  10
    Minimal sets on propositional formulae. Problems and reductions.Joao Marques-Silva, Mikoláš Janota & Carlos Mencía - 2017 - Artificial Intelligence 252 (C):22-50.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  33
    Formulae and Literature. [REVIEW]R. B. Rutherford - 1987 - The Classical Review 37 (1):1-2.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  8
    Translating modal formulae as set-theoretic terms.G. D'Agostino, A. Montanari & A. Policriti - 1995 - Bulletin of Symbolic Logic 1 (2):230-231.
  44.  4
    Elements and formulae of special relativity.Edward Armand Guggenheim - 1967 - New York,: Pergamon Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  14
    Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics.Dov Gabbay, Odinaldo Rodrigues & John Woods - 2002 - Logic Journal of the IGPL 10 (6):601-652.
    There are several areas in applied logic where deletion from databases is involved in one way or another:Belief contraction Triggers of the form ‘If condition then remove A’, which are extensively used in database management systemsResource considerations as in relevance and linear logics, where addition or removal of resource can affect provabilityFree logic and the like, where existence and non-existence of individuals affects quantification.All of these areas have certain logical difficulties relating to the removal of elements. These difficulties are normally (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  34
    D. Blanuša's Formulae for Transforming Heat and Temperature in Relativistic Thermodynamics and his Correspondence with W. Pauli in 1948.Tomislav Petković - 2006 - Filozofska Istrazivanja 26 (3):623-642.
  47.  5
    Equivalent Speech-Introduction Formulae in the Iliad.S. Douglas Olson - 1994 - Mnemosyne 47 (2):145-151.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  15
    Belief contraction, anti-formulae and resource overdraft: Part II deletion in resource unbounded logics.Dov M. Gabbay, Odinaldo Rodrigues & John Woods - 2004 - In S. Rahman J. Symons (ed.), Logic, Epistemology, and the Unity of Science. Kluwer Academic Publisher. pp. 291--326.
  49.  10
    Justifying induction on modal -formulae.L. Alberucci, J. Krahenbuhl & T. Studer - 2014 - Logic Journal of the IGPL 22 (6):805-817.
  50.  10
    Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.D. M. Gabbay - 2002 - Logic Journal of the IGPL 10 (5):501-549.
    There are several areas in applied logic where deletion from databases is involved in one way or another:Belief contraction Triggers of the form ‘If condition then remove A’, which are extensively used in database management systemsResource considerations as in relevance and linear logics, where addition or removal of resource can affect provabilityFree logic and the like, where existence and non-existence of individuals affects quantification.All of these areas have certain logical difficulties relating to the removal of elements. This paper points out (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 997