Switch to: References

Citations of:

What Does It Mean to Say That Logic is Formal?

Dissertation, University of Pittsburgh (2000)

Add citations

You must login to add citations.
  1. Kant’s Dynamic Hylomorphism in Logic.Elena Dragalina Chernaya - 2016 - Con-Textos Kantianos 4: 127-137.
    The aim of this paper is to provide a dynamic interpretation of Kant’s logical hylomorphism. Firstly, various types of the logical hylomorphism will be illustrated. Secondly, I propose to reevaluate Kant’s constitutivity thesis about logic. Finally, I focus on the design of logical norms as specific kinds of artefacts.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • DE NATURA RERUM - Scripta in Honorem Professoris Olli Koistinen Sexagesimum Annum Complentis.Hemmo Laiho & Arto Repo (eds.) - 2016 - Turku: University of Turku.
  • Recognizing Argument Types and Adding Missing Reasons.Christoph Lumer - 2019 - In Bart J. Garssen, David Godden, Gordon Mitchell & Jean Wagemans (eds.), Proceedings of the Ninth Conference of the International Society for the Study of Argumentation (ISSA). [Amsterdam, July 3-6, 2018.]. Amsterdam (Netherlands): pp. 769-777.
    The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Kant’s Dynamic Hylomorphism in Logic.Elena Dragalina-Chernaya - 2016 - Con-Textos Kantianos 4:127-137.
    The aim of this paper is to provide a dynamic interpretation of Kant’s logical hylomorphism. Firstly, various types of the logical hylomorphism will be illustrated. Secondly, I propose to reevaluate Kant’s constitutivity thesis about logic. Finally, I focus on the design of logical norms as specific kinds of artefacts.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Frege and Carnap on the Normativity of Logic.Florian Steinberger - 2017 - Synthese 194 (1):143-162.
    In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic and hence with the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Buddhist Philosophy of Logic.Koji Tanaka - 2013 - In Steven Michael Emmanuel (ed.), Blackwell Companion to Buddhist Philosophy. Chichester: Wiley-Blackwell. pp. 320-330.
    Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of logic to be formal, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Commentary/Elqayam & Evans: Subtracting “Ought” From “Is”.Natalie Gold, Andrew M. Colman & Briony D. Pulfordb - 2011 - Behavioral and Brain Sciences 34 (5).
    Normative theories can be useful in developing descriptive theories, as when normative subjective expected utility theory is used to develop descriptive rational choice theory and behavioral game theory. “Ought” questions are also the essence of theories of moral reasoning, a domain of higher mental processing that could not survive without normative considerations.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Priest's Anti-Exceptionalism, Candrakīrti and Paraconsistency.Koji Tanaka - forthcoming - In Can Bașkent & Thomas Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Dordrecht: Springer.
  • The Inscrutability of Reference.Robert Williams - 2005 - Dissertation, University of St Andrews
    The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Perceptual Knowledge, Discrimination, and Closure.Santiago Echeverri - forthcoming - Erkenntnis:1-18.
    Carter and Pritchard (2016) and Pritchard (2010, 2012, 2016) have tried to reconcile the intuition that perceptual knowledge requires only limited discriminatory abilities with the closure principle. To this end, they have introduced two theoretical innovations: a contrast between two ways of introducing error-possibilities and a distinction between discriminating and favoring evidence. I argue that their solution faces the “sufficiency problem”: it is unclear whether the evidence that is normally available to adult humans is sufficient to retain knowledge of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The Beginnings of Formal Logic: Deduction in Aristotle’s Topics Vs. Prior Analytics.Marko Malink - 2015 - Phronesis 60 (3):267-309.
  • Drawing From the Sources of Reason: Reflective Self-Knowledge in Kant's First "Critique".Melissa Mcbay Merritt - 2004 - Dissertation, University of Pittsburgh
    Kant advertises his Critique of Pure Reason as fulfilling reason's "most difficult" task: self-knowledge. As it is carried out in the Critique, this investigation is meant to be "scientific and fully illuminating"; for Kant, this means that it must follow a proper method. Commentators writing in English have tended to dismiss Kant's claim that the Critique is the scientific expression of reason's self-knowledge---either taking it to be sheer rhetoric, or worrying that it pollutes the Critique with an unfortunate residue of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
    What is a logical constant? The question is addressed in the tradition of Tarski's definition of logical operations as operations which are invariant under permutation. The paper introduces a general setting in which invariance criteria for logical operations can be compared and argues for invariance under potential isomorphism as the most natural characterization of logical operations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • A Formalization of Kant’s Transcendental Logic.Theodora Achourioti & Michiel van Lambalgen - 2011 - Review of Symbolic Logic 4 (2):254-289.
    Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, namely what (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Hard and Soft Logical Information.Allo Patrick - 2017 - Journal of Logic and Computation:1-20.
    In this paper I use the distinction between hard and soft information from the dynamic epistemic logic tradition to extend prior work on informational conceptions of logic to include non-monotonic consequence-relations. In particular, I defend the claim that at least some non-monotonic logics can be understood on the basis of soft or “belief-like” logical information, and thereby question the orthodox view that all logical information is hard, “knowledge-like”, information.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • A Problem with the Dependence of Informal Proofs on Formal Proofs.Fenner Tanswell - 2015 - Philosophia Mathematica 23 (3):295-310.
    Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's derivation-indicator account, but (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Invariance and Definability, with and Without Equality.Denis Bonnay & Fredrik Engström - 2018 - Notre Dame Journal of Formal Logic 59 (1):109-133.
    The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in L∞∞ so as to cover the cases that are of interest in the logicality debates, getting McGee’s theorem about quantifiers (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Frege, Kant, and the Logic in Logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
    Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  • Formality of Logic and Frege’s Begriffsschrift.Daniele Mezzadri - 2019 - Canadian Journal of Philosophy 49 (2):182-207.
    This paper challenges a standard interpretation according to which Frege’s conception of logic (early and late) is at odds with the contemporary one, because on the latter’s view logic is formal, while on Frege’s view it is not, given that logic’s subject matter is reality’s most general features. I argue that Frege – in Begriffsschrift – retained the idea that logic is formal; Frege sees logic as providing the ‘logical cement’ that ties up together the contentful concepts of specific sciences, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Term Kinds and the Formality of Aristotelian Modal Logic.Joshua Mendelsohn - 2017 - History and Philosophy of Logic 38 (2):99-126.
    Recent formalizations of Aristotle's modal syllogistic have made use of an interpretative assumption with precedent in traditional commentary: That Aristotle implicitly relies on a distinction between two classes of terms. I argue that the way Rini employs this distinction undermines her attempt to show that Aristotle gives valid proofs of his modal syllogisms. Rini does not establish that Aristotle gives valid proofs of the arguments which she takes to best represent Aristotle's modal syllogisms, nor that Aristotle's modal syllogisms are instances (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dialectic and Logic in Aristotle and His Tradition.Matthew Duncombe & Catarina Dutilh Novaes - 2016 - History and Philosophy of Logic 37 (1):1-8.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Problems for Logical Pluralism.Owen Griffiths - 2013 - History and Philosophy of Logic 34 (2):170 - 182.
    I argue that Beall and Restall's logical pluralism fails. Beall?Restall pluralism is the claim that there are different, equally correct logical consequence relations in a single language. Their position fails for two, related, reasons: first, it relies on an unmotivated conception of the ?settled core? of consequence: they believe that truth-preservation, necessity, formality and normativity are ?settled? features of logical consequence and that any relation satisfying these criteria is a logical consequence relation. I consider historical evidence and argue that their (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
    What does it mean to say that logic is formal? The short answer is: it means (or can mean) several different things. In this paper, I argue that there are (at least) eight main variations of the notion of the formal that are relevant for current discussions in philosophy and logic, and that they are structured in two main clusters, namely the formal as pertaining to forms, and the formal as pertaining to rules. To the first cluster belong the formal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • Chateaubriand’s Realist Conception of Logic.Frank Thomas Sautter - 2010 - Axiomathes 20 (2-3):357-364.
    I present the realist conception of logic supported by Oswaldo Chateaubriand which integrates ontological and epistemological aspects, opposing it to mathematical and linguistic conceptions. I give special attention to the peculiarities of his hierarchy of types in which some properties accumulate and others have a multiple degree. I explain such deviations of the traditional conception, showing the underlying purpose in each of these peculiarities. I compare the ideas of Chateaubriand to the similar ideas of Frege, Tarski and Gödel. I suggest (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Kant's Principle of Sense.Andrew Roche - 2010 - British Journal for the History of Philosophy 18 (4):663-691.
  • Logique, Raisonnement et Rationalité.Matías Osta Vélez - 2014 - Dissertation, Université de Paris 1 Panthéon-Sorbonne
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Formalizations Après la Lettre: Studies in Medieval Logic and Semantics.Catarina Dutilh Novaes - 2006 - Dissertation, Leiden University
    This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Modalism and Logical Pluralism.Otávio Bueno & Scott A. Shalkowski - 2009 - Mind 118 (470):295-321.
    Logical pluralism is the view according to which there is more than one relation of logical consequence, even within a given language. A recent articulation of this view has been developed in terms of quantification over different cases: classical logic emerges from consistent and complete cases; constructive logic from consistent and incomplete cases, and paraconsistent logic from inconsistent and complete cases. We argue that this formulation causes pluralism to collapse into either logical nihilism or logical universalism. In its place, we (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • On the Mathematical Nature of Logic, Featuring P. Bernays and K. Gödel.Oran Magal - unknown
    The paper examines the interrelationship between mathematics and logic, arguing that a central characteristic of each has an essential role within the other. The first part is a reconstruction of and elaboration on Paul Bernays’ argument, that mathematics and logic are based on different directions of abstraction from content, and that mathematics, at its core it is a study of formal structures. The notion of a study of structure is clarified by the examples of Hilbert’s work on the axiomatization of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Grammar, Ontology, and the Unity of Meaning.Ulrich Reichard - 2013 - Dissertation, University of Durham
    Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tarski's Thesis.Gila Sher - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 300--339.
  • The Relation Between Ontology and Logic in Kant.Clinton Tolley - 2016 - Internationales Jahrbuch des Deutschen Idealismus 12:75-98.
  • Reassessing Logical Hylomorphism and the Demarcation of Logical Constants.Novaes Catarina Dutilh - 2012 - Synthese 185 (3):387 - 410.
    The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its main point is that many of the currently pervasive views on form and matter with respect to logic rest on several substantive and even contentious assumptions which are nevertheless uncritically accepted. Indeed, many of the issues raised by the application of this distinction to arguments seem to be related to a questionable combination of different presuppositions and expectations; this holds in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Categorial Indeterminacy, Generality and Logical Form in Wittgenstein's Tractatus.Christopher Campbell - 2014 - European Journal of Philosophy 22 (1):138-158.
    Many commentators have attempted to say, more clearly than Wittgenstein did in his Tractatus logico-philosophicus, what sort of things the ‘simple objects’ spoken of in that book are. A minority approach, but in my view the correct one, is to reject all such attempts as misplaced. The Tractarian notion of an object is categorially indeterminate: in contrast with both Frege's and Russell's practice, it is not the logician's task to give a specific categorial account of the internal structure of elementary (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Constants, or How to Use Invariance in Order to Complete the Explication of Logical Consequence.Denis Bonnay - 2014 - Philosophy Compass 9 (1):54-65.
    The problem of logical constants consists in finding a principled way to draw the line between those expressions of a language that are logical and those that are not. The criterion of invariance under permutation, attributed to Tarski, is probably the most common answer to this problem, at least within the semantic tradition. However, as the received view on the matter, it has recently come under heavy attack. Does this mean that the criterion should be amended, or maybe even that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Private Persons and Minimal Persons.Elijah Millgram - 2014 - Journal of Social Philosophy 45 (3):323-347.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • The Undergeneration of Permutation Invariance as a Criterion for Logicality.Catarina Dutilh Novaes - 2014 - Erkenntnis 79 (1):81-97.
    Permutation invariance is often presented as the correct criterion for logicality. The basic idea is that one can demarcate the realm of logic by isolating specific entities—logical notions or constants—and that permutation invariance would provide a philosophically motivated and technically sophisticated criterion for what counts as a logical notion. The thesis of permutation invariance as a criterion for logicality has received considerable attention in the literature in recent decades, and much of the debate is developed against the background of ideas (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Analoge Argumente und Analogieargumente.David Löwenstein - 2015 - In Anna Wehofsits, David Löwenstein, Dirk Koppelberg & Gregor Betz (eds.), Weiter Denken - Über Philosophie, Wissenschaft Und Religion. De Gruyter. pp. 105-124.
    Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation