Saturday, July 1, 2017

Polish Logic

Filed under: Uncategorized — m759 @ 11:55 PM

See Lukasiewicz in this journal.

Wednesday, November 9, 2011

Polish Logic–

Filed under: Uncategorized — Tags: — m759 @ 11:23 AM

The Big Lukasiewicz

“Lord Arglay had a suspicion that the Stone
would be purely logical.  Yes, he thought,
but what, in that sense, were the rules of its pure logic?”

Many Dimensions  (1931), by Charles Williams

See also Łukasiewicz in Wikipedia and Lukasiewicz in this journal.

The latter's Christian references seem preferable to yesterday's
link to a scene from the Coen brothers' film "The Big Lebowski."

For those who prefer  a Christ-for-Jews there is
also Harvard's version. See The Crimson Passion.

Sunday, July 10, 2011

Wittgenstein’s Diamond

Filed under: Uncategorized — m759 @ 9:29 AM

Philosophical Investigations  (1953)

97. Thought is surrounded by a halo.
—Its essence, logic, presents an order,
in fact the a priori order of the world:
that is, the order of possibilities * ,
which must be common to both world and thought.
But this order, it seems, must be
utterly simple . It is prior  to all experience,
must run through all experience;
no empirical cloudiness or uncertainty can be allowed to affect it
——It must rather be of the purest crystal.
But this crystal does not appear as an abstraction;
but as something concrete, indeed, as the most concrete,
as it were the hardest  thing there is
(Tractatus Logico-Philosophicus  No. 5.5563).

— Translation by G.E.M. Anscombe


All propositions of our colloquial language
are actually, just as they are, logically completely in order.
That simple thing which we ought to give here is not
a model of the truth but the complete truth itself.

(Our problems are not abstract but perhaps
the most concrete that there are.)

97. Das Denken ist mit einem Nimbus umgeben.
—Sein Wesen, die Logik, stellt eine Ordnung dar,
und zwar die Ordnung a priori der Welt,
d.i. die Ordnung der Möglichkeiten ,
die Welt und Denken gemeinsam sein muß.
Diese Ordnung aber, scheint es, muß
höchst einfach  sein. Sie ist vor  aller Erfahrung;
muß sich durch die ganze Erfahrung hindurchziehen;
ihr selbst darf keine erfahrungsmäßige Trübe oder Unsicherheit anhaften.
——Sie muß vielmehr vom reinsten Kristall sein.
Dieser Kristall aber erscheint nicht als eine Abstraktion;
sondern als etwas Konkretes, ja als das Konkreteste,
gleichsam Härteste . (Log. Phil. Abh.  No. 5.5563.)

See also

Related language in Łukasiewicz (1937)—


* Updates of 9:29 PM ET July 10, 2011—

A  mnemonic  from a course titled "Galois Connections and Modal Logics"—

"Traditionally, there are two modalities, namely, possibility and necessity.
The basic modal operators are usually written box (square) for necessarily
and diamond (diamond) for possibly. Then, for example, diamondP  can be read as
'it is possibly the case that P .'"

See also Intensional Semantics , lecture notes by Kai von Fintel and Irene Heim, MIT, Spring 2007 edition—

"The diamond symbol for possibility is due to C.I. Lewis, first introduced in Lewis & Langford (1932), but he made no use of a symbol for the dual combination ¬¬. The dual symbol was later devised by F.B. Fitch and first appeared in print in 1946 in a paper by his doctoral student Barcan (1946). See footnote 425 of Hughes & Cresswell (1968). Another notation one finds is L for necessity and M for possibility, the latter from the German möglich  ‘possible.’"

Barcan, Ruth C.: 1946. “A Functional Calculus of First Order Based on Strict Implication.” Journal of Symbolic Logic, 11(1): 1–16. URL http://www.jstor.org/pss/2269159.

Hughes, G.E. & Cresswell, M.J.: 1968. An Introduction to Modal Logic. London: Methuen.

Lewis, Clarence Irving & Langford, Cooper Harold: 1932. Symbolic Logic. New York: Century.

Saturday, November 27, 2010

Simplex Sigillum Veri

Filed under: Uncategorized — m759 @ 7:20 AM

An Adamantine View of "The [Philosophers'] Stone"

The New York Times  column "The Stone" on Sunday, Nov. 21 had this—

"Wittgenstein was formally presenting his Tractatus Logico-Philosophicus , an already well-known work he had written in 1921, as his doctoral thesis. Russell and Moore were respectfully suggesting that they didn’t quite understand proposition 5.4541 when they were abruptly cut off by the irritable Wittgenstein. 'I don’t expect you to understand!' (I am relying on local legend here….)"

Proposition 5.4541*—


Related material, found during a further search—

A commentary on "simplex sigillum veri" leads to the phrase "adamantine crystalline structure of logic"—


For related metaphors, see The Diamond Cube, Design Cube 2x2x2, and A Simple Reflection Group of Order 168.

Here Łukasiewicz's phrase "the hardest of materials" apparently suggested the commentators' adjective "adamantine." The word "diamond" in the links above refers of course not to a material, but to a geometric form, the equiangular rhombus. For a connection of this sort of geometry with logic, see The Diamond Theorem and The Geometry of Logic.

For more about God, a Stone, logic, and cubes, see Tale  (Nov. 23).

* 5.4541 in the German original—

  Die Lösungen der logischen Probleme müssen einfach sein,
  denn sie setzen den Standard der Einfachheit.
  Die Menschen haben immer geahnt, dass es
  ein Gebiet von Fragen geben müsse, deren Antworten—
  a priori—symmetrisch, und zu einem abgeschlossenen,
  regelmäßigen Gebilde vereint liegen.
  Ein Gebiet, in dem der Satz gilt: simplex sigillum veri.

  Here "einfach" means "simple," not "neat," and "Gebiet" means
  "area, region, field, realm," not (except metaphorically) "sphere."

Powered by WordPress