Comprendre les asserteurs en logique et en philosophie

En logique, un asserteur (également appelé propositionnel) est une déclaration qui affirme la vérité d'une autre déclaration. C'est une déclaration qui affirme que quelque chose est vrai sans fournir aucune raison ou preuve.

Par exemple, « Tous les chats sont des animaux » est un asserteur car il affirme simplement que tous les chats sont des animaux sans fournir aucune preuve ou explication.

Les asserteurs sont souvent utilisés dans la logique formelle et la philosophie pour formuler des affirmations sur le monde, et ils peuvent être vrais ou faux selon leur contenu. Elles diffèrent des autres types de déclarations, telles que les promesses ou les menaces, qui ont des conséquences spécifiques sur des actions ou des événements.