logical language: Difference between revisions

From Lojban
Jump to navigation Jump to search
m (Gleki moved page jbocre: logical language to logical language without leaving a redirect: Text replace - "jbocre: l" to "l")
m (Text replace - "jbocre: ([L-Z])" to "$1")
 
Line 12: Line 12:
* It also means other forms of expression are availible also, there is a tertau there as well.
* It also means other forms of expression are availible also, there is a tertau there as well.


[[jbocre: Logic Language Draft 1.1]]
[[Logic Language Draft 1.1]]

Latest revision as of 14:50, 23 March 2014

A widely misunderstood phrase:

  • It does not mean that only "logical" things (true statements, sound arguments) can be expressed.
  • It does not mean that Lojban is restricted to the machinery of first-order predicate logic, or any other logic.
  • It does not mean that a bridi must be considered true or false, excluding other possibilities.

However,

  • It does mean that the expressiveness and precision of logic are available when you want them.
  • It also means other forms of expression are availible also, there is a tertau there as well.

Logic Language Draft 1.1