Re: SUO: Re: IFF Comments Requested

["John F. Sowa" <sowa@bestweb.net>]

Josiane,

> My first studies were in mathematics (algebre, topology and analyse), but I
> forgot. Later I was specialized in cognitive psychology and partly in
> cognitive linguistics.

You might find my survey of math & logic useful:

  http://www.jfsowa.com/logic/math.htm

This is a 37-page summary of the following topics:

  1.Sets, Bags, and Sequences 
  2.Functions 
  3.Lambda Calculus 
  4.Graphs 
  5.Relations 
  6.Representing Relations by Graphs 
  7.Lattices 
  8.Propositional Logic 
  9.Predicate Logic 
 10.Axioms and Proofs 
 11.Formal Grammars 
 12.Game Graphs 
 13.Model Theory

It is written primarily for people who have some background
in mathematics and logic, but have forgotten much of it.

Section 13 is an overview of model theory, and it includes
references to an informal paper by Tarski (1944) who invented
the most common version of it:

   http://www.jfsowa.com/logic/tarski.htm

It also has a reference to Peirce's version of model theory,
which he called endoporeutic and which is equivalent to Hintikka's
game-theoretical semantics:

   http://www.jfsowa.com/peirce/ms514.htm#Endopor

John Sowa