University of Calgary
UofC Navigation

Dots as Brackets in Formulas

LogBlog Has Moved!

You are looking at the old blog archive. LogBlog has moved to richardzach.org.
If you'd like to receive updates on new posts, please subscribe there!

Submitted by Richard Zach on Wed, 07/19/2006 - 7:49am

Ever tried reading logical texts from the 20s or before (e.g., C. I. Lewis's Symbolic Logic)? Confused by the absence of parentheses and all the dots and colons? Here's Carnap's explanation of the notation (from Abriss der Logistik):

4 c. The Dot Rules

The dot symbols (. : :. :: etc.) replace the bracketing of propositions. The dot signs fall into three distinct levels, depending on whether they occur

  1. between two propositions in a conjunction,
  2. after an operator (x), (? x), [(?x)(?x)],
  3. after |-, before and after the sign ?, ? ?, |, =Df.

Dot rules for reading: The scope of a dot symbol (for 1, to the left and to the right, for 2 to the right, for 3 to left or right, depending) extends either to the end of the proposition or to a dot symbol with more dots or to a symbol of the same or a higher level with the same number of dots.

Dot rules for writing: If the scope of a dot sybol is to extend beyond that of another, it must, if it is of a higher level than the latter, contain at least as many dots, and otherwise more dots.

Examples:

p ? . q . r means p ? (q . r)
|- : (p, q) : p ? q . ? . q ? p " |- {(p, q) . [(p ? q) ? (q ? p)]}
p : ? : q . ? . q ? p " p ? [q ? (q ? p)]
(x) . ?x . ? . p ? q " [(x) . ?x] ? (p ? q)
(x) : ?x . ? . p ? q " (x) . [?x ? (p ? q)]
(x) : ?x ? p . ? q " (x) . [(?x ? p) ? q]
(x) : ?x ? p : ? q " [(x) . (?x ? p)] ? q

Comments

Submitted by Anonymous on Wed, 07/19/2006 - 9:44pm

That's great that you've put these rules on the web! <><><><>Posted by<><> <><>< HREF="http://www.antimeta.org/blog/" REL="nofollow" TITLE="easwaran at berkeley dot edu">Kenny Easwaran<>

Submitted by Anonymous on Thu, 07/20/2006 - 1:28am

Hi Richard! Been meaning to comment on your posts for a while---great resource, this blog. Just wanted to add that there are still some authors that (more or less) use dots for parentheses--which I find quite painful. Adrian Mathias is a good example. <><><><>Posted by<><> <><>< HREF="www.its.caltech.edu/~caicedo" REL="nofollow" TITLE="caicedo at caltech dot edu">Andres Caicedo<>

Submitted by Anonymous on Thu, 07/20/2006 - 6:21pm

That looks like the Peano-Whitehead-Russell use of dots. Church in "Introduction to Mathematical Logic" uses an adapted version (pp. 75).I find formulas hard to read when conjunction is denoted by a dot as well...but still easier than Polish notation! <><><><>Posted by<><> <><>< HREF="http://www.nortexoid.blogspot.com" REL="nofollow" TITLE="">lumpy pea coat<>

Submitted by Anonymous on Sun, 07/23/2006 - 5:32am

Often when reading blogs or academic papers about Logic, I've been struck by how disconnected various aspects are from one another. I've noticed this is especially true regarding "formal" systems of (mathematical/philosophic) logic in relation to symbolic representation. This causes a great deal of unnecessary confusion when cross-disciplinary discussions and/or instructions take place between those who're interested in Logic in a philosophical sense, and those who're interested in Logic as it relates to their profession (like electrical engineers or computer programmers). For a philosophy student, the study of different types of symbolic representations themselves can be rewarding. But for engineering or CS students who are entering fields where there are established common lexicons, standards, and representation methods, learning a PM or SD type method of formal logic isn't very practical.Assuming that philosophy and mathematics students have a practical interest in learning technological and CS logical systems as well (as most use the electronics and computer programs with these systems as a design basis), do you all believe that there is grounds for adopting these as the initial systems of formal Logics taught to everyone? If basic computer programming methods and symbols were focused on in mathematical and philosophic Logic courses, there would be a common resource for TA's and GSI's who typically instruct undergraduate Logic that would be applicable for almost every field, be it academic or scientific or professional. Because electronic gate logics and programming languages are very rigorously defined, the process of learning these initially would improve the overall analytic ability of undergraduate students in general.Anyway... it's just a thought. <><><><>Posted by<><> <><>< HREF="http://www.ucalgary.ca/~rzach/logblog/2006/07/dots-as-brackets-in-formulas.html#comments" REL="nofollow" TITLE="zoagria at mac dot com">A. Scott Crawford<>

Submitted by Anonymous on Fri, 07/28/2006 - 3:53pm

Very useful. Thanks! <><><><>Posted by<><> <><>< HREF="http://notofcon.blogspot.com/" REL="nofollow" TITLE="oth2 at st-andrews dot ac dot uk">Ole Thomassen Hjortland<>

Submitted by Anonymous on Thu, 08/17/2006 - 3:49pm

RichardGreat site. Thanks especially for the piece on dots as brackets. I was reading a new book on Wittgenstein which seems v. useful but it suddenly, without explanation included expressions with dot brackets. As an old-timer I knew what was ghappening at least dimly but i am sure young students will be baffled.CheersNeil Paterson <><><><>Posted by<><> <><>< HREF="http://www.ucalgary.ca/~rzach/logblog/2006/07/dots-as-brackets-in-formulas.html" REL="nofollow" TITLE="n dot w dot paterson at dundee dot ac dot uk">Neil Paterson<>