Downloadable materials

In this sections you can find various downloadable materials useful for undertanding Axiomatic Functionalism. Currently, there is not a lot of stuff here but more is hoped to be added. Additional resources can be found in the sections Papers & Bibliography and Postulates.

  • A comparison of Standard Postulates and Extended Postulates [.xls] : This spreadsheet provides a comparison between the postulates for Extended Axiomatic Functionalism (EAF), and those for Standard Axiomatic Functionalism (SAF); prepared by James Dickins
    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.