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