... התמקדות המחקר באופן בו ניתן לזקק מבנה לוגי
באמצעות שפות מלאכותיות המושתתות על אופני ... פרדוקסליים, המראים כי ישנן סתירות במושגים
באמצעותם אנו מבינים את המציאות, במיוחד בכל ... רצף ואינסוף. את הסתירות הללו ניתן לחשוף
באמצעות הצגת הקשרים בין המושגים השונים שלנו ... תמיד מהנחה אמיתית למסקנה אמיתית. אריסטו טען
שבאמצעות צורות אלו משמשת הלוגיקה ככלי עבור ... המסקנה שקרית, כלומר כאשר אין דוגמה נגדית.
באמצעות הניתוח של מבנן הבסיסי של טענות, ... שהמציא את מתודת ההפשטה המאפשרת להציג מונחים
באמצעות אותיות, וזהו צעד חשוב בדרך להמצאתו של ... כן, יש לשים לב לכך שמלבד המונחים, המיוצגים
באמצעות אותיות, מופיעים בגרסה הצורנית של ... לא פגשנו בטיעון שלעיל, כגון "חלק מ" והשלילה
באמצעות "אינו". כאשר אנו מצרינים את הטיעון ... ואילו הצורה הלוגית של הטיעון, המיוצגת
באמצעות הקבועים הלוגים, נשארת חשופה לעינינו. ... בין צורתן של טענות חיוביות ושל טענות שוללות.
באמצעות כך הוא זיהה צורות נוספות של טיעונים ... לארבעה, על ידי שימוש בשלושה כללי המרה
שבאמצעותם ניתן להמיר טענות מסוג אחד בטענות ... המקשרים שני אובייקטים. לפיכך, לא ניתן להביע
באמצעות הלוגיקה האריסטוטלית את הקשרים הלוגיים ... מתוחכמים בהרבה של המבנה הפנימי של הטענה
באמצעות תחשיב הפרדיקטים. בעוד שאריסטו סבר כי ... את האוגד, אלא כחל על משתנה מסוים מתוך הטענה.
באמצעות כך שהכמתים יכולים כעת להופיע כחלק מן המבנה הפנימי של הטענה,
ובאמצעות כך שניתן כעת לנסח טענות שיש בהם כימות ... החדשה להביע עובדות וקשרים שאינם ניתנים להבעה
באמצעות הניתוח האריסטוטלי. כך למשל הצליחה ... יסוד של תורת הקבוצות במסגרת הדיון בלוגיקה,
ובאמצעותם ייצגו הסקים אריסטוטלים כמשוואות ... גם להביע יחסים בין שני אובייקטים או יותר
באמצעות פרדיקטים דו מקומיים, המקבלים שני ... (a) הוא חבר של רני (b), תוך ציון יחס החברות
באמצעות האות R, נקבל את הנוסחה הבאה: Rab פרגה תרם תרומה הכרחית למתמטיקה וללוגיקה
באמצעות המצאת תורת הכימות (קוונטיפיקציה). ... \forall x \neg Fx השקולה ל - \ exists x Fx
באמצעות התחביר החדש של תחשיב הפרדיקטים, הכולל ... להופיע כחלק מן המבנה הפנימי של הטענה,
ובאמצעות כך ניתן כעת לנסח טענות שיש בהם כימות ... ראשון) חלים על אובייקטים בלבד, משום שרק
באמצעותם הם נהיים רוויים במשמעות. אולם מכאן ... של ראסל ושל ג'ון פון נוימן מוצע פתרון לבעיה
באמצעות תורת הטיפוסים (theory of types). לוגיקה בת ימינו
באמצעות פיתוחם של אמצעים סימבולים חדשים להבעת היחסים הלוגיים בין חלקי הטענה,
ובאמצעות גילוין של דרכים חדשות להבין את מבנה ... הטענות, הפכה הלוגיקה המודרנית לכלי רב עוצמה
באמצעותו ניתן לבחון טיעונים מורכבים יותר מאלו ... דהיינו היא בוחנת צורות מופשטות המיוצגות
באמצעות סמלים, שניתן להבין אותן כמייצגות את ... הקובעת את ערכי האמת של המשפטים שניתן ליצור
באמצעות השפה של המערכת. אם מדובר בשפה כמו ... לפעולתם של כל אחד מן הקשרים הלוגיים, למשל
באמצעות טבלת אמת המציגה כיצד משפט מורכב מקבל ...