The ORM Foundation

Hi John, Imagine a paradigm shift, and the poor guys who couldn't read Egyption Hieroglyphics before the Rossetta Stone. Then imagine Terry Halpin's doctoral thesis. i.e. Dr Halpin tells us exactly how to use the 'Existential Quantification' and 'Universal Quantification' in a first order logical ...

  Hi John, In an earlier post reply, I didn't realize you were an experienced ORM modeler; just trying to do something new with ORM.  Glad you thought the advice was valid, anyway. Am I right in thinking your current questions about inequalities are for the schema cop project?  I didn't read all the posts for that; so ...

Thanks for the additional information Ken. Victor.. I can’t race you.. my finish line keeps moving all over the place! ;) The subject is overwhelming. I am moving along I think with some limited knowledge.. I have a question relating to binary predicates and sets for anyone willing to entertain it. My first stumbling block is that for a binary ...

Hi all, We're working on a thesis within Richmond that is synonymous with the 'Cost Per Click' paradigm found in 'Call Centres'. The readily accepted principal is that "each click of the mouse or keystroke costs money/time"; both of which are metrics which are constantly monitored in Call Centres, where time is ...

Hi John, I just read you post. I agree with Ken, "A First course in Logic" is a good book. You have probably found it already, but you can read bits of the book on Amazon. I agree with Ken, it has the right style for easy reading/comprehension. My company is building a Rule Engine/Inference Engine as well, and in my ...

John, You will find many well written discussions on logic and its history in Encyclopaedia Britannica DVD. Whilst no source has the whole story, the Encyclopaedia Britannica has an excellent article on formal logic that is peppered with hyperlinks to related subjects. For example on reading the "formal logic" article you ...

 Brian,  The book title "Introduction To Logic" got me digging through a series of books on mathematics that I had aquired five or six years ago.. and I found the single book I had bought on logic.. called "Introduction To Logic - And To The Methodology of Deductive Sciences". If only buying books that I wanted to ...

Hi JP, There's a text book I found that's accessible and pretty comprehensive - though you may find it light on FOL.  My preference is for readablity; this is better in that way than others I've seen.  I don't take in symbolic expression as well as many here - don't think in those terms.  The used ...

Thanks Brian and Ken. Brian, I will definately try to put some ORM fragments together as I begin to understand where to start.. at this point I am trying to understand based on my goals, which system of logic I should be concentrating on. I first found propositional logic, but in reading today I have drifted towards and believe that I will focus ...

I found many books on Formal Logic. Unfortunately, most of them are written to support academic courses and are very hard going for the self-teaching approach. One book that I found helpful is  "A First course in Logic: An introduction to Model Theory, Proof Theory, Computability and ...