Searlův brutálně jednoduchý argument ("derivace z axiomů")

   

   

   +-----------------------------------------------------------------------------------+
   |  P1   |Správný program je syntaktický/formální.                                   |
   |-------+---------------------------------------------------------------------------|
   |  P2   |Mysl má sémantiku.                                                         |
   |-------+---------------------------------------------------------------------------|
   |  P3   |Syntax není dostatečnou podmínkou pro sémantiku.                           |
   +-----------------------------------------------------------------------------------+

   

   +--------------------------------------------------------------------------------------------+
   |    C     |Správný program není dostatečnou podmínkou pro mysl.                             |
   +--------------------------------------------------------------------------------------------+

   

   Formalizace:          P:             být správný program         

   F:             být syntaktický/formální

   M:           mít mysl

   S:             mít sémantiku

   

   +--------------------------------------------------------------------------------------------+
   |    P1    |"x (P(x) -> F(x))                                                                |
   |----------+---------------------------------------------------------------------------------|
   |    P2    |"x (M(x) -> S(x))                                                                |
   |----------+---------------------------------------------------------------------------------|
   |    P3    |O/"x (F(x) -> S(x))                                                              |
   +--------------------------------------------------------------------------------------------+

   

   +--------------------------------------------------------------------------------------------+
   |    C     |O/"x (P(x) -> M(x))                                                              |
   +--------------------------------------------------------------------------------------------+

   

   Ad P3:    O/"x (F(x) -> S(x))                 =3              $x ((F(x) & O/ S(x))

   Ad C:      O/"x (P(x) -> M(x))               =3              $x ((P(x) & O/ M(x))

   

   

   Takto formulovaný závěr nevyplývá z premis. Aby byl argument platný, je nezbytné některé
   premisy doplnit.