Tarskian reference?

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Aaron Watters Wed, 28 Oct 1992 18:04

#19

Author: Aaron Watters
Date: Wed, 28 Oct 1992 18:04

10 lines
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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads