פסוק (לוגיקה)

ישנן לוגיקות שונות המטפלות בתוכנם של פסוקים ממינים שונים (לדוגמה הלוגיקה מודלית המטפלת בייתכנות), אך הלוגיקה המודרנית מטפלת בעיקר בתוכנם של פסוקי חיווי (כגון "יורד גשם", או "סוקרטס שתה את כוס הרעל"). פסוק חיווי הוא אוסף סימנים (אידאליים) המבטא טענה. טענה היא תוכן היכול להיות אמיתי או שיקרי, כלומר תיאור של עובדה אפשרית. המתמטיקה למשל, עוסקת כמעט אך ורק בטענות אודות יישים מתמטים ועל כן הלוגיקה המתמטית מטפלת כמעט אך ורק בטענות, תנאי האמת שלהן, תנאי ההוכחה שלהן וכדומה, בעוד פעולות דיבור אחרות, כגון שאלות (העולות במהלך החיפוש המתמטי) אינן מטופלות במסגרתה.

יש להדגיש כי פסוק חיווי מבטא טענה גם כאשר איננו יודעים לקבוע בשום דרך האם טענה זו אכן אמתית או שקרית. החשוב הוא שהפסוק מבטא תוכן אשר יכול להיות אמיתי או שקרי. לדוגמה, הפסוק "ישנו חד קרן מחייך על כוכב צדק" מבטא טענה גם אם אין לנו שום פרוצדורה המבטיחה בירור של אמיתות או שיקריותו.