Logiciel
Les deux principales catégories de logiciels sont les logiciels "applicatifs" et les logiciels de "système". Le logiciel applicatif est destiné à aider les usagers à effectuer une certaine tâche, et le logiciel de système est destiné à effectuer des opérations en rapport avec l'appareil informatique.
Philosophie de l'esprit
Un logiciel est un ensemble de programmes permettant à la machine d'accomplir diverses tâches et de remplir de multiples fonctions. Or, s'il a bien une existence physique, il n'est pas lui-même composé de circuits ou d'atomes au sens où l'est la machine qui exécute un programme ; il n'est pas non plus composé d'entités non physiques. La réalité d'un logiciel ne peut être comprise que si l'on adopte un niveau de description particulier du fonctionnement de la machine, où le formalisme fait abstraction des entités physiques et de leurs relations causales. C'est effet en termes de symboles et de fonctions et non en termes de circuits et d'activité électrique qu'un programme informatique se décrit. Il existe donc deux types de description possibles de l'activité d'une machine informatique : l'un proprement physique (inadapté car excessivement complexe), l'autre formel. De même, il y a deux types de description possibles associés au comportement humain : la description physique des états ou processus internes du cerveau, par exemple celle de l'activité neuronale lorsque nous faisons telle ou telle chose, et la description des états ou processus mentaux en termes de symboles et de fonctions.