Knowledge

Kai Wehmeier

Source đź“ť

222: 392: 149: 382: 377: 254:. He is also the director of UC Irvine's Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA). 250:
Wehmeier is currently a professor in the Department of Logic and Philosophy of Science and the Department of Philosophy at the
287: 56: 251: 121: 278: 338: 237: 387: 296: 195: 94: 192: 64: 372: 90: 60: 244: 241: 367: 8: 110: 102: 86: 316:
Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA)
188: 37: 187:
becomes consistent upon restricting the complexity of comprehension formulas in the
226: 144: 349: 310: 361: 177: 106: 334: 240:, as well as for refining and defending the thesis that there is no binary 233: 229: 180: 98: 166: 269: 134:
Semantical Investigations in Intuitionistic First-order Arithmetic
315: 128: 170: 82: 198: 16:
German-American philosopher and logician (born 1968)
216: 176:He is best known for proving that the fragment of 359: 267:and the Existence of Non-Logical Objects," 65:Westfälische Wilhelms-Universität MĂĽnster 393:University of California, Irvine faculty 285:"How to live without identity—and why," 257: 321: 360: 225:, for his development of a system of 238:description theories of proper names 13: 383:21st-century American philosophers 378:20th-century American philosophers 294:"Subjunctivity and Conditionals," 288:Australasian Journal of Philosophy 200: 57:University of California, Berkeley 14: 404: 304: 165:(born 1968) is a German-American 252:University of California, Irvine 122:University of California, Irvine 217:{\displaystyle \Delta _{1}^{1}} 343: 328: 279:Journal of Philosophical Logic 1: 339:Mathematics Genealogy Project 300:110, 2013, pp. 117–142. 273:121, 1999, pp. 309–328. 7: 311:Wehmeier's personal website 291:90, 2012, pp. 761–777. 282:33, 2004, pp. 607–630. 185:Grundgesetze der Arithmetik 10: 409: 297:The Journal of Philosophy 263:"Consistent Fragments of 232:and its use in rebutting 156: 143: 127: 117: 103:Early Analytic Philosophy 95:Philosophy of mathematics 78: 71: 52: 44: 30: 23: 191:comprehension schema to 236:modal argument against 61:Ruhr-Universität Bochum 218: 163:Kai Frederick Wehmeier 91:Philosophy of language 258:Selected publications 219: 322:Notes and references 196: 213: 87:Philosophy of logic 388:American logicians 350:Wehmeier's website 214: 199: 183:logical theory of 63:, Germany (M.A.); 247:between objects. 160: 159: 152:, Wolfram Pohlers 73:Scientific career 67:, Germany (Ph.D.) 400: 352: 347: 341: 332: 223: 221: 220: 215: 212: 207: 145:Doctoral advisor 139: 48:American, German 21: 20: 408: 407: 403: 402: 401: 399: 398: 397: 358: 357: 356: 355: 348: 344: 333: 329: 324: 307: 276:"In the Mood," 260: 208: 203: 197: 194: 193: 137: 53:Alma mater 40: 35: 26: 17: 12: 11: 5: 406: 396: 395: 390: 385: 380: 375: 370: 354: 353: 342: 326: 325: 323: 320: 319: 318: 313: 306: 305:External links 303: 302: 301: 292: 283: 274: 259: 256: 211: 206: 202: 158: 157: 154: 153: 147: 141: 140: 131: 125: 124: 119: 115: 114: 80: 76: 75: 69: 68: 54: 50: 49: 46: 42: 41: 36: 32: 28: 27: 24: 15: 9: 6: 4: 3: 2: 405: 394: 391: 389: 386: 384: 381: 379: 376: 374: 373:Living people 371: 369: 366: 365: 363: 351: 346: 340: 336: 331: 327: 317: 314: 312: 309: 308: 299: 298: 293: 290: 289: 284: 281: 280: 275: 272: 271: 266: 262: 261: 255: 253: 248: 246: 243: 239: 235: 231: 228: 224: 209: 204: 190: 186: 182: 179: 174: 172: 168: 164: 155: 151: 150:Justus Diller 148: 146: 142: 135: 132: 130: 126: 123: 120: 116: 112: 108: 104: 100: 96: 92: 88: 84: 81: 77: 74: 70: 66: 62: 58: 55: 51: 47: 43: 39: 34:15 March 1968 33: 29: 22: 19: 345: 335:Kai Wehmeier 330: 295: 286: 277: 268: 265:Grundgesetze 264: 249: 189:second-order 184: 181:inconsistent 175: 162: 161: 133: 118:Institutions 111:Wittgenstein 105:(especially 72: 25:Kai Wehmeier 18: 368:1968 births 230:modal logic 227:subjunctive 167:philosopher 99:Metaphysics 45:Nationality 362:Categories 38:Summit, NJ 201:Δ 270:Synthese 245:relation 242:identity 234:Kripke's 171:logician 59:(M.A.); 337:at the 178:Frege's 138:(1996) 136:  129:Thesis 79:Fields 107:Frege 83:Logic 169:and 109:and 31:Born 364:: 173:. 101:, 97:, 93:, 89:, 85:, 210:1 205:1 113:)

Index

Summit, NJ
University of California, Berkeley
Ruhr-Universität Bochum
Westfälische Wilhelms-Universität Münster
Logic
Philosophy of logic
Philosophy of language
Philosophy of mathematics
Metaphysics
Early Analytic Philosophy
Frege
Wittgenstein
University of California, Irvine
Thesis
Doctoral advisor
Justus Diller
philosopher
logician
Frege's
inconsistent
second-order
Δ 1 1 {\displaystyle \Delta _{1}^{1}}
subjunctive
modal logic
Kripke's
description theories of proper names
identity
relation
University of California, Irvine
Synthese

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