סֵמֶל
יוניונפדיה
תִקשׁוֹרֶת
 Google Play כעת ב-
חָדָשׁ! הורד יוניונפדיה במכשיר אנדרואיד שלך!
להתקין
גישה מהירה יותר מאשר בדפדפן!
 

לוגיקה

מַדָד לוגיקה

לוֹגִיקָה (מיוונית: λογική. בעברית: תּוֹרַת הַהִגָּיוֹן) היא שם כולל לתורות הבוחנות קשרי היסק בין טענות תוך התבססות על אקסיומות. [1]

106 יחסים: NAND לוגי, NOR לוגי, מרסלו דסקל, משפט (מתמטיקה), משפטי האי-שלמות של גדל, משתנה, משוואת רציפות, מתאם, מדעי המחשב, מוסד ביאליק, אמת (פילוסופיה), אנליזה מתמטית, אפלטון, אקסיומה, ארנסט שרדר, אריסטו, אלן טיורינג, אלפרד טרסקי, אלגברה בוליאנית, אונטולוגיה, אוניברסיטת אוקספורד, אופרטור, אובייקטיביות, אוגוסטוס דה מורגן, אינסוף, אינטואיציוניזם, אינדוקציה, נאותות, נוסחה (לוגיקה), ספרית פועלים, סול קריפקה, סילוגיזם, עמנואל קאנט, עקרון השלישי הנמנע, עקביות (לוגיקה), ערך אמת, פסוק (לוגיקה), פסיכולוגיזם, פעולה בוליאנית, פרמנידס, פונקציה, פורמליזם (מתמטיקה), פילוסופיה של המתמטיקה, פילוסופיה של המוסר, פילוסופיה של הלשון, צ'ארלס פרס, קשר לוגי, קבוצה קומפקטית, קורט גדל, רסלינג, ..., רקורסיה, שמואל הוגו ברגמן, שפה מסדר ראשון, שלמות, תקפות (לוגיקה), תחשיב הפסוקים, תחשיב הפרדיקטים, תורת המודלים, תורת הקבוצות, תורת הטיפוסים, לוגיקת זמן, לוגיקה (פירושונים), לוגיקה מסדר שני, לוגיקה מתמטית, לוגיקה אפיסטמית, לוגיקה עמומה, לוגיקה תלמודית, לודוויג ויטגנשטיין, לויצן אגברטוס יאן בראואר, טאוטולוגיה (לוגיקה), טענה, טקסונומיה, טבלת אמת, טיעון, חוק האי-סתירה, ברנרד בולצאנו, ברטראנד ראסל, ג'ון פון נוימן, ג'ורג' בול, ג'וזפה פאנו, גבול (מתמטיקה), גוטלוב פרגה, דאונטולוגיה, דדוקציה, דוגמה נגדית, דיאלקטיקה, דיאלוג, המאה ה-19, המאה ה-20, המושג סוס, האנציקלופדיה לפילוסופיה מערבית, הנחה (לוגיקה), הסתברות, הפרדוקס של ראסל, הגדרה, הוכחה בדרך השלילה, היסק, ויליאם סטנלי ג'בונס, כמת, כריעות, כשל לוגי, כתב מושגים, כלל היסק, כללי דה מורגן, יהושע בר-הלל, יוונית. להרחיב מדד (56 יותר) »

NAND לוגי

דיאגרמת ון של NAND, הצבע האדום מסמל תוצאת אמת בלוגיקה מתמטית, NAND (קיצור של Not AND; נקרא גם קו שֶׁפֶר, ומסומן לעיתים בקו אנכי (|) או ב-↑) הוא קשר לוגי המתקבל מצירוף הקשרים לא עם וגם, ולעיתים נקרא לפיכך "לא-וגם".

חָדָשׁ!!: לוגיקה וNAND לוגי · ראה עוד »

NOR לוגי

דיאגרמת ון של NOR, הצבע האדום מסמל תוצאת אמת NOR לוגי (not or) הוא פעולה בוליאנית אשר תוצאתה היא ההפך של OR לוגי על אותם אופרנדים.

חָדָשׁ!!: לוגיקה וNOR לוגי · ראה עוד »

מרסלו דסקל

מרסלו דסקל (נולד ב-1940) הוא פרופסור אמריטוס בחוג לפילוסופיה שבאוניברסיטת תל אביב, והוא מומחה למורשתו של הפילוסוף גוטפריד וילהלם לייבניץ.

חָדָשׁ!!: לוגיקה ומרסלו דסקל · ראה עוד »

משפט (מתמטיקה)

במתמטיקה, משפט (בלועזית: תאורמה; באנגלית: Theorem) הוא פסוק שניתן להוכיח אותו במסגרת מערכת אקסיומות מסוימת.

חָדָשׁ!!: לוגיקה ומשפט (מתמטיקה) · ראה עוד »

משפטי האי-שלמות של גדל

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

חָדָשׁ!!: לוגיקה ומשפטי האי-שלמות של גדל · ראה עוד »

משתנה

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

חָדָשׁ!!: לוגיקה ומשתנה · ראה עוד »

משוואת רציפות

משוואת רציפוּת (או משוואת רצף) היא משוואה דיפרנציאלית המתארת מעבר משמר של גודל מסוים.

חָדָשׁ!!: לוגיקה ומשוואת רציפות · ראה עוד »

מתאם

מִתְאָם או קוֹרֶלַצְיָה הוא מדד סטטיסטי המעריך את העקביות ביחסים בין כמה משתנים, כלומר, האם ישנה עקביות בין שינוי במשתנה אחד מהם לבין שינוי במשתנה אחר.

חָדָשׁ!!: לוגיקה ומתאם · ראה עוד »

מדעי המחשב

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

חָדָשׁ!!: לוגיקה ומדעי המחשב · ראה עוד »

מוסד ביאליק

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

חָדָשׁ!!: לוגיקה ומוסד ביאליק · ראה עוד »

אמת (פילוסופיה)

אמת היא חלק מתחומי המחקר של הלוגיקה הפילוסופית ושל תורת ההכרה (אפיסטמולוגיה).

חָדָשׁ!!: לוגיקה ואמת (פילוסופיה) · ראה עוד »

אנליזה מתמטית

אָנָלִיזָה מָתֶמָטִית היא ענף מרכזי במתמטיקה החוקר פונקציות מתמטיות ממשיות ומרוכבות.

חָדָשׁ!!: לוגיקה ואנליזה מתמטית · ראה עוד »

אפלטון

אַפְּלָֿטוֹן (ביוונית: Πλάτων, פּלאטון; 347-427 לפנה"ס) היה פילוסוף יווני, אשר כתביו שימשו אבני יסוד לפילוסופיה המערבית אחריו.

חָדָשׁ!!: לוגיקה ואפלטון · ראה עוד »

אקסיומה

אַקְסיּוֹמָה (בכתיב ארכאי: אכּסיוֹמה) היא הנחה אשר מתייחסים אליה כנכונה וכמובנת מאליה.

חָדָשׁ!!: לוגיקה ואקסיומה · ראה עוד »

ארנסט שרדר

ארנסט שרדר ארנסט שרדר (Ernst Schröder; 25 בנובמבר 1841 מנהיים, באדן - 16 ביוני 1902 קארלסרוהה, גרמניה) היה מתמטיקאי גרמני הידוע בעיקר עקב עבודתו בלוגיקה אלגברית.

חָדָשׁ!!: לוגיקה וארנסט שרדר · ראה עוד »

אריסטו

אֲרִיסְטוֹ (ביוונית: Αριστοτέλης, אֲרִיסְטוֹטֶלֶס; 384 לפנה"ס, סטאגירה – 322 לפנה"ס, כלקיס) היה פילוסוף יווני, מבכירי הפילוסופים של העת העתיקה, ומאבות הפילוסופיה המערבית.

חָדָשׁ!!: לוגיקה ואריסטו · ראה עוד »

אלן טיורינג

אלן מת'יסון טיורינג (באנגלית: Alan Mathison Turing; 23 ביוני 1912 – 7 ביוני 1954) היה מתמטיקאי בריטי, ממניחי היסודות למדעי המחשב.

חָדָשׁ!!: לוגיקה ואלן טיורינג · ראה עוד »

אלפרד טרסקי

אלפרד טרסקי (באנגלית: Alfred Tarski; 14 בינואר 1901 - 26 באוקטובר 1983), נולד כאלפרד טייטלבוים, היה מתמטיקאי, לוגיקן ופילוסוף יהודי-פולני. השתלם במתמטיקה בבית הספר למתמטיקה ופילוסופיה בוורשה, היגר לארצות הברית ב-1939, ועסק בהוראה ובמחקר באוניברסיטת קליפורניה בברקלי למן שנת 1942 ועד יום מותו. היה כותב פורה שנודע יותר מכל הודות לחיבוריו המתמטיים בתחום תורת המודלים, מטא-מתמטיקה, לוגיקה אלגברית, אלגברה מופשטת, טופולוגיה, גאומטריה, תורת המידה, לוגיקה מתמטית, תורת הקבוצות וכן בתחום הפילוסופיה האנליטית. יש המשווים את חשיבותו כלוגיקן לזו של אריסטו, ברטרנד ראסל, קורט גדל וגוטלוב פרגה. כותבי הביוגרפיה שלו, אניטה וסולומון פפרמן, הצהירו כי, "לצד בן-זמנו, קורט גדל, טרסקי שינה את פני הלוגיקה במאה ה-20, ובמיוחד באמצעות חיבוריו על עיקרון האמת ועל תורת המודלים" (א. פפרמן, 2004).

חָדָשׁ!!: לוגיקה ואלפרד טרסקי · ראה עוד »

אלגברה בוליאנית

אלגברה בוליאנית היא התחום המתמטי העוסק במבנים האלגבריים הקרויים "אלגברה בוליאנית", ובנושאים הקשורים לכך.

חָדָשׁ!!: לוגיקה ואלגברה בוליאנית · ראה עוד »

אונטולוגיה

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

חָדָשׁ!!: לוגיקה ואונטולוגיה · ראה עוד »

אוניברסיטת אוקספורד

שלט האצולה של אוניברסיטת אוקספורד קולג' פמברוק, אחד מ-39 הקולג'ים באוניברסיטת אוקספורד קבל קולג', אוקספורד (Keble College, Oxford) מפת אוקספורד משנת 1605 אוניברסיטת אוקספורד (באנגלית: University of Oxford; מכונה גם Oxford University, ולעיתים פשוט Oxford), הממוקמת בעיר אוקספורד שבאנגליה, היא האוניברסיטה העתיקה ביותר בעולם דובר האנגלית.

חָדָשׁ!!: לוגיקה ואוניברסיטת אוקספורד · ראה עוד »

אופרטור

במתמטיקה, אוֹפֵּרָטוֹר (Operator) או פעולה, הוא סוג של פונקציה, הפועלת על מספר, קבוע או משתנה, של איברים בקבוצה, ותוצאתה היא איבר בקבוצה.

חָדָשׁ!!: לוגיקה ואופרטור · ראה עוד »

אובייקטיביות

אוֹבְּיֶקְטִיבִיוּת היא אי תלותיות בדעות או תחושות מסוימות.

חָדָשׁ!!: לוגיקה ואובייקטיביות · ראה עוד »

אוגוסטוס דה מורגן

אוגוסטוס דה מורגן (27 ביוני 1806 - 18 במרץ 1871) היה מתמטיקאי ולוגיקן בריטי יליד הודו שפיתח את כללי דה מורגן.

חָדָשׁ!!: לוגיקה ואוגוסטוס דה מורגן · ראה עוד »

אינסוף

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

חָדָשׁ!!: לוגיקה ואינסוף · ראה עוד »

אינטואיציוניזם

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

חָדָשׁ!!: לוגיקה ואינטואיציוניזם · ראה עוד »

אינדוקציה

במדע, אִינְדּוּקְצִיָּה היא הדרך שבה מסיקים מסקנה ממקרים פרטיים ועוברים מהם לקביעה כללית.

חָדָשׁ!!: לוגיקה ואינדוקציה · ראה עוד »

נאותות

נאותות (באנגלית: Soundness) הוא מונח המציין שתי תכונות לוגיות.

חָדָשׁ!!: לוגיקה ונאותות · ראה עוד »

נוסחה (לוגיקה)

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

חָדָשׁ!!: לוגיקה ונוסחה (לוגיקה) · ראה עוד »

ספרית פועלים

סמליל ספרית פועלים כרזת פרסומת לספרית פועלים סִפרִיַּת פועלים הייתה הוצאת הספרים של תנועת הקיבוץ הארצי השומר הצעיר.

חָדָשׁ!!: לוגיקה וספרית פועלים · ראה עוד »

סול קריפקה

סול (שאול) קריפקה (באנגלית: Saul Kripke; נולד ב-13 בנובמבר 1940) הוא פילוסוף אמריקאי, פרופסור במרכז ללימודים מתקדמים ב-CUNY ופרופסור אמריטוס בפרינסטון.

חָדָשׁ!!: לוגיקה וסול קריפקה · ראה עוד »

סילוגיזם

הסילוגיזם (מיוונית: συλλογισμός - syllogismos) הוא מונח יסוד בלוגיקה האריסטוטלית.

חָדָשׁ!!: לוגיקה וסילוגיזם · ראה עוד »

עמנואל קאנט

עמנואל קאנט (גרמנית: Immanuel Kant; 22 באפריל 1724 - 12 בפברואר 1804) היה פילוסוף גרמני.

חָדָשׁ!!: לוגיקה ועמנואל קאנט · ראה עוד »

עקרון השלישי הנמנע

עקרון השלישי הנמנע (או כלל השלישי הנמנע) אומר כי כל טענה היא אמיתית או שקרית, ואין אפשרות שלישית.

חָדָשׁ!!: לוגיקה ועקרון השלישי הנמנע · ראה עוד »

עקביות (לוגיקה)

במתמטיקה ובלוגיקה, עקביות (או קונסיסטנטיות, קוהרנטיות) של מערכת מסוימת פירושה שמערכת זו היא נטולת סתירות.

חָדָשׁ!!: לוגיקה ועקביות (לוגיקה) · ראה עוד »

ערך אמת

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

חָדָשׁ!!: לוגיקה וערך אמת · ראה עוד »

פסוק (לוגיקה)

הפסוק הוא מאבני היסוד של תורת השפה ואף על פי כן קשה ביותר להגדירו.

חָדָשׁ!!: לוגיקה ופסוק (לוגיקה) · ראה עוד »

פסיכולוגיזם

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

חָדָשׁ!!: לוגיקה ופסיכולוגיזם · ראה עוד »

פעולה בוליאנית

פעולה בוליאנית היא פעולה (אופרטור), הפועלת על קבוצה שבה שני איברים בלבד: שקר ואמת (או 0 ו-1).

חָדָשׁ!!: לוגיקה ופעולה בוליאנית · ראה עוד »

פרמנידס

פָּרְמֶנִידֶס (ביוונית Παρμενίδης), פילוסוף יווני קדם סוקרטי, חי ופעל בתחילת המאה ה-5 לפנה"ס.

חָדָשׁ!!: לוגיקה ופרמנידס · ראה עוד »

פונקציה

פונקציה המתאימה לכל צורה את הצבע שלה פונקציה היא התאמה המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה. במתמטיקה, פוּנְקְצִיָּה (נקראת גם העתקה) היא התאמה, המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה.

חָדָשׁ!!: לוגיקה ופונקציה · ראה עוד »

פורמליזם (מתמטיקה)

הפורמליזם (בעברית: הצרנה) הוא מתודה מתמטית, שמהווה מלבד שיטת עבודה גם פילוסופיה ותפיסה כוללת לגבי מהות המתמטיקה.

חָדָשׁ!!: לוגיקה ופורמליזם (מתמטיקה) · ראה עוד »

פילוסופיה של המתמטיקה

הפילוסופיה של המתמטיקה היא ענף של הפילוסופיה העוסק בהנחות היסוד של המתמטיקה ובמשמעותה של המתמטיקה.

חָדָשׁ!!: לוגיקה ופילוסופיה של המתמטיקה · ראה עוד »

פילוסופיה של המוסר

הפילוסופיה של המוסר, שנקראת גם אֵתִיקָה, היא ענף של הפילוסופיה העוסק בשאלות "מהו המעשה הראוי שחובה לעשותו?" ו"מהי 'המידה הטובה'?" ומסייע בהבחנה בין טוב ורע.

חָדָשׁ!!: לוגיקה ופילוסופיה של המוסר · ראה עוד »

פילוסופיה של הלשון

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

חָדָשׁ!!: לוגיקה ופילוסופיה של הלשון · ראה עוד »

צ'ארלס פרס

צ'ארלס סנדרס פֶּרְס (באנגלית: Charles Sanders Peirce; 10 בספטמבר 1839 - 19 באפריל 1914) היה לוגיקן, פילוסוף, מתמטיקאי וסטטיסטיקאי-תאורטיקן אמריקאי.

חָדָשׁ!!: לוגיקה וצ'ארלס פרס · ראה עוד »

קשר לוגי

קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה.

חָדָשׁ!!: לוגיקה וקשר לוגי · ראה עוד »

קבוצה קומפקטית

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

חָדָשׁ!!: לוגיקה וקבוצה קומפקטית · ראה עוד »

קורט גדל

קורט גֶדֶל (בגרמנית:; 28 באפריל 1906 - 14 בינואר 1978) היה לוגיקן ומתמטיקאי אוסטרי שהיגר לארצות הברית.

חָדָשׁ!!: לוגיקה וקורט גדל · ראה עוד »

רסלינג

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

חָדָשׁ!!: לוגיקה ורסלינג · ראה עוד »

רקורסיה

משולש שרפינסקי – רקורסיה של משולשים אשר יוצרת סריג פרקטלי רקורסיה הנוצרת בעזרת תוכנה ללכידת מסך המצלמת את עצמה בפעולה רֵקוּרְסִיָּה (בעברית: נסיגה) היא תופעה שכל מופע שלה מכיל מופע נוסף שלה, כך שהיא מתרחשת ומשתקפת בשלמותה בתוך עצמה שוב ושוב.

חָדָשׁ!!: לוגיקה ורקורסיה · ראה עוד »

שמואל הוגו ברגמן

שמואל הוגו ברגמן, 1935 פרופ' שמואל הוגו ברגמן (25 בדצמבר 1883, פראג – 18 ביוני 1975, ירושלים) היה פילוסוף ישראלי יליד פראג, מאנשי הרוח הבולטים של הציונות, והרקטור הראשון של האוניברסיטה העברית בירושלים.

חָדָשׁ!!: לוגיקה ושמואל הוגו ברגמן · ראה עוד »

שפה מסדר ראשון

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

חָדָשׁ!!: לוגיקה ושפה מסדר ראשון · ראה עוד »

שלמות

שלמות (באנגלית: Completeness) בלוגיקה ובלוגיקה מתמטית היא תכונה של מערכת אקסיומטית.

חָדָשׁ!!: לוגיקה ושלמות · ראה עוד »

תקפות (לוגיקה)

בלוגיקה, טיעון תקף (באנגלית: Valid) הוא טיעון שבו המסקנה נובעת מן ההנחות.

חָדָשׁ!!: לוגיקה ותקפות (לוגיקה) · ראה עוד »

תחשיב הפסוקים

בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus,‏ Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת לייצג את הקַשַּרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסיק את תקפותן ההגיונית (לוגית) של טענות.

חָדָשׁ!!: לוגיקה ותחשיב הפסוקים · ראה עוד »

תחשיב הפרדיקטים

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

חָדָשׁ!!: לוגיקה ותחשיב הפרדיקטים · ראה עוד »

תורת המודלים

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

חָדָשׁ!!: לוגיקה ותורת המודלים · ראה עוד »

תורת הקבוצות

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

חָדָשׁ!!: לוגיקה ותורת הקבוצות · ראה עוד »

תורת הטיפוסים

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

חָדָשׁ!!: לוגיקה ותורת הטיפוסים · ראה עוד »

לוגיקת זמן

לוגיקת זמן, לוגיקה עתית או לוגיקה טמפורלית (באנגלית: Temporal Logic) היא הרחבה של הלוגיקה הקלאסית המאפשרת ביטויים הקשורים בזמן.

חָדָשׁ!!: לוגיקה ולוגיקת זמן · ראה עוד »

לוגיקה (פירושונים)

אין תיאור.

חָדָשׁ!!: לוגיקה ולוגיקה (פירושונים) · ראה עוד »

לוגיקה מסדר שני

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

חָדָשׁ!!: לוגיקה ולוגיקה מסדר שני · ראה עוד »

לוגיקה מתמטית

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

חָדָשׁ!!: לוגיקה ולוגיקה מתמטית · ראה עוד »

לוגיקה אפיסטמית

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

חָדָשׁ!!: לוגיקה ולוגיקה אפיסטמית · ראה עוד »

לוגיקה עמומה

לוגיקה עמומה, או לוגיקה מעורפלת (באנגלית: Fuzzy Logic), הוא שם כללי לתורות לוגיות המנסות להחיל את עקרונות החשיבה הרציונלית על תחומים שבהם נראה כי שני חוקי היסוד של הלוגיקה הקלאסית אינם מתאימים.

חָדָשׁ!!: לוגיקה ולוגיקה עמומה · ראה עוד »

לוגיקה תלמודית

לוגיקה תלמודית הוא ענף של הלוגיקה שקושר בין המחקר בלוגיקה לחקר התלמוד.

חָדָשׁ!!: לוגיקה ולוגיקה תלמודית · ראה עוד »

לודוויג ויטגנשטיין

לודוויג ויטגנשטיין (בגרמנית: Ludwig Wittgenstein; 26 באפריל 1889 – 29 באפריל 1951) היה פילוסוף אוסטרי-בריטי ממוצא יהודי.

חָדָשׁ!!: לוגיקה ולודוויג ויטגנשטיין · ראה עוד »

לויצן אגברטוס יאן בראואר

לויצן אגברטוס יאן בראואר (בהולנדית: Luitzen Egbertus Jan Brouwer; ידוע בעיקר בשמו המקוצר L E J Brouwer; 27 בפברואר 1881 - 2 בדצמבר 1966) היה מתמטיקאי הולנדי, אבי זרם האינטואיציוניזם בפילוסופיה של המתמטיקה.

חָדָשׁ!!: לוגיקה ולויצן אגברטוס יאן בראואר · ראה עוד »

טאוטולוגיה (לוגיקה)

בלוגיקה, טָאוּטוֹלוֹגְיָה (מיוונית: ταυτολογία) היא פסוק שהוא תמיד אמת (נכון) בכל מבנה.

חָדָשׁ!!: לוגיקה וטאוטולוגיה (לוגיקה) · ראה עוד »

טענה

טַעֲנָה (בלועזית: פְּרוֹפּוֹזִיציה) היא תוכן של פסוק חיווי, כלומר מחשבה המובעת במשפט והיכולה להיות אמיתית או שקרית.

חָדָשׁ!!: לוגיקה וטענה · ראה עוד »

טקסונומיה

טַקְסוֹנוֹמְיָה (מיוונית – τάξις: סידור; νόμος: שיטה, חוק) היא סיווג שיטתי של עצמים מאותו תחום.

חָדָשׁ!!: לוגיקה וטקסונומיה · ראה עוד »

טבלת אמת

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

חָדָשׁ!!: לוגיקה וטבלת אמת · ראה עוד »

טיעון

טיעון (בלועזית: אַרְגּוּמֵנְט) הוא רצף של הנחות ומסקנה שבו נעשה ניסיון לביסוס אמיתותה של טענה אחת (המסקנה) על סמך אמיתותן של טענה אחרת או יותר (ההנחות).

חָדָשׁ!!: לוגיקה וטיעון · ראה עוד »

חוק האי-סתירה

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

חָדָשׁ!!: לוגיקה וחוק האי-סתירה · ראה עוד »

ברנרד בולצאנו

ברנרד פלאסידוס יוהאן נפומוק בולצאנו (Bernhard Placidus Johann Nepomuk Bolzano; 5 באוקטובר 1781 - 18 בדצמבר 1848) היה מתמטיקאי, לוגיקן, פילוסוף, תאולוג וכומר קתולי מבוהמיה (כיום בצ'כיה).

חָדָשׁ!!: לוגיקה וברנרד בולצאנו · ראה עוד »

ברטראנד ראסל

חתימתו של ברטראנד ראסל ברטראנד ארתור ויליאם ראסל (באנגלית: Bertrand Arthur William Russell; 18 במאי 1872 - 2 בפברואר 1970) היה פילוסוף בריטי.

חָדָשׁ!!: לוגיקה וברטראנד ראסל · ראה עוד »

ג'ון פון נוימן

ג'ון לואיס פון נוימן (באנגלית: John von Neumann; 28 בדצמבר 1903 - 8 בפברואר 1957) היה מתמטיקאי ואיש אשכולות הונגרי-אמריקאי ממוצא יהודי (אך המיר דתו לנצרות קתולית).

חָדָשׁ!!: לוגיקה וג'ון פון נוימן · ראה עוד »

ג'ורג' בול

ג'ורג' בּוּל (באנגלית: George Boole) היה מתמטיקאי ופילוסוף אנגלי, מאבות הלוגיקה המודרנית ויוצר האלגברה הבוליאנית המהווה את יסוד מדעי המחשב.

חָדָשׁ!!: לוגיקה וג'ורג' בול · ראה עוד »

ג'וזפה פאנו

ג'וּזֶפֶּה פֶּאָנוֹ (באיטלקית: Giuseppe Peano; 27 באוגוסט 1858 – 20 באפריל 1932) היה מתמטיקאי איטלקי.

חָדָשׁ!!: לוגיקה וג'וזפה פאנו · ראה עוד »

גבול (מתמטיקה)

מושג הגבול הוא נדבך יסודי באנליזה מתמטית ובחשבון אינפיניטסימלי.

חָדָשׁ!!: לוגיקה וגבול (מתמטיקה) · ראה עוד »

גוטלוב פרגה

פרידריך לודוויג גוֹטְלוֹבּ פְרֶגֶה (בגרמנית: Friedrich Ludwig Gottlob Frege; 8 בנובמבר 1848 – 26 ביולי 1925) היה מתמטיקאי, לוגיקן ופילוסוף גרמני, נחשב כאב המייסד של הלוגיקה המודרנית ושל הפילוסופיה האנליטית.

חָדָשׁ!!: לוגיקה וגוטלוב פרגה · ראה עוד »

דאונטולוגיה

דאונטולוגיה (מן המילה היוונית "δέον" - "חובה") היא תאוריה אתית, אשר לפיה לפעולות מסוימות ישנן ערך מוסרי חיובי או שלילי כשלעצמן, הנפרד מן הערך המוסרי החיובי או השלילי של תוצאותיהן.

חָדָשׁ!!: לוגיקה ודאונטולוגיה · ראה עוד »

דדוקציה

דֵּדוּקְְצְיָה (Deduction, בעברית אִפְרוּט) היא הסקת מסקנות מן הכלל אל הפרט, זאת בניגוד לאינדוקציה בה המסקנות מתקבלות מן הפרט אל הכלל.

חָדָשׁ!!: לוגיקה ודדוקציה · ראה עוד »

דוגמה נגדית

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

חָדָשׁ!!: לוגיקה ודוגמה נגדית · ראה עוד »

דיאלקטיקה

דיאלקטיקה (מיוונית: διαλεκτική - אומנות השיחה, הדיון או הוויכוח) היא מונח פילוסופי מערבי המשמש לתיאור שיטות שונות להשגת האמת או לתיאור תנועת ההתפתחות בעולם הרוח או החומר, או שניהם יחד.

חָדָשׁ!!: לוגיקה ודיאלקטיקה · ראה עוד »

דיאלוג

דִּיאָלוֹג (בעברית: דּוּ שִׂיחַ) הוא שיחה הדדית בין שתי ישויות או יותר.

חָדָשׁ!!: לוגיקה ודיאלוג · ראה עוד »

המאה ה-19

מפת העולם בשנת 1897, האימפריה הבריטית מסומנת באדום וילה בסגנון ארמון שנבנתה בסוף המאה ה-19 המאה ה-19 היא תקופה שהחלה בשנת 1801 והסתיימה בשנת 1900.

חָדָשׁ!!: לוגיקה והמאה ה-19 · ראה עוד »

המאה ה-20

המאה ה-20 היא התקופה שהחלה בשנת 1901 והסתיימה בשנת 2000 (בין התאריכים 1 בינואר 1901 ל-31 בדצמבר 2000).

חָדָשׁ!!: לוגיקה והמאה ה-20 · ראה עוד »

המושג סוס

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

חָדָשׁ!!: לוגיקה והמושג סוס · ראה עוד »

האנציקלופדיה לפילוסופיה מערבית

הכרך הראשון של המהדורה העברית האנציקלופדיה לפילוסופיה מערבית (באנגלית: The Concise Encyclopedia of Western Philosophy and Philosophers) היא אנציקלופדיה מקפת להיסטוריה של הפילוסופיה, זרמים והוגים.

חָדָשׁ!!: לוגיקה והאנציקלופדיה לפילוסופיה מערבית · ראה עוד »

הנחה (לוגיקה)

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

חָדָשׁ!!: לוגיקה והנחה (לוגיקה) · ראה עוד »

הסתברות

משחקי מזל והימורים הסתברות היא ביטוי מספרי למידת הסבירות שמאורע מסוים יתרחש.

חָדָשׁ!!: לוגיקה והסתברות · ראה עוד »

הפרדוקס של ראסל

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

חָדָשׁ!!: לוגיקה והפרדוקס של ראסל · ראה עוד »

הגדרה

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

חָדָשׁ!!: לוגיקה והגדרה · ראה עוד »

הוכחה בדרך השלילה

הוכחה בדרך השלילה, ידועה גם בשם הוכחה עקיפה או (שיטת ה-) אֵלִימִינַצְיָה (בלטינית: Reductio ad absurdum – רֶדּוּקְצְיוֹ אַדּ אַבְּסוּרְדּוּם - רדוקציה לאבסורד.R.A) היא טכניקת הוכחה, המשמשת במתמטיקה, בלוגיקה ובפילוסופיה, במסגרתה מוכיחים ששלילת ההנחה המבוקשת היא סתירה (אבסורד), ועל כן ההנחה נכונה.

חָדָשׁ!!: לוגיקה והוכחה בדרך השלילה · ראה עוד »

היסק

בתורת ההיגיון, היסק (באנגלית: Inference) הוא טיעון שמסקנתו נובעת מן הנחותיו.

חָדָשׁ!!: לוגיקה והיסק · ראה עוד »

ויליאם סטנלי ג'בונס

ויליאם סטנלי ג'בונס (באנגלית: William Stanley Jevons; 1 בספטמבר 1835 - 13 באוגוסט 1882) היה כלכלן ולוגיקן בריטי.

חָדָשׁ!!: לוגיקה וויליאם סטנלי ג'בונס · ראה עוד »

כמת

100px בלוגיקה, כמת הוא סמל המציין את התחולה של המשתנה הצמוד לו.

חָדָשׁ!!: לוגיקה וכמת · ראה עוד »

כריעות

בלוגיקה, בעיית הכרעה (שְׁאֵלָה עליה יש תשובה של כן או לא) נקראת כריעה אם קיים אלגוריתם שקובע מה התשובה עבור קלט נתון.

חָדָשׁ!!: לוגיקה וכריעות · ראה עוד »

כשל לוגי

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

חָדָשׁ!!: לוגיקה וכשל לוגי · ראה עוד »

כתב מושגים

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

חָדָשׁ!!: לוגיקה וכתב מושגים · ראה עוד »

כלל היסק

כללי היסק (באנגלית: Inference rule (או Rule of inference)) הם הכללים הבסיסיים ביותר בלוגיקה ובמתמטיקה, הקובעים מתי מותר לעבור מטענה אחת לטענה אחרת, כלומר להסיק או להוכיח אותה.

חָדָשׁ!!: לוגיקה וכלל היסק · ראה עוד »

כללי דה מורגן

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

חָדָשׁ!!: לוגיקה וכללי דה מורגן · ראה עוד »

יהושע בר-הלל

יהושע בר-הלל (8 בספטמבר 1915 – 25 בספטמבר 1975) היה פילוסוף ישראלי שנודע בעיקר במחקרו החלוצי בתחום תרגום באמצעות מכונה.

חָדָשׁ!!: לוגיקה ויהושע בר-הלל · ראה עוד »

יוונית

יוונית (- אֵלִינִיקַה) היא שפה הודו־אירופאית, שמוצאה באזור יוון של ימינו.

חָדָשׁ!!: לוגיקה ויוונית · ראה עוד »

מפנה מחדש כאן:

תורת ההגיון, תורת ההיגיון, לוגיקן, הגיון, היגיון.

אזכור

[1] https://he.wikipedia.org/wiki/לוגיקה

יוֹצֵאנִכנָס
היי! אנחנו בפייסבוק עכשיו! »