From lojban+bncCJuXjcvQFRC7qKfmBBoEEvrEyw@googlegroups.com Thu Oct 28 12:51:39 2010 Received: from mail-gx0-f189.google.com ([209.85.161.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PBYVa-0005V8-M9; Thu, 28 Oct 2010 12:51:39 -0700 Received: by gxk28 with SMTP id 28sf3273411gxk.16 for ; Thu, 28 Oct 2010 12:51:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:mime-version:received:received:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; bh=uUo8Vlqal5YAB28+Y/Zcx6XOlOjZIV+Gvm1yfN0kzb8=; b=C3kCOAK6tmfcRAO2uX6+wUJ58hPIPEp0/qQkoUAOcog7tMBj95FeaQON6j5kHoWVTF USw339LabnlpYdOzzLqV6VFw1GpC2HMQ1YobRQJM88Um5RBspcNVmpDEd8atslr9skqY REQ72XjRphBzyYZVziz/bpJNtW5rJhk2ggKDk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:date:message-id:subject:from :to:x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; b=TRd9DDGSyxxh2IH3krRrnOJtP/r76eMoihXh81Y9ppb/sI1nuHnUczESPG8XEBCmyo 54dgwx2gp9aG76ZUBoki30H6p9udOPncfkAZbSUfSgh4i7i/sbQ4mwLf4YJncseDY3Cj 6FgC5HWYkM7fSmwTpIujoGLBnWQaXVcpDUaqQ= Received: by 10.151.116.16 with SMTP id t16mr1770875ybm.68.1288295483895; Thu, 28 Oct 2010 12:51:23 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.150.158.14 with SMTP id g14ls1280961ybe.7.p; Thu, 28 Oct 2010 12:51:23 -0700 (PDT) Received: by 10.150.92.19 with SMTP id p19mr823726ybb.44.1288295483140; Thu, 28 Oct 2010 12:51:23 -0700 (PDT) Received: by 10.150.92.19 with SMTP id p19mr823725ybb.44.1288295483084; Thu, 28 Oct 2010 12:51:23 -0700 (PDT) Received: from mail-gw0-f44.google.com (mail-gw0-f44.google.com [74.125.83.44]) by gmr-mx.google.com with ESMTP id u10si431921yba.6.2010.10.28.12.51.22; Thu, 28 Oct 2010 12:51:22 -0700 (PDT) Received-SPF: pass (google.com: domain of gregory.nisbet@gmail.com designates 74.125.83.44 as permitted sender) client-ip=74.125.83.44; Received: by mail-gw0-f44.google.com with SMTP id 15so2069041gwb.17 for ; Thu, 28 Oct 2010 12:51:22 -0700 (PDT) MIME-Version: 1.0 Received: by 10.42.228.136 with SMTP id je8mr9453137icb.409.1288295481918; Thu, 28 Oct 2010 12:51:21 -0700 (PDT) Received: by 10.42.165.71 with HTTP; Thu, 28 Oct 2010 12:51:21 -0700 (PDT) Date: Thu, 28 Oct 2010 15:51:21 -0400 Message-ID: Subject: [lojban] Counterfactual Conditions From: Greg Nisbet To: lojban@googlegroups.com X-Original-Sender: gregory.nisbet@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of gregory.nisbet@gmail.com designates 74.125.83.44 as permitted sender) smtp.mail=gregory.nisbet@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: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 I was skimming wikipedia while doing an econ problem set and came across this thing. http://en.wikipedia.org/wiki/Counterfactual_conditional "1.If Oswald did not shoot Kennedy, then someone else did. 2.If Oswald had not shot Kennedy, then someone else would have." (1) is an indicative conditional (2) is a counterfactual conditional How does one encode each of those in Lojban? I can't figure it out. -- 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@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.