Search results for 'logical expressivism' (try it on Scholar)

1000+ found
Sort by:
  1. Paul Piwek (2011). Dialogue Structure and Logical Expressivism. Synthese 183 (S1):33-58.score: 90.0
    This paper aims to develop the implications of logical expressivism for a theory of dialogue coherence. I proceed in three steps. Firstly, certain structural properties of cooperative dialogue are identified. Secondly, I describe a variant of the multi-agent natural deduction calculus that I introduced in Piwek (J Logic Lang Inf 16(4):403–421, 2007 ) and demonstrate how it accounts for the aforementioned structures. Thirdly, I examine how the aforementioned system can be used to formalise an expressivist account of (...) vocabulary that is inspired by Brandom (Making it explicit: reasoning, representing, and discursive commitment, 1994 ; Articulating reasons: an introduction to inferentialism, 2000 ). This account conceives of the logical vocabulary as a tool which allows speakers to describe the inferential practices which underlie their language use, i.e., it allows them to make those practices explicit. The rewards of this exercise are twofold: (1) We obtain a more precise account of logical expressivism which can be defended more effectively against the critique that such accounts lead to cultural relativism. (2) The formalised distinction between engaging in a practice and expressing it, opens the way for a revision of the theory of dialogue coherence. This revision eliminates the need for logically complex formulae to account for certain structural properties of cooperative dialogue. (shrink)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. Charlie Kurth (2011). Logic for Morals, Morals From Logic. Philosophical Studies 155 (2):161-180.score: 39.0
    The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  3. Catherine Legg, What Achilles Did and the Tortoise Wouldn't.score: 36.0
    This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Patricia Marino (2006). Expressivism, Logic, Consistency, and Moral Dilemmas. Ethical Theory and Moral Practice 9 (5):517 - 533.score: 36.0
    On an expressivist view, ethical claims are understood as expressions of our attitudes, desires, and feelings. A famous puzzle for this view concerns the use of logic in ethical reasoning, and two standard treatments try to solve the puzzle by explaining logical inconsistency in terms of conflicting attitudes. I argue, however, that this general strategy fails: because we can reason effectively even in the presence of conflicting moral attitudes – in cases of moral dilemmas – avoiding these conflicts cannot (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Pablo Navarro & Cristina Redondo (1990). Derogation, Logical Indeterminacy, and Legal Expressivism. Rechtstheorie 21:233-239.score: 36.0
    No categories
     
    My bibliography  
     
    Export citation  
  6. Catherine Legg (2013). What is a Logical Diagram? In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. 1-18.score: 33.0
    Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Mark van Roojen (2005). Expressivism, Supervenience and Logic. Ratio 18 (2):190–205.score: 30.0
    Expressivist analyses of evaluative discourse characterize unembedded moral claims as functioning primarily to express noncognitive attitudes. The most thorny problem for this project has been explaining the logical relations between such evaluative judgements and other judgements expressed using evaluative terms in unasserted contexts, such as when moral judgements are embedded in conditionals. One strategy for solving the problem derives logical relations among moral judgements from relations of "consistency" and "inconsistency" which hold between the attitudes they express. This approach (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  8. John Cantwell (2013). First Order Expressivist Logic. Erkenntnis 78 (6):1381-1403.score: 30.0
    This paper provides finitary jointly necessary and sufficient acceptance and rejection conditions for the logical constants of a first order quantificational language. By introducing the notion of making an assignment as a distinct object level practice—something you do with a sentence—(as opposed to a meta-level semantic notion) and combining this with the practice of (hypothetical and categorical) acceptance and rejection and the practice of making suppositions one gains a structure that is sufficiently rich to fully characterize the class of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. David Lauer (2012). Expressivism and the Layer Cake Picture of Discursive Practice. Philosophia 40 (1):55-73.score: 27.0
    Robert Brandom defends the intelligibility of the notion of a fully discursive practice that does not include any kind of logical vocabulary. Logical vocabulary, according to his account, should be understood as an optional extra to discursive practice, not as a necessary ingredient. Call this the Layer Cake Picture of the relation of logical to non-logical discursive practices. The aim pursued in this paper is to show, by way of an internal critique, that the Layer Cake (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Mark Lance & Philip Kremer (1996). The Logical Structure of Linguistic Commitment II: Systems of Relevant Commitment Entailment. [REVIEW] Journal of Philosophical Logic 25 (4):425 - 449.score: 22.0
    In "The Logical Structure of Linguistic Commitment I" (The Journal of Philosophical Logic 23 (1994), 369-400), we sketch a linguistic theory (inspired by Brandom's Making it Explicit) which includes an "expressivist" account of the implication connective, →: the role of → is to "make explicit" the inferential proprieties among possible commitments which proprieties determine, in part, the significances of sentences. This motivates reading (A → B) as "commitment to A is, in part, commitment to B". Our project is to (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Ernest Lepore & Kirk Ludwig (2002). What is Logical Form? In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press. 54--90.score: 21.0
    Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Tuomas E. Tahko (forthcoming). The Metaphysical Interpretation of Logical Truth. In Penelope Rush (ed.), The Metaphysics of Logic: Logical Realism, Logical Anti-Realism and All Things In Between. Cambridge University Press.score: 21.0
    The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of the relation between sentences and models. (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Michael Heidelberger (2003). The Mind-Body Problem in the Origin of Logical Empiricism: Herbert Feigl and Psychophysical Parallelism. In Paolo Parrini, Wes Salmon & Merrilee Salmon (eds.), Logical Empiricism: Historical & Contemporary Perspectives. Pittsburgh: University of Pittsburgh Press. 233--262.score: 21.0
    It is widely held that the current debate on the mind-body problem in analytic philosophy began during the 1950s at two distinct sources: one in America, de- riving from Herbert Feigl's writings, and the other in Australia, related to writings by U. T. Place and J. J. C. Smart (Feigl [1958] 1967). Jaegwon Kim recently wrote that "it was the papers by Smart and Feigl that introduced the mind-body problem as a mainstream metaphysical Problematik of analytical philosophy, and launched the (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Mark Schroeder (forthcoming). Tempered Expressivism. Oxford Studies in Metaethics.score: 21.0
    The basic idea of expressivism is that for some sentences ‘P’, believing that P is not just a matter of having an ordinary descriptive belief. This is a way of capturing the idea that the meaning of some sentences either exceeds their factual/descriptive content or doesn’t consist in any particular factual/descriptive content at all, even in context. The paradigmatic application for expressivism is within metaethics, and holds that believing that stealing is wrong involves having some kind of desire-like (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Michael Pendlebury (2010). How to Be a Normative Expressivist. Philosophy and Phenomenological Research 80 (1):182-207.score: 21.0
    Abstract. Expressivism can make space for normative objectivity by treating normative stances as pro or con attitudes that can be correct or incorrect. And it can answer the logical challenges that bedevil it by treating a simple normative assertion not merely as an expression of a normative stance, but as an expression of the endorsement of a proposition that is true if and only if that normative stance is correct. Although this position has superficial similarities to normative realism, (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  16. Mark Jago (2007). Hintikka and Cresswell on Logical Omniscience. Logic and Logical Philosophy 15 (3):325-354.score: 21.0
    I discuss three ways of responding to the logical omniscience problems faced by traditional ‘possible worlds’ epistemic logics. Two of these responses were put forward by Hintikka and the third by Cresswell; all three have been influential in the literature on epistemic logic. I show that both of Hintikka's responses fail and present some problems for Cresswell’s. Although Cresswell's approach can be amended to avoid certain unpalatable consequences, the resulting formal framework collapses to a sentential model of knowledge, which (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. Yaroslav Shramko (forthcoming). The Logical Way of Being True: Truth Values and the Ontological Foundation of Logic. Logic and Logical Philosophy.score: 21.0
    In this paper I reject the normative interpretation of logic and give reasons for a realistic account based on the ontological treatment of logical values.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  18. Derek Baker & Jack Woods (forthcoming). How Expressivists Can and Should Explain Inconsistency. Ethics.score: 21.0
    Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is in many ways the more natural choice in developing (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Andrzej Pietruszczak (2004). The Axiomatization of Horst Wessel's Strict Logical Consequence Relation. Logic and Logical Philosophy 13:121-138.score: 21.0
    In his book from 1984 Horst Wessel presents the system of strict logical consequence Fs (see also (Wessel, 1979)). The author maintained that this system axiomatized the relation |=s of strict logical consequence between formulas of Classical Propositional Calculi (CPC). Let |= be the classical consequence relation in CPC. The relation |=s is defined as follows: phi |=s psi iff phi |= psi, every variable from psi occurs in phi and neither phi is a contradiction nor psi is (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Andrzej Pietruszczak (2004). The Consequence Relation Preserving Logical Information. Logic and Logical Philosophy 13:89-120.score: 21.0
    Information is contained in statements and «flows» from their structure and meaning of expressions they contain. The information that flows only from the meaning of logical constants and logical structure of statements we will call logical information. In this paper we present a formal explication of this notion which is proper for sentences being Boolean combination of atomic sentences. 1 Therefore we limit ourselves to analyzing logical information flowing only from the meaning of truth-value connectives and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  21. G. Robles & J. M. Méndez (2011). A Class of Simpler Logical Matrices for the Variable-Sharing Property. Logic and Logical Philosophy 20 (3):241-249.score: 21.0
    In our paper “A general characterization of the variable-sharing property by means of logical matrices”, a general class of so-called “Relevant logical matrices”, RMLs, is defined. The aim of this paper is to define a class of simpler Relevant logical matrices RMLs′serving the same purpose that RMLs, to wit: any logic verified by an RML′has the variable-sharing property and related properties predicable of the logic of entailment E and of the logic of relevance R.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  22. Corine Besson, Understanding the Logical Constants and Dispositions. The Baltic International Yearbook of Cognition, Logic and Communication (2010).score: 19.0
    Many philosophers claim that understanding a logical constant (e.g. ‘if, then’) fundamentally consists in having dispositions to infer according to the logical rules (e.g. Modus Ponens) that fix its meaning. This paper argues that such dispositionalist accounts give us the wrong picture of what understanding a logical constant consists in. The objection here is that they give an account of understanding a logical constant which is inconsistent with what seem to be adequate manifestations of such understanding. (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  23. Patrick Allo (2007). Logical Pluralism and Semantic Information. Journal of Philosophical Logic 36 (6):659 - 694.score: 19.0
    Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic information we (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. William H. Hanson (1999). Ray on Tarski on Logical Consequence. Journal of Philosophical Logic 28 (6):605-616.score: 19.0
    In "Logical consequence: A defense of Tarski" (Journal of Philosophical Logic, vol. 25, 1996, pp. 617-677), Greg Ray defends Tarski's account of logical consequence against the criticisms of John Etchemendy. While Ray's defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be replaced (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  25. David J. Anderson & Edward N. Zalta (2004). Frege, Boolos, and Logical Objects. Journal of Philosophical Logic 33 (1):1-26.score: 19.0
    In this paper, the authors discuss Frege's theory of "logical objects" (extensions, numbers, truth-values) and the recent attempts to rehabilitate it. We show that the 'eta' relation George Boolos deployed on Frege's behalf is similar, if not identical, to the encoding mode of predication that underlies the theory of abstract objects. Whereas Boolos accepted unrestricted Comprehension for Properties and used the 'eta' relation to assert the existence of logical objects under certain highly restricted conditions, the theory of abstract (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  26. Owen Griffiths (2012). Reinflating Logical Consequence. Journal of Philosophical Logic (1):1-9.score: 19.0
    Shapiro (Philos Q 61:320–342, 2011) argues that, if we are deflationists about truth, we should be deflationists about logical consequence. Like the truth predicate, he claims, the logical consequence predicate is merely a device of generalisation and more substantial characterisation, e.g. proof- or model-theoretic, is mistaken. I reject his analogy between truth and logical consequence and argue that, by appreciating how the logical consequence predicate is used as well as the goals of proof theory and model (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Gil Sagi (forthcoming). Models and Logical Consequence. Journal of Philosophical Logic:1-22.score: 19.0
    This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. Mario Gómez-Torrente (2000). A Note on Formality and Logical Consequence. Journal of Philosophical Logic 29 (5):529-539.score: 19.0
    Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The question (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  29. Gustavo Fernández Díez (2000). Five Observations Concerning the Intended Meaning of the Intuitionistic Logical Constants. Journal of Philosophical Logic 29 (4):409-424.score: 19.0
    This paper contains five observations concerning the intended meaning of the intuitionistic logical constants: (1) if the explanations of this meaning are to be based on a non-decidable concept, that concept should not be that of 'proof'; (2) Kreisel's explanations using extra clauses can be significantly simplified; (3) the impredicativity of the definition of → can be easily and safely ameliorated; (4) the definition of → in terms of 'proofs from premises' results in a loss of the inductive character (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  30. Paloma Pérez-Ilzarbe (2009). Late Medieval Trinitarian Syllogistics: From the Theological Debates to a Logical Textbook. In A. Schuman (ed.), Logic in Religious Discourse. Ontos Verlag.score: 19.0
    Jerónimo Pardo's analysis of the problems raised by some popular trinitarian paralogisms is studied in this paper. The purpose is to show how the notions employed by the theologians in order to solve theological problems were introduced into a textbook on logic to deal with some genuinely logical problems. First, the problem, common to all logical approaches, of achieving a fine-grained analysis of the logical form of syllogistical inferences. Second, the problem, typical of the terminist approach to (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  31. Samir Chopra & Eric Martin (2002). Generalized Logical Consequence: Making Room for Induction in the Logic of Science. [REVIEW] Journal of Philosophical Logic 31 (3):245-280.score: 19.0
    We present a framework that provides a logic for science by generalizing the notion of logical (Tarskian) consequence. This framework will introduce hierarchies of logical consequences, the first level of each of which is identified with deduction. We argue for identification of the second level of the hierarchies with inductive inference. The notion of induction presented here has some resonance with Popper's notion of scientific discovery by refutation. Our framework rests on the assumption of a restricted class of (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  32. Jim Edwards (2003). Reduction and Tarski's Definition of Logical Consequence. Notre Dame Journal of Formal Logic 44 (1):49-62.score: 19.0
    In his classic 1936 paper Tarski sought to motivate his definition of logical consequence by appeal to the inference form: P(0), P(1), . . ., P(n), . . . therefore ∀nP(n). This is prima facie puzzling because these inferences are seemingly first-order and Tarski knew that Gödel had shown first-order proof methods to be complete, and because ∀nP(n) is not a logical consequence of P(0), P(1), . . ., P(n), . . . by Taski's proposed definition. An attempt (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  33. R. Gregory Taylor (2008). Symmetric Propositions and Logical Quantifiers. Journal of Philosophical Logic 37 (6):575 - 591.score: 19.0
    Symmetric propositions over domain and signature are characterized following Zermelo, and a correlation of such propositions with logical type- quantifiers over is described. Boolean algebras of symmetric propositions over and Σ are shown to be isomorphic to algebras of logical type- quantifiers over . This last result may provide empirical support for Tarski’s claim that logical terms over fixed domain are all and only those invariant under domain permutations.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Sean A. Fulop (2010). Grammar Induction by Unification of Type-Logical Lexicons. Journal of Logic, Language and Information 19 (3):353-381.score: 19.0
    A method is described for inducing a type-logical grammar from a sample of bare sentence trees which are annotated by lambda terms, called term-labelled trees . Any type logic from a permitted class of multimodal logics may be specified for use with the procedure, which induces the lexicon of the grammar including the grammatical categories. A first stage of semantic bootstrapping is performed, which induces a general form lexicon from the sample of term-labelled trees using Fulop’s (J Log Lang (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. Gemma Robles & José M. Méndez (2012). A General Characterization of the Variable-Sharing Property by Means of Logical Matrices. Notre Dame Journal of Formal Logic 53 (2):223-244.score: 19.0
    As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Chris Barker & Chung-chieh Shan (2006). Types as Graphs: Continuations in Type Logical Grammar. [REVIEW] Journal of Logic, Language and Information 15 (4):331-370.score: 19.0
    Using the programming-language concept of continuations, we propose a new, multimodal analysis of quantification in Type Logical Grammar. Our approach provides a geometric view of in-situ quantification in terms of graphs, and motivates the limited use of empty antecedents in derivations. Just as continuations are the tool of choice for reasoning about evaluation order and side effects in programming languages, our system provides a principled, type-logical way to model evaluation order and side effects in natural language. We illustrate (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. M. Dusche (1995). Interpreted Logical Forms as Objects of the Attitudes. Journal of Logic, Language and Information 4 (4):301-315.score: 19.0
    Two arguments favoring propositionalist accounts of attitude sentences are being revisited: the Church-Langford translation argument and Thomason's argument against quotational theories of indirect discourse. None of them proves to be decisive, thus leaving the option of searching for a developed quotational alternative. Such an alternative is found in an interpreted logical form theory of attitude ascription. The theory differentiates elegantly among different attitudes but it fails to account for logical dependencies among them. It is argued, however, that the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. Yoav Shoham (2009). Logical Theories of Intention and the Database Perspective. Journal of Philosophical Logic 38 (6):633 - 647.score: 19.0
    While logical theories of information attitudes, such as knowledge, certainty and belief, have flourished in the past two decades, formalization of other facets of rational behavior have lagged behind significantly. One intriguing line of research concerns the concept of intention. I will discuss one approach to tackling the notion within a logical framework, based on a database perspective.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Sujata Ghosh, Ben Meijering & Rineke Verbrugge (forthcoming). Strategic Reasoning: Building Cognitive Models From Logical Formulas. Journal of Logic, Language and Information:1-29.score: 19.0
    This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. Timothy H. McNicholl (2001). On the Convergence of Query-Bounded Computations and Logical Closure Properties of C.E. Sets. Journal of Symbolic Logic 66 (4):1543-1560.score: 19.0
    Call a set A n-correctable if every set Turing reducible to A via a Turing machine that on any input makes at most n queries is Turing reducible to A via a Turing machine that on any input makes at most n-queries and on any input halts no matter what answers are given to its queries. We show that if a c.e. set A is n-correctable for some n ≥ 2, then it is n-correctable for all n. We show that (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. Pascal Michel (2007). Computational Complexity of Logical Theories of One Successor and Another Unary Function. Archive for Mathematical Logic 46 (2):123-148.score: 19.0
    The first-order logical theory Th $({\mathbb{N}},x + 1,F(x))$ is proved to be complete for the class ATIME-ALT $(2^{O(n)},O(n))$ when $F(x) = 2^{x}$ , and the same result holds for $F(x) = c^{x}, x^{c} (c \in {\mathbb{N}}, c \ge 2)$ , and F(x) = tower of x powers of two. The difficult part is the upper bound, which is obtained by using a bounded Ehrenfeucht–Fraïssé game.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  42. Kathleen Miller (1995). A Feminist Defense of the Critical-Logical Model. Informal Logic 17 (3).score: 19.0
    In his (1994) "Feminism, Argumentation, and Coalescence", Michael Gilbert argues that the "Critical Thinking Industry" is antagonistic to women. Because the critical-logical skills in which the industry deals tend to be gender-specific. its adoption as the dominant mode of discourse disenfranchises women, making its overhaul a moral imperative. Following a variety offeminist epistemologists. this conclusion is reached by confiating "critical reasoning" with "communicating about ideas," as though the two were inseparable. In this paper it is argued that the inclusion (...)
    Direct download (14 more)  
     
    My bibliography  
     
    Export citation  
  43. Stephen J. Barker (2010). Cognitive Expressivism, Faultless Disagreement, and Absolute but Non-Objective Truth. Proceedings of the Aristotelian Society 110 (2pt2):183-199.score: 18.0
    I offer a new theory of faultless disagreement, according to which truth is absolute (non-relative) but can still be non-objective. What's relative is truth-aptness: a sentence like ‘Vegemite is tasty’ (V) can be truth-accessible and bivalent in one context but not in another. Within a context in which V fails to be bivalent, we can affirm that there is no issue of truth or falsity about V, still disputants, affirming and denying V, were not at fault, since, in their context (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  44. James Dreier (1996). Expressivist Embeddings and Minimalist Truth. Philosophical Studies 83 (1):29-51.score: 18.0
    This paper is about Truth Minimalism, Norm Expressivism, and the relation between them. In particular, it is about whether Truth Minimalism can help to solve a problem thought to plague Norm Expressivism. To start with, let me explain what I mean by 'Truth Minimalism' and 'Norm Expressivism.'.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Michael Friedman (1995). Poincaré's Conventionalism and the Logical Positivists. Foundations of Science 1 (2):299-314.score: 18.0
    The logical positivists adopted Poincare's doctrine of the conventionality of geometry and made it a key part of their philosophical interpretation of relativity theory. I argue, however, that the positivists deeply misunderstood Poincare's doctrine. For Poincare's own conception was based on the group-theoretical picture of geometry expressed in the Helmholtz-Lie solution of the space problem, and also on a hierarchical picture of the sciences according to which geometry must be presupposed be any properly physical theory. But both of this (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. David Merli (2008). Expressivism and the Limits of Moral Disagreement. Journal of Ethics 12 (1):25 - 55.score: 18.0
    This paper argues that expressivism faces serious difficulties giving an adequate account of univocal moral disagreements. Expressivist accounts of moral discourse understand moral judgments in terms of various noncognitive mental states, and they interpret moral disagreements as clashes between competing (and incompatible) attitudes. I argue that, for various reasons, expressivists must specify just what mental states are involved in moral judgment. If they do not, we lack a way of distinguishing moral judgments from other sorts of assessment and thus (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Stephen J. Barker, Global Expressivism.score: 18.0
    There is a wide-spread belief amongst theorists of mind and language. This is that in order to understand the relation between language, thought, and reality we need a theory of meaning and content, that is, a normative, formal science of meaning, which is an extension and theoretical deepening of folk ideas about meaning. This book argues that this is false, offering an alternative idea: The form of a theory that illuminates the relation of language, thought, and reality is a theory (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Mark Jago (2009). Logical Information and Epistemic Space. Synthese 167 (2):327 - 341.score: 18.0
    Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains only (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. Jussi Suikkanen (2009). The Subjectivist Consequences of Expressivism. Pacific Philosophical Quarterly 90 (3):364-387.score: 18.0
    Jackson and Pettit argue that expressivism in metaethics collapses into subjectivism. A sincere utterer of a moral claim must believe that she has certain attitudes to be expressed. The truth-conditions of that belief then allegedly provide truth-conditions also for the moral utterance. Thus, the expressivist cannot deny that moral claims have subjectivist truth-conditions. Critics have argued that this argument fails as stated. I try to show that expressivism does have subjectivist repercussions in a way that avoids the problems (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. S. Awodey & A. W. Carus (2007). Carnap's Dream: Gödel, Wittgenstein, and Logical, Syntax. Synthese 159 (1):23-45.score: 18.0
    In Carnap’s autobiography, he tells the story how one night in January 1931, “the whole theory of language structure” in all its ramifications “came to [him] like a vision”. The shorthand manuscript he produced immediately thereafter, he says, “was the first version” of Logical Syntax of Language. This document, which has never been examined since Carnap’s death, turns out not to resemble Logical Syntax at all, at least on the surface. Wherein, then, did the momentous insight of 21 (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000