Дэвид Каплан: Тіл мен логиканың американ философы

American philosopher and logician

David Benjamin Kaplan ('/k//æ//p//l//ən/; born September 17, 1933) is an American philosopher. He is the Hans Reichenbach Professor of Scientific Philosophy at the UCLA Department of Philosophy. His philosophical work focuses on the philosophy of language, logic, metaphysics, epistemology and the philosophy of Frege and Russell. He is best known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences in 1983 and a Corresponding Fellow of the British Academy in 2007.

Kaplan began as an undergraduate at UCLA in 1951, admitted on academic probation "owing to poor grades." While he started as a music major due to his interest in jazz, he was soon persuaded by his academic counselor Veronica Kalish to take the logic course taught by her husband Donald Kalish. continuing in the department of philosophy as a graduate student. He was the last doctoral student supervised by Rudolf Carnap, receiving his PhD in 1964 with a thesis entitled Foundations of Intensional Logic. His work continues the strongly formal approach to philosophy long associated with UCLA (as represented by mathematician logician philosophers such as Alonzo Church and Richard Montague). In most years, Kaplan teaches an upper division course on philosophy of language, focusing on the work of either Gottlob Frege, Bertrand Russell, or P. F. Strawson. He also teaches a related course on Kripke's Naming and Necessity. His lectures often focus on selected paragraphs from Russell's "On Denoting" as well as Frege's "On Sense and Reference." In 2022 he received the Rolf Schock Prize in the category of "Philosophy".

Kaplan's work is primarily focused on issues in the philosophy of language and logic. These ventures, however, sometimes take him into related issues in other fields, such as the philosophy of mind.

Kaplan's most influential contribution to the philosophy of language is his semantic analysis of indexicals and demonstratives, which is outlined (in progressively greater detail) in a series of articles: "Dthat," "On The Logic of Demonstratives," "Demonstratives," and "Afterthoughts". Kaplan's insights center on two key distinctions, which may be seen as responses to the inability of Frege's semantics to deal with context sensitivity in language. First, in place of Frege's categories of Sinn and Bedeutung (typically translated as "sense" and "reference"), Kaplan introduces the notions of character and content. The former is the linguistic meaning of an expression, and the latter is the proposition (or propositional component) expressed by an expression in a context. Second, Kaplan makes an explicit distinction between the context of an utterance and the circumstances of evaluation of the proposition expressed by an utterance. Context can be formalized as a set composed of a speaker, a place, a time, and a possible world (and, depending on the analysis of demonstratives, perhaps a set of either demonstrations or directing intentions). Circumstances of evaluation play a role very similar to possible worlds in modal semantics. From these rough distinctions, Kaplan then defines character and content more precisely. Character defines a function associated by convention with an expression, which takes contextual elements as arguments and yields content as values. Content, on the other hand, defines a function taking as arguments those elements of the circumstances of evaluation relevant to determining extension, and yielding the extension (referent or truth value) as a value. Two more important notions can thus be defined. We can say that an expression is context sensitive if and only if its character defines a non constant function (i. e., if, and only if it yields different content values given different context element arguments). An expression is context insensitive if and only if its character defines a constant function. Also, the distinction between character and content breaks down in the case of context insensitive expressions, and convention associates each such expression directly with a content. On the other hand, an expression is directly referential if, and only if its content defines a constant function from circumstances of evaluation to extension. Kaplan also characterizes directly referential expressions as those that refer without the mediation of a Fregean Sinn, or as those whose only contribution to content are their referents. Thus, in the case of directly referential expressions, we can say that the distinction between content and referent breaks down. Any singular term is directly referential according to Kaplan. So the following intuitive picture emerges: the meaning of an indexical is a rule taking us from some part of the context to an expression, and the meaning of an expression is a bit of propositional content that determines the extension in each possible world. Kaplan goes on to use this semantic scheme to explain phenomena concerning the relationship between necessary and a priori truth. An utterance is said to be necessarily true if, and only if the content it expresses is true in every possible circumstance; while an utterance is said to be true a priori if, and only if it expresses, in each context, a content that is true in the circumstances that context is part of. So, "I am here now" is true a priori because each of the indexical expressions used ('I', 'here', 'now') directly refer to the speaker, location, and time of utterance. But the utterance is not necessarily true, because any given speaker might have been in at a different place at that time, given different circumstances of evaluation. On the other hand, "I am David Kaplan," as spoken by David Kaplan, is necessarily true, since "I" and "David Kaplan" (both directly referential expressions) refer to the same object in every circumstance of evaluation. The same statement is not true a priori, however, because if it were spoken in a different context (e. g., one with a speaker other than Kaplan), it might be false. Another result of Kaplan's theory is that it solves Frege's Puzzle for indexicals. Roughly, the puzzle here arises as indexicals are thought to be directly referential, i. e., they do not refer by means of a Fregean Sinn. However, Frege explains cognitive value in terms of Sinn. Thus the following problem emerges: The sentences "I am David Kaplan", spoken by David Kaplan, "he is David Kaplan", spoken by someone pointing at David Kaplan, and "David Kaplan is David Kaplan", spoken by anyone, all express the same content and refer to the same individuals. Yet each of the three has a different cognitive value (it is possible to rationally believe one while denying another). Kaplan explains this by associating cognitive value with character rather than content, thus remedying the problem. (There are problems with this approach, which Kaplan explores in "Afterthoughts".) Kaplan's semantic theory faces a problem, however, with proper names, which seem both directly referential and context insensitive. On Kaplan's account, this means that constant functions are defined by both a proper name's character and its content, which would imply that proper names have no meaning other than their reference. While this approach to proper names is not novel (John Stuart Mill being an early advocate), Frege's Puzzle is thought to cast doubt on any such account. Many philosophers have attempted to deal with this issue (notably Joseph Almog, David Braun, Michael Devitt, John Perry, Nathan Salmon, Scott Soames, and Howard Wettstein), but no solution has been widely accepted.

In recent years, Kaplan has devoted much effort to teaching introductory logic. A main contribution has been his work to create a computer program, Logic 2000, on which students can do their assignments. Logic 2000 is currently available for use free of charge. The program has many parts, including a derivations module, a symbolizations module, a models module, and much more. The program was initially developed to complement the logic text of Donald Kalish and Richard Montague, and the derivations module therefore uses their distinctive natural deduction system. Perhaps the most significant features of the program are its feedback and error checking capacities. The program can provide a student with immediate and extensive error messages detailing any errors the student may have made on the problem he or she is currently working on. The program's current iteration and name is Logic 2010.