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