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	Ø"x (F(x) → S(x))	

C	Ø"x (P(x) → M(x))	

Ad P3:	Ø"x (F(x) → S(x)) 	≡ 	$x ((F(x) & Ø S(x))
Ad C:	Ø"x (P(x) → M(x)) 	≡ 	$x ((P(x) & Ø M(x))

S

M

P

x

F

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