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