Abstract
הצרנה היא הליך המשמש לקביעת תקפותם של טיעונים בשפה טבעית באמצעות כלים מתמטיים. לחלופין, ניתן לראות את תוצרי ההצרנה כממדלים תופעות בשפה הטבעית, או כבעלי ערך אינסטרומנטלי לשימושים שונים. כן ניתן לראות בהצרנה פעילות אינטלקטואלית אנושית במרחב של דיון ושיח, המבקשת לגשר על הפער בין מורכבות השפה הטבעית לשאיפה לנכונות לוגית שאינה משתמעת לשני פנים. המאמר מציע עמדה שלפיה הצרנה היא אקט פרשני של דוברת או של בת שיח, שיש לו היבטים נורמטיביים המאפשרים להעריך את תקפותם של טיעונים המנוסחים בתוך דיון
| Translated title of the contribution | Formalization, Semantic Constraints, and Anthropocentrism |
|---|---|
| Original language | Hebrew |
| Pages (from-to) | 149-169 |
| Number of pages | 21 |
| Journal | עיון: רבעון פילוסופי |
| Volume | ס"ט |
| State | Published - 2021 |
IHP Publications
- ihp
- Logic