General Index

A

any

as a restricted universal claim: The problem of “any”

as a translation problem: The problem of “any”

as a universal claim

later restricted: The problem of “any”

as an existential claim: The problem of “any”

expressing as existential by variable in subordinate bridi: The problem of “any”

any box: The problem of “any”

anyone

contrasted with everyone in assumption of existence: The problem of “any”

anyone who goes

walks: The problem of “any”

attitudinals

and logic: What's wrong with this picture?

B

bridi negation

and DeMorgan's Law: Logical connectives and DeMorgan's law
and negation boundary: Logical connectives and DeMorgan's law
compared with negation between sentences: bridi negation and logical connectives
na before selbri compared to naku in prenex: Negation boundaries
naku in prenex compared to na before selbri: Negation boundaries
two forms of: Negation boundaries

bridi negation and logical connectives: bridi negation and logical connectives

bridi-tail logical connection

and DeMorgan's Law: Logical connectives and DeMorgan's law

C

contradictory negation

using "naku" before selbri: Using naku outside a prenex

conversion of sentence with quantified variables

technique: Using naku outside a prenex

conversion with "se"

effect of "naku" negation boundary on conversion: Using naku outside a prenex

D

DeMorgan's Law

and bridi-tail logical connection: Logical connectives and DeMorgan's law
and distributing a negation: Logical connectives and DeMorgan's law
and internal "naku" negations: Logical connectives and DeMorgan's law
and logically connected sentences: Logical connectives and DeMorgan's law
and moving a logical connective relative to "naku": Logical connectives and DeMorgan's law
sample applications: Logical connectives and DeMorgan's law

distributing a negation: Logical connectives and DeMorgan's law

distribution of quantified sumti: Grouping of quantifiers

dog bites: Dropping the prenex

dog breathes: Restricted claims: da poi

dogs bite: Grouping of quantifiers

double negation

and "naku": Using naku outside a prenex

double negatives

effect of interactions between quantifiers and negation on: Negation boundaries

E

everybody loves something: Negation boundaries

everyone

contrasted with anyone in assumption of existence: The problem of “any”

everyone bitten by dog: Dropping the prenex

everything

expressing with "ro da": Universal claims

everything breathes: Restricted claims: da poi

everything loves everything: Universal claims

everything sees me: Universal claims

everything sees something: Universal claims

existential

mixed claim with universal: Universal claims

existential claims

definition: Existential claims, prenexes, and variables
restricting: Restricted claims: da poi

existential variable

in abstraction contrasted with in main bridi: The problem of “any”
in main bridi contrasted with in abstraction: The problem of “any”

exporting negation to prenex

"naku" contrasted with internal bridi negation: Using naku outside a prenex
internal bridi negation contrasted with "naku": Using naku outside a prenex

external bridi negation

compared to internal bridi negation: Negation boundaries
definition: Negation boundaries

F

Fido: Dropping the prenex

G

go to Paris or Rome: Logical connectives and DeMorgan's law

I

indefinite description

compared with restricted variable: Variables with generalized quantifiers
definition: Variables with generalized quantifiers

indefinite sumti

as implicit quantification: Using naku outside a prenex
compared to sumti with "lo": Grouping of quantifiers
meaning when multiple in sentence: Grouping of quantifiers
multiple in sentence: Grouping of quantifiers

interactions between quantifiers and negation

effect: Negation boundaries

internal bridi negation

compared to external bridi negation: Negation boundaries
definition: Negation boundaries

internal naku negations

and DeMorgan's Law: Logical connectives and DeMorgan's law

inversion of quantifiers

definition: Negation boundaries
in moving negation boundary: Negation boundaries

inversion of quantifiers on passing negation boundary

rationale for: Negation boundaries

inverting quantifiers

with movement relative to "naku": Using naku outside a prenex
with movement relative to fixed negation: Using naku outside a prenex

L

logic

and attitudinals: What's wrong with this picture?
limits of: What's wrong with this picture?
resolving ambiguities of "nobody": What's wrong with this picture?

logic and Lojban

more aspects: Conclusion

logical connectives

recipes

simplified for logic chapter discussion: bridi negation and logical connectives

logical connectives and bridi negation: bridi negation and logical connectives

logical connectives and negation

caveat for logic chapter discussions: bridi negation and logical connectives

logical connectives within negation

effects of expansion on: Logical connectives and DeMorgan's law

logical variables

creating more by subscripting: A few notes on variables

effect of global substitution: Existential claims, prenexes, and variables

effect of order in prenex: Universal claims

effect of using multiple different: Existential claims, prenexes, and variables

explicitly placing in outer prenex: The problem of “any”

for selbri: selbri variables

implicit placement in smallest enclosing bridi prenex: The problem of “any”

notation convention: Existential claims, prenexes, and variables

when not in main bridi: Existential claims, prenexes, and variables

with "poi"

in multiple appearances: Dropping the prenex

with "ro"

in multiple appearances: Dropping the prenex

with multiple appearances in bridi: Existential claims, prenexes, and variables

logically connected sentences

and DeMorgan's Law: Logical connectives and DeMorgan's law

M

mixed claim

definition: Universal claims

multiple indefinite sumti

effect of re-ordering in sentence: Grouping of quantifiers
expressing with equal scope: Grouping of quantifiers
meaning: Grouping of quantifiers

multiple indefinite sumti scope

in termset: Grouping of quantifiers

multiple quantification

effect on selbri placement among sumti: Using naku outside a prenex

N

need any box: The problem of “any”

negation

form for emulating natural language negation: Using naku outside a prenex

negation and logical connectives

caveat for logic chapter discussions: bridi negation and logical connectives

negation between sentences

compared with bridi negation: bridi negation and logical connectives
meaning of: bridi negation and logical connectives

negation boundary

and zero: Negation boundaries
effect of moving: Negation boundaries

negation in prenex

effects of position: Negation boundaries

negation manipulation

"na" contrasted with "naku" in difficulty of: Using naku outside a prenex
"naku" contrasted with "na" in difficulty of: Using naku outside a prenex

negations with logical connectives

effects on expansion of sentence: Logical connectives and DeMorgan's law

negator

movement from bridi to sumti: Logical connectives and DeMorgan's law

nobody

ambiguous interpretations of: What's wrong with this picture?
interpretation of: What's wrong with this picture?
Lojban contrasted with English: What's wrong with this picture?

nothing sits: Negation boundaries

numbers

English contrasted with Lojban on exactness: Variables with generalized quantifiers
Lojban contrasted with English on exactness: Variables with generalized quantifiers
on logical variables: Variables with generalized quantifiers

O

order of variables

in moving to prenex: Variables with generalized quantifiers

P

prenex

considerations for dropping: Dropping the prenex
dropping for terseness: Dropping the prenex
effect of order of variables in: Dropping the prenex
explanation: Existential claims, prenexes, and variables
internal to a bridi: The problem of “any”
purpose of: Dropping the prenex
removing when numeric quantifiers present: Variables with generalized quantifiers
syntax of: Existential claims, prenexes, and variables

prenex manipulation

exporting "na" from left of prenex: bridi negation and logical connectives
importing "na" from selbri: bridi negation and logical connectives
moving "naku" past bound variable: bridi negation and logical connectives
rules: bridi negation and logical connectives

prenex scope

for sentences joined by ".i": A few notes on variables
for sentences joined by ijeks: A few notes on variables
in abstractions: A few notes on variables
in embedded bridi: A few notes on variables
in relative clauses: A few notes on variables
informal: A few notes on variables

Q

quantified sumti

different types contrasted for scope for distribution: Grouping of quantifiers

quantifier

on previously quantified variable: A few notes on variables

quantifier scope

in multiple connected sentences: bridi negation and logical connectives

quantifiers

effect of moving "naku": Using naku outside a prenex
with logical variables: Variables with generalized quantifiers

R

Ralph: Existential claims, prenexes, and variables

re-ordering logical variables with "se": Dropping the prenex

relative clauses

use in restricting existential claims: Restricted claims: da poi
use in restricting universal claims: Restricted claims: da poi

restricted claims

definition: Restricted claims: da poi

restricted variable

compared with indefinite description: Variables with generalized quantifiers

S

selbri logical variables: selbri variables

selbri placement among sumti

effect of multiple quantification on: Using naku outside a prenex

selbri variables

form when not in prenex: selbri variables
prenex form as indefinite description: selbri variables
quantified: selbri variables

some do not go to school: Using naku outside a prenex

some relationship: selbri variables

somebody

contrasted with somebody else: Existential claims, prenexes, and variables

somebody loves self: Existential claims, prenexes, and variables

somebody loves somebody: Existential claims, prenexes, and variables

somebody's dog: Existential claims, prenexes, and variables

something

contrasted with someone: Restricted claims: da poi
expressing using "su'o": Variables with generalized quantifiers
unspecified definite with "zo'e": Existential claims, prenexes, and variables

something is loved by everybody: Negation boundaries

something sees everything: Universal claims

something sees me: Existential claims, prenexes, and variables, Variables with generalized quantifiers

subscripts

use with logical variables: A few notes on variables

sumti with "lo"

compared to indefinite sumti: Grouping of quantifiers

T

termset

effect on scope of multiple indefinite sumti: Grouping of quantifiers

there is a Y

expression "there is a Y" in English

notation convention: Negation boundaries

three cats white

and two big: A few notes on variables

three dogs bite two men: Grouping of quantifiers

transformations with logical connectives

steps: Logical connectives and DeMorgan's law

U

universal

mixed claim with existential: Universal claims

universal claims

dangers of using: Dropping the prenex
explanation: Universal claims
restricting: Restricted claims: da poi, Restricted claims: da poi

V

variables

logical: Existential claims, prenexes, and variables

W

weapon against self: Dropping the prenex

Z

zero

relation to negation boundary: Negation boundaries