Article View: sci.logic
Article #19Tarskian reference?
From: Aaron Watters
Date: Wed, 28 Oct 1992 18:04
Date: Wed, 28 Oct 1992 18:04
10 lines
811 bytes
811 bytes
One of the traditional ways for defining the semantics of predicate calculus (and other systems) defines models for the language using sets and then defines validity in terms of the models. This is often called Tarskian model theory or Tarskian semantics. Is there a standard reference where Tarski introduced this approach? If so, please email the ref to me. -a. aaron@saul.cis.upenn.edu
Technical Details
Message-ID:
<95121@netnews.upenn.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!think.com!yale.edu!jvnc.net!netnews.upenn.edu!saul.cis.upenn.edu!aaronShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!think.com!yale.edu!jvnc.net!netnews.upenn.edu!saul.cis.upenn.edu!aaron From: aaron@saul.cis.upenn.edu (Aaron Watters) Newsgroups: sci.logic Subject: Tarskian reference? Message-ID: <95121@netnews.upenn.edu> Date: 28 Oct 92 18:04:32 GMT Sender: news@netnews.upenn.edu Distribution: usa Organization: University of Pennsylvania Lines: 10 Nntp-Posting-Host: saul.cis.upenn.edu