Polish Notation For Logic
The table below shows the core of Jan Łukasiewicz's notation for sentential logic. The "conventional" notation did not become so until the 1970s and 80s. Some letters in the Polish notation table means a certain word in Polish, as shown:
| Concept | Conventional notation |
Polish notation |
Polish word |
|---|---|---|---|
| Negation | Nφ | negacja | |
| Conjunction | Kφψ | koniunkcja | |
| Disjunction | Aφψ | alternatywa | |
| Material conditional | Cφψ | implikacja | |
| Biconditional | Eφψ | ekwiwalencja | |
| Falsum | O | fałsz | |
| Sheffer stroke | Dφψ | dysjunkcja | |
| Possibility | Mφ | możliwość | |
| Necessity | Lφ | konieczność | |
| Universal quantifier | Πpφ | kwantyfikator ogólny | |
| Existential quantifier | Σpφ | kwantyfikator szczegółowy |
Note that the quantifiers ranged over propositional values in Łukasiewicz's work on many-valued logics.
Bocheński introduced an incompatible system of Polish notation that names all 16 binary connectives of classical propositional logic.
Read more about this topic: Polish Notation
Famous quotes containing the words polish and/or logic:
“Take a commonplace, clean it and polish it, light it so that it produces the same effect of youth and freshness and originality and spontaneity as it did originally, and you have done a poet’s job. The rest is literature.”
—Jean Cocteau (1889–1963)
“Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.”
—Sir Peter Frederick Strawson (b. 1919)