Search results for 'Propositional Structure' (try it on Scholar)

1000+ found
Sort by:
  1. Michael McGlone (2012). Propositional Structure and Truth Conditions. Philosophical Studies 157 (2):211-225.score: 222.0
    This paper presents an account of the manner in which a proposition’s immediate structural features are related to its core truth-conditional features. The leading idea is that for a proposition to have a certain immediate structure is just for certain entities to play certain roles in the correct theory of the brute facts regarding that proposition’s truth conditions. The paper explains how this account addresses certain worries and questions recently raised by Jeffery King and Scott Soames.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Thomas Hodgson (2013). Why We Should Not Identify Sentence Structure with Propositional Structure. Canadian Journal of Philosophy 43 (5-6):612-633.score: 182.0
    It is a common view among philosophers of language that both propositions and sentences are structured objects. One obvious question to ask about such a view is whether there is any interesting connection between these two sorts of structure. The author identifies two theses about this relationship. Identity (ID) – the structure of a sentence and the proposition it expresses are identical. Determinism (DET) – the structure of a sentence determines the structure of the proposition it (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Eric Mandelbaum, Attitude, Inference, Association: On The Propositional Structure of Implicit Bias.score: 176.0
    The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between understandings of association as a theory of learning, a theory of cognitive structure, a theory of mental processes, and as an implementation base for cognition. I then argue that the crucial senses of association for elucidating implicit bias are the cognitive structure (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Wolfgang Spohn, The Intentional Versus the Propositional Structure of Contents.score: 156.0
    The paper argues that the objects of belief should not be conceived as sets of possible worlds or propositions of set of centered possible worlds or egocentric propositions (this is the propositional conception), but rather as sets of pairs consisting of a centered world and a sequence of objects (this is the intentional conception of the objects of belief). The paper explains the deep significance of this thesis for the framework of two-dimensional semantics, indeed for any framework trying to (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Jerrold J. Katz (1977). Propositional Structure and Illocutionary Force: A Study of the Contribution of Sentence Meaning to Speech Acts. Harvester.score: 154.0
    Katz offers such a grammatical account, in which makes it possible for the first time to explain the illocutionary potential of sentences within grammar.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Joseph Runzo (1977). The Propositional Structure of Perception. American Philosophical Quarterly 14 (July):211-220.score: 154.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Adam Sennet (2011). Unarticulated Constituents and Propositional Structure. Mind and Language 26 (4):412-435.score: 152.0
    Attempts to characterize unarticulated constituents (henceforth: UCs) by means of quantification over the parts of a sentence and the constituents of the proposition it expresses come to grief in more complicated cases than are commonly considered. In particular, UC definitions are inadequate when we consider cases in which the same constituent appears more than once in a proposition that only has one word with the constituent as its semantic value. This article explores some consequences of trying to repair the formal (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Mineki Oguchi (2011). The Propositional Structure of Perception. Kagaku Tetsugaku 44 (1):1-16.score: 150.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Antonio Rauti (2004). Propositional Structure and B. Russell's Theory of Denoting inThe Principles of Mathematics. History and Philosophy of Logic 25 (4):281-304.score: 150.0
  10. Jack Kaminsky (1980). Propositional Structure and Illocutionary Force. International Studies in Philosophy 12 (1):89-90.score: 150.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. J. R. Cameron (1979). Propositional Structure and Illocutionary Force. Philosophical Books 20 (3):142-144.score: 150.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Jane Heal & Jerrold J. Katz (1978). Propositional Structure and Illocutionary Force. Philosophical Quarterly 28 (113):366.score: 150.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Vasilis Tsompanidis (2013). The Structure of Propositions and Cross-Linguistic Syntactic Variability. Croatian Journal of Philosophy (39):399-419.score: 150.0
    In Jeffrey King’s theory of structured propositions, propositional structure mirrors the syntactic structure of natural language sentences that express it. I provide cases where this claim individuates propositions too finely across languages. Crucially, King’s paradigmatic proposition-fact ^that Dara swims^ cannot be believed by a monolingual Greek speaker, due to Greek syntax requiring an obligatory article in front of proper names. King’s two possible replies are: (i) to try to streamline the syntax of Greek and English; or (ii) (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Pierluigi Donini (2007). Seneca and Galen on the Propositional Structure of Chyrissipus' Passion. Rivista di Storia Della Filosofia 62 (3):431-452.score: 150.0
    No categories
     
    My bibliography  
     
    Export citation  
  15. Jan Almäng (2014). Perception, Non-Propositional Content and the Justification of Perceptual Judgments. Metaphysica 15 (1):1-23.score: 120.0
    It is often argued that for a perceptual experience to be able to justify perceptual judgments, the perceptual experience must have a propositional content. For, it is claimed, only propositions can bear logical relations such as implication to each other. In this paper, this claim is challenged. It is argued that whereas perceptions and judgments both have intentional content, their contents have different structures. Perceptual content does not have a propositional structure. Perceptions and judgments can nevertheless have (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  16. E. William Chapin (1974). Translations and Structure for Partial Propositional Calculi. Studia Logica 33 (1):35-57.score: 120.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Ronald Harrop (1965). Some Structure Results for Propositional Calculi. Journal of Symbolic Logic 30 (3):271-292.score: 120.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. Ann Yasuhara (1967). Review: Ronald Harrop, Some Structure Results for Propositional Calculi. [REVIEW] Journal of Symbolic Logic 32 (4):537-538.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. H. E. Vaughan (1942). Review: S. Pankajam, On the Formal Structure of the Propositional Calculus I. [REVIEW] Journal of Symbolic Logic 7 (1):39-39.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. H. E. Vaughan (1943). Review: S. Pankajam, On the Formal Structure of the Propositional Calculus II. [REVIEW] Journal of Symbolic Logic 8 (3):84-84.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Phillip Bricker (1983). Worlds and Propositions: The Structure and Ontology of Logical Space. Dissertation, Princeton Universityscore: 114.0
    In sections 1 through 5, I develop in detail what I call the standard theory of worlds and propositions, and I discuss a number of purported objections. The theory consists of five theses. The first two theses, presented in section 1, assert that the propositions form a Boolean algebra with respect to implication, and that the algebra is complete, respectively. In section 2, I introduce the notion of logical space: it is a field of sets that represents the propositional (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  22. Jeffrey King (1996). Structured Propositions and Sentence Structure. Journal of Philosophical Logic 25 (5):495 - 521.score: 110.0
    It is argued that taken together, two widely held claims ((i) sentences express structured propositions whose structures are functions of the structures of sentences expressing them; and (ii) sentences have underlying structures that are the input to semantic interpretation) suggest a simple, plausible theory of propositional structure. According to this theory, the structures of propositions are the same as the structures of the syntactic inputs to semantics they are expressed by. The theory is defended against a variety of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. John Dilworth & Dylan Sabo (2014). A Dual-Component View of Propositional Grasping. Erkenntnis 79 (3):511-522.score: 96.0
    On a traditional or default view of the grasping or understanding of a singular proposition by an individual, it is assumed to be a unitary or holistic activity. However, naturalistic views of cognition plausibly could analyze propositional thinking in terms of more than one distinctive functional stage of cognitive processing, suggesting at least the potential legitimacy of a non-unitary analysis of propositional grasping. We outline a novel dual-component view of this kind, and show that it is well supported (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  24. Ariadna Chernavska (1981). The Impossibility of a Bivalent Truth-Functional Semantics for the Non-Boolean Propositional Structures of Quantum Mechanics. Philosophia 10 (1-2):1-18.score: 96.0
    The general fact of the impossibility of a bivalent, truth-functional semantics for the propositional structures determined by quantum mechanics should be more subtly demarcated according to whether the structures are taken to be orthomodular latticesP L or partial-Boolean algebrasP A; according to whether the semantic mappings are required to be truth-functional or truth-functional ; and according to whether two-or-higher dimensional Hilbert spaceP structures or three-or-higher dimensional Hilbert spaceP structures are being considered. If the quantumP structures are taken to be (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Eric Mandelbaum (2013). Against Alief. Philosophical Studies 165 (1):197-211.score: 84.0
    This essay attempts to clarify the nature and structure of aliefs. First I distinguish between a robust notion of aliefs and a deflated one. A robust notion of aliefs would introduce aliefs into our psychological ontology as a hitherto undiscovered kind, whereas a deflated notion of aliefs would identify aliefs as a set of pre-existing psychological states. I then propose the following dilemma: one the one hand, if aliefs have propositional content, then it is unclear exactly how aliefs (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  26. Syed S. Ali & Stuart C. Shapiro (1993). Natural Language Processing Using a Propositional Semantic Network with Structured Variables. Minds and Machines 3 (4):421-451.score: 84.0
    We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Jan Krajíček (2004). Combinatorics of First Order Structures and Propositional Proof Systems. Archive for Mathematical Logic 43 (4):427-441.score: 84.0
    We define the notion of a combinatorics of a first order structure, and a relation of covering between first order structures and propositional proof systems. Namely, a first order structure M combinatorially satisfies an L-sentence Φ iff Φ holds in all L-structures definable in M. The combinatorics Comb(M) of M is the set of all sentences combinatorially satisfied in M. Structure M covers a propositional proof system P iff M combinatorially satisfies all Φ for which (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. Philip Robbins (2004). To Structure, or Not to Structure? Synthese 139 (1):55-80.score: 80.0
    Some accounts of mental content represent the objects of belief as structured, using entities that formally resemble the sentences used to express and report attitudes in natural language; others adopt a relatively unstructured approach, typically using sets or functions. Currently popular variants of the latter include classical and neo-classical propositionalism, which represent belief contents as sets of possible worlds and sets of centered possible worlds, respectively; and property self-ascriptionism, which employs sets of possible individuals. I argue against their contemporary proponents (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  29. Thomas Hodgson (2012). Propositions, Structure and Representation. Proceedings of the Aristotelian Society 112 (3):339-349.score: 74.0
    Neo-Russellian theories of structured propositions face challenges to do with both representation and structure which are sometimes called the problem of unity and the Benacerraf problem. In §i, I set out the problems and Jeffrey King's solution, which I take to be the best of its type, as well as an unfortunate consequence for that solution. In §§ii–iii, I diagnose what is going wrong with this line of thought. If I am right, it follows that the Benacerraf problem cannot (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  30. Mark E. Richard (1990). Propositional Attitudes: An Essay on Thoughts and How We Ascribe Them. New York: Cambridge University Press.score: 72.0
    This book makes a stimulating contribution to the philosophy of language and philosophy of mind. It begins with a spirited defense of the view that propositions are structured and that propositional structure is "psychologically real." The author then develops a subtle view of propositions and attitude ascription. The view is worked out in detail with attention to such topics as the semantics of conversations, iterated attitude ascriptions, and the role of propositions as bearers of truth. Along the way (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Paloma Pérez-Ilzarbe (2009). Jerónimo Pardo on the Unity of Mental Propositions. In J. Biard (ed.), Le langage mental du Moyen Âge à l'Âge Classique. Peeters Publishers.score: 72.0
    Originally motivated by a sophism, Pardo's discussion about the unity of mental propositions allows him to elaborate on his ideas about the nature of propositions. His option for a non-composite character of mental propositions is grounded in an original view about syncategorems: propositions have a syncategorematic signification, which allows them to signify aliquid aliqualiter, just by virtue of the mental copula, without the need of any added categorematic element. Pardo's general claim about the simplicity of mental propositions is developed into (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  32. Allan Hazlett, Limning Structure as an Epistemic Goal.score: 66.0
    In the Phaedrus, Socreates sympathetically describes the ability “to cut up each kind according to its species along its natural joints, and to try not to splinter any part, as a bad butcher might do.” (265e) In contemporary philosophy, Ted Sider (2009, 2011) defends the same idea. As I shall put it, Plato and Sider’s idea is that limning structure is an epistemic goal. My aim in this paper is to articulate and defend this idea. First, I’ll articulate the (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Wayne A. Davis (2008). Thought Structure, Belief Content, and Possession Conditions. Acta Analytica 23 (3):207-231.score: 66.0
    According to Peacocke, concepts are individuated by their possession conditions, which are specified in terms of conditions in which certain propositions containing those concepts are believed. In support, Peacocke tries to explain what it is for a thought to have a structure and what it is for a belief to have a propositional content. I show that the possession condition theory cannot answer such fundamental questions. Peacocke’s theory founders because concepts are metaphysically fundamental. They individuate the propositions and (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  34. David Landy (2005). Inside Doubt: On the Non-Identity of the Theory of Mind and Propositional Attitude Psychology. [REVIEW] Minds and Machines 15 (3-4):399-414.score: 66.0
    Eliminative materialism is a popular view of the mind which holds that propositional attitudes, the typical units of our traditional understanding, are unsupported by modern connectionist psychology and neuroscience, and consequently that propositional attitudes are a poor scientific postulate, and do not exist. Since our traditional folk psychology employs propositional attitudes, the usual argument runs, it too represents a poor theory, and may in the future be replaced by a more successful neurologically grounded theory, resulting in a (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  35. Omar Lizardo (2013). Re‐Conceptualizing Abstract Conceptualization in Social Theory: The Case of the “Structure” Concept. Journal for the Theory of Social Behaviour 43 (2):155-180.score: 66.0
    I this paper, I draw on recent research on the radically embodied and perceptual bases of conceptualization in linguistics and cognitive science to develop a new way of reading and evaluating abstract concepts in social theory. I call this approach Sociological Idea Analysis. I argue that, in contrast to the traditional view of abstract concepts, which conceives them as amodal “presuppositions” removed from experience, abstract concepts are irreducibly grounded in experience and partake of non-negotiable perceptual-symbolic features from which a non- (...) “logic” naturally follows. This implies that uncovering the imagistic bases of allegedly abstract notions should be a key part of theoretical evaluation of concepts in social theory. I provide a case study of the general category of “structure” in the social and human sciences to demonstrate the analytic utility of the approach. (shrink)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  36. C. F. M. Vermeulen (2000). Text Structure and Proof Structure. Journal of Logic, Language and Information 9 (3):273-311.score: 66.0
    This paper is concerned with the structure of texts in which aproof is presented. Some parts of such a text are assumptions, otherparts are conclusions. We show how the structural organisation of thetext into assumptions and conclusions helps to check the validity of theproof. Then we go on to use the structural information for theformulation of proof rules, i.e., rules for the (re-)construction ofproof texts. The running example is intuitionistic propositional logicwith connectives , and. We give new proofs (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  37. Xingxing He, Jun Liu, Yang Xu, Luis Martínez & Da Ruan (2012). On Α-Satisfiability and its Α-Lock Resolution in a Finite Lattice-Valued Propositional Logic. Logic Journal of the Igpl 20 (3):579-588.score: 66.0
    Automated reasoning issues are addressed for a finite lattice-valued propositional logic LnP(X) with truth-values in a finite lattice-valued logical algebraic structure—lattice implication algebra. We investigate extended strategies and rules from classical logic to LnP(X) to simplify the procedure in the semantic level for testing the satisfiability of formulas in LnP(X) at a certain truth-value level α (α-satisfiability) while keeping the role of truth constant formula played in LnP(X). We propose a lock resolution method at a certain truth-value level (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Matthew Davidson, Propositions as Structured Entities.score: 64.0
    Belief in propositions no longer brings about the sorts of looks it did when Quine's affinity for desert landscapes held sway in the Anglo-American philosophical scene. People are doing work in the metaphysics of propositions, trying to figure out what sorts of creatures propositions are. In philosophers like Frege, Russell, and Moore we have strong shoulders upon which to stand. But, there is much more work that needs to be done. I will try to do a bit of that work (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. Lorraine Juliano Keller & John A. Keller (2013). Compositionality and Structured Propositions. Thought: A Journal of Philosophy 2 (4):313-323.score: 64.0
    In this article, we evaluate the Compositionality Argument for structured propositions. This argument hinges on two seemingly innocuous and widely accepted premises: the Principle of Semantic Compositionality and Propositionalism (the thesis that sentential semantic values are propositions). We show that the Compositionality Argument presupposes that compositionality involves a form of building, and that this metaphysically robust account of compositionality is subject to counter-example: there are compositional representational systems that this principle cannot accommodate. If this is correct, one of the most (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  40. Hugh Gibbons (1984). Justifying Law: An Explanation of the Deep Structure of American Law. [REVIEW] Law and Philosophy 3 (2):165 - 279.score: 60.0
    Charles Darwin argued that human beings are what happen whenphysical laws act upon a planet with the characteristics that earthhad five billion years ago. Similarly, I have argued that theprimacy of individual will is what eventually happens when asociety allocates and limits coercion based upon rights. From timeto time particular visions of the good or the right dominate publicbehavior, but they are eventually enframed by rights — the authoritative claim of each person to respect.I have argued that the propositional (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. Gregor Damschen (2009). Dispositional Knowledge-How Versus Propositional Knowledge-That. In Gregor Damschen, Robert Schnepf & Karsten Stueber (eds.), Debating Dispositions. Issues in Metaphysics, Epistemology and Philosophy of Mind. de Gruyter.score: 54.0
    The paper deals with the question of the structure of knowledge and the precise relationship between propositional "knowledge that" and dispositional "knowledge how." In the first part of my essay, I provide an analysis of the term 'knowing how' and argue that the usual alternatives in the recent epistemological debate – knowing how is either a form of propositional or dispositional knowledge – are misleading. In fact it depends on the semantic and pragmatic context of the usage (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  42. Steven E. Wallis (ed.) (2010). The Structure of Theory and the Structure of Scientific Revolutions: What Constitutes an Advance in Theory? IGI Global.score: 54.0
    From a Kuhnian perspective, a paradigmatic revolution in management science will significantly improve our understanding of the business world and show practitioners (including managers and consultants) how to become much more effective. Without an objective measure of revolution, however, the door is open for spurious claims of revolutionary advance. Such claims cause confusion among scholars and practitioners and reduce the legitimacy of university management programs. Metatheoretical methods, based on insights from systems theory, provide new tools for analyzing the structure (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Avery Andrews (2010). Propositional Glue and the Projection Architecture of LFG. Linguistics and Philosophy 33 (3):141-170.score: 54.0
    Although ‘glue semantics’ is the most extensively developed theory of semantic composition for LFG, it is not very well integrated into the LFG projection architecture, due to the absence of a simple and well-explained correspondence between glue-proofs and f-structures. In this paper I will show that we can improve this situation with two steps: (1) Replace the current quantificational formulations of glue (either Girard’s system F, or first order linear logic) with strictly propositional linear logic (the quantifier, unit and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  44. Marek Nowak & Daniel Vanderveken (1995). A Complete Minimal Logic of the Propositional Contents of Thought. Studia Logica 54 (3):391 - 410.score: 54.0
    Our purpose is to formulate a complete logic of propositions that takes into account the fact that propositions are both senses provided with truth values and contents of conceptual thoughts. In our formalization, propositions are more complex entities than simple functions from possible worlds into truth values. They have a structure of constituents (a content) in addition to truth conditions. The formalization is adequate for the purposes of the logic of speech acts. It imposes a stronger criterion of (...) identity than strict equivalence. Two propositions P and Q are identical if and only if, for any illocutionary force F, it is not possible to perform with success a speech act of the form F(P) without also performing with success a speech act of the form F(Q). Unlike hyperintensional logic, our logic of propositions is compatible with the classical Boolean laws of propositional identity such as the symmetry and the associativity of conjunction and the reduction of double negation. (shrink)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Richard Zach (2004). Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω. Journal of Philosophical Logic 33 (2):155-164.score: 54.0
    Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers ∀p, ∃p, where the propositional variables range over upward-closed subsets of the set of worlds in a Kripke structure. If the permitted accessibility relations are arbitrary partial orders, the resulting logic is known to be recursively isomorphic to full second-order logic (Kremer, 1997). It is shown that if the Kripke structures are restricted to trees of at height and width at most ω, the (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  46. Miroslav Hanke (2009). John Buridan's Propositional Semantics. Studia Neoaristotelica 6 (2):183-208.score: 54.0
    Joannis Buridani de semantice propositionum doctrinaDissertatio proposita Joannis Buridani de semantice propositionum sententiam, quae in suis operibus logicis continetur, pertractat. Quaestio de semantice propositionali duplici modo sumi potest: scil. vel pure semantice (quarendo definitionem veritatis) vel ontologice (inquirendo de statu ontologico “complexesignificabilium”). In utraque quaestione solvenda Buridanus doctrinam semanticam quae “terminismus” dicitur assumit. Notionem veritatis Buridanus non ex significatione sed ex suppositione explicat, quo pacto possibile redditur, veritatem inductive per valorem semanticum propositionis partium definiri. Quaestionem alteram circa semanticen complexionis “accusativi (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Yuichi Komori (1986). Predicate Logics Without the Structure Rules. Studia Logica 45 (4):393 - 404.score: 54.0
    In our previous paper [5], we have studied Kripke-type semantics for propositional logics without the contraction rule. In this paper, we will extend our argument to predicate logics without the structure rules. Similarly to the propositional case, we can not carry out Henkin's construction in the predicate case. Besides, there exists a difficulty that the rules of inference () and () are not always valid in our semantics. So, we have to introduce a notion of normal models.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  48. Sjur Dyrkolbotn & Michał Walicki (2013). Propositional Discourse Logic. Synthese:1-37.score: 54.0
    A novel normal form for propositional theories underlies the logic pdl, which captures some essential features of natural discourse, independent from any particular subject matter and related only to its referential structure. In particular, pdlallows to distinguish vicious circularity from the innocent one, and to reason in the presence of inconsistency using a minimal number of extraneous assumptions, beyond the classical ones. Several, formally equivalent decision problems are identified as potential applications: non-paradoxical character of discourses, admissibility of arguments (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. Duško Pavlović (1992). On the Structure of Paradoxes. Archive for Mathematical Logic 31 (6):397-406.score: 54.0
    Paradox is a logical phenomenon. Usually, it is produced in type theory, on a type Ω of “truth values”. A formula Ψ (i.e., a term of type Ω) is presented, such that Ψ↔¬Ψ (with negation as a term¬∶Ω→Ω)-whereupon everything can be proved: In Sect. 1 we describe a general pattern which many constructions of the formula Ψ follow: for example, the well known arguments of Cantor, Russell, and Gödel. The structure uncovered behind these paradoxes is generalized in Sect. 2. (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  50. David Ripley (2012). Structures and Circumstances: Two Ways to Fine-Grain Propositions. Synthese 189 (1):97 - 118.score: 52.0
    This paper discusses two distinct strategies that have been adopted to provide fine-grained propositions; that is, propositions individuated more finely than sets of possible worlds. One strategy takes propositions to have internal structure, while the other looks beyond possible worlds, and takes propositions to be sets of circumstances, where possible worlds do not exhaust the circumstances. The usual arguments for these positions turn on fineness-of-grain issues: just how finely should propositions be individuated? Here, I compare the two strategies with (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000