This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
35 found
Search inside:
(import / add options)   Sort by:
  1. C. Anthony Anderson (1987). Bealer's Quality and Concept. Journal of Philosophical Logic 16 (2):115 - 164.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. John Anderson (1936). Ii. Causality and Logic. Australasian Journal of Philosophy 14 (4):309 – 313.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Michael Baumgartner (2010). Informal Reasoning and Logical Formalization. In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos.
    According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. John P. Burgess (2008). Thomas McKay. Plural Predication. Philosophia Mathematica 16 (1):133-140.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Tom Burke (1994). Dewey's New Logic: A Reply to Russell. University of Chicago Press.
    John Dewey is celebrated for his work in the philosophy of education and acknowledged as a leading proponent of American pragmatism. His philosophy of logic, on the other hand, is largely unheard of. In Dewey's New Logic, Burke analyzes portions of the debate between Dewey and Bertrand Russell that followed the 1938 publication of Dewey's Logic: The Theory of Inquiry. Burke shows how Russell failed to understand Dewey, and how Dewey's philosophy of logic is centrally relevant to contemporary developments in (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Alfredo Di Giorgio & Daniele Chiffi (eds.) (2013). Prova e Giustificazione. G. Giappichelli Editore.
    I saggi che compongono questo libro intendono presentare in maniera organica e interdisciplinare, anche se da una prospettiva fondazionale logico-filosofica, il ruolo che il concetto di prova svolge in differenti ambiti del sapere. L’elemento innovativo e caratterizzante del volume è quello di stabilire e formulare quali sono le condizioni di adeguatezza materiale e formale per una corretta esplicazione del concetto di prova nelle sue differenti applicazioni. Si cercherà, inoltre, di cogliere cosa ha qualificato storicamente e qualifica tuttora il concetto di (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. Elena Ficara (2013). Dialectic and Dialetheism. History and Philosophy of Logic 34 (1):35-52.
    In this article, I consider the possibility of interpreting Hegel’s dialectic as dialetheism. After a first basic recapitulation about the meaning of the words ‘dialetheism’ and ‘dialectic’ and a consideration of Priest’s own account of the relation between dialectical and dialetheic logic in 1989, I discuss some controversial issues, not directly considered by Priest. As a matter of fact, the reflection on paraconsistent logics and dialetheism has enormously grown in recent years. In addition, the reception of Hegel’s logic and metaphysics (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Joanna Golinska-Pilarek (2006). Number of Non-Fregean Sentential Logics That Have Adequate Models. Mathematical Logic Quarterly 52 (5):439–443.
    We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. Rolando M. Gripaldo (2008). The Rejection of the Proposition. Proceedings of the Xxii World Congress of Philosophy 13:53-64.
    Part of rethinking philosophy today, the author believes, is to rethink our logical concepts. The author questions the ontological existence of the proposition as the content of sentential utterances—written or spoken—as it was originally proposed by John Searle. While a performative is an utterance where the speaker not only utters a sentential or illocutionary content such as a statement, but also performs the illocutionary force such as the act of stating, the author reasserts John Austin’s constative as the general label (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Jaakko Hintikka (1973). Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford,Clarendon Press.
    I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Philip Hugly & Charles Sayward (1983). Can a Language Have Indenumerably Many Expressions? History and Philosophy of Logic 4 (1-2):73-82.
    A common assumption among philosophers is that every language has at most denumerably many expressions. This assumption plays a prominent role in many philosophical arguments. Recently formal systems with indenumerably many elements have been developed. These systems are similar to the more familiar denumerable first-order languages. This similarity makes it appear that the assumption is false. We argue that the assumption is true.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Srećko Kovač (2012). Modal Collapse in Gödel's Ontological Proof. In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. 50--323.
    After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. As (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Srećko Kovač (2008). Gödel, Kant, and the Path of a Science. Inquiry : An Interdisciplinary Journal of Philosophy 51 (2):147-169.
    Gödel's philosophical views were to a significant extent influenced by the study not only of Leibniz or Husserl, but also of Kant. Both Gödel and Kant aimed at the secure foundation of philosophy, the certainty of knowledge and the solvability of all meaningful problems in philosophy. In this paper, parallelisms between the foundational crisis of metaphysics in Kant's view and the foundational crisis of mathematics in Gödel's view are elaborated, especially regarding the problem of finding the “ secure path of (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. Srećko Kovač (1999). Quine's Platonism and Antiplatonism. Synthesis Philosophica 14 (1999):45-52.
    Quine rejects intensional Platonism and, with it, also rejects attributes (properties) as designations of predicates. He pragmatically accepts extensional Platonism, but conceives of classes as merely auxiliary entities needed to express some laws of set theory. At the elementary logical level, Quine develops an “ontologically innocent” logic of predicates. What in standard quantification theory is the work of variables is in the logic of predicates the work of a few functors that operate on predicates themselves: variables are eliminated. This “predicate (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. John-Michael Kuczynski (2007). Does Possible World Semantics Turn All Propositions Into Necessary Ones? Journal of Pragmatics 39 (5):972-916.
    "Jim would still be alive if he hadn't jumped" means that Jim's death was a consequence of his jumping. "x wouldn't be a triangle if it didn't have three sides" means that x's having a three sides is a consequence its being a triangle. Lewis takes the first sentence to mean that Jim is still alive in some alternative universe where he didn't jump, and he takes the second to mean that x is a non-triangle in every alternative universe where (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  16. Piotr Kulicki (2010). Minimalne empiryczne podstawy teorii bytu a modele dla logiki nazw. Roczniki Filozoficzne 58 (2):29-39.
    In the article attention is paid to the analogy between considerations concerning the number of objects that are the empirical basis for the theory of being and investigations concerning the size of the models necessary for solving formulas on the ground of calculus of names without quantifiers. In both cases a minimum of two objects appear as an answer to the question that has been posed. In explaining the noticed similarity the meaning aspect, as different from the referential aspect of (...)
    Remove from this list |
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Nils Kürbis (2008). Stable Harmony. In Peliš Michal (ed.), Logica Yearbook 2007.
    In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Catherine Legg (2013). What is a Logical Diagram? In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. 1-18.
    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 does (...)
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Laureano Luna (forthcoming). No Successful Infinite Regress. Logic and Logical Philosophy.
    We model infinite regress structures -not arguments- by means of ungrounded recursively defined functions in order to show that no such structure can perform the task of providing determination to the items composing it, that is, that no determination process containing an infinite regress structure is successful.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20. Thomas Mormann, Mathematical Aspects of Similarity and Quasi-Analysis - Order, Topology, and Sheaves.
    The concept of similarity has had a rather mixed reputation in philosophy and the sciences. On the one hand, philosophers such as Goodman and Quine emphasized the „logically repugnant“ and „insidious“ character of the concept of similarity that allegedly renders it inaccessible for a proper logical analysis. On the other hand, a philosopher such as Carnap assigned a central role to similarity in his constitutional theory. Moreover, the importance and perhaps even indispensibility of the concept of similarity for many empirical (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Alberto Mura (2009). Probability and the Logic of de Finetti's Trievents. In Maria Carla Galavotti (ed.), Bruno de Finetti Radical Probabilist. College Publications. 201--242.
    Today philosophical discussion on indicative conditionals is dominated by the so called Lewis Triviality Results, according to which, tehere is no binary connective '-->' (let alone truth-functional) such that the probability of p --> q equals the probability of q conditionally on p, so that P(p --> q)= P(q|p). This tenet, that suggests that conditonals lack truth-values, has been challenged in 1991 by Goodman et al. who show that using a suitable three-valued logic the above equation may be restored. In (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  22. Mark T. Nelson (2013). Non-Contradiction: Oh Yeah and so What? [REVIEW] Think 12 (34):87-91.
  23. Paul Piwek (2007). Meaning and Dialogue Coherence: A Proof-Theoretic Investigation. Journal of Logic, Language and Information 16 (4):403-421.
    This paper presents a novel proof-theoretic account of dialogue coherence. It focuses on an abstract class of cooperative information-oriented dialogues and describes how their structure can be accounted for in terms of a multi-agent hybrid inference system that combines natural deduction with information transfer and observation. We show how certain dialogue structures arise out of the interplay between the inferential roles of logical connectives (i.e., sentence semantics), a rule for transferring information between agents, and a rule for information flow between (...)
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  24. Jiří Raclavský & Petr Kuchyňka (2011). Conceptual and Derivation Systems. Logic and Logical Philosophy 20 (1-2):159-174.
    Pavel Materna proposed valuable explications of concept and conceptual system. After their introduction, we contrast conceptual systems with (a novel notion of) derivation systems. Derivation systems differ from conceptual systems especially in including derivation rules. This enables us to show close connections among the realms of objects, their concepts, and reasoning with concepts.
    Remove from this list | Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  25. Shane J. Ralston, Operationalizing Propositions as Proposals: Reviving Interest in John Dewey's Theory of Propositional Form.
    Dewey and Russell's debate over the status of logic in the twentieth-century is, by now, well-trodden ground for scholarly inquiry. However, Dewey's novel theory of propositions, first articulated in his 1938 Logic: The Theory of Inquiry, has received comparatively less attention than the debate that touched upon it. The paucity of interest among philosophers of language is probably due to a variety of reasons, such as the theory's unorthodox character and, what at least appears to be, its naive simplicity when (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  26. Erich Rast (2010). Plausibility Revision in Higher-Order Logic With an Application in Two-Dimensional Semantics. In Arrazola Xabier & Maria Ponte (eds.), LogKCA-10 - Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge. ILCLI.
    In this article, a qualitative notion of subjective plausibility and its revision based on a preorder relation are implemented in higher-order logic. This notion of plausibility is used for modeling pragmatic aspects of communication on top of traditional two-dimensional semantic representations.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  27. Cassiano Terra Rodrigues (2007). Matemática como Ciência mais Geral: Forma da Experiência e Categorias. Cognitio-Estudos.
    Este artigo tem como objetivo geral apresentar alguns aspectos básicos da filosofia da matemática de Charles Sanders Peirce, com o intuito de suscitar discussão posterior. Especificamente, são ressaltados: o lugar da matemática na classificação das ciências do autor; a diferença entre matemática e filosofia como cenoscopia; a relação entre as categorias da fenomenologia e matemática; o conceito de experiência e sua formalização possível; a distinção geral entre lógica, como parte da investigação filosófica, e matemática.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  28. Peter Roeper (2004). First- and Second-Order Logic of Mass Terms. Journal of Philosophical Logic 33 (3):261-297.
    Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  29. Charles Sayward (2007). Quine and His Critics on Truth-Functionality and Extensionality. Logic and Logical Philosophy 16 (1):45-63.
    Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends that (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  30. Stewart Shapiro (2001). Why Anti-Realists and Classical Mathematicians Cannot Get Along. Topoi 20 (1):53-63.
    Famously, Michael Dummett argues that considerations concerning the role of language in communication lead to the rejection of classical logic in favor of intuitionistic logic. Potentially, this results in massive revisions of established mathematics. Recently, Neil Tennant (“The law of excluded middle is synthetic a priori, if valid”, Philosophical Topics 24 (1996), 205-229) suggested that a Dummettian anti-realist can accept the law of excluded middle as a synthetic, a priori principle grounded on a metaphysical principle of determinacy. This article shows (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Stewart Shapiro & Alan Weir (2000). ‘Neo-Logicist‘ Logic is Not Epistemically Innocent. Philosophia Mathematica 8 (2):160--189.
    The neo-logicist argues tliat standard mathematics can be derived by purely logical means from abstraction principles—such as Hume's Principle— which are held to lie 'epistcmically innocent'. We show that the second-order axiom of comprehension applied to non-instantiated properties and the standard first-order existential instantiation and universal elimination principles are essential for the derivation of key results, specifically a theorem of infinity, but have not been shown to be epistemically innocent. We conclude that the epistemic innocence of mathematics has not been (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  32. Theodore Sider (2010). Logic for Philosophy. Oxford University Press.
    Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  33. Paul Skokowski (2010). One Philosopher is Correct (Maybe). Australian Journal of Logic 9 (1):1-3.
    It is argued that there may be a philosopher who is correct.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34. 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.
    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. (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. A. A. Zinov'ev (1963). Two-Valued and Many-Valued Logic. Russian Studies in Philosophy 2 (1):69-84.