Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

SUO: *Date 16 Apr 2002 -- Theory Query

To: SUO <standard-upper-ontology@ieee.org>, SemioCom <gdsemiocom@univ-perp.fr>, CG <cg@cs.uah.edu>
Subject: SUO: *Date 16 Apr 2002 -- Theory Query
From: Jon Awbrey <jawbrey@oakland.edu>
Date: Tue, 16 Apr 2002 07:40:13 -0400
References: <3CA8CA82.AF56B042@oakland.edu> <3CA93AD0.D3703B12@oakland.edu> <3CAB0AE4.EDED635A@oakland.edu> <3CAC623A.E8A9CD6F@oakland.edu> <3CADA935.AB62B0E3@oakland.edu> <3CAE810B.9091E1EF@oakland.edu> <3CAFDBBF.D494204D@oakland.edu> <3CB1982A.F18F2681@oakland.edu> <3CB26740.3C22919F@oakland.edu> <3CB3CC36.7839842D@oakland.edu> <3CB63EBE.22BBCE42@oakland.edu> <3CB6D64A.67594995@oakland.edu> <3CB9098B.DB1B62D4@oakland.edu> <3CB98BCC.88B0CBF3@oakland.edu> <3CBA60FC.62A0EE@oakland.edu>
Reply-To: Jon Awbrey <jawbrey@oakland.edu>
Sender: owner-standard-upper-ontology@majordomo.ieee.org


¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

Theory Query

Let me try again.

1.  What is a theory?

2.  What does a lattice of theories look like?

I'm asking these questions in the context of proposals that we
take the model theory of first order predicate logic seriously.

In this context, we have the notion of a first order predicate language $L$,
plus the set !L! of its 'sentences' (i.e., formulas with no free variables).

According to one standard usage, a 'theory' is any set of sentences,
in which case we already have a natural lattice of theories, namely,
the power set !P!(!L!) of !L!.

Is that what you have in mind?

Jon Awbrey

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

Follow-Ups:
- SUO: *Date 17 Apr 2002 -- Theory Query
  - From: Jon Awbrey <jawbrey@oakland.edu>
- Re: SUO: Theory Query
  - From: "John F. Sowa" <sowa@bestweb.net>

References:
- SUO: *Date 01 Apr 2002 -- Survey
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 02 Apr 2002 -- Survey
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 03 Apr 2002 -- Logical Confoundations
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 04 Apr 2002 -- Program Semantics & Category Theory
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 05 Apr 2002 -- Formalism Engineering
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 06 Apr 2002 -- Formalism Engineering
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 07 Apr 2002 -- Common Logic & Common Sense
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 08 Apr 2002 -- Logical Languages, Auld, Bony, Braw, Dory, Eith, Hyte, & Unco
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 09 Apr 2002 -- Dispossessed Logic
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 10 Apr 2002 -- Dispossessed Logic
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 11 Apr 2002 -- Model Theory
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 12 Apr 2002 -- Sunset At Hawk's Nest
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 13 Apr 2002 -- Narrative Is Relation, Relation Is Sufficient, Ergo ...
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 14 Apr 2002 -- Modulated Logic
  - From: Jon Awbrey <jawbrey@oakland.edu>
- SUO: *Date 15 Apr 2002 -- Theory Query
  - From: Jon Awbrey <jawbrey@oakland.edu>

Prev by Date: SUO: Cfp: AAMAS Workshop on Ontologies in Agent Systems, extended deadline
Next by Date: Re: SUO: Theory Query
Prev by thread: Re: SUO: *Date 15 Apr 2002 -- Theory Query
Next by thread: Re: SUO: Theory Query
Index(es):
- Date
- Thread