reduced logical form: Difference between revisions

From Lojban
Jump to navigation Jump to search
m (Text replace - "jbocre: ([A-K])" to "$1")
m (Conversion script moved page Reduced logical form to reduced logical form: Converting page titles to lowercase)
 
(2 intermediate revisions by one other user not shown)
Line 10: Line 10:
| [[tag|tag]] [[quantifier|quantifier]] variable [[relative-clauses|relative-clauses]] ZOhU sentence
| [[tag|tag]] [[quantifier|quantifier]] variable [[relative-clauses|relative-clauses]] ZOhU sentence


variable = KOhA [[jbocre: XI number|XI number]]  (da, de, di; ko'a, ko'e, ..., fo'u)
variable = KOhA [[XI number|XI number]]  (da, de, di; ko'a, ko'e, ..., fo'u)


selbri-2, gek, gik, tag, quantifier, relative-clauses, number as in the EBNF grammar
selbri-2, gek, gik, tag, quantifier, relative-clauses, number as in the EBNF grammar
Line 20: Line 20:
to reduce any Lojban text to its logical form as defined in the above grammar (Work in progress)
to reduce any Lojban text to its logical form as defined in the above grammar (Work in progress)


[[jbocre: Reduced logical form: Step 1| Step 1]]: Reduce ''text'' to ''paragraphs''
[[Reduced logical form: Step 1| Step 1]]: Reduce ''text'' to ''paragraphs''


[[jbocre: Reduced logical form: Step 2| Step 2]]: Reduce ''fragment'' to ''statement''  
[[Reduced logical form: Step 2| Step 2]]: Reduce ''fragment'' to ''statement''  


[[jbocre: Reduced logical form: Step 3| Step 3]]: Reduce ''statement'' to ''subsentence''
[[Reduced logical form: Step 3| Step 3]]: Reduce ''statement'' to ''subsentence''


[[jbocre: Reduced logical form: Step 4| Step 4]]: Reduce ''paragraphs'' to ''subsentence''
[[Reduced logical form: Step 4| Step 4]]: Reduce ''paragraphs'' to ''subsentence''


[[jbocre: Reduced logical form: Step 5| Step 5]]: Reduce ''bridi-tail'' to ''bridi-tail-3''
[[Reduced logical form: Step 5| Step 5]]: Reduce ''bridi-tail'' to ''bridi-tail-3''


[[jbocre: Reduced logical form: Step 6| Step 6]]: Reduce afterthought sumti and termset connectives to forethought, and quantified terms to KOhA1-form.
[[Reduced logical form: Step 6| Step 6]]: Reduce afterthought sumti and termset connectives to forethought, and quantified terms to KOhA1-form.


[[jbocre: Reduced logical form: Step 7| Step 7]]: Reduce pre-selbri terms to KOhA
[[Reduced logical form: Step 7| Step 7]]: Reduce pre-selbri terms to KOhA


[[jbocre: Reduced logical form: Step 8| Step 8]]: Reduce ''bridi-tail'' to ''selbri-6'' and KOhA. Obtain final form.
[[Reduced logical form: Step 8| Step 8]]: Reduce ''bridi-tail'' to ''selbri-6'' and KOhA. Obtain final form.


This reduction does not handle:
This reduction does not handle:

Latest revision as of 08:30, 30 June 2014

sentence = selbri-2 FA variable] ... /VAU/

| gek sentence gik sentence

| NA KU ZOhU sentence

| tag /KU/ ZOhU sentence

| tag quantifier variable relative-clauses ZOhU sentence

variable = KOhA XI number (da, de, di; ko'a, ko'e, ..., fo'u)

selbri-2, gek, gik, tag, quantifier, relative-clauses, number as in the EBNF grammar

The above grammar is a sub-grammar of the Lojban grammar. By that I mean that every sentence it generates is a valid sentence of the Lojban grammar. I contend that every Lojban sentence has a corresponding reduced logical form generated from this grammar. The idea is simple: to get the reduced logical form eliminate indicators and free modifiers, move quantifiers and negations to the prenex, expand all logical connectives to forethought sentence connectives and finally move all the arguments behind the selbri. The devil is, of course, in the details. I intend to work out an algorithm for producing the reduced logical form for any Lojban sentence. (In fact I think there are a couple of tricky places where it may not be doable, but at least this will show what they are.) The purpose of this exercise is to clarify the argument for the scope of NA. In the reduced logical form the relative scopes of the different operators are fairly obvious. mi'e xorxes

Algorithm

to reduce any Lojban text to its logical form as defined in the above grammar (Work in progress)

Step 1: Reduce text to paragraphs

Step 2: Reduce fragment to statement

Step 3: Reduce statement to subsentence

Step 4: Reduce paragraphs to subsentence

Step 5: Reduce bridi-tail to bridi-tail-3

Step 6: Reduce afterthought sumti and termset connectives to forethought, and quantified terms to KOhA1-form.

Step 7: Reduce pre-selbri terms to KOhA

Step 8: Reduce bridi-tail to selbri-6 and KOhA. Obtain final form.

This reduction does not handle:

  1. Indicators and free modifiers
  1. VUhO relative-clauses
  1. tags when they double up with other connectives