
	Where results make sense

Topic: Dag Prawitz

Related Topics

Natural deduction

List of topics in logic

In the News (Fri 1 Jun 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

	Dag Prawitz
		Dag Prawitz är född 1936 och doktorerade vid Stockholms universitet under Anders Wedberg.
		Prawitz huvudområden är logik, logikens och matematikens filosofi, samt språkfilosofi.
		Prawitz leder sedan 1996 det stora tvärvetenskapliga projektet Mening och tolkning, finansierat av Riksbankens Jubielumsfond.
	www.philosophy.su.se /personal/prawitz.htm (1042 words)

	Arché TWiki . Main . DagPrawitz
		Dag Prawitz, "Toward a foundation for general proof theory", in HenkinLogic, pp.
		Dag Prawitz, "On the Proof Theory of Mathematical Analysis", in PauliLogicAndValue, pp.
		Dag Prawitz, "Dummett on a theory of meaning and its impact on logic", in TaylorDummett, pp.
	arche-wiki.st-and.ac.uk /~ahwiki/bin/view/Main/DagPrawitz (264 words)

	Citations: Natural Deduction: a Proof Theoretical Study - Prawitz (ResearchIndex) (Site not responding. Last check: 2007-11-06)
		At the end of the book, Prawitz remarked that modifying the rules of his system would give you a system of relevant implication.
		Prawitz, Natural deduction: A proof-theoretical study, Almqvist & Wiksell, Stockholm.
		Prawitz, Natural Deduction: A Proof-theoretical Study (Almquist and Wiksell, 1965).
	citeseer.ist.psu.edu /cs?q=dbnum=1,GID=8076,DID=0,start=50,cluster=none,qtype=context: (3365 words)

	Thales
		I september 2004 skedde ett skifte i förlagets ledning: Staffan Carlshamre efterträdde Dag Prawitz som redaktör för Thales.
		teoretisk filosofi: Sören Halldén och Göran Hermerén från Lund, Mats Furberg från Göteborg, Dag Prawitz från Stockholm samt Lars Bergström och Stig Kanger från Uppsala.
		Ansvaret som förlagets redaktör låg från starten fram till september 2004 på Dag Prawitz.
	www.bokforlagetthales.se /index.php?sida=om (544 words)

	Citations: Ideas and results in proof theory - Prawitz (ResearchIndex) (Site not responding. Last check: 2007-11-06)
		A maximal lwff in a derivation is an lwff that is both the conclusion of an introduction rule and the major premise of an elimination rule.
		Prawitz, Ideas and results in proof theory, in Proceedings of the Second Scandinavian Logic Symposium, 1971, pp.
		Prawitz D. Ideas and results in Proof theory, in: J.E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, pp.
	citeseer.ist.psu.edu /context/336/0 (5179 words)

	Dag Prawitz - Education - Information - Educational Resources - Encyclopedia - Music
		Dag Prawitz - Education - Information - Educational Resources - Encyclopedia - Music
		Dag Prawitz (born 1936) is a Swedish philosopher and logician.
		He is best known for his work on proof theory and the foundations of natural deduction.
	www.music.us /education/D/Dag-Prawitz.htm (243 words)

	45823 - LOGICA (1) (LS) - Università di Bologna (Site not responding. Last check: 2007-11-06)
		Questo corso sarà tenuto insieme al professor Dag Prawitz dell'Università di Stoccolma e fellow dell'Istituto di Studi Avanzati di Bologna.
		Verranno esaminate criticamente le definizioni di conseguenza logica, quali quelle avanzate da Bolzano, Tarski, Etchemendy, Shapiro, Prawitz e in particolare verrà discusso l'approccio costruttivista.
		Regole logiche, costanti logiche (Prawitz) - Teoremi di normalizzazione (seguito) (Corsi)
	www.unibo.it /Lettere/Didattica/Insegnamenti/dettaglio.htm?AnnoAccademico=2006&IdComponenteAF=142348&CodDocente=030463&CodMateria=45823 (294 words)

	dag - Findure! (Site not responding. Last check: 2007-11-06)
		valentins dag, julegaver, e-postkort, e-card, elektroniske postkort, fødselsdagskort, fødselsdags kort, gaver et elektronisk postkort til dem du holder af i anledning af mors dag, fars dag eller valentins dag.
		Jrn Lund -Sprog og sprogbrug i dag 6 kapitler om det danske sprog i det 20 ?arhundrede - Steve Meyerowitz, et al
		Dag Prawitz Dag Westerstahl - Logic and Reality in the Philosophy of John Stuart Mill Synthese Historical Library Vol 34- J Oik
	www.findure.pl /dag.html (1461 words)

	Proof-Theory
		Thus the analogue of Prawitz's conjecture is the statement that beta-equivalence defines algorithmic identity.
		But this is certainly wrong: a normal lambda-term corresponds to the output of the computation, and we do not want to identify algorithms only by their input-output behaviour.
		The genuine philosophical interest of this kind of investigations is recognized, as soon as we realize that a solution to the problem of the identity of proofs can only come from the analysis of the structure of informal proofs in everyday mathematics.
	profs.sci.univr.it /~bellin/philo.html (652 words)

	Understanding Wh-Interrogatives in Terms of Inferential Roles (Site not responding. Last check: 2007-11-06)
		This theory originates out of two threads of work, firstly the rule theory of concepts due to Wittgenstein in the `Philosophical Investigations', and secondly the proof theoretic semantics of formal languages developed by Gerhard Gentzen in the 1930s.
		The connection between the two approaches was noted by Nuel Belnap in the 1960s and was elaborated by Michael Dummett, Dag Prawitz and Per Martin-Löf.
		The theory is attractive because it is conducive to a formal treatment which is compositional and computationally tractable, yet does not relegate issues of pragmatics to the sidelines.
	www.linearity.org /cas/abstracts/marburg-2000.html (555 words)

	DBLP: Dag Prawitz (Site not responding. Last check: 2007-11-06)
		Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
		Dag Prawitz, Dag Westerståhl: Preface: A Selection of Papers Presented at the 9th International Conference of Logic, Methodology and Philosophy of Science.
		Dag Prawitz, Haåkan Prawitz, Neri Voghera: A Mechanical Proof Procedure and its Realization in an Electronic Computer.
	www.vldb.org /dblp/db/indices/a-tree/p/Prawitz:Dag.html (75 words)

	The Skolem Lectures at the University of Oslo (Site not responding. Last check: 2007-11-06)
		To honor the memory of Skolem the University of Oslo inaugurated an annual Skolem Lecture.
		The first was given by Dag Prawitz, University of Stockholm, in 1987.
		Up until 1996 there have been nine lectures, each given by a leading logician and each dealing with themes originating in the works of Skolem.
	www.hf.uio.no /ifikk/filosofi/njpl/vol1no2/skolect (201 words)

	Introduction
		What follows is a write-up of my contribution to the symposium ``Hilbert's Program Sixty Years Later'' which was sponsored jointly by the American Philosophical Association and the Association for Symbolic Logic.
		The symposium was held on December 29, 1985 in Washington, D. The panelists were Solomon Feferman, Dag Prawitz and myself.
		The research which I discuss here was partially supported by NSF Grant DMS-8317874.
	www.math.psu.edu /simpson/papers/hilbert/node1.html (352 words)

	Logical Consequence (Stanford Encyclopedia of Philosophy)
		If this kind of strategy is successful, then it seems that one is able to give an account of logical consequence in terms acceptable to the Anti-realist, who eschews taking truth (or at least, correspondence-truth) as an explanatory notion.
		While the philosophical divide between Realists and Anti-realists remains vast, proof-centered and model-centered accounts of consequence have been united (at least with respect to extension) in many cases.
		Prawitz Dag, 1985, “Remarks on some approaches to the concept of logical consequence,” Synthese 62:153–171.
	plato.stanford.edu /entries/logical-consequence (4780 words)

	Michael Dummett [Internet Encyclopedia of Philosophy]
		The technical apparatus for examining whether adding some constant to the language involves a conservative or non-conservative extension is known as "proof-theory".
		It was pioneered by Gerhard Gentzen, and Dummett's third-grade proof theoretic justification builds on the work of Dag Prawitz.
		It must be remembered that Dummett is not arguing that we should accept only those logical laws which can be justified by these means -- rather, he is suggesting that these logical laws are the ones which can be taken for granted when trying to justify more controversial principles.
	www.iep.utm.edu /d/dummett.htm (8674 words)

	DBLP: Dag Westerståhl (Site not responding. Last check: 2007-11-06)
		Peter Pagin, Dag Westerståhl: Editorial: Compositionality: Current Issues.
		Lauri Hella, Jouko A. Väänänen, Dag Westerståhl: Definability of Polyadic Lifts of Generalized Quantifiers.
		Johan van Benthem, Dag Westerståhl: Directions in generalized quantifier theory.
	www.informatik.uni-trier.de /~ley/db/indices/a-tree/w/Westerst=aring=hl:Dag.html (107 words)

	Practical Foundations of Mathematics (Site not responding. Last check: 2007-11-06)
		In Chapter I we showed that his natural deduction really does agree with the mathematical vernacular.
		Dag Prawitz, Nikolas de Bruijn and Per Martin-Löf developed calculi which their followers have used to formalise many mathematical arguments, and even for programming.
		These help us to understand very clearly the extent to which equality, the quantifiers, powersets and the other components of logic are actually employed.
	www.cs.man.ac.uk /~pt/Practical_Foundations/html/s90.html (615 words)

	Immanuel Kant Lecture: Dag Prawitz (Philosophy, Stockholm University) "PROOFS, MEANING AND REALITY" (Site not responding. Last check: 2007-11-06)
		Professor Prawitz will examine the grounds on which assertions are made and will attend to the notions of proof and inference.
		Criticizing usual accounts of these notions, he will develop an epistemic approach to meaning that focuses on the justification of assertions.
		He will also discuss the bearings on metaphysical issues of realism and anti-realism.
	events.stanford.edu /events/85/8502 (79 words)

	[No title]
		Annals of Pure and Applied Logic 61(1), special issue from LMPS'91 (with Dag Prawitz), 1993, 102 pp.
		Logic and Philosophy of Science in Uppsala (with Dag Prawitz), Kluwer, Dordrecht, 1994, ix + 610 pp.
		Logic, Methodology and Philosophy of Science IX (with Dag Prawitz and Brian Skyrms), North-Holland, Amsterdam, 1995, xiv + 989 pp.
	plato.stanford.edu /subject-editors/westerstahl.html (793 words)

	Stockholm, March 95: Prawitz' course (Site not responding. Last check: 2007-11-06)
		Dag Prawitz: Intuitionism..., Stockholm University, Mar. 13-17, 1995
		Participants at the course, left-right: John Cantwell, Mirja Hartimo, Markku Leppäkoski, Vanja Klaenenberg, Nerijus Milerius, Matti Kinnunen, Dag Prawitz, Ruurik Holm, Roope Lenkkeri, Rasmus Ekman, Anders Moen, Mattias Högström.
		Henrik Hållsten was not present when the picture was taken by Johan W. Klüwer.
	folk.uio.no /johanw/intrnord/praw_grp.html (51 words)

	A type theory for classical arithmetic (Site not responding. Last check: 2007-11-06)
		We examine an alternative formulation of constructive content based upon reading off the meaning of logical constants from their rules, an idea that goes back to Gentzen and which has been illuminatingly developed by Dag Prawitz, Nuel Belnap and Michael Dummett.
		Semantics without set theory We show how dependent types, proof reductions and Martin-Löf's intensional equality may be used to give a proof semantics of intuitionistic arithmetic.
		We extend our account of Prawitz's inversion principle to the new construtors of the lambda-mu calculus, which in the context of our earlier discussion warrants the claim that this calculus is a constructive account of classical logic.
	www.linearity.org /cas/abstracts/edin-1999.html (453 words)

	The Mathematics Genealogy Project - Dag Prawitz
		Click here to see the students listed in chronological order.
		According to our current on-line database, Dag Prawitz has 2 students and 4 descendants.
		If you have additional information or corrections regarding this mathematician, please use the update form.
	genealogy.math.ndsu.nodak.edu /html/id.phtml?id=83753 (66 words)

	Find in a Library: Bibliography of the philosophical and other writings of Jens Erik Fenstad, Guttorm Fløistad, ...
		Find in a Library: Bibliography of the philosophical and other writings of Jens Erik Fenstad, Guttorm Fløistad, Dagfinn Føllesdal, Finngeir Hiorth and Dag Prawitz 1953-1970.
		Bibliography of the philosophical and other writings of Jens Erik Fenstad, Guttorm Fløistad, Dagfinn Føllesdal, Finngeir Hiorth and Dag Prawitz 1953-1970.
		WorldCat is provided by OCLC Online Computer Library Center, Inc. on behalf of its member libraries.
	www.worldcatlibraries.org /wcpa/oclc/714697 (73 words)

	References on natural deduction (Site not responding. Last check: 2007-11-06)
		Dag Prawitz, "Natural Deduction", 1965, not available at Amazon.
		than Lemmon's or Prawitz's, and more scholarly/rigorous than
		Are there books that I've missed, or can anyone suggest
	www.groupsrv.com /science/viewtopic.php?t=39280 (1044 words)

Try your search on: Qwika (all wikis)