Results for 'Dag Westerståhl'

14 found
Order:
  1.  43
    Response to Westerstahl.Hanoch Ben-Yami - 2012 - Logique Et Analyse 55 (217):47-55.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. 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 also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. 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   5 citations  
  4. 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  
  5. 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’ project of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. 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  
  7. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kurbis - 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 of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  8. 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  
  9.  52
    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  
  10.  64
    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  
  11.  47
    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  
  12. 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  
  13. 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  
  14. 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