Received: from mail-vw0-f61.google.com ([209.85.212.61]:59853)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCNXflom_FxCOwJr2BBoEAewFFQ@googlegroups.com>)
	id 1RRSvX-0001G1-Cs; Fri, 18 Nov 2011 10:12:40 -0800
Received: by vbbez10 with SMTP id ez10sf797285vbb.16
        for <multiple recipients>; Fri, 18 Nov 2011 10:12:32 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type
         :content-transfer-encoding;
        bh=RjPlcXuzP41zaM2Sa8v1jtZXvofviAERDPPDxTkoGLw=;
        b=ne1Re33On39PStHUk1Po6H1dDGUOeU9nfnCLm1Cwv53PNJ40GfZ2h0ITo2EnbkTfw6
         1SqkKs8e8iH+4fLvabGe4MncX8sstdAyaGtfQz/jST57ppnPMNquy3gY4YYNLpaYfIy/
         9UvBn74I8Mf9Dnth8k/vPy0uWsIRtZPNeFOHc=
Received: by 10.52.27.240 with SMTP id w16mr2015432vdg.20.1321639950500;
        Fri, 18 Nov 2011 10:12:30 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.100.236.2 with SMTP id j2ls4056379anh.0.gmail; Fri, 18 Nov
 2011 10:12:29 -0800 (PST)
Received: by 10.236.190.200 with SMTP id e48mr6722036yhn.5.1321639949405;
        Fri, 18 Nov 2011 10:12:29 -0800 (PST)
Received: by 10.236.190.200 with SMTP id e48mr6722034yhn.5.1321639949393;
        Fri, 18 Nov 2011 10:12:29 -0800 (PST)
Received: from mail-yx0-f178.google.com (mail-yx0-f178.google.com [209.85.213.178])
        by gmr-mx.google.com with ESMTPS id v44si456102yhd.1.2011.11.18.10.12.29
        (version=TLSv1/SSLv3 cipher=OTHER);
        Fri, 18 Nov 2011 10:12:29 -0800 (PST)
Received-SPF: pass (google.com: domain of maikxlx@gmail.com designates 209.85.213.178 as permitted sender) client-ip=209.85.213.178;
Received: by mail-yx0-f178.google.com with SMTP id m9so2106085yen.23
        for <lojban@googlegroups.com>; Fri, 18 Nov 2011 10:12:29 -0800 (PST)
MIME-Version: 1.0
Received: by 10.68.15.232 with SMTP id a8mr11433346pbd.129.1321639949133; Fri,
 18 Nov 2011 10:12:29 -0800 (PST)
Received: by 10.142.224.8 with HTTP; Fri, 18 Nov 2011 10:12:28 -0800 (PST)
In-Reply-To: <CAKOEKkTu-hcznZD2-8Pm8WkxAw=PzohNmRi-c1=nVQ=XE2kY9g@mail.gmail.com>
References: <1321501066.64722.YahooMailRC@web81306.mail.mud.yahoo.com>
	<CAOYwWb10sDFZMfj8PDLJcs4=PNfKidsxFs6-7oJL2XKMycBSBA@mail.gmail.com>
	<CAO7tK2eVLOEVpdO9rWE+FF8RRpVud_KcXQWFBgde834FTQRQow@mail.gmail.com>
	<CAOYwWb0qongWuyfY6CbA3T37ie+-ZLGy0C8oj5-L8X-7aPBD_A@mail.gmail.com>
	<CAO7tK2dq-fjM_p6+pRqWb98mT+GL6rq8iiqmpbWP8rAphBZt_Q@mail.gmail.com>
	<CAOYwWb0TtO0rQ15PKUgYRd1rAhC-kS6rErryD4E3q9-xsL35uQ@mail.gmail.com>
	<CAO7tK2fis_iTSBPqqbyPRX28jukOcWDdvau5w6PMDa3otLROHA@mail.gmail.com>
	<CAOYwWb2ZFLsKEhPffjO=QSGsj1c9oYeb9=femhFpO=JOAeeywQ@mail.gmail.com>
	<CAO7tK2droqa-EGbekEK=Z-t+3C2AF0OSXKi7+87Fm3DQn_VJxg@mail.gmail.com>
	<CAOYwWb3W=Fg08oPKgLPmwY7rvVdBfGY-RgWVVRQ0MXcF2k0brw@mail.gmail.com>
	<1321633769.30584.YahooMailRC@web81303.mail.mud.yahoo.com>
	<CAOYwWb22v6nNUCpC2eF6m90UQyCg_sUxQpo3A2xQmdgdrtiT0Q@mail.gmail.com>
	<CAKOEKkTu-hcznZD2-8Pm8WkxAw=PzohNmRi-c1=nVQ=XE2kY9g@mail.gmail.com>
Date: Fri, 18 Nov 2011 13:12:28 -0500
Message-ID: <CAOYwWb363YBZ_WEXhTaoyuCG4ePwBEViHh7pVtVnR3YeqjjeJA@mail.gmail.com>
Subject: Re: [lojban] Lions and levels and the like
From: maikxlx <maikxlx@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: maikxlx@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of maikxlx@gmail.com designates 209.85.213.178 as permitted sender)
 smtp.mail=maikxlx@gmail.com; dkim=pass (test mode) header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

On Fri, Nov 18, 2011 at 12:51 PM, Michael Turniansky
<mturniansky@gmail.com> wrote:
>
>
> On Fri, Nov 18, 2011 at 12:39 PM, maikxlx <maikxlx@gmail.com> wrote:
>>
>> On Fri, Nov 18, 2011 at 11:29 AM, John E Clifford <kali9putra@yahoo.com>
>> wrote:
>> > JCB had at least one course in Logic but in a school that did not favo=
r
>> > modal
>> > logic at all. =A0I don't know how well he did in even that one (Lojbab
>> > does not
>> > improve the logic input much). =A0But in 56 years, the efforts to get
>> > necessity
>> > operators in have come to naught -- though eventually we got something
>> > like a
>> > necessity predicate,
>> >
>> Is there a brivla for logical or modal necessity?
>
>
> =A0 Does nibli meet your requirements?
> =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 --gejyspa
>
Thanks, but unfortunately I am pretty that this could not be made to
work, at least not with anything close to reasonable succinctness,
unless you know a way.  What we are trying to express is the
sentence-scope adverb "necessarily(S)" which means "in all possible
states of affairs, S" or more longwindedly "there is no possible state
of affairs such that it is not true that S".  For example:

(1) {lo remna ne'e mabru}
 =3D Humans are necessarily mammals.
 =3D In all possible states of affairs, humans are mammals.

(2) {ro nanmu je se mensi ne'e bruna}
 =3D All men with sisters are necessarily brothers.
 =3D There is no possible state of affairs such that it is not true that
all men with sisters are brothers.

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.
For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.