Jon Michael Dunn - Jon Michael Dunn
Jon Michael Dunn | |
|---|---|
| narozený | 1941 (věk 78–79) |
| Alma mater | -Oberlin College -University of Pittsburgh |
| Známý jako | -Algebraická sémantika pro logiku relevance Sémantika se 4 hodnotami pro zapojení prvního stupně -Gaggles (zobecněná logika galois) -Sémantika negace -Teorie důkazů včetně řešení (s K. Bimbó) rozhodnutelnosti Ticket Entailment -Vztah kvantového výpočtu s kvantovou logikou |
| Manžel (y) | Sarah Jane Dunn (m. 1964) |
| Děti | Jon William Dunn, Jennifer Anne Dunn |
| Ocenění | -Národní Merit Scholar (1959-63) -Andrew Mellon Fellow (1964-65) -Woodrow Wilson Dissertation Fellow (1965-66) -Fulbright Senior Research Scholar (1975-76) -American Council of Learned Societies Fellow (1984-85) -Who's Who in America (1985) -Techpoint Mira Award (2002) -Who's Who in the World (2005) -iSchools Bookends Award (2006) - Sagamore of the Wabash (2007) - člen Americké akademie umění a věd (2010) |
| Vědecká kariéra | |
| Pole | -Logika-Počítačová věda |
| Instituce | -Wayne State University -Indiana University Bloomington |
| Doktorský poradce | Nuel Belnap |
| webová stránka | -Jon Michael Dunn's Indiana University Philosophy Home Page -Domovská stránka školy informatiky, výpočetní techniky a inženýrství na univerzitě Michaela Dunna v Indianě |
J. Michael Dunn je profesorem Oscara Ewinga Emeritní filozofie, emeritní profesor informatiky a informatiky, dvakrát předsedal katedře filozofie, byl výkonným proděkanem Vysoké školy umění a věd a zakládajícím děkanem Škola informatiky (nyní Luddy School of Informatics, Computing, and Engineering) na Indiana University.
raný život a vzdělávání
Dunn se narodil v Fort Wayne, Indiana v roce 1941. On šel na střední školu v Lafayette, Indiana, kde pracoval Purdue Biologické laboratoře po škole a v létě. Byl prvním ze své rodiny, který šel na vysokou školu.
Má A.B. ve filozofii od Oberlin College a Ph.D. ve filozofii (logice) z University of Pittsburgh, kde napsal disertační práci, Algebra intenzionální logiky.[1]
Kariéra
Učil na Wayne State University a v univerzita Yale jako návštěvník před příjezdem Indiana University Bloomington v roce 1969, ze kterého v roce 2007 odešel do důchodu.
Získal granty od NSF, NEH, ACLS a navštívil mimo jiné v Australská národní univerzita, University of Oxford a University of Melbourne. V roce 2014 byl hostujícím profesorem na Ph.D. alma mater University of Pittsburgh. V roce 2002 přijal jménem Školy informatiky Techpoint (sdružení Indiana Information Technology) Mira za mimořádný přínos vzdělávání v oblasti informačních technologií. V roce 2007 mu byla udělena medaile Indiana University Bloomington Provost's Medal a byl udělen titul Sagamore z Wabashu guvernérem státu Indiana.
Je členem Americká akademie umění a věd. Byl prezidentem Společnost pro přesnou filozofii, a na výkonném výboru Sdružení pro symbolickou logiku. Byl redaktorem časopisu Journal of Symbolic Logic a šéfredaktor časopisu Journal of Philosophical Logic. Vydal 6 knih a více než 100 prací a režíroval nebo spolurežíroval 17 disertačních prací Ph. D. (filozofie, informatika, matematika).
Poté, co odešel do důchodu, působil deset let v představenstvu HealthLINC, regionální výměně zdravotních informací, a byl tam tři roky prezidentem. Od roku 2010 je členem institutu Info-Metrics Institute na Americké univerzitě a je členem jeho poradního sboru (spolupředseda 2017-).
Práce
Dunnův výzkum se zaměřuje zejména na logiku založenou na informacích logika relevance a další tzv „substrukturální“ logika. Má k nim algebraický přístup pod hlavičkou „teorie gaggle“ (pro zobecněné logiky galois), kterou rozvinul v článcích, ve své knize s G. Hardgree Algebraické metody ve filozofické logice (Oxford, 2001),[2] a kniha s K. Bimbó, Zobecněná logika Galois: Relační sémantika neklasických logických kalkulů. (Publikace CSLI, 2008).[3]
Ve své práci o logice relevance měl to štěstí, že studoval jako postgraduální student u dvou hlavních osobností logiky relevance, Alana Rosse Andersona a Nuel D. Belnap, Jr. Byl přispívajícím autorem do jejich knihy Entailment: The Logic of Relevance and Entailment Vol. 1,[4] a spoluautor s nimi Sv. 2. [5]
Pracoval také na kvantová logika a kvantový výpočet, subjektivní pravděpodobnost v souvislosti s neúplnými a protichůdnými informacemi as Katalin Bimbό nedávno prokázal rozhodnutelnost Ticket Entailment (problém otevřený od roku 1960).[6] Dunn byl knihou nedávno oceněn J. Michael Dunn o informační logice, editoval Katalin Bimbó [7] a objevit se v Springerově sérii Vynikající příspěvky k logice.[8]
Reference
- ^ Dunn, Jon Michael (1966). Algebra intenzionální logiky (Disertační práce). Disertační práce. Byla vydána v roce 2019 s úvodní esejí Katalin Bimbó as Svazek 2 edice Logic PhDs „College Publications, Londýn.
- ^ Dunn, J. Michael (2001). Algebraické metody ve filozofické logice. Hardegree, Gary M. Oxford: Oxford University Press. ISBN 0198531923. OCLC 46240293.
- ^ Bimbó, Katalin (2008). Zobecněná logika Galois: relační sémantika neklasických logických kalkulů. Dunn, J. Michael. Stanford, Kalifornie: Publikace CSLI. ISBN 9781575865737. OCLC 225876030.
- ^ Ross., Anderson, Alan (1975–1992). Entailment: The Logic of Relevance and Necessity Vol. 1. Belnap, Nuel D., Dunn, J. Michael. Princeton, N.J .: Princeton University Press. ISBN 0691071926. OCLC 1530367.
- ^ Ross., Anderson, Alan (1975–1992). Entailment: The Logic of Relevance and Necessity Vol. 2. Belnap, Nuel D., Dunn, J. Michael. Princeton, N.J .: Princeton University Press. ISBN 0691071926. OCLC 1530367.
- ^ Dunn, J. Michael; Bimbó, Katalin (2012). „Nové konsekrační kameny pro $ R ^ {t} _ { to} $“. Deník Notre Dame formální logiky. 53 (4): 491–509. doi:10.1215/00294527-1722719. ISSN 0029-4527.
- ^ Bimbó, Katalin. J. Michael Dunn o logice založené na informacích. Švýcarsko. ISBN 9783319293004. OCLC 945975273.
- ^ Hansson, Sven Ove. Vynikající příspěvky k logice. Springer.