191:
A loose motivation for much of Melvin
Fitting's work can be formulated succinctly as follows. There are many logics. Our principles of reasoning vary with context and subject matter. Multiplicity is one of the glories of modern formal logic. The common thread tying logics together is a concern for
192:
what can be said (syntax), what that means (semantics), and relationships between the two. A philosophical position that can be embodied in a formal logic has been shown to be coherent, not correct. Logic is a tool, not a master, but it is an enjoyable tool to use.
149:
from 1968 to 2013. At the
Graduate Center he was in the departments of Computer Science, Philosophy, and Mathematics, and at Lehman College he was in the department of Mathematics and Computer Science. He is now Professor
146:
378:
398:
353:
348:
235:
363:
295:
274:
383:
393:
181:
72:
373:
162:
53:
368:
358:
388:
343:
338:
102:
185:
134:
209:
285:
166:
58:
291:
270:
256:
262:
170:
138:
114:
109:
317:
323:
177:
158:
142:
98:
332:
266:
236:
Leading
Mathematics and Computer Sciences Researcher Wins Prestigious Award
151:
130:
287:
Computational Logic — Essays in Honor of Alan
Robinson
311:
210:"Google Scholar Citations report for Melvin Fitting"
108:
94:
86:
67:
46:
28:
21:
147:Graduate Center of the City University of New York
258:First-order logic and automated theorem proving
169:, both in mathematics. His thesis advisor was
222:
8:
284:Lassez, Jean-Louis; Plotkin, Gordon (1991).
176:In June 2012 Melvin Fitting was given the
18:
90:Mathematics, philosophy, computer science
379:Rensselaer Polytechnic Institute alumni
290:. Cambridge, Massachusetts: MIT Press.
201:
184:, for distinguished contributions to
141:proof systems. He was a professor at
7:
399:Mathematicians from New York (state)
261:(2nd ed.). New York: Springer.
161:. His undergraduate degree is from
354:21st-century American philosophers
349:20th-century American philosophers
14:
182:Conference on Automated Deduction
163:Rensselaer Polytechnic Institute
54:Rensselaer Polytechnic Institute
324:Mathematical Genealogy Project
1:
129:(born January 24, 1942) is a
364:CUNY Graduate Center faculty
165:, and his doctorate is from
415:
384:People from Troy, New York
133:with special interests in
394:Yeshiva University alumni
267:10.1007/978-1-4612-2360-3
223:Lassez & Plotkin 1991
120:
79:
318:The CUNY Graduate Center
374:Computability theorists
369:Lehman College faculty
157:Fitting was born in
103:CUNY Graduate Center
16:American philosopher
314:, official homepage
225:, pp. 723–724.
186:automated deduction
135:philosophical logic
359:American logicians
167:Yeshiva University
71:Herbrand Award by
59:Yeshiva University
297:978-0-262-12156-9
276:978-1-4612-7515-2
124:
123:
81:Scientific career
406:
301:
280:
239:
238:
232:
226:
220:
214:
213:
206:
171:Raymond Smullyan
115:Raymond Smullyan
110:Doctoral advisor
42:
38:
36:
19:
414:
413:
409:
408:
407:
405:
404:
403:
389:Proof theorists
329:
328:
308:
298:
283:
277:
253:Fitting, Melvin
251:
248:
243:
242:
234:
233:
229:
221:
217:
208:
207:
203:
198:
101:
63:
47:Alma mater
40:
39:24 January 1942
34:
32:
24:
17:
12:
11:
5:
412:
410:
402:
401:
396:
391:
386:
381:
376:
371:
366:
361:
356:
351:
346:
341:
331:
330:
327:
326:
321:
320:, faculty page
315:
312:Melvin Fitting
307:
306:External links
304:
303:
302:
296:
281:
275:
247:
244:
241:
240:
227:
215:
200:
199:
197:
194:
178:Herbrand Award
159:Troy, New York
143:Lehman College
127:Melvin Fitting
122:
121:
118:
117:
112:
106:
105:
99:Lehman College
96:
92:
91:
88:
84:
83:
77:
76:
69:
65:
64:
62:
61:
56:
50:
48:
44:
43:
30:
26:
25:
23:Melvin Fitting
22:
15:
13:
10:
9:
6:
4:
3:
2:
411:
400:
397:
395:
392:
390:
387:
385:
382:
380:
377:
375:
372:
370:
367:
365:
362:
360:
357:
355:
352:
350:
347:
345:
344:Living people
342:
340:
337:
336:
334:
325:
322:
319:
316:
313:
310:
309:
305:
299:
293:
289:
288:
282:
278:
272:
268:
264:
260:
259:
254:
250:
249:
245:
237:
231:
228:
224:
219:
216:
211:
205:
202:
195:
193:
189:
187:
183:
179:
174:
172:
168:
164:
160:
155:
153:
148:
144:
140:
136:
132:
128:
119:
116:
113:
111:
107:
104:
100:
97:
93:
89:
85:
82:
78:
74:
70:
66:
60:
57:
55:
52:
51:
49:
45:
41:(age 82)
31:
27:
20:
286:
257:
252:
230:
218:
204:
190:
175:
156:
126:
125:
95:Institutions
80:
339:1942 births
75:, June 2012
333:Categories
246:References
35:1942-01-24
255:(1996) .
152:emeritus
145:and the
131:logician
180:by the
139:tableau
294:
273:
87:Fields
68:Awards
196:Notes
292:ISBN
271:ISBN
137:and
73:CADE
29:Born
263:doi
335::
269:.
188:.
173:.
154:.
37:)
300:.
279:.
265::
212:.
33:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.