Switch to: References

Add citations

You must login to add citations.
  1. The Specificity of Logical Empiricism in the Twentieth-Century History of Scientific Philosophy.Enrico Viola - 2013 - Hopos: The Journal of the International Society for the History of Philosophy of Science 3 (2):191-209.
    In the first decades of the twentieth century, many philosophers and philosophical movements attempted to make philosophy scientific by analogy with science. Such attempts vary with respect to the strategies adopted for implementing the analogy. In this article, I single out the specificity of logical empiricism’s strategy, by comparing it to some of its most relevant contemporary scientific philosophies, such as Russell’s method of analysis, Husserl’s phenomenology, neo-Kantianism, and American pragmatism. Logical empiricism sees philosophy as continuous with science, by reducing (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Combinatorial Bitstring Semantics for Arbitrary Logical Fragments.Lorenz6 Demey & Hans5 Smessaert - 2018 - Journal of Philosophical Logic 47 (2):325-363.
    Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general nature, bitstrings can be applied to a wide variety of topics in philosophical logic beyond those of logical geometry. Hence, the main aim of this paper is to present a systematic technique for assigning bitstrings (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Cut-Based Abduction.Marcello D'agostino, Marcelo Finger & Dov Gabbay - 2008 - Logic Journal of the IGPL 16 (6):537-560.
    In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Peirce’s Philosophy of Mathematical Education: Fostering Reasoning Abilities for Mathematical Inquiry.Daniel G. Campos - 2010 - Studies in Philosophy and Education 29 (5):421-439.
    I articulate Charles S. Peirce’s philosophy of mathematical education as related to his conception of mathematics, the nature of its method of inquiry, and especially, the reasoning abilities required for mathematical inquiry. The main thesis is that Peirce’s philosophy of mathematical education primarily aims at fostering the development of the students’ semeiotic abilities of imagination, concentration, and generalization required for conducting mathematical inquiry by way of experimentation upon diagrams. This involves an emphasis on the relation between theory and practice and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation