Search results

Jump to navigation Jump to search

Page title matches

  • ...'''. There is <u>no</u> quantification over '''lo'i tanxe''' there, only a quantification over '''lo'i ka ce'u tanxe''', which, like every property, whether it obtai ...le ka ce'u tanxe''' (='''mi buska lo'ei/tu'o tanxe''') doesn't involve any quantification over '''lo'i tanxe''', it merely uses the meaning of tanxe as expressed in
    4 KB (615 words) - 14:34, 17 August 2019
  • ==== Quantification and the meaning of ''ro'' ==== '''Two types of quantification.''' Quantifiers come in two sorts, which we can tentatively label ''''cardi
    8 KB (1,315 words) - 07:51, 29 October 2022
  • =Quantification= The relative position of negation and quantification terms within a prenex has a drastic effect on meaning. Starting without a n
    81 KB (12,064 words) - 15:05, 15 February 2015
  • #REDIRECT [[quantification and the meaning of ⟨ro⟩]]
    56 bytes (7 words) - 07:51, 29 October 2022
  • 1 KB (239 words) - 06:58, 25 March 2023

Page text matches

  • Constants are direct references, not quantification over some set. With quantification you single out a set, and then you say
    4.12 MB (665,740 words) - 16:32, 2 March 2020
  • Constants are direct references, not quantification over some set. With quantification you single out a set, and then you say
    2.07 MB (380,774 words) - 07:40, 7 March 2020
  • quantification? If there are four apples then > quantification? If there are four apples then
    455 KB (71,979 words) - 09:22, 27 January 2015
  • : Number used for quantification. Besides {pa}, {re}, {vei ny su'i pa (ve'o)} and so on, {ro} "all" and {su' : Variable prefixed by a quantifier. As a result of quantification, there is no room for substituting an arbitrary argument for the variable.
    55 KB (9,194 words) - 11:27, 9 December 2017
  • a quantification over broda — maybe an odd quantification, but nothing has been done yet to
    608 KB (95,583 words) - 09:14, 27 January 2015
  • to distinguish quantification over subkinds from quantification intensional cases (failures of quantification and
    282 KB (44,320 words) - 14:50, 26 January 2015
  • A Change to the Relative Clause Grammar: Quantification and noi, by ===Quantification and noi===
    565 KB (90,076 words) - 03:40, 22 August 2020
  • ...ng it to "prenu" or some such — is "ku'u lo lijda" sufficient to constrain quantification in the main clause? > sufficient to constrain quantification in the main clause?
    497 KB (76,982 words) - 11:17, 26 January 2015
  • Doing this with quantification can be very messy, and almost impossible to This is messy to do with quantification if we want to use anaphora. "It" refers to the newspaper that I usually rec
    31 KB (5,631 words) - 08:35, 15 June 2015
  • 1a. tu'ole, with null quantification, refers to the whole group of one or more in-mind things. This is not a cha 1b. tu'olo, with null quantification, refers to the Kind ('Mister'). This is not a change from CLL, because tu'o
    25 KB (4,465 words) - 08:35, 15 June 2015
  • ordinary quantification, that's all. > ordinary quantification, that's all.
    52 KB (8,250 words) - 08:12, 27 January 2015
  • ...al]], yet [[covariance|covaries]] with some [[Quantification (linguistics)|quantification]]al element inside it, usually an [[indefinite]]." Chris Barker and Chung-c ...is with understanding how English speakers [[parsing|parse]] the scope of quantification in such sentences.<ref>David Lewis describes this as his motivation for con
    16 KB (2,153 words) - 04:58, 19 October 2014
  • ==Leçons de lojban - Leçon vingt-deux (quantification des sumti)== ...l de «&nbsp;xorlo&nbsp;», un changement des règles sur la définition et la quantification des sumti. L'obsolescence d'une partie des textes de référence a été un
    283 KB (48,687 words) - 07:26, 16 June 2021
  • logic), but the quantification is now in the real world, the basic domain, and there there are no For me the availability of events for reference or quantification is as
    632 KB (109,363 words) - 09:54, 26 January 2015
  • '''Two types of quantification.''' Quantifiers come in two sorts, which we can tentatively label ''''cardi ...roda''. The same goes for ''ro da poi broda''. In the case of unrestricted quantification, as in ''ro da ga broda gi brode'', ''ro'' expresses the number that is the
    7 KB (1,162 words) - 12:41, 27 June 2019
  • ...uivalent to ''naku roda''. But what happens if you allow this weird second quantification. Is ''su'oda naku cida'' equivalent to ''naku roda cida''? The Book's propo ...econd is su'o. So you're saying it's OK to rebind a variable with the same quantification as the first? How about ''3da prami 3da'' --[[User:xod|la xod]]''?
    14 KB (2,602 words) - 10:50, 8 June 2014
  • ...nly one I know that does not use explicit quantifiers for all the sorts of quantification it allows. But Lojban's variables are bound by an unexpressed particular q ...sions are going to end up saying the wrong thing ("Gotcha"). In addition, quantification scope is inherently rightward grouping, thus running counter to Lojban's re
    51 KB (8,956 words) - 08:21, 30 June 2014
  • ...notion of preselecting an F goes against the whole mechanics of particular quantification, where each instantiation has to be to a new term in inferences. To do oth ...s with the description than it is in the totally nonreferential particular quantification that follows from the narrative up to some point; it is just the item this
    24 KB (4,143 words) - 08:13, 30 June 2014
  • ...pa broda}} in XS is the Kind "Mr One Broda". {{vlapoi|PA lo pa broda}} is quantification over real avatars of that Kind. {{vlapoi|ro lo pa broda}} is "every single ...ter off without, why exactly do they not work with CLL {{vlapoi|lo}} - the quantification is in a modal context, etc. to be sure, it cannot be ''said'' that the offs
    40 KB (7,519 words) - 08:23, 8 May 2015
  • ...jor cause for the motivation to write these lessons. Unfortunately for me, quantification of sumti can become a very complex topic when the implications of certain r ...which are sumti of the form GADRI BRIVLA. The number string which does the quantification can be placed before the gadri, in which case it is referred to as an <u>ou
    13 KB (2,284 words) - 21:49, 26 June 2016
  • ==== Quantification and the meaning of ''ro'' ==== '''Two types of quantification.''' Quantifiers come in two sorts, which we can tentatively label ''''cardi
    8 KB (1,315 words) - 07:51, 29 October 2022
  • ...from the official mahoste and construe '''tu'o''' as ONLY '''mo'e zi'o'''. Quantification with an unspecified number can be done by '''mo'e zo'e'''. * What is wrong with making a truthconditional claim concerning the quantification? That if the number turns out to be other than '''pa''', the entire claim i
    7 KB (1,138 words) - 14:29, 17 August 2019
  • =Quantification= The relative position of negation and quantification terms within a prenex has a drastic effect on meaning. Starting without a n
    81 KB (12,064 words) - 15:05, 15 February 2015
  • <sup>TODO: how does inner-quantification change the semantics here? Are we making a mass of a five constituents, whi So how does quantification affect non-distributive descriptions? That's an interesting question. The m
    7 KB (1,153 words) - 09:25, 10 September 2014
  • ...l times, the logic of adverbs is not well worked out: some say it requires quantification over events (in which case, Lojban is ready) some say over abstractions lik individual rather than plural quantification?
    261 KB (39,865 words) - 09:17, 27 January 2015
  • ...'''. There is <u>no</u> quantification over '''lo'i tanxe''' there, only a quantification over '''lo'i ka ce'u tanxe''', which, like every property, whether it obtai ...le ka ce'u tanxe''' (='''mi buska lo'ei/tu'o tanxe''') doesn't involve any quantification over '''lo'i tanxe''', it merely uses the meaning of tanxe as expressed in
    4 KB (615 words) - 14:34, 17 August 2019
  • * plural quantification ( [https://solpahi.wordpress.com/2016/09/25/a-simpler-quantifier-logic/] ) ...broda}. Such shorthand has several issues (if you mistakenly use implicit quantification when {dV} was already bound, it will fail to be rebound and the sentence wi
    16 KB (2,611 words) - 22:06, 4 November 2021
  • ...most sensible default value when no explicit quantification is given is no quantification at all and that the unquantified terms are constants. ...//groups.google.com/group/lojban/browse_thread/thread/9e44a5728883ff9b lei quantification discussion]
    18 KB (3,078 words) - 23:03, 3 April 2020
  • ...h I am rich and not happy''. In English, ''if'' already has this universal quantification included in its meaning, in [[Lojban]] ''ganai'' does not, and it has to be
    15 KB (2,711 words) - 11:19, 7 June 2014
  • The logic here is first order predicate calculus with restricted quantification (and Aristotelian quantifiers, A and I – universal and particular affirma Plural Quantification
    20 KB (3,778 words) - 08:22, 30 June 2014
  • ...em of logic''. The use of that term in logic, along with "quantify" and "[[quantification]]" would later be clarified and popularized by Scottish philosopher [[Willi * [[Richard Montague]]'s ''The Proper Treatment of Quantification in Ordinary English'' (PTQ) is postthumously published. PTQ builds on paper
    95 KB (14,323 words) - 10:38, 9 June 2020
  • ロジバンの項について論理学的観点から理解するには、'''複数量化 (plural quantification)''' について知っておく必要がある(例えば [http://thecolle 複数変項を量化することを'''複数量化 (plural quantification)''' と呼び、その際に使われる量化子を'''複数量化子 (plu
    63 KB (3,508 words) - 14:17, 13 September 2016
  • Given the row x selected with le, the quantification is over all the objects of the world that have a positive mark for the prop ...nce it is a nonce choice, but that aside, I think this is about right: the quantification is over the existents that are in the selection. pc
    32 KB (5,870 words) - 08:13, 30 June 2014
  • ...[http://en.wikipedia.org/wiki/Plural_quantification The WP entry on plural quantification]. (Xorxes says that we were using it before him; I still think it helped). ...tary from a logical point of view] for a more precise discussion on plural quantification and gadri.
    11 KB (1,808 words) - 11:16, 9 December 2017
  • ...e are no obvious boundaries between individual pieces. The most reasonable quantification is to treat all the existing substance in the universe as a single glob, an ...is approximately? Questions and commands are intensional contexts, because quantification and exchange of identicals don't work in them, irrealis because the answer
    10 KB (1,745 words) - 08:36, 30 June 2014
  • ...the scope of its antecedent's quantifier. I think that in those cases the quantification is over the same set as the previous quantifier's. For example: Here {py} is always lo prenu, Mr Person, and quantification is over its avatars. I agree that in order to say something else about the
    3 KB (486 words) - 08:36, 15 June 2015
  • ...the other sumti”: thus it is possible to restrict, but not to extend, the quantification of the other sumti. ...; the difference between the two is one of quantifier order.) The implicit quantification rules for quantificational pro-sumti are particular to them, and are discus
    65 KB (10,572 words) - 06:49, 26 December 2017
  • quantification — the collective/distributive all generics, and appear not to involve quantification
    72 KB (11,437 words) - 14:50, 26 January 2015
  • and quantification which cannot be dealt with in > and quantification which cannot be dealt with in
    42 KB (6,611 words) - 09:13, 27 January 2015
  • ==Quantification==
    10 KB (1,624 words) - 00:36, 3 January 2016
  • ...l to their careers topics but also get a better grasp on explaining xorlo, quantification and why it is needed. ...mers, assuming they're out there and actually did internalize the implicit quantification on every lo/le-sumti and ko'a (which I doubt, by the way, because CLL seman
    470 KB (80,057 words) - 21:46, 22 November 2022
  • ...tification (the new definition of lo dispenses with the notion of implicit quantification) are taken to refer to single instances. E.g. ''mu roi lo cacra'' is taken
    3 KB (477 words) - 23:31, 3 April 2020
  • ...[http://en.wikipedia.org/wiki/Plural_quantification The WP entry on plural quantification]. ) 基本的に、「3人の男がその(1台の)ピアノを運 ...'s fair to say that everything but the changes to '''lo''' (and to default quantification) were mere clarifications. Here's how lo works now:
    10 KB (1,129 words) - 21:07, 12 March 2015
  • ...esent it indicates how many those referents are. For quantified sumti, the quantification is over just those referents of the sumti that satisfy the clause. ...esent it indicates how many those referents are. For quantified sumti, the quantification is over just those referents of the sumti that satisfy the clause.
    33 KB (5,736 words) - 11:34, 26 January 2015
  • ...s is the simplest possible use of a relative clause; two simple claims, no quantification. For example: ...rpretation 2 again does what interpretation 1 does not: account for plural quantification.
    28 KB (4,765 words) - 20:02, 10 January 2019
  • ...esent it indicates how many those referents are. For quantified sumti, the quantification is over just those referents of the sumti that satisfy the clause. ...esent it indicates how many those referents are. For quantified sumti, the quantification is over just those referents of the sumti that satisfy the clause.
    36 KB (6,085 words) - 23:43, 3 April 2020
  • ...t at least one thing which is a dog", which is true. Notice here, that any quantification must be more or less exact in order to be true: Of course one dog exists, b - If the same variable is quantified several times, the first quantification is the one which sticks: Any later quantified instance of that variable can
    12 KB (2,042 words) - 22:00, 26 June 2016
  • * [[Relative Clause Veridical Quantification Gotcha|Relative Clause Veridical Quantification Gotcha]] (e.g. ''lo nanmu noi blabi'' - '''bzzt!''')
    5 KB (747 words) - 19:26, 25 September 2014
  • ...described in the Scientific American article of 1960 is a requirement for quantification, eliminating the option to reference "universals and existentials by indefi ...the previous version include the specification of a system for "[[implicit quantification]]".
    4 KB (566 words) - 15:57, 21 December 2017
  • quantification. If Q1 were to play a role (as the Book suggests) different results for the second quantification
    989 bytes (165 words) - 14:44, 23 March 2014
  • ** [[quantification and the meaning of ro|quantification and the meaning of ro]]
    10 members (0 subcategories, 0 files) - 14:28, 21 December 2015
  • ...}} {{ind|general-imported|numbers|talking about contrasted with using for quantification}} {{ind|general-imported|number article|explanation of use}} {{ind|genera
    121 KB (16,824 words) - 11:24, 2 March 2015
  • * logical quantification; Except for the universal quantification at the beginning of each Lojban sentence (which is there because Prolog var
    289 KB (46,480 words) - 05:22, 19 August 2020
  • ...ways is too expressive. With FOL it is possible to create statements (e.g. quantification over infinite sets) that would cause a system to never terminate if it atte ...e mortal". In logical terms definitions and universals are about universal quantification while facts and defaults are about existential quantifications. All forms o
    35 KB (5,377 words) - 07:42, 31 October 2014
  • 'alaphim kikar keseph) looks, AFAICT, like a straightforward quantification. > 'alaphim kikar keseph) looks, AFAICT, like a straightforward quantification.
    284 KB (49,283 words) - 18:36, 30 April 2015
  • ...most sensible default value when no explicit quantification is given is no quantification at all and that the unquantified terms are constants.
    15 KB (2,695 words) - 11:35, 26 January 2015
  • > changes to lo (and to default quantification) > changes to lo (and to default quantification)
    195 KB (30,458 words) - 09:29, 27 January 2015
  • **i su'o spofu cu prenu i zoi zoi [[Relative Clause Veridical Quantification Gotcha]] zoi i ji'a pe'i do skudji le se du'u se smuni jenai smuni
    1 KB (189 words) - 17:06, 28 October 2014
  • ...some formal logic in order to properly use logical expressions correctly. Quantification and scope and such often don't come easily to people.)
    521 KB (87,367 words) - 21:48, 22 November 2022
  • ...inspecificity into a description: aside from {ro} and singleton sets, any quantification could be satisfied in several ways from any set. Specificity can be reintr
    23 KB (4,203 words) - 08:34, 30 June 2014
  • ...lso known as first-order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic. First-order logic is distinguished from propos
    1 KB (174 words) - 08:57, 27 February 2015
  • ...o'' (or for that matter ''vo'a'') operates just like ''da'', and drops the quantification on anaphoric use.
    5 KB (837 words) - 08:13, 30 June 2014
  • ...mmary! What still needs to be worked out in detail is what happens with re-quantification... [[discussion moved to [User:xorxes on requantification|xorxes on requant
    23 KB (4,393 words) - 08:34, 30 June 2014
  • ...they appear. CLL's rules on rebinding bound variables and on "simultaneous quantification" in termsets are ignored, since neither fits with the idea that '''PA da'''
    4 KB (585 words) - 12:30, 20 October 2015
  • ...ut masses though. If you read my Lojban, the distinction is in whether the quantification is inside or outside of the belief.
    29 KB (5,190 words) - 06:44, 1 March 2018
  • ...unique value. If the other places are filled by ranges of objects (either quantification or by assigning them to particular species) the value of specimenity can be
    15 KB (2,626 words) - 14:31, 23 March 2014
  • quantification, size independent of the number of
    74 KB (12,292 words) - 08:06, 27 January 2015
  • ...oded into Lojban as interpretive conventions; e.g. story time, goat's legs quantification, etc.
    2 KB (316 words) - 14:06, 25 September 2014
  • ...". I want {{vlapoi|lu'a|ko'a}} to give "Mr Single Member of ko'a", so that quantification will be over real avatars of "Single Member of ko'a".
    10 KB (1,709 words) - 08:13, 8 May 2015
  • ...t. I confess I had not thought about the intensions of quantifiers (or the quantification of intensions), so I am unsure what to make of {mi nitcu re da}. I'll get b
    101 KB (16,530 words) - 09:25, 27 January 2015
  • ...need that there be a doctor to do something for me," then "a" again being quantification inside a (hidden) alternate domain.
    9 KB (1,486 words) - 16:19, 23 March 2014
  • Individuals, masses, and sets. Do not confuse these with quantification
    7 KB (1,130 words) - 08:46, 26 January 2015
  • ...ween lV and lVi, lVi is preferable because, unlike lV, it does not involve quantification (and the complexities of scope that that can entail).
    9 KB (1,506 words) - 07:31, 4 June 2018
  • ...antifiers were plural. ''None'' of the sentences below work under singular quantification; they would have to be (sometimes heavily) rephrased in standard Lojban, an
    9 KB (1,504 words) - 21:09, 27 October 2015
  • ...s, in both '''broda lo'ei brode''' and '''broda tu'o brode''', there is no quantification over the set '''lo'i brode'''; the (intensional) meaning of '''brode''' is
    6 KB (1,042 words) - 14:40, 17 August 2019
  • ...abbreviating somewhat) the functional calculus including connective scope, quantification theory including a clear distinction between bound and unbound variables, c
    262 KB (45,389 words) - 13:42, 23 May 2014
  • ...mmentary from a logical point of view]] for a precise discussion on plural quantification and '''me'''.
    8 KB (1,254 words) - 23:30, 3 April 2020
  • Pure '''da''' with its quantification declared in the prenex doesn't create scope.
    9 KB (1,501 words) - 05:37, 2 January 2019
  • ...are not counterparts of things in another)? Is there just one domain and quantification then restricted different subsets in different worlds, with perhaps differe
    30 KB (5,116 words) - 08:21, 30 June 2014
  • {{:ELG. Quantification}}
    2 KB (228 words) - 12:04, 28 February 2015
  • ...e'a multersenta zo'u lo'i bu'a cu zasti}. This removes the horrible selbri quantification hack, in that {ro bu'a zo'u} would be essentially no different from {ro da
    12 KB (2,007 words) - 23:34, 3 April 2020
  • ...se who are not familiar {xorlo} (pronounced as [xorlo] in IPA) is a famous quantification problem in Lojban language.
    1 KB (170 words) - 12:56, 1 April 2016
  • ...g reference to a group of objects, besides set and mass and different from quantification? I always took the x3 of PAmei to be a member, so {ta cimei fi ko'a e ko'e
    5 KB (1,009 words) - 12:59, 23 March 2014
  • ...-qmdX}}, the relative clause actually describes the sumti before the outer quantification is applied, so that it ends up meaning “First take all persons &ndash; by
    67 KB (9,902 words) - 06:49, 26 December 2017
  • ...gged sumti) which are to be put together in a termset. For the purposes of quantification, terms that are grouped into a termset are understood to have equal scope.
    4 KB (662 words) - 23:49, 3 April 2020
  • ...n in 1970, including the postthumously published ''The Proper Treatment of Quantification in Ordinary English'' (1973), he developed a formalism for the [[semantics]
    930 bytes (126 words) - 03:15, 4 April 2018
  • ...ld have a chance of prevailing. (This is my take on what happened with the quantification of empty places in bridi conversion.)
    50 KB (8,379 words) - 13:50, 19 October 2014
  • :{{jbo|na'ebo}} before the sumti. It turns out that a zero quantification serves for contradictory negation. As the cmavo we use implies,
    65 KB (9,910 words) - 08:17, 1 July 2014
  • ...s. There are several realizations of this formalism: plural reference and quantification, L(esniewski)-sets, applied C(antor)-sets (with atoms but without the null
    3 KB (642 words) - 08:12, 30 June 2014
  • #REDIRECT [[quantification and the meaning of ⟨ro⟩]]
    56 bytes (7 words) - 07:51, 29 October 2022
  • ...of near misses. The essential point -- though not the tricks to get around quantification -- is that every locus-by-contact of smokeness is a locus-by-contact of fir
    2 KB (347 words) - 12:42, 27 June 2019
  • ...rhaps for reasons of privacy or germaneness). Why is this? Also, why isn't quantification over predicates provided? Why are the back- counting anaphora unable to ref
    441 KB (72,114 words) - 00:44, 18 August 2020
  • ...naphor is a sumti that is quantified in situ, then the anaphor repeats the quantification:
    2 KB (297 words) - 12:42, 23 March 2014
  • * [[quantification and the meaning of ⟨ro⟩]]
    4 KB (586 words) - 07:52, 29 October 2022
  • ...true. Because ''ro'' and ''pa'' are both digits, this is not an issue for quantification scope: ''ro pa broda'' != ''ro lo pa broda''. None of this is codified in t
    5 KB (903 words) - 14:56, 23 March 2014
  • ...ctures, perhaps in a wise choice of modals or imaginative personal tenses. Quantification of expressive power in a language is probably something quite unattainable.
    462 KB (78,745 words) - 18:34, 20 August 2020