From lojban+bncCKyEq_TBFBC_osTyBBoEJ5MP_Q@googlegroups.com Sun Aug 21 07:08:13 2011 Received: from mail-gw0-f61.google.com ([74.125.83.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Qv8h6-0000L5-GP; Sun, 21 Aug 2011 07:08:12 -0700 Received: by gwb11 with SMTP id 11sf6028634gwb.16 for ; Sun, 21 Aug 2011 07:08:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:date:from:reply-to:to:message-id:subject:mime-version :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-google-group-id:list-post:list-help :list-archive:sender:list-subscribe:list-unsubscribe:content-type; bh=SPLYe6EZPyA8FjF3/yFQ5c8FwmXnLEzqemCKE7TyykM=; b=1DnL6NLHK3uZwIJ/EslfB8jRV5Exaflg7P0fbnquUGJJQiPKEBi76R+3DGH+FbhSC1 9/eLHkgVMnLy6WWc+oczkhcOKTHHguPcM12zYy26tPc5XucXmUqNpznoVR18Zs76Nimo F5FdBUYEVbsh45x0d3KX6Veh9UaKXFzGGlHLY= Received: by 10.101.19.16 with SMTP id w16mr260419ani.39.1313935679241; Sun, 21 Aug 2011 07:07:59 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.100.249.16 with SMTP id w16ls1179955anh.3.gmail; Sun, 21 Aug 2011 07:07:57 -0700 (PDT) Received: by 10.101.166.15 with SMTP id t15mr254000ano.1.1313935677672; Sun, 21 Aug 2011 07:07:57 -0700 (PDT) Date: Sun, 21 Aug 2011 07:07:56 -0700 (PDT) From: Muhammad Nael Reply-To: lojban@googlegroups.com To: lojban@googlegroups.com Message-ID: <78489.7571.1313935676782.JavaMail.geo-discussion-forums@yqlo5> Subject: [lojban] First-order logic learning sources MIME-Version: 1.0 X-Original-Sender: muhammad.nael@gmail.com X-Original-Authentication-Results: ls.google.com; spf=pass (google.com: domain of muhammad.nael@gmail.com designates internal as permitted sender) smtp.mail=muhammad.nael@gmail.com; dkim=pass header.i=@gmail.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary="----=_Part_7570_23392476.1313935676781" ------=_Part_7570_23392476.1313935676781 Content-Type: text/plain; charset=ISO-8859-1 I've looked into it, but I can't find any *good*, publicly available, introductory learning material for First-Order Logic... I believe it would be easier for me to digest Lojban if I see its backbone first... This may be contradictory to the customs, but it's how I do it ;) I haven't been to high-school yet; so I know about different logical and formal systems as much as I know about the back of my hand (translates to 'nothing' in my book) PS. Is there *any* way to edit posts here? Regards, MN -- You received this message because you are subscribed to the Google Groups "lojban" group. To view this discussion on the web visit https://groups.google.com/d/msg/lojban/-/VgwFiUdz8c8J. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en. ------=_Part_7570_23392476.1313935676781 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I've looked into it, but I can't find any good, publicly available, = introductory learning material for First-Order Logic... I believe it would = be easier for me to digest Lojban if I see its backbone first... This may b= e contradictory to the customs, but it's how I do it ;)
I haven't been t= o high-school yet; so I know about different logical and formal systems as = much as I know about the back of my hand (translates to 'nothing' in my boo= k)

PS. Is there any way to edit posts here?

Regards,MN

--
You received this message because you are subscribed to the Google Groups "= lojban" group.
To view this discussion on the web visit https://groups.google.com/d/msg/lojban/-/Vg= wFiUdz8c8J.
=20 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.
------=_Part_7570_23392476.1313935676781--