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