David Makinson

For the English cricketer, see David Makinson (cricketer).

David Clement Makinson (born 27 August 1941) is an Australian logician living in France.[citation needed]

Career

Makinson began his studies at the University of Sydney in 1958 and completed them at Oxford University in 1965, with a D.Phil on modal logic under Michael Dummett. He worked in the American University of Beirut (1965-1982), UNESC0 (1980-2001), King’s College London (2002-2006), the London School of Economics (LSE) (2006-2019),[1] and currently holds a position of Honorary Associate Professor at the University of Queensland.[2]

Contributions

David Makinson works across a number of areas of logic, including modal logic, deontic logic, belief revision, uncertain reasoning, relevance-sensitive logic and, more recently, topics in the history of logic. Among his contributions: in 1965, as a graduate student, he identified the preface paradox[3] and adapted the method of maximal consistent sets for proving completeness results in modal logic[citation needed]; in 1969 he discovered the first simple and natural propositional logic lacking the finite model property[citation needed]; in the 1980s, with Carlos Alchourrón and Peter Gärdenfors, he created the AGM account of belief change[citation needed]; in the early 2000s, with Leon van der Torre, he created input/output logic; in 2017 he adapted the method of truth-trees to relevance-sensitive logic. [citation needed]

References

  1. ^ Makinson, David (December 2014), "A Tale of Five Cities", in Hansson, Sven Ove (ed.), David Makinson on Classical Methods for Non-Classical Problems, Outstanding Contributions to Logic, Springer Netherlands, p. 19–32, doi:10.1007/978-94-007-7759-0_3, ISBN 9789400777590
  2. ^ "Dr David Makinson", UQ Experts, University of Queensland, retrieved 28 September 2024
  3. ^ Lacey, A. R. (1970), "The paradox of the preface", Mind, 79 (316): 614–615, doi:10.1093/mind/lxxix.316.614

Read other articles:

Masako Izumi

Masako IzumiIzumi, 1963Nama asal和泉 雅子Lahir31 Juli 1947 (umur 76)Ginza,[1] Tokyo, JepangPekerjaanAktrisTahun aktif1958-sekarang Masako Izumi (和泉 雅子code: ja is deprecated , Izumi Masako, lahir 31 Juli 1947) adalah seorang aktris dan petualang asal Jepang.[2] Izumi bergabung dengan Wakakusa Theatre Company dan memulai karir aktingnya sebagai aktris cilik[3][4] pada usia 11 tahun.[5] Tiga tahun kemudian, dia pindah ke Nikkats...

 

 

Mekanika kuantum

Untuk artikel pendahuluan, lihat Pengantar mekanika kuantum. Bagian dari seri artikel mengenaiMekanika kuantum H ^ | ψ ( t ) ⟩ = i ℏ ∂ ∂ t | ψ ( t ) ⟩ {\displaystyle {\hat {H}}|\psi (t)\rangle =i\hbar {\frac {\partial }{\partial t}}|\psi (t)\rangle } Persamaan Schrödinger Pengantar Glosarium Sejarah Buku teks Latar belakang Mekanika klasik Teori kuantum lama Notasi Bra–ket Hamiltonian Interferensi Dasar-dasar Bilangan kuantum Dekohere...

 

 

Pengakuan

Confession of Love oleh Jean-Honoré Fragonard yang menggambarkan subjek yang menyatakan perasaan yang selama ini disembunyikan. Pengakuan adalah sebuah pernyataan – yang dibuat oleh seseorang atau sekelompok orang – untuk mengakui beberapa fakta pribadi meskipun orang tersebut (atau kelompoknya) lebih memilih jika informasi tersebut dirahasiakan. Istilah pengakuan mengasumsikan bahwa orang yang mengaku memberikan informasi yang dia yakini belum diketahui oleh pihak lain,[1] dan s...

بليز

  بليز (بالإنجليزية: Belize)‏[1]  بليزعلم بليز  بليزشعار بليز  [لغات أخرى]‏    الشعار الوطني(باللاتينية: Sub Umbra Floreo)‏  النشيد: ليحفظ الله الملك  الأرض والسكان إحداثيات 17°04′00″N 88°42′00″W / 17.066666666667°N 88.7°W / 17.066666666667; -88.7   [2] أخفض نقطة ال...

 

 

Première topique

