In Kevin Mulligan (ed.), Language, Truth and Ontology. London: Kluwer Academic Publishers. pp. 48--77 (1992)

Barry Smith
State University of New York, Buffalo
Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a certain level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used.
Keywords directly depicting language  dependence relations  chemical diagrams  Leibnizian characteristic  diagrammatic logic
Categories (categorize this paper)
Reprint years 1998
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Realism: A Critique of Brentano and Meinong.Gustav Bergmann - 1967 - University of Wisconsin Press.
Reasoning with Arbitrary Objects.Kit Fine - 1985 - Oxford and New York: Blackwell.

View all 16 references / Add more references

Citations of this work BETA

Fiat and Bona Fide Boundaries.Barry Smith & Achille C. Varzi - 2000 - Philosophy and Phenomenological Research 60 (2):401-420.
Fiat Objects.Barry Smith - 2001 - Topoi 20 (2):131-148.
Fiat Objects.Barry Smith - 1994 - In Nicola Guarino, Laure Vieu & Simone Pribbenow (eds.), Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, 11th European Conference on Artificial Intelligence, Amsterdam, 8 August 1994, Amsterdam:. Amsterdam: European Coordinating Committee for Artificial Intelligence. pp. 14-22.
Mereotopology: A Theory of Parts and Boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.

View all 26 citations / Add more citations

Similar books and articles

Logic, Form and Matter.Barry Smith & David Murray - 1981 - Aristotelian Society Supplementary Volume 55 (1):47 - 74.
Visualizations of the Square of Opposition.Peter Bernhard - 2008 - Logica Universalis 2 (1):31-41.
The Tinctures and Implicit Quantification Over Worlds.Jay Zeman - 1997 - In Paul Forster & Jacqueline Brunning (eds.), The Rule of Reason: The Philosophy of C.S. Peirce. University of Toronto Press. pp. 96-119.
Entrenchment Versus Dependence: Coherence and Foundations in Belief Change.Alexander Bochman - 2002 - Journal of Logic, Language and Information 11 (1):3-27.
Diagrams as Sketches.Brice Halimi - 2012 - Synthese 186 (1):387-409.
Timing Diagrams: Formalization and Algorithmic Verification. [REVIEW]Kathi Fisler - 1999 - Journal of Logic, Language and Information 8 (3):323-361.


Added to PP index

Total views
680 ( #10,165 of 2,462,054 )

Recent downloads (6 months)
66 ( #11,986 of 2,462,054 )

How can I increase my downloads?


My notes