Re: tedious sledding re set existence in FOL

On 20 Nov 2005 17:08:01 -0800, "george" <greeneg@xxxxxxxxxx> wrote
someting.

Look, george, I'm not going to argue with you (any more).

But it might be illuminating for you to compare Church's account with
the account given here:

http://en.wikipedia.org/wiki/First-order_logic


F.

--
"I do tend to feel Hughes & Cresswell is a more authoritative
source than you." (D. Ullrich)
.

Relevant Pages

  • Re: What price the life of a British soldier?
    ... It would be fairer to make comparisons under a common employer - the Government, such as MoD typists or civil servants versus serving members of the armed forces, not just choosing a comparison factor at random, such as armed forces versus the British banking system. ... War Disablement Pension, Other Ranks -: ... I think far more good would be done by looking at the gross inefficiencies of the state systems rather than trying to compare them with something which is not relevant. ... He's taking the MOD to a High Court judicial review to try to force them to make the Armed Forces Compensation Scheme more generous for the most badly wounded blokes - scrapping the daft rule whereby only 3 injuries per incident can be taken into account, ...
    (uk.finance)
  • Re: Ideology - vs- Theory
    ... Argue with me! ... Accuse me of ... Tell me that there's something I haven't taken into account! ...
    (talk.origins)
  • Re: Ideology - vs- Theory
    ... Argue with me! ... Accuse me of ... Tell me that there's something I haven't taken into account! ...
    (talk.origins)
  • Re: A formula thats different on every row
    ... Compare data in worksheets and find differences with Workbook Compare ... the currency on the current line compared to the account. ... If it's a CAD holding in a USD account, ... But it can't just say "FXRATE", it has to say something like ...
    (microsoft.public.excel.programming)
  • Re: Why should -1 multiplied by -1 be plus 1 and not -1
    ... >| First explanation: Suppose each day ... what was the state of my account yesterday compared to today, ... Thinking in terms of running time backwards (where a ...
    (sci.logic)