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

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

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

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

16 יחסים: אקסיומה, אריסטו, אופרטור, אינטרוספקציה, סמנטיקה, סול קריפקי, ערך אמת, שפה פורמלית, תורת ההכרה, לוגיקה מודלית, ג'ון דנס סקוטוס, המאה ה-20, ויליאם איש אוקאם, יאקו הינטיקה, יחס שקילות, יוון הקלאסית.

אקסיומה

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

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

אריסטו

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

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

אופרטור

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

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

אינטרוספקציה

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

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

סמנטיקה

סמנטיקה (מיוונית: Σημαντικός) היא חקר המשמעות.

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

סול קריפקי

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

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

ערך אמת

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

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

שפה פורמלית

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

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

תורת ההכרה

תורת ההכרה (אֶפִּיסְטֵמוֹלוֹגְיָה; מיוונית עתיקה: אפיסטמֶה (ἐπιστήμη) – ידע, לוגיה (λογία) פירושה "תורה") היא ענף של הפילוסופיה, המתרכז במהות וגבולות הידיעה.

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

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

לוגיקה מודָלית (Modal Logic) היא הרחבה של הלוגיקה הקלאסית, המאפשרת הגדרה פורמלית של ביטויים מודליים.

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

ג'ון דנס סקוטוס

ג'ון דנס סקוטוס (בלטינית: Joannes Duns Scotus, "יוחנן איש דנס הסקוטי"; סביב 1265 - 8 בנובמבר 1308) היה תאולוג ופילוסוף פרנציסקני סקוטי.

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

המאה ה-20

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

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

ויליאם איש אוקאם

סארי ויליאם איש אוקאם (באנגלית: William of Ockham; בסביבות 1285 – 1349) היה נזיר פרנציסקני ופילוסוף אנגלי, מאוקאם, כפר קטן במחוז סארי שבדרום מזרח אנגליה.

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

יאקו הינטיקה

יאקו הינטיקה ב-2013 יאקו הינטיקה (בפינית: Kaarlo Jaakko Juhani Hintikka; 22 בינואר 1929 - 12 באוגוסט 2015) היה פילוסוף ולוגיקן פיני.

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

יחס שקילות

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

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

יוון הקלאסית

יוון הקלאסית הוא כינוי מקובל לתקופה היסטורית בת כ־150–200 שנה בתולדות יוון העתיקה, שתחילתה במאה ה־5 לפנה"ס וסופה במאה ה־4 לפנה"ס.

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

אזכור

[1] https://he.wikipedia.org/wiki/לוגיקה_אפיסטמית

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