Pour les articles homonymes, voir Topique. Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne s'appuie pas, ou pas assez, sur des sources secondaires ou tertiaires (juin 2018). Pour améliorer la vérifiabilité de l'article ainsi que son intérêt encyclopédique, il est nécessaire, quand des sources primaires sont citées, de les associer à des analyses faites par des sources secondaires. Sigmund Freud vers 1900-1905, au moment de la première...

 

 

Foivre

Foivreruisseau du Mignyruisseau de Buissonwéruisseau de l'Aunaie La Foivre à Wignicourt. Caractéristiques Longueur 21,7 km [1] Bassin collecteur la Seine Débit moyen (Givry) Nombre de Strahler 3 Organisme gestionnaire EPTB Entente Oise-Aisne[2] Régime pluvial océanique Cours Source au sud du village · Localisation Neuvizy · Altitude 204 m · Coordonnées 49° 37′ 36″ N, 4° 31′ 58″ E Confluence l'Aisne · Localisation Givry · Altitude ...

BBC First

Cet article est une ébauche concernant une chaîne de télévision. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. BBC FirstPrésentationType Programme téléviséFondation 3 août 2014Propriétaire BBC WorldwideSite web www.bbc.com/firstmodifier - modifier le code - modifier Wikidata BBC First est une chaîne de télévision payante diffusant des séries télévisées lancée en 2014 et diffusée en Afrique d...

 

 

UEFA Europa League 2014-2015

UEFA Europa League 2014-2015 Competizione UEFA Europa League Sport Calcio Edizione 44ª Organizzatore UEFA Date dal 3 luglio 2014al 27 maggio 2015 Partecipanti 56 (195 alle qualificazioni) Nazioni 54 Sede finale Stadion Narodowy(Varsavia) Risultati Vincitore Siviglia(4º titolo) Finalista Dnipro Semi-finalisti FiorentinaNapoli Statistiche Miglior marcatore Alan Romelu Lukaku (8 a testa) Incontri disputati 205 Gol segnati 548 (2,67 per incontro) Pubblico 4 066 128 ...

 

 

Afshin Ghaffarian

Afshin GhaffarianAfshin Ghaffarian pada 2014Lahir15 Desember 1986 (umur 37)[1]Mashhad, Iran[1]Tempat tinggalParis, PrancisKebangsaanIranPendidikanDiploma perguruan tinggi, Sinema/ BA, TeaterAlmamaterSoureh Art school Mashhad Branch / Islamic Azad University Central Tehran Branch ’08Centre National de la Danse ’11 Pantheon-Sorbonne UniversityPekerjaanKoreografer dan Sutradara / Penari dan PemeranDikenal atasDesert Dancer yang terinspirasi oleh kehidupannya Afshin Ghaf...

Sikhism by country

World Sikh population breakdown Distribution of SikhsPercentage of Sikhs by countryNumber of Sikhs by country vte Most of the 25-30 million followers of Sikhism, the world's fifth-largest religion [disputed – discuss], live in the northern Indian state of Punjab, the only Sikh-majority administrative division on Earth,[1][2][3][4][5][6] but Sikh communities exist on every inhabited continent. Sizeable Sikh populations in count...

 

 

Economic antisemitism

Prejudice against Jews based on their economic status and activities Part of a series onAntisemitism Part of Jewish history and discrimination History Timeline Reference Definitions IHRA definition of antisemitism Jerusalem Declaration on Antisemitism Nexus Document Three Ds Geography Argentina Australia Austria Belarus Belgium Canada Chinese Chilean Costa Rican Europe France Dreyfus affair 21st century 21st-century Germany Greece Hungary 21st-century Italy Japan Mexico New Zealand Norway Pak...

 

 

Agattu

One of the Aleutian Islands Agattu in 2018 Map of the western Aleutian islands, Agattu is marked 2. Nautical Chart of Agattu IslandAgattu Island, refuge cabin, Aleutians 1988. Courtesy: USFWS Agattu (Aleut: Angatux̂;[1] Russian: Агатту) is an island in Alaska, part of the Near Islands in the western end of the Aleutian Islands. With a land area of 85.558 square miles (221.59 km2) Agattu is one of the largest uninhabited islands in the Aleutians. It is the second largest of...

Semenanjung Skandinavia

Semenanjung Skandinavia semenanjung Dinamakan berdasarkanSkandinavia TempatNegaraNorwegia, Swedia dan Finlandia GeografiLuas wilayah800.000 km² [convert: unit tak dikenal]Dekat dengan perairanLaut Norwegia, Laut Utara, Laut Baltik dan Laut Barents Titik tertinggiGaldhøpiggen  (2.468,854 m ) Semenanjung Skandinavia terletak di ujung baratdaya Eropa, dan terdiri dari Swedia, Norwegia, dan Finlandia utara. Dari empat semenanjung Eropa (Skandinavia, Iberia, Italia, dan Balkan), Skandi...

 

 

This World (TV series)

British TV series or programme This WorldSeries of the current title card from BBC broadcast (September 2012 – present)GenreCurrent affairsCountry of originUnited KingdomOriginal languageEnglishProductionExecutive producersKaren O'ConnorLouise NormanLucy HetheringtonSam Bagnall (2012–present)Sam Collyns (BBC Northern Ireland)Running timeBBC Two30–90 minutesBBC World News30-50 minutesProduction companyBBC FactualOriginal releaseNetworkBBC Two (2004–present)BBC Two HD (2013–present)B...

 

 

Boondocks (song)

Song co-written and recorded by American country music group Little Big Town BoondocksSingle by Little Big Townfrom the album The Road to Here ReleasedMay 2, 2005Recorded2005GenreCountryLength4:32 (album version) 3:59 (radio single)LabelEquitySongwriter(s)Karen FairchildKimberly RoadsPhillip SweetJimi WestbrookWayne KirkpatrickProducer(s)Wayne KirkpatrickLittle Big TownLittle Big Town singles chronology Everything Changes (2002) Boondocks (2005) Bring It On Home (2006) Music videoBoondocks at...

Baildon

Town and civil parish in West Yorkshire, England This article is about the town in Yorkshire, England. For the hamlet in Canada, see Baildon, Saskatchewan. For the rural municipality which surrounds said hamlet, see Rural Municipality of Baildon No. 131. Human settlement in EnglandBaildonBaildon, Browgate roundaboutBaildonLocation within West YorkshirePopulation15,360 OS grid referenceSE155395• London185 mi (298 km) south-eastCivil parishBaildonMetropolita...

 

 

National Register of Historic Places listings in West Hartford, Connecticut

Location of Southington in Connecticut This is a list of the National Register of Historic Places listings in West Hartford, Connecticut. This is intended to be a complete list of the properties and districts on the National Register of Historic Places in West Hartford, Connecticut, United States. The locations of National Register properties and districts for which the latitude and longitude coordinates are included below, may be seen in various online maps.[1] There are more than 4...

 

 

Ronnie O'Sullivan

English snooker player (born 1975) Ronnie O'SullivanOBEO'Sullivan at the 2015 German MastersBorn (1975-12-05) 5 December 1975 (age 48)Wordsley, West Midlands, EnglandSport country EnglandNicknameThe Rocket[1]Professional1992–presentHighest ranking1 (May 2002 – May 2003, May 2004 – May 2006, May 2008 – May 2010, March – August 2019, April 2022 – May 2024)Current ranking 5 (as of 16 July 2024)Maximum breaks15Century breaks1,265 (as of 30 July 2024)Tournament winsRa...

George W. Lindsay

American politician George W. Lindsay, New York Congressman George Washington Lindsay (March 28, 1865 – March 15, 1938) was an American businessman and politician who served six terms as a United States representative from New York from 1923 to 1935. He was the son of George Henry Lindsay, who was also a U.S. Representative. Biography He was born in Brooklyn on March 28, 1865, to George Henry Lindsay. He attended the public schools, was deputy coroner of Kings County, New York from 1886 to ...

 

 

ATP World Tour 2010

ATP World Tour 2010stagione di torneiSport Tennis SerieATP World Tour Durata4 gennaio -28 novembre 2010 Edizione41ª CategorieGrande Slam (4)ATP World Tour FinalsATP World Tour Masters 1000 (9)ATP World Tour 500 (11)ATP World Tour 250 (40) 2009 2011 L'ATP World Tour 2010 è stato un insieme di tornei organizzati dall'ATP divisi in quattro categorie: tornei del Grande Slam, Masters 1000, 500 e 250. A questi si sono aggiunti aggiungono anche la World Team Cup, la Coppa Davis, l'ATP World Tour F...