Postulates for AF

The Postulates for Axiomatic Functionalism represent the theoretical base for Axiomatic Functionalism. They consists of six axioms each of them interpreted by a network of definitions. The axioms and the definitions are the postulates of the theory. There are two versions of the Postulates as there are two versions of Axiomatic Functionalism: Standard Postulates for Standard Axiomatic Functionalism and Extended Postulates for Extended Axiomatic Functionalism. Both versions were published in Linguistica ONLINE.

Mulder & Hervey: Postulates for Standard Axiomatic Functionalism (2009 version)
the most current and complete version of the Standard Postulates, based on Mulder's postulates from 1989 and Hervey's postulates from 1980; see the Introduction below for more details

Bičan: Mulder and Hervey's Postulates for Axiomatic Functionalism: An introduction to the new edition
a comprehensive introduction to the new 2009 edition of the Postulates; for other introductions to the Postulates see below

Dickins: Extended Axiomatic Functionalism: Postulates (2009 version)
the most current version of the Extended Postulates

A comparison of the Standard Postulates and Extended Postulates (compiled by James Dickins)
a spreadsheet (.xls) offering useful comparison of the two versions of the Postulates

The spreadsheet columns contain the following information:
Column A : 'Line number' gives the linear order of the rows.
Column B : 'Under EAF Axiom' identifies which axiom each definition falls under in EAF.
Column C : 'EAF Tag' identifies the number of the definition or axiom in EAF.
Column D : 'EAF entity' is the notion (or entity) being defined in EAF.
Column E : 'EAF definition' gives the formal definition of the notion (entity) in Column D.
Column F : 'EAF comment' provides additional comments on the notion (entity) in Column D.
Column G : 'Under SAF Axiom' identifies which axiom each definition falls under in SAF.
Column H : 'SAF Tag' identifies the number of the definition or axiom in SAF.
Column I : 'SAF entity' is the notion (or entity) being defined in SAF.
Column J : ‘SAF definition' gives the formal definition of the notion (entity) in Column I.
Column K : 'SAF comment' provides additional comments on the notion (entity) in Column I.

Previous versions of the Standard Postulates

The first version of the Standard Postulates appeard in 1968 in Mulder's book Sets and Relations in Phonology. Since then they were revised several times (for a record of these revisions see Bičan's introduction above). This section gives several previous versions of the Postulates so that their picture may be more complete. Some files are password-protected; see the page Papers & Bibliography.

Mulder's Postulates (1976) (from Angela Howkins's Synctactic Relations in San Martin Quechua)

Mulder's Postulates in French (1977) (from La Linguistique 13) [password-protected]
translated by Paul Rastall; he also wrote an introduction to it

Mulder's Postulates (1980) (from The Strategy of Linguistics) [password-protected]
the first oficially published English version; the same password applies here

Hervey's Postulates in French (1980) (from La Linguistique 16) [password-protected]
translated by Paul Rastall; he also wrote an introduction to it

Hervey's Postulates (1980) (from The Strategy of Linguistics) [password-protected]
the first offically published English version; in fact, the only authorial version; the same password applies here

complete Postulates (1984) (from Sheena Gardner's Parasyntax and the Sentential Level in Axiomatic Functionalism)
it contains a couple of revisions suggested by Sheena Gardner

Previous versions of the Extended Postulates

The Extended Postulates were also revised throughout the years. The first version appeared in 1989 in Dickins's Ph.D. thesis Extended axiomatic functionalism: a contrastive assessment with application to aspects of Arabic. Another version occurs in his book Extended Axiomatic Linguistics which is available via Google Book.