גישה מהירה יותר מאשר בדפדפן!
121 יחסים: NAND לוגי, NOR לוגי, מרסלו דסקל, משפט (מתמטיקה), משפט אי השלמות של גדל, משתנה, משוואת רצף, מתמטיקאי, מתמטיקה, מתאם, מדעי המחשב, מוסד ביאליק, אמת (פילוסופיה), אנליזה מתמטית, אפלטון, אקסיומה, ארנסט שרדר, ארגומנט של פונקציה, אריסטו, אתיקה, אלן טיורינג, אלפרד טרסקי, אלגברה בוליאנית, אונטולוגיה, אוניברסיטת אוקספורד, אופרטור, אובייקטיביות, אוגוסטוס דה מורגן, אינסוף, אינטואיציוניזם, אינדוקציה, נאותות, נוסחה בנויה היטב, ספרית פועלים, סול קריפקי, סילוגיזם, עמנואל קאנט, עקביות (לוגיקה), ערך אמת, פסוק (לוגיקה מתמטית), פסיכולוגיזם, פעולה בוליאנית, פרמנידס, פונקציה, פורמליזם (מתמטיקה), פילוסוף, פילוסופיה של המתמטיקה, פילוסופיה של הלשון, צ'ארלס פירס, קשר לוגי, ..., קומפקטיות, קורט גדל, רקורסיה, שמואל הוגו ברגמן, שפה מסדר ראשון, שפה מסדר שני, שלמות, תקף, תקפות (לוגיקה), תחשיב פסוקים, תחשיב הפסוקים, תחשיב הפרדיקטים, תורת טיפוסים, תורת המודלים, תורת הקבוצות, תורת הקבוצות האקסיומטית, תורת הטיפוסים, לוגיקה (פירושונים), לוגיקה מסדר שני, לוגיקה מתמטית, לוגיקה אפיסטמית, לוגיקה עמומה, לוגיקה פורמלית, לוגיקה תלמודית, לוגיקה טמפורלית, לודוויג ויטגנשטיין, לויצן אגברטוס יאן בראואר, טאוטולוגיה (לוגיקה), טענה, טקסונומיה, טבלת אמת, טכניקה, טיעון, חוק אי-הסתירה, חוק הסתירה, חוק השלישי הנמנע, ברנרד בולצאנו, ברטראנד ראסל, ג'ון פון נוימן, ג'ורג' בול, ג'וזפה פאנו, גבול (מתמטיקה), גוטלוב פרגה, דאונטולוגיה, דדוקציה, דוגמה נגדית, דיאלקטיקה, דיאלוג, המאה ה-19, המאה ה-20, המדינה (דיאלוג אפלטוני), המושג סוס, האנציקלופדיה לפילוסופיה מערבית, האסכולה האלאטית, האוניברסיטה הפתוחה, הנחה (לוגיקה), הסתברות, הפרדוקס של ראסל, הגדרה, הוצאת רסלינג, הוכחה בדרך השלילה, היסק, ויליאם סטנלי ג'בונס, כמת, כריעות, כשל לוגי, כתב מושגים, כלל היסק, כללי דה מורגן, יהושע בר-הלל, יוונית. להרחיב מדד (71 יותר) »
NAND לוגי
דיאגרמת ון של NAND, הצבע האדום מסמל תוצאת אמת בלוגיקה מתמטית, NAND (קיצור של Not AND; נקרא גם קו שֶׁפֶר, ומסומן לעיתים בקו אנכי (|) או ב-↑) הוא קשר לוגי המתקבל מצירוף הקשרים לא עם וגם, ולעיתים נקרא לפיכך "לא-וגם".
חָדָשׁ!!: לוגיקה וNAND לוגי · ראה עוד »
NOR לוגי
NOR לוגי (קיצור של not or, "לא או"; סימון: ↓) הוא פעולה בוליאנית ההפוכה לקשר הלוגי "או" (OR לוגי) על אותם אופרנדים.
חָדָשׁ!!: לוגיקה וNOR לוגי · ראה עוד »
מרסלו דסקל
מרסלו דסקל (11 בנובמבר 1940 – 15 באפריל 2019) היה פרופסור בחוג לפילוסופיה שבאוניברסיטת תל אביב, ומומחה למורשתו של הפילוסוף גוטפריד וילהלם לייבניץ.
חָדָשׁ!!: לוגיקה ומרסלו דסקל · ראה עוד »
משפט (מתמטיקה)
במתמטיקה, משפט (בלועזית: תאורמה; באנגלית: Theorem) הוא פסוק שניתן להוכיח אותו במסגרת מערכת אקסיומות מסוימת.
חָדָשׁ!!: לוגיקה ומשפט (מתמטיקה) · ראה עוד »
משפט אי השלמות של גדל
#הפניה משפטי האי-שלמות של גדל.
חָדָשׁ!!: לוגיקה ומשפט אי השלמות של גדל · ראה עוד »
משתנה
במתמטיקה ויישומיה, משתנה הוא סמל המסמן כמות, איבר של קבוצה, או ערך לוגי, העשויים להשתנות.
חָדָשׁ!!: לוגיקה ומשתנה · ראה עוד »
משוואת רצף
#הפניה משוואת רציפות.
חָדָשׁ!!: לוגיקה ומשוואת רצף · ראה עוד »
מתמטיקאי
קרל פרידריך גאוס, מגדולי המתמטיקאים בכל הזמנים. פרס אָבֶּל למתמטיקה מתמטיקאי הוא אדם העוסק במתמטיקה.
חָדָשׁ!!: לוגיקה ומתמטיקאי · ראה עוד »
מתמטיקה
שיעור באלגברה ליניארית באוניברסיטת הלסינקי ילדות פותרות תרגיל במתמטיקה מָתֵמָטִיקָה היא תחום דעת העוסק במושגים כגון כמות, מבנה, מרחב ושינוי.
חָדָשׁ!!: לוגיקה ומתמטיקה · ראה עוד »
מתאם
מִתְאָם או קשר (באנגלית: Correlation, Covariation) הוא מושג המבטא את קיומו או אי-קיומו ואת חוזקו של קשר סטטיסטי בין שני משתנים.
חָדָשׁ!!: לוגיקה ומתאם · ראה עוד »
מדעי המחשב
מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.
חָדָשׁ!!: לוגיקה ומדעי המחשב · ראה עוד »
מוסד ביאליק
מוסד ביאליק הוא בית הוצאה לאור שהקימו ההנהלה הציונית העולמית והנהלת הסוכנות היהודית בשנת 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 הקולג'ים באוניברסיטת אוקספורד מפת אוקספורד משנת 1605 אוניברסיטת אוקספורד (באנגלית: The University of Oxford; מכונה גם Oxford University, ולעיתים פשוט Oxford) היא אוניברסיטת מחקר ציבורית הממוקמת בעיר אוקספורד שבאנגליה.
חָדָשׁ!!: לוגיקה ואוניברסיטת אוקספורד · ראה עוד »
אופרטור
במתמטיקה, אוֹפֵּרָטוֹר (Operator) הוא סמל המשמש לציון פעולה הפועלת על מספר קבוע או משתנה של איברים בקבוצה, ותוצאתה היא איבר בקבוצה.
חָדָשׁ!!: לוגיקה ואופרטור · ראה עוד »
אובייקטיביות
אוֹבְּיֶקְטִיבִיוּת היא סטטוס אפיסטמולוגי הניתן להיגדים שערך האמת שלהם הוא אמת.
חָדָשׁ!!: לוגיקה ואובייקטיביות · ראה עוד »
אוגוסטוס דה מורגן
אוגוסטוס דה מורגן (27 ביוני 1806 - 18 במרץ 1871) היה מתמטיקאי ולוגיקן בריטי יליד הודו שפיתח את כללי דה מורגן.
חָדָשׁ!!: לוגיקה ואוגוסטוס דה מורגן · ראה עוד »
אינסוף
אינסוף (תו: ∞) הוא מונח עם משמעויות שונות במתמטיקה, בפילוסופיה, בתאולוגיה ובשפת היומיום, המתייחס להיעדר גבול כמותי, מרחבי, זמני, או רעיוני.
חָדָשׁ!!: לוגיקה ואינסוף · ראה עוד »
אינטואיציוניזם
בפילוסופיה של המתמטיקה, אינטואיציוניזם הוא גישה הרואה במתמטיקה תוצאה של פעילות אנושית של בניות מנטליות.
חָדָשׁ!!: לוגיקה ואינטואיציוניזם · ראה עוד »
אינדוקציה
במדע, אִינְדּוּקְצִיָּה (בעברית: אִכְלוּל) היא הדרך שבה מסיקים מסקנה ממקרים פרטיים ועוברים מהם לקביעה כללית.
חָדָשׁ!!: לוגיקה ואינדוקציה · ראה עוד »
נאותות
נאותות (באנגלית: Soundness) הוא מונח המציין שתי תכונות לוגיות.
חָדָשׁ!!: לוגיקה ונאותות · ראה עוד »
נוסחה בנויה היטב
#הפניה נוסחה (לוגיקה).
חָדָשׁ!!: לוגיקה ונוסחה בנויה היטב · ראה עוד »
ספרית פועלים
סמליל ספרית פועלים כרזת פרסומת לספרית פועלים סִפרִיַּת פועלים הייתה הוצאת הספרים של תנועת הקיבוץ הארצי השומר הצעיר.
חָדָשׁ!!: לוגיקה וספרית פועלים · ראה עוד »
סול קריפקי
סול (שאול) אהרון קריפקי (באנגלית: Saul Aaron Kripke; 13 בנובמבר 1940 – 15 בספטמבר 2022) היה פילוסוף יהודי-אמריקאי, פרופסור במרכז ללימודים מתקדמים ב-CUNY ופרופסור באוניברסיטת פרינסטון.
חָדָשׁ!!: לוגיקה וסול קריפקי · ראה עוד »
סילוגיזם
הסילוגיזם (מיוונית: συλλογισμός - syllogismos) או היקש הוא מונח יסוד בלוגיקה האריסטוטלית.
חָדָשׁ!!: לוגיקה וסילוגיזם · ראה עוד »
עמנואל קאנט
פרוטומה של עמנואל קאנט מאת עמנואל ברדו במוזיאון בודה עמנואל קאנט (בגרמנית: Immanuel Kant; 22 באפריל 1724 – 12 בפברואר 1804) היה פילוסוף גרמני.
חָדָשׁ!!: לוגיקה ועמנואל קאנט · ראה עוד »
עקביות (לוגיקה)
במתמטיקה ובלוגיקה, עקביות (או קונסיסטנטיות, קוהרנטיות) של מערכת מסוימת פירושה שמערכת זו היא נטולת סתירות.
חָדָשׁ!!: לוגיקה ועקביות (לוגיקה) · ראה עוד »
ערך אמת
ערך אמת הוא מונח בו משתמשים בלוגיקה והוא מציין את הערך שביטוי מסוים יכול לקבל.
חָדָשׁ!!: לוגיקה וערך אמת · ראה עוד »
פסוק (לוגיקה מתמטית)
#הפניה פסוק (לוגיקה).
חָדָשׁ!!: לוגיקה ופסוק (לוגיקה מתמטית) · ראה עוד »
פסיכולוגיזם
בפילוסופיה של הלוגיקה, פסיכולוגיזם היא העמדה לפיה חוקי הלוגיקה נקבעים על פי מאפיינים אמפיריים של הנפש, וכי הפסיכולוגיה היא הבסיס להסבר עובדות וחוקים בתחומים רבים אחרים.
חָדָשׁ!!: לוגיקה ופסיכולוגיזם · ראה עוד »
פעולה בוליאנית
פעולה בוליאנית היא פעולה הפועלת על קבוצה שבה שני איברים בלבד: שקר ואמת (או 0 ו-1).
חָדָשׁ!!: לוגיקה ופעולה בוליאנית · ראה עוד »
פרמנידס
פָּרְמֶנִידֶס (ביוונית Παρμενίδης), פילוסוף יווני קדם-סוקרטי, חי ופעל בתחילת המאה ה-5 לפנה"ס.
חָדָשׁ!!: לוגיקה ופרמנידס · ראה עוד »
פונקציה
פונקציה המתאימה לכל צורה את הצבע שלה פונקציה היא התאמה המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה. במתמטיקה, פוּנְקְצִיָּה (נקראת גם העתקה) היא התאמה, המשייכת לכל איבר בקבוצה אחת, איבר יחיד בקבוצה שנייה.
חָדָשׁ!!: לוגיקה ופונקציה · ראה עוד »
פורמליזם (מתמטיקה)
הפורמליזם (בעברית: הצרנה) הוא מתודה מתמטית, שמהווה מלבד שיטת עבודה גם פילוסופיה ותפיסה כוללת לגבי מהות המתמטיקה.
חָדָשׁ!!: לוגיקה ופורמליזם (מתמטיקה) · ראה עוד »
פילוסוף
סוקרטס נחשב בעיני רבים לאבי הפילוסופיה המערבית פילוסוף הוא אדם העוסק בפילוסופיה.
חָדָשׁ!!: לוגיקה ופילוסוף · ראה עוד »
פילוסופיה של המתמטיקה
הפילוסופיה של המתמטיקה היא ענף של הפילוסופיה העוסק בהנחות היסוד של המתמטיקה ובמשמעותה של המתמטיקה.
חָדָשׁ!!: לוגיקה ופילוסופיה של המתמטיקה · ראה עוד »
פילוסופיה של הלשון
פילוסופיה של הלשון או פילוסופיה של השפה היא תחום בפילוסופיה החוקר את השפה על היבטיה השונים, כולל היחס בין מבנה לוגי לביטוי הלשוני, יכולתה של השפה להביע אמת, משמעותם של משפטים ומילים, אפשרות ותנאי התרגום הנאות, מקורם של פרדוקסים, היחס בין מובן לשימוש, החפיפה בין שפה ומחשבה ועוד.
חָדָשׁ!!: לוגיקה ופילוסופיה של הלשון · ראה עוד »
צ'ארלס פירס
#הפניה צ'ארלס פרס.
חָדָשׁ!!: לוגיקה וצ'ארלס פירס · ראה עוד »
קשר לוגי
קַשָּׁר לוגי הוא פונקציה המייצרת מקבוצה של פסוקים לוגיים, או תבניות לוגיות פסוק חדש או תבנית חדשה בהתאמה.
חָדָשׁ!!: לוגיקה וקשר לוגי · ראה עוד »
קומפקטיות
#הפניה קבוצה קומפקטית.
חָדָשׁ!!: לוגיקה וקומפקטיות · ראה עוד »
קורט גדל
קורט גֶדֶל (בגרמנית:; 28 באפריל 1906 – 14 בינואר 1978) היה לוגיקן ומתמטיקאי אוסטרי שהיגר לארצות הברית.
חָדָשׁ!!: לוגיקה וקורט גדל · ראה עוד »
רקורסיה
משולש שרפינסקי – רקורסיה של משולשים אשר יוצרת סריג פרקטלי רקורסיה הנוצרת בעזרת תוכנה ללכידת מסך המצלמת את עצמה בפעולה רֵקוּרְסִיָּה (בעברית: נסיגה) היא תופעה שכל מופע שלה מכיל מופע נוסף שלה, כך שהיא מתרחשת ומשתקפת בשלמותה בתוך עצמה שוב ושוב.
חָדָשׁ!!: לוגיקה ורקורסיה · ראה עוד »
שמואל הוגו ברגמן
שמואל הוגו ברגמן, 1935 שמואל הוגו ברגמן (25 בדצמבר 1883, פראג – 18 ביוני 1975, ירושלים) היה פילוסוף ישראלי יליד פראג, מאנשי הרוח הבולטים של הציונות, והרקטור הראשון של האוניברסיטה העברית בירושלים.
חָדָשׁ!!: לוגיקה ושמואל הוגו ברגמן · ראה עוד »
שפה מסדר ראשון
בלוגיקה מתמטית, שפה מסדר ראשון (נקראת גם לוגיקה מסדר ראשון או תחשיב היחסים או תחשיב פרדיקטים מסדר ראשון, בסימון מקובל FOL) היא מנגנון חישוב לניסוח טענות פורמליות כלליות, כל עוד מסתפקים בכימות על אברים במודל.
חָדָשׁ!!: לוגיקה ושפה מסדר ראשון · ראה עוד »
שפה מסדר שני
#הפניה לוגיקה מסדר שני.
חָדָשׁ!!: לוגיקה ושפה מסדר שני · ראה עוד »
שלמות
שלמות (באנגלית: Completeness) בלוגיקה ובלוגיקה מתמטית היא תכונה של מערכת אקסיומטית.
חָדָשׁ!!: לוגיקה ושלמות · ראה עוד »
תקף
#הפניה תקפות (לוגיקה).
חָדָשׁ!!: לוגיקה ותקף · ראה עוד »
תקפות (לוגיקה)
בלוגיקה, טיעון תקף (באנגלית: Valid) הוא טיעון שבו המסקנה נובעת מן ההנחות.
חָדָשׁ!!: לוגיקה ותקפות (לוגיקה) · ראה עוד »
תחשיב פסוקים
#הפניה תחשיב הפסוקים.
חָדָשׁ!!: לוגיקה ותחשיב פסוקים · ראה עוד »
תחשיב הפסוקים
בלוגיקה ובלוגיקה מתמטית, תחשיב פסוקים (באנגלית: Propositional calculus, Propositional logic או Sentential calculus) הוא מערכת מובנית (פורמליסטית), המאפשרת לייצג את הקַשַּרים הלוגיים בין ערכי האמת של פסוקים לוגיים שונים, ולהסיק את תקפותן ההגיונית (לוגית) של טענות.
חָדָשׁ!!: לוגיקה ותחשיב הפסוקים · ראה עוד »
תחשיב הפרדיקטים
בלוגיקה ובלוגיקה מתמטית, תחשיב פְרֶדִיקַטִים הוא מערכת פורמלית לטיפול בפסוקים הכוללים פרדיקטים (פרדיקט הוא נשוא, או תכונה, ובשפה המתמטית - יחס).
חָדָשׁ!!: לוגיקה ותחשיב הפרדיקטים · ראה עוד »
תורת טיפוסים
#הפניה תורת הטיפוסים.
חָדָשׁ!!: לוגיקה ותורת טיפוסים · ראה עוד »
תורת המודלים
תורת המודלים היא תחום במתמטיקה העוסק בחקר מודלים של תורות מתמטיות, תוך שימוש בכלים מלוגיקה מתמטית.
חָדָשׁ!!: לוגיקה ותורת המודלים · ראה עוד »
תורת הקבוצות
תורת הקבוצות היא תורה מתמטית בסיסית העוסקת במושג הקבוצה, שהיא אוסף מופשט של איברים שונים זה מזה.
חָדָשׁ!!: לוגיקה ותורת הקבוצות · ראה עוד »
תורת הקבוצות האקסיומטית
תורת הקבוצות האקסיומטית היא תורה מתמטית המהווה ניסוח אקסיומטי של תורת הקבוצות.
חָדָשׁ!!: לוגיקה ותורת הקבוצות האקסיומטית · ראה עוד »
תורת הטיפוסים
במתמטיקה, לוגיקה ומדעי המחשב, תורת הטיפוסים מתייחסת באופן כללי למחלקה של מערכות פורמליות, שבה לכל ערך יש טיפוס, המודד באופן מסוים את רמת המורכבות של האובייקט, והפעולות מוגבלות לערכים מטיפוס מסוים.
חָדָשׁ!!: לוגיקה ותורת הטיפוסים · ראה עוד »
לוגיקה (פירושונים)
אין תיאור.
חָדָשׁ!!: לוגיקה ולוגיקה (פירושונים) · ראה עוד »
לוגיקה מסדר שני
בלוגיקה ובמתמטיקה, לוגיקה מסדר שני או שפה מסדר שני היא הרחבה של הלוגיקה מסדר ראשון שמתקבלת על ידי הוספת כמתים על תתי קבוצות של המודל, על פונקציות ועל יחסים.
חָדָשׁ!!: לוגיקה ולוגיקה מסדר שני · ראה עוד »
לוגיקה מתמטית
לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מגלמות מושגים אינטואיטיביים, כגון הוכחה או חישוביות.
חָדָשׁ!!: לוגיקה ולוגיקה מתמטית · ראה עוד »
לוגיקה אפיסטמית
לוגיקה אפיסטמית היא תת-תחום של לוגיקה מודלית שמתמקדת בניתוח פורמלי של ידיעה.
חָדָשׁ!!: לוגיקה ולוגיקה אפיסטמית · ראה עוד »
לוגיקה עמומה
לוגיקה עמומה, או לוגיקה מעורפלת (באנגלית: 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; בעברית אִפְרוּט) היא היסק הגיוני, הסקת מסקנות מן הכלל אל הפרט, זאת בניגוד לאינדוקציה בה המסקנות מתקבלות מן הפרט אל הכלל.
חָדָשׁ!!: לוגיקה ודדוקציה · ראה עוד »
דוגמה נגדית
בלוגיקה ובמתמטיקה, דוגמה נגדית היא שיטה להפרכה של טענות.
חָדָשׁ!!: לוגיקה ודוגמה נגדית · ראה עוד »
דיאלקטיקה
250px דיאלקטיקה (מיוונית: διαλεκτική - אומנות השיחה, הדיון או הוויכוח) היא מונח פילוסופי מערבי המשמש לתיאור שיטות שונות להשגת האמת או לתיאור תנועת ההתפתחות בעולם הרוח או החומר, או שניהם יחד.
חָדָשׁ!!: לוגיקה ודיאלקטיקה · ראה עוד »
דיאלוג
תבליט דיאלוג בין אפלטון ואריסטו על ידי לוקה דלה רוביה דִּיאָלוֹג (בעברית: דּוּ שִׂיחַ או שיח) הוא שיחה הדדית בין שתי ישויות או יותר.
חָדָשׁ!!: לוגיקה ודיאלוג · ראה עוד »
המאה ה-19
מפת העולם בשנת 1897, האימפריה הבריטית מסומנת באדום מהפכת יולי 1830המאה ה־19 היא תקופה שהחלה בשנת 1801 והסתיימה בשנת 1900.
חָדָשׁ!!: לוגיקה והמאה ה-19 · ראה עוד »
המאה ה-20
המאה ה-20 היא התקופה שהחלה בשנת 1901 והסתיימה בשנת 2000 (בין התאריכים 1 בינואר 1901 ל־31 בדצמבר 2000).
חָדָשׁ!!: לוגיקה והמאה ה-20 · ראה עוד »
המדינה (דיאלוג אפלטוני)
המדינה (וכן הפוליטאה או הרפובליקה; ביוונית Πολιτεία) הוא חיבור שנחשב לאחד מהחשובים ביותר של הפילוסוף היווני אפלטון.
חָדָשׁ!!: לוגיקה והמדינה (דיאלוג אפלטוני) · ראה עוד »
המושג סוס
בפילוסופיה של הלוגיקה של גוטלוב פרגה, "המושג סוס" הוא שמו של פרדוקס אליו פרגה נדחק בעקבות התנגדויות שמעלה בנו קרי להבחנתו של פרגה בין מושג ואובייקט.
חָדָשׁ!!: לוגיקה והמושג סוס · ראה עוד »
האנציקלופדיה לפילוסופיה מערבית
הכרך הראשון של המהדורה העברית האנציקלופדיה לפילוסופיה מערבית (באנגלית: The Concise Encyclopedia of Western Philosophy and Philosophers) היא אנציקלופדיה מקפת להיסטוריה של הפילוסופיה, זרמים והוגים.
חָדָשׁ!!: לוגיקה והאנציקלופדיה לפילוסופיה מערבית · ראה עוד »
האסכולה האלאטית
האסכולה האלאטית היא אסכולה בפילוסופיה הקדם-סוקרטית התופסת את המציאות כמהות אחת, קבועה, בלתי מונעת ובלתי משתנה.
חָדָשׁ!!: לוגיקה והאסכולה האלאטית · ראה עוד »
האוניברסיטה הפתוחה
פרופ' אברהם גינזבורג נשיא האוניברסיטה, ודורותי דה רוטשילד (במרכז), 1976 קמפוס האוניברסיטה הפתוחה ברמת אביב בשנת 1976 פרופ' אברהם גינזבורג באחד מטקסי חלוקת התארים הראשונים של האוניברסיטה הוילה באפקה שבה שכנו משרדי האוניברסיטה הפתוחה בתחילת דרכה, ב-1974 קמפוס האוניברסיטה הפתוחה ע"ש דורותי דה רוטשילד ברעננה (מבט אווירי) מרחבי הקמפוס ברעננה מרחבי הקמפוס ברעננה האוניברסיטה הפתוחה (בראשי תיבות: האו"פ) היא אחת מעשר האוניברסיטאות בישראל המוכרות על ידי המועצה להשכלה גבוהה.
חָדָשׁ!!: לוגיקה והאוניברסיטה הפתוחה · ראה עוד »
הנחה (לוגיקה)
הנחה בתורת ההגיון היא שם כולל לכל הטענות והאקסיומות בהיסק שאינן מסקנתו.
חָדָשׁ!!: לוגיקה והנחה (לוגיקה) · ראה עוד »
הסתברות
משחקי מזל והימורים מימין, ביצה בעלת חלמון כפול. סיכוי של 1 ל־1200 למציאת ביצה כזוComparisons, R 2020, Probability Comparison: Rarest Things in the Universe, online video, 6 April, viewed 10 May 2020,, Creative Commons license:.. הסתברות היא ביטוי מספרי למידת הסבירות שמאורע מסוים יתרחש.
חָדָשׁ!!: לוגיקה והסתברות · ראה עוד »
הפרדוקס של ראסל
הפרדוקס של ראסל הוא פרדוקס שהציע הפילוסוף והלוגיקן ברטראנד ראסל בשנת 1901, במכתב ששלח למייסדה של הלוגיקה המתמטית, גוטלוב פרגה.
חָדָשׁ!!: לוגיקה והפרדוקס של ראסל · ראה עוד »
הגדרה
הגדרה היא תיאור לשוני מדויק וממצה של מושג כלשהו.
חָדָשׁ!!: לוגיקה והגדרה · ראה עוד »
הוצאת רסלינג
#הפניה רסלינג.
חָדָשׁ!!: לוגיקה והוצאת רסלינג · ראה עוד »
הוכחה בדרך השלילה
בלוגיקה ובמתמטיקה הוכחה בדרך השלילה או הוכחה עקיפה היא שיטת הוכחה לפיה אם הפרכת טיעון מסוים מובילה לסתירה לוגית — הטיעון נכון.
חָדָשׁ!!: לוגיקה והוכחה בדרך השלילה · ראה עוד »
היסק
בתורת ההיגיון, היסק (באנגלית: Inference) הוא טיעון שמסקנתו נובעת מן הנחותיו.
חָדָשׁ!!: לוגיקה והיסק · ראה עוד »
ויליאם סטנלי ג'בונס
ויליאם סטנלי ג'בונס (באנגלית: William Stanley Jevons; 1 בספטמבר 1835 - 13 באוגוסט 1882) היה כלכלן ולוגיקן בריטי.
חָדָשׁ!!: לוגיקה וויליאם סטנלי ג'בונס · ראה עוד »
כמת
100px בלוגיקה, כַּמָּת הוא סמל המציין את התחולה של המשתנה הצמוד לו.
חָדָשׁ!!: לוגיקה וכמת · ראה עוד »
כריעות
בלוגיקה, בעיית הכרעה (בעיה שבה בהינתן קלט יש לתת תשובה של כן או לא) נקראת כריעה אם קיים אלגוריתם שקובע מה התשובה עבור קלט נתון.
חָדָשׁ!!: לוגיקה וכריעות · ראה עוד »
כשל לוגי
כשל לוגי הוא שגיאה בתהליך הסקת מסקנות מטיעון לוגי כאשר אמיתותה של המסקנה אינה תלויה בנכונותן של ההנחות שהיא מבוססת עליהן.
חָדָשׁ!!: לוגיקה וכשל לוגי · ראה עוד »
כתב מושגים
כתב מושגים (בגרמנית: Begriffsschrift) הוא ספרו הראשון של גוטלוב פרגה, אבי הלוגיקה המודרנית, ואחד מעמודי התווך של הפילוסופיה האנליטית של המאה העשרים.
חָדָשׁ!!: לוגיקה וכתב מושגים · ראה עוד »
כלל היסק
כְּלָלֵי הֶסֵּק (באנגלית: Inference rules, או Rules of inference) הם הכללים הבסיסיים ביותר בלוגיקה ובמתמטיקה, הקובעים מתי מותר לעבור מטענה אחת לטענה אחרת, כלומר להסיק או להוכיח אותה.
חָדָשׁ!!: לוגיקה וכלל היסק · ראה עוד »
כללי דה מורגן
כללי דה מורגן, הקרויים על-שמו של המתמטיקאי והלוגיקן בן המאה ה-19, אוגוסטוס דה מורגן, הם שני כללים בלוגיקה, בתורת הקבוצות ובאלגברה בוליאנית (בפרט, לוגיקה בוליאנית), הקושרים את הפעולות הבסיסיות בתחומים אלה.
חָדָשׁ!!: לוגיקה וכללי דה מורגן · ראה עוד »
יהושע בר-הלל
יהושע בר-הלל (8 בספטמבר 1915 – 25 בספטמבר 1975) היה פילוסוף ישראלי שנודע בעיקר במחקרו החלוצי בתחום תרגום באמצעות מכונה.
חָדָשׁ!!: לוגיקה ויהושע בר-הלל · ראה עוד »
יוונית
יוונית (- אֵלִינִיקַה) היא שפה הודו־אירופאית, שמוצאה באזור יוון של ימינו.
חָדָשׁ!!: לוגיקה ויוונית · ראה עוד »
מפנה מחדש כאן:
תורת ההגיון, תורת ההיגיון, לוגיקן.
אזכור
[1] https://he.wikipedia.org/wiki/לוגיקה
