Results for 'Dependence logic'

1000+ found
Order:
  1.  52
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  66
    On Definability in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
    We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  3.  55
    Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
    We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  28
    A Remark on Negation in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2011 - Notre Dame Journal of Formal Logic 52 (1):55-65.
    We show that for any pair $\phi$ and $\psi$ of contradictory formulas of dependence logic there is a formula $\theta$ of the same logic such that $\phi\equiv\theta$ and $\psi\equiv\neg\theta$. This generalizes a result of Burgess.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  27
    The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
    We examine the transitions between sets of possible worlds described by the compositional semantics of Modal Dependence Logic, and we use them as the basis for a dynamic version of this logic. We give a game theoretic semantics, a (compositional) transition semantics and a power game semantics for this new variant of modal Dependence Logic, and we prove their equivalence; and furthermore, we examine a few of the properties of this formalism and show that Modal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  12
    Dependence Logic with a Majority Quantifier.Arnaud Durand, Johannes Ebbing, Juha Kontinen & Heribert Vollmer - 2015 - Journal of Logic, Language and Information 24 (3):289-305.
    We study the extension of dependence logic \ by a majority quantifier \ over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers of all arities. Our results imply that, from the point of view of descriptive complexity theory, \\) captures the complexity class counting hierarchy. We also obtain characterizations of the individual levels of the counting hierarchy by fragments of \\).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  28
    Complexity Results for Modal Dependence Logic.Peter Lohmann & Heribert Vollmer - 2013 - Studia Logica 101 (2):343-366.
    Modal dependence logic was introduced recently by Väänänen. It enhances the basic modal language by an operator = (). For propositional variables p 1, . . . , p n , = (p 1, . . . , p n-1, p n ) intuitively states that the value of p n is determined by those of p 1, . . . , p n-1. Sevenster (J. Logic and Computation, 2009) showed that satisfiability for modal dependence (...) is complete for nondeterministic exponential time.In this paper we consider fragments of modal dependence logic obtained by restricting the set of allowed propositional connectives. We show that satisfiability for poor man’s dependence logic, the language consisting of formulas built from literals and dependence atoms using ${\wedge, \square, \lozenge}$ (i. e., disallowing disjunction), remains NEXPTIME-complete. If we only allow monotone formulas (without negation, but with disjunction), the complexity drops to PSPACE-completeness.We also extend Väänänen’s language by allowing classical disjunction besides dependence disjunction and show that the satisfiability problem remains NEXPTIME-complete. If we then disallow both negation and dependence disjunction, satisfiability is complete for the second level of the polynomial hierarchy. Additionally we consider the restriction of modal dependence logic where the length of each single dependence atom is bounded by a number that is fixed for the whole logic. We show that the satisfiability problem for this bounded arity dependence logic is PSPACE-complete and that the complexity drops to the third level of the polynomial hierarchy if we then disallow disjunction.In this way we completely classify the computational complexity of the satisfiability problem for all restrictions of propositional and dependence operators considered by Väänänen and Sevenster. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8.  54
    Expressing Second-Order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
    Intuitionistic dependence logic was introduced by Abramsky and Väänänen [1] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependence logic is equivalent to second order logic on the level of sentences.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  39
    Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
    The properties of the ${\forall^{1}}$ quantifier defined by Kontinen and Väänänen in [13] are studied, and its definition is generalized to that of a family of quantifiers ${\forall^{n}}$ . Furthermore, some epistemic operators δ n for Dependence Logic are also introduced, and the relationship between these ${\forall^{n}}$ quantifiers and the δ n operators are investigated.The Game Theoretic Semantics for Dependence Logic and the corresponding Ehrenfeucht- Fraissé game are then adapted to these new connectives.Finally, it is proved (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  33
    Coherence and Computational Complexity of Quantifier-Free Dependence Logic Formulas.Jarmo Kontinen - 2013 - Studia Logica 101 (2):267-291.
    We study the computational complexity of the model checking problem for quantifier-free dependence logic ${(\mathcal{D})}$ formulas. We characterize three thresholds in the complexity: logarithmic space (LOGSPACE), non-deterministic logarithmic space (NL) and non-deterministic polynomial time (NP).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  60
    Compositional Natural Language Semantics Using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
    Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  48
    Transition Semantics: The Dynamics of Dependence Logic.P. Galliani - 2014 - Synthese 191 (6):1249-1276.
    We examine the relationship between dependence logic and game logics. A variant of dynamic game logic, called Transition Logic, is developed, and we show that its relationship with dependence logic is comparable to the one between first-order logic and dynamic game logic discussed by van Benthem. This suggests a new perspective on the interpretation of dependence logic formulas, in terms of assertions about reachability in games of imperfect information against Nature. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  13.  42
    Dependence Logic: A New Approach to Independence Friendly Logic.J. Väänänen - 2007 - Cambridge University Press.
    Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  14.  32
    Axiomatizing First-Order Consequences in Dependence Logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.
    Dependence logic, introduced in Väänänen [11], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  25
    Characterizing Quantifier Extensions of Dependence Logic.Fredrik Engström & Juha Kontinen - 2013 - Journal of Symbolic Logic 78 (1):307-316.
    We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quanti ers in terms of quanti er extensions of existential second-order logic.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  31
    Dependence Logic: A Survey of Some Recent Work.Juha Kontinen - 2013 - Philosophy Compass 8 (10):950-963.
    Dependence logic and its many variants are new logics that aim at establishing a unified logical theory of dependence and independence underlying seemingly unrelated subjects. The area of dependence logic has developed rapidly in the past few years. We will give a short introduction to dependence logic and review some of the recent developments in the area.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  37
    Erratum To: On Definability in Dependence Logic[REVIEW]Jouko Väänänen - 2011 - Journal of Logic, Language and Information 20 (1):133-134.
  18.  7
    The Expressive Power of Modal Dependence Logic.Lauri Hella, Kerkko Luosto, Katsuhiko Sano & Jonni Virtema - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 294-312.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  19.  7
    Dependence Logic in Pregeometries and Ω-Stable Theories.Gianluca Paolini & Jouko Väänänen - 2016 - Journal of Symbolic Logic 81 (1):32-55.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  9
    On Natural Deduction in Dependence Logic[REVIEW]Juha Kontinen - 2015 - In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter. pp. 297-304.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Sequents for Dependence Logic.L. Fariñas del Cerro & V. Lugardon - forthcoming - Logique Et Analyse.
  22.  93
    Dependence Logic: A New Approach to Independence Friendly Logic – by Jouko Väänänen.Gabriel Sandu - 2009 - Theoria 75 (1):52-64.
  23. Coherence and Complexity of Quantifier-Free Dependence Logic Formulas.Jarmo Kontinen - forthcoming - Studia Logica.
  24.  36
    Independendly‐Friendly Logic: Dependence and Independence of Quantifiers in Logic.Gabriel Sandu - 2012 - Philosophy Compass 7 (10):691-711.
    Independence‐Friendly logic introduced by Hintikka and Sandu studies patterns of dependence and independence of quantifiers which exceed those found in ordinary first‐order logic. The present survey focuses on the game‐theoretical interpretation of IF‐logic, including connections to solution concepts in classical game theory, but we shall also present its compositional interpretation together with its connections to notions of dependence and dependence between terms.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  21
    Complementarity, Context Dependence, and Quantum Logic.Patrick A. Heelan - 1970 - Foundations of Physics 1 (2):95-110.
    Quantum-mechanical event descriptions are context-dependent descriptions. The role of quantum (nondistributive) logic is in the partial ordering of contexts rather than in the ordering of quantum-mechanical events. Moreover, the kind of quantum logic displayed by quantum mechanics can be easily inferred from the general notion of contextuality used in ordinary language. The formalizable core of Bohr's notion of complementarity is the type of context dependence discussed in this paper.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  26.  44
    Against the Judgment-Dependence of Mathematics and Logic.Alexander Paseau - 2012 - Erkenntnis 76 (1):23-40.
    Although the case for the judgment-dependence of many other domains has been pored over, surprisingly little attention has been paid to mathematics and logic. This paper presents two dilemmas for a judgment-dependent account of these areas. First, the extensionality-substantiality dilemma: in each case, either the judgment-dependent account is extensionally inadequate or it cannot meet the substantiality condition (roughly: non-vacuous specification). Second, the extensionality-extremality dilemma: in each case, either the judgment-dependent account is extensionally inadequate or it cannot meet the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  12
    Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited.Fan Yang - 2019 - Annals of Pure and Applied Logic 170 (9):1128-1149.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  5
    Questions and Dependency in Intuitionistic Logic.Ivano Ciardelli, Rosalie Iemhoff & Fan Yang - 2020 - Notre Dame Journal of Formal Logic 61 (1):75-115.
    In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  17
    Metakides G. And Nerode A.. Recursively Enumerable Vector Spaces. Annals of Mathematical Logic, Vol. 11 , Pp. 147–171.Metakides G. And Nerode A.. Effective Content of Field Theory. Annals of Mathematical Logic, Vol. 17 , Pp. 289–320.Metakides G. And Nerode A.. Recursion Theory on Fields and Abstract Dependence. Journal of Algebra, Vol. 65 , Pp. 36–59. [REVIEW]A. G. Hamilton - 1983 - Journal of Symbolic Logic 48 (3):880-882.
  30. The Logic of Approximate Dependence.Jouko Väänänen - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.), Rohit Parikh on Logic, Language and Society. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Rigid and Flexible Quantification in Plural Predicate Logic.Lucas Champollion, Justin Bledin & Haoze Li - forthcoming - Semantics and Linguistic Theory 27.
    Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  19
    Uncertainty and Dependence in Classical and Quantum Logic—the Role of Triangular Norms.Mirko Navara & Pavel Pták - 1999 - In Maria Luisa Dalla Chiara (ed.), Language, Quantum, Music. pp. 249--261.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  7
    Uncertainty and Dependence in Classical and Quantum Logic^ the Role of Triangular Norms1.M. L. Dalla Chiara - 1999 - In Maria Luisa Dalla Chiara (ed.), Language, Quantum, Music. pp. 249.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. A Peculiarity in Pearl’s Logic of Interventionist Counterfactuals.Jiji Zhang, Wai-Yin Lam & Rafael De Clercq - 2013 - Journal of Philosophical Logic 42 (5):783-794.
    We examine a formal semantics for counterfactual conditionals due to Judea Pearl, which formalizes the interventionist interpretation of counterfactuals central to the interventionist accounts of causation and explanation. We show that a characteristic principle validated by Pearl’s semantics, known as the principle of reversibility, states a kind of irreversibility: counterfactual dependence (in David Lewis’s sense) between two distinct events is irreversible. Moreover, we show that Pearl’s semantics rules out only mutual counterfactual dependence, not cyclic dependence in general. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  18
    General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
    We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  98
    Object-Dependence.Avrum Hiller - 2013 - Essays in Philosophy 14 (1):33-55.
    There has been much work on ontological dependence in recent literature. However, relatively little of it has been dedicated to the ways in which individual physical objects may depend on other distinct, non-overlapping objects. This paper gives several examples of such object-dependence and distinguishes between different types of it. The paper also introduces and refines the notion of an n-tet. N-tets (typically) occur when there are object-dependence relations between n objects. I claim that the identity (or, rather, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  18
    Independence Logic and Abstract Independence Relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.
    We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics and statistics.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  14
    A Double Team Semantics for Generalized Quantifiers.Antti Kuusisto - 2015 - Journal of Logic, Language and Information 24 (2):149-191.
    We investigate extensions of dependence logic with generalized quantifiers. We also introduce and investigate the notion of a generalized atom. We define a system of semantics that can accommodate variants of dependence logic, possibly extended with generalized quantifiers and generalized atoms, under the same umbrella framework. The semantics is based on pairs of teams, or double teams. We also devise a game-theoretic semantics equivalent to the double team semantics. We make use of the double team semantics (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  49
    Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.Pietro Galliani & Allen L. Mann - 2013 - Studia Logica 101 (2):293-322.
    We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu’s equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Hintikka on the Foundations of Mathematics: IF Logic and Uniformity Concepts.André Bazzoni - 2015 - Journal of Philosophical Logic 44 (5):507-516.
    The initial goal of the present paper is to reveal a mistake committed by Hintikka in a recent paper on the foundations of mathematics. His claim that independence-friendly logic is the real logic of mathematics is supported in that article by an argument relying on uniformity concepts taken from real analysis. I show that the central point of his argument is a simple logical mistake. Second and more generally, I conclude, based on the previous remarks and on another (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  81
    If Logic, Definitions and the Vicious Circle Principle.Jaakko Hintikka - 2012 - Journal of Philosophical Logic 41 (2):505-517.
    In a definition (∀ x )(( x є r )↔D[ x ]) of the set r, the definiens D[ x ] must not depend on the definiendum r . This implies that all quantifiers in D[ x ] are independent of r and of (∀ x ). This cannot be implemented in the traditional first-order logic, but can be expressed in IF logic. Violations of such independence requirements are what created the typical paradoxes of set theory. Poincaré’s Vicious (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  81
    From If to Bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
    We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  43.  46
    Context and Consequence. An Intercontextual Substructural Logic.Elia Zardini - 2014 - Synthese 191 (15):3473-3500.
    Some apparently valid arguments crucially rely on context change. To take a kind of example first discussed by Frege, ‘Tomorrow, it’ll be sunny’ taken on a day seems to entail ‘Today, it’s sunny’ taken on the next day, but the first sentence taken on a day sadly does not seem to entail the second sentence taken on the second next day. Mid-argument context change has not been accounted for by the tradition that has extensively studied the distinctive logical properties of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44. Logic and Formal Ontology.B. Smith - 1989 - In J. N. Mohanty & W. McKenna (eds.), Husserl’s Phenomenology: A Textbook. Lanham: University Press of America. pp. 29-67.
    The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  45.  14
    Drawing Inferences From Conditionals.Hans Rott - 1997 - In Eva Ejerhed Sten Lindström (ed.), Logic, Action and Cognition. Essays in Philosophical Logic. Kluwer Academic Publishers. pp. 149-179.
    This paper compares three accounts of what can be inferred from a knowledge base that contains conditionals: Lehmann and Magidor’s Rational Entailment; Pearl’s System Z, later extended and refined in collaboration with Goldszmidt; and the present author’s Nonmonotonic conditional logic for belief revision. We show that although the ideas motivating these systems are strikingly different, they are formally equivalent. An explanation of the surprising parallel is offered in terms of the interpretation of conditionals in the context of nonmonotonic reasoning (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
    We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  47.  89
    Truth, Dependence and Supervaluation: Living with the Ghost.Toby Meadows - 2013 - Journal of Philosophical Logic 42 (2):221-240.
    In J Philos Logic 34:155–192, 2005, Leitgeb provides a theory of truth which is based on a theory of semantic dependence. We argue here that the conceptual thrust of this approach provides us with the best way of dealing with semantic paradoxes in a manner that is acceptable to a classical logician. However, in investigating a problem that was raised at the end of J Philos Logic 34:155–192, 2005, we discover that something is missing from Leitgeb’s original (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  48.  49
    Set-Theoretic Dependence.John Wigglesworth - 2015 - Australasian Journal of Logic 12 (3):159-176.
    In this paper, we explore the idea that sets depend on, or are grounded in, their members. It is said that a set depends on each of its members, and not vice versa. Members do not depend on the sets that they belong to. We show that the intuitive modal truth conditions for dependence, given in terms of possible worlds, do not accurately capture asymmetric dependence relations between sets and their members. We extend the modal truth conditions to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Quantum Logic as a Fragment of Independence-Friendly Logic.Jaakko Hintikka - 2002 - Journal of Philosophical Logic 31 (3):197-209.
    The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation ∼. Then in a Hilbert space ∼ turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   78 citations  
1 — 50 / 1000