51:
and adapted the method of maximal consistent sets for proving completeness results in modal logic; in 1969 he discovered the first simple and natural propositional logic lacking the finite model property; in the 1980s, with Carlos
Alchourrón and Peter Gärdenfors, he created the AGM account of belief
37:
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
46:
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
205:
52:
change; 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.
175:
215:
210:
38:
Economics (LSE) (2006-2019), and currently holds a position of
Honorary Associate Professor at the University of Queensland.
86:
185:
180:
220:
170:
20:
190:
200:
195:
8:
69:
Makinson, David (December 2014), "A Tale of Five Cities", in
Hansson, Sven Ove (ed.),
82:
135:
74:
139:
48:
155:
78:
164:
73:, Outstanding Contributions to Logic, Springer Netherlands, p. 19–32,
101:
29:(born 27 August 1941) is an Australian logician living in France.
71:
David
Makinson on Classical Methods for Non-Classical Problems
126:Lacey, A. R. (1970), "The paradox of the preface",
206:People educated at North Sydney Boys High School
162:
68:
163:
125:
216:21st-century Australian philosophers
211:20th-century Australian philosophers
13:
176:Academics of King's College London
14:
232:
149:
41:
19:For the English cricketer, see
119:
94:
62:
1:
55:
7:
79:10.1007/978-94-007-7759-0_3
10:
237:
140:10.1093/mind/lxxix.316.614
108:, University of Queensland
21:David Makinson (cricketer)
18:
32:
186:Australian libertarians
27:David Clement Makinson
181:Australian scientists
221:British libertarians
171:Australian logicians
102:"Dr David Makinson"
16:Australian logician
156:Makinson’s website
228:
143:
142:
134:(316): 614–615,
123:
117:
116:
115:
113:
98:
92:
91:
66:
236:
235:
231:
230:
229:
227:
226:
225:
191:Belief revision
161:
160:
152:
147:
146:
124:
120:
111:
109:
100:
99:
95:
89:
67:
63:
58:
49:preface paradox
44:
35:
24:
17:
12:
11:
5:
234:
224:
223:
218:
213:
208:
203:
198:
193:
188:
183:
178:
173:
159:
158:
151:
150:External links
148:
145:
144:
118:
93:
87:
60:
59:
57:
54:
43:
40:
34:
31:
15:
9:
6:
4:
3:
2:
233:
222:
219:
217:
214:
212:
209:
207:
204:
202:
201:Living people
199:
197:
194:
192:
189:
187:
184:
182:
179:
177:
174:
172:
169:
168:
166:
157:
154:
153:
141:
137:
133:
129:
122:
107:
103:
97:
90:
88:9789400777590
84:
80:
76:
72:
65:
61:
53:
50:
42:Contributions
39:
30:
28:
22:
131:
127:
121:
112:28 September
110:, retrieved
105:
96:
70:
64:
45:
36:
26:
25:
196:1941 births
165:Categories
106:UQ Experts
56:References
85:
33:Career
128:Mind
114:2024
83:ISBN
136:doi
75:doi
167::
132:79
130:,
104:,
81:,
138::
77::
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.