Jump to ContentJump to Main Navigation
Future PastsThe Analytic Tradition in Twentieth Century Philosophy$
Users without a subscription are not able to see the full content.

Juliet Floyd and Sanford Shieh

Print publication date: 2001

Print ISBN-13: 9780195139167

Published to Oxford Scholarship Online: November 2003

DOI: 10.1093/019513916X.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (www.oxfordscholarship.com). (c) Copyright Oxford University Press, 2017. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a monograph in OSO for personal use (for details see http://www.oxfordscholarship.com/page/privacy-policy).date: 20 October 2017

Language as Social Software

Language as Social Software

Chapter:
(p.339) 15 Language as Social Software
Source:
Future Pasts
Author(s):

Rohit Parikh

Publisher:
Oxford University Press
DOI:10.1093/019513916X.003.0016

Parikh discusses recent developments in computer science, especially in the areas of program correctness, dynamic logic, and temporal logic. He then develops a meaning theory for a natural language versus the actual linguistic and nonlinguistic behavior of the members of a speech community, exploring three arguments concerned with the social character of language: Quine’s thesis of the indeterminacy of translation, Kripke’s skeptical paradox (derived from Wittgenstein) concerning the notion of following a rule, and John Searle’s Chinese room puzzle. Parikh argues that each of these apparently skeptical arguments is concretely realized in the programmer’s efforts to devise and apply a programming language. In thinking through the relation between high-level programming languages and the machine languages into which they must be translated in order to be implemented, computer scientists can offer significant insights into philosophical issues. A pragmatic approach to meaning theory in which uniformity in individual speakers’ usage of a communal language is not assumed, and in which there is no common underlying notion of truth—in which, ultimately, large portions of language are admitted which are not informational at all—is defended, with suggestions of applications to problems of vagueness.

Keywords:   program correctness; indeterminacy of translation, skeptical paradox, Kripke, Searle, computer science, dynamic logic, temporal logic, vagueness, pragmatic theory of meaning, idiolect, externalism

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .