Results for 'Dag Prawitz'

21 found
Order:
  1. Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.
    Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
    The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Pluralism and the Logical Basis of Metaphysics.N. Kurbis - 2007 - In Logica Yearbook.
    I argue for a kind of logical pluralism on the basis of a difficulty with defining the meaning of negation in the framework of Dummett's and Prawitz' proof-theoretic semantics.
    Download  
     
    Export citation  
     
    Bookmark  
  4. What is Wrong with Classical Negation?Nils Kurbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.
    The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Stable Harmony.Nils Kurbis - 2008 - 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  72
    Algumas considerações sobre a noção construtiva de verdade.André Porto & Luiz Pereira - 2003 - O Que Nos Faz Pensar:107-123.
    This paper deals with the recent Swedish proposals of a Intuitionistic notion of Truth, by Dag Prawitz and Per Martin-Löf.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  98
    Inferentialism Without Verificationism: Reply to Prawitz.Julien Murzi - 2011 - In Emiliano Ippoliti & Carlo Cellucci (eds.), Logic and Knowledge. Cambridge Scholars Press. pp. 285-90.
    I discuss Prawitz’s claim that a non-reliabilist answer to the question “What is a proof?” compels us to reject the standard Bolzano-Tarski account of validity, andto account for the meaning of a sentence in broadly verificationist terms. I sketch what I take to be a possible way of resisting Prawitz’s claim---one that concedes the anti-reliabilist assumption from which Prawitz’s argument proceeds.
    Download  
     
    Export citation  
     
    Bookmark  
  9. The Epistemic Significance of Valid Inference – A Model-Theoretic Approach.Constantin C. Brîncuș - 2015 - In Sorin Costreie & Mircea Dumitru (eds.), Meaning and Truth. Bucharest: PRO Universitaria Publishing. pp. 11-36.
    The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. On Rules of Inference and the Meanings of Logical Constants.Panu Raatikainen - 2008 - Analysis 68 (4):282-287.
    In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of Dummett and (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  11. Aristotle's Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
    I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. When to Expect Violations of Causal Faithfulness and Why It Matters.Holly Andersen - 2013 - Philosophy of Science (5):672-683.
    I present three reasons why philosophers of science should be more concerned about violations of causal faithfulness (CF). In complex evolved systems, mechanisms for maintaining various equilibrium states are highly likely to violate CF. Even when such systems do not precisely violate CF, they may nevertheless generate precisely the same problems for inferring causal structure from probabilistic relationships in data as do genuine CF-violations. Thus, potential CF-violations are particularly germane to experimental science when we rely on probabilistic information to uncover (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. On the Copernican Turn in Semantics.Cesare Cozzo - 2008 - Theoria 74 (4):295-317.
    Alberto Coffa used the phrase "the Copernican turn in semantics" to denote a revolutionary transformation of philosophical views about the connection between the meanings of words and the acceptability of sentences and arguments containing those words. According to the new conception resulting from the Copernican turn, here called "the Copernican view", rules of use are constitutive of the meanings of words. This view has been linked with two doctrines: (A) the instances of meaning-constitutive rules are analytically and a priori true (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  73
    Semantics in Support of Biodiversity: An Introduction to the Biological Collections Ontology and Related Ontologies.Ramona L. Walls, John Deck, Robert Guralnik, Steve Baskauf, Reed Beaman, Stanley Blum, Shawn Bowers, Pier Luigi Buttigieg, Neil Davies, Dag Endresen, Maria Alejandra Gandolfo, Robert Hanner, Alyssa Janning, Barry Smith & Others - 2014 - PLoS ONE 9 (3):1-13.
    The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the Open (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Topics in Philosophical Logic.Jon Erling Litland - 2012 - Dissertation, Harvard
    In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction rules \, what are the strongest elimination rules that are validated by an (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  67
    Hur ska man förstå McTaggarts paradox?Rögnvaldur Ingthorsson - 2000 - Filosofisk Tidskrift 21 (3):13–24.
    I sitt berömda bevis för tidens overklighet påstod McTaggart att det sätt händelser tycks skifta position i tiden från framtid till nutid och till förfluten tid, innebär en motsägelse. Vad McTaggart egentligen menade har varit föremål för en livlig debatt ända sedan beviset först publicerades 1908. Beviset består av två delar. I den första argumenterar McTaggart för att ingenting kan förändras förutom genom att övergå från framtid till förfluten tid. I den andra argumenterar han för att en sådan övergång innebär (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  51
    On the Notion of Validity for the Bilateral Classical Logic.Ukyo Suzuki & Yoriyuki Yamagata - manuscript
    This paper considers Rumfitt’s bilateral classical logic (BCL), which is proposed to counter Dummett’s challenge to classical logic. First, agreeing with several authors, we argue that Rumfitt’s notion of harmony, used to justify logical rules by a purely proof theoretical manner, is not sufficient to justify coordination rules in BCL purely proof-theoretically. For the central part of this paper, we propose a notion of proof-theoretical validity similar to Prawitz for BCL and proves that BCL is sound and complete respect (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Disiplin, biopolitikk og regjering. Foucaults maktanalyser.Hans Christian Farsethås - 2009 - Agora. Journal for Metafysisk Spekulasjon 27 (2-3):225-246.
    Foucault var i en lang periode av sitt omfangsrike forfatterskap opptatt av makt. Vi skal her følge utviklingen i Foucaults maktanalyser med utgangspunkt i Overvåkning og straff og maktbegrepet som utvikles der. Deretter går vi inn på revisjonen av maktbegrepet gjennom utarbeidingen av begrepet om biopolitikk i Viljen til Viten og forelesningsserien «Il faut defendre la societé». Artikkelen avsluttes med en redegjørelse for Foucaults analyser av regjeringsrasjonalitet og stiller spørsmålet om hvordan disse analysene kan brukes i dag.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  7
    Politikayı Hannah Arendt'le Birlikte Yeniden Düşünmek.Metehan Karakurt & Adem Çelik - manuscript
    Modern politika tanımlarında hâkim kavramlardan söz etmek olasıdır. Bu kavramlar arasında; iktidar, şiddet, hiyerarşi, güvenlik, kaynak dağıtımı öne çıkanlardır. Politika, birçoklarına göre, iktidarın ve gücün nasıl dağıtıldığı ve kullanıldığıyla ilgilidir. Politika, salt iktidarla ilişkili bir biçimde tanımlandığında, şiddet, politikanın etkili araçlarından birisi gibi görünür. Hatta daha ileriye gidilerek, şiddet, iktidarın dışavurumu olarak görülür. C. W. Mills’in, “siyaset iktidar mücadelesinden ibarettir; iktidarın nihai biçimi ise şiddettir” ya da Mao Zedong’un “siyaset, kan dökülmeyen savaş; savaş ise kan dökülen siyasettir” sözleri, siyaset ile (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20. Provability with Minimal Type Theory.Pete Olcott - manuscript
    Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth bearers, thus (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Quantum Filozofi.Ismet Sahin (ed.) - 2018 - Ankara, Turkey: Praksis.
    Bu çalışma kitap olmayan bir kitaptır. Okur klasik kitaplarda alıştığı tamamlanmış metinler, çözümlenmiş bilimsel ve felsefi problemler beklemesin bu çalışmada. Sunduğum şey üzerinde çalıştığım konular ve o konularla ilgili geliştirdiğim düşünceler, aforizmalar yer yer dağınık önermelerdir. Bu iki nedenden dolayı böyledir: Birincisi bilgi kuramsal açıdan tamamlanmış önermeler dizgesinin yanlış olmasıdır. Quantum çağında her gün yeni bir keşif yaptığımız nesneler ile ilgili büyük anlatılar ve tamamlanmış, sistematik görüşler geliştirilemez. Geleneksel tüm kitaplar ilgilendikleri nesneyi tüm bağıntılarıyla çözdükleri iddiasındadır. Örneğin tüm çağdaş fizik (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark