Mengingat cara yang agak bervariasi di mana fungsionalisme dan komputasionalisme dapat diartikulasikan dalam teori kognisi, kejelasan metodologis dan filosofis sudah diatur dengan baik. Karena sebelum kita membahas konsekuensi atau prospek penerapan kecerdasan dalam media 'buatan', pertama-tama kita harus menginterogasi kondisi di mana kognisi dapat dikatakan telah ditentukan secara teoritis, yang sekaligus merupakan pertanyaan tentang bagaimana kita memahami kognisi dan apa itu kognisi. . Sederhananya, pemahaman teoretis kita tentang kognisi secara metodologis sebelum penyelidikan tentang konsekuensi dari kemungkinan intervensi atau rekayasa kognisi.
Dengan mengingat hal ini, dan mendefinisikan kondisi umum yang diperlukan oleh perhitungan pikiran komputasionalis fungsionalis secara konseptual, Negarestani mengusulkan perbedaan berikut: Pertama, penjelasan pikiran fungsionalis adalah penjelasan yang menjelaskan perilaku makhluk yang sadar dalam hal peran fungsional yang diungkapkan oleh aktivitas sistem yang disengaja, setidaknya dalam tiga pengertian dengan cakupan dan generalitas yang berbeda-beda:
1. Metafisik  Dalam hal rutinitas pemilihan dan pencapaian tujuan yang mengungkapkan secara holistik organisasi kausal dari bagian-bagian sistem menurut kriteria pemilihan yang dapat ditentukan yang berhubungan dengan 'keseluruhan' sehingga secara global memenuhi fungsi tujuan yang dapat ditentukan.
2. Secara epistemis semantik  membedakan hubungan kausal-informasional dari konten semantik yang diekspresikan dalam peran konseptual-logis yang ditunjukkan dalam perilaku sistem kognitif, misalnya, peran inferensial yang menentukan kesopanan semantik dan pragmatis yang kaya secara modal dari perilaku konseptual pada makhluk cerdas.
3. Rekayasa  menginterogasi bagaimana rutinitas fungsional yang mendefinisikan pikiran dapat direalisasikan dalam hubungan atau isolasi dengan konstitusi metafisik dan kesopanan epistemik-semantik yang ditentukan secara kontingen yang menentukan arsitektur fungsional kausal dan konseptual dari sistem berakal dan berakal yang ada.
 Kedua, akun semacam itu adalah komputasionalis sejauh organisasi fungsional pikiran memungkinkan untuk karakterisasi komputasi, dalam salah satu dari dua pengertian:
1. Secara intrinsik   rutinitas fungsional sistem membuat perhitungan yang ditentukan terlepas dari karakterisasi 'semantik utilitas', yang menyandikan informasi kausal tanpa keadaan keluaran yang dibuat secara terang-terangan oleh sistem.
2. Logical-Conceptual  g secara terang-terangan membuat proses yang memetakan input sistem ke status atau tujuan output yang dapat ditentukan.
Jelas  di sini perbedaan antara perhitungan intrinsik dan algoritmik, untuk Negarestani, dikoordinasikan dengan perbedaan antara masing-masing karakterisasi fungsional pikiran metafisik dan epistemik-semantik. Kami akan kembali ke masalah ini di bawah, tetapi untuk saat ini kami dapat mengatakan sementara kriteria fungsional kognisi memberi tahu kami pikiran harus didefinisikan bukan dalam hal beberapa properti intrinsik atau 'bahan pikiran', tetapi sebagai kapasitas sistem untuk mengatur sumber daya dan perilakunya dengan sengaja, kriteria komputasi mengatakan  fungsionalitas seperti itu harus dipahami sebagai semacam proses algoritmik atau prosedur yang efektif. Dalam spektrum pikiran fungsionalis,
"Fungsionalisme rasional atau normatif dengan kendala struktural (Sellars), fungsionalisme mekanistik / kausal yang kuat (Bechtel]), fungsionalisme rasional dengan tingkat penguraian algoritme (Brandom ), fungsionalisme yang dibatasi secara normatif dengan elemen komputasi intrinsik (Craver ), fungsionalisme yang sangat logis dengan komputasi algoritmik (variasi klasik kecerdasan buatan), fungsionalisme kausal dengan komputasi intrinsik (Crutchfield ), fungsionalisme logis yang lemah dengan komputasi intrinsik dan kendala struktural yang kuat (program kecerdasan buatan diinformasikan oleh yang terkandung kognisi) dan sebagainya. 8
Teori pikiran fungsionalis berlanjut dengan pragmatik , yaitu penjelasan yang menentukan peran, "aktivitas dan tindakan" dalam istilah yang dikatakan  "... pikiran adalah apa yang dilakukannya".  Apakah spesifikasi fungsional seperti itu termasuk dalam ruang lingkup penyelidikan metafisik atau epistemik mengandaikan pemahaman umum tentang konsep penjelasan fungsional secara umum, tidak hanya sebagai cara yang mungkin untuk mengkarakterisasi pikiran, tetapi lebih mendasar sebagai cara untuk membingkai mediasi multifaset yang berpotensi antara Menjadi dan Berpikir. Pilihan yang memisahkan paradigma fungsionalis pada akhirnya mengungkapkan masalah metodologis yang sulit mengenai kapan kognisi dapat dianggap berasal, dan apa yang kami maksudkan ketika kami memberikan karakterisasi fungsional dari kognisi atau hal lainnya. Dalam ruang lingkup pertanyaan-pertanyaan inilah penyelarasan fungsionalisme dengan komputasionalisme menjadi dapat dipahami, tidak hanya sebagai program penelitian yang dapat ditelusuri secara pragmatis, tetapi sebagai teori pikiran yang koheren secara konseptual.
