جون باروايز

كان كينيث جون بارويز ( / ˈ b ɑːr w aɪ z / ؛ 29 يونيو 1942  - 5 مارس 2000) ^{[ 1 ]} عالم رياضيات وفيلسوف ومنطقي أمريكي اقترح بعض المراجعات الأساسية للطريقة التي يتم بها فهم المنطق واستخدامه.

ولد في إنديبندنس بولاية ميسوري ، لوالديه كينيث تي وإيفلين باروايز.

بدأ باروايز، تلميذ سولومون فيفرمان في جامعة ستانفورد ، أبحاثه في مجال المنطق اللانهائي . وبعد عمله في جامعتي ييل وويسكونسن ، حيث اتجهت اهتماماته خلال تلك الفترة نحو اللغة الطبيعية ، عاد إلى ستانفورد عام ١٩٨٣ ليدير مركز دراسات اللغة والمعلومات (CSLI). وبدأ التدريس في جامعة إنديانا عام ١٩٩٠. وانتُخب زميلًا في الأكاديمية الأمريكية للفنون والعلوم عام ١٩٩٩. ^{[ ٢ ]}

في سنته الأخيرة، دُعي بارويز لإلقاء محاضرة غودل لعام 2000 ؛ لكنه توفي قبل إلقاء المحاضرة. ^{[ 3 ]}

جادل بارويز بأنه من خلال توضيح السياق الذي تُطرح فيه القضية ، أي الموقف ، يمكن التخلص من العديد من المشكلات في تطبيق المنطق. وسعى إلى فهم المعنى والاستدلال ضمن نظرية عامة للمعلومات، تتجاوز نطاق الجمل والعلاقات بينها في أي لغة، سواء كانت طبيعية أو رسمية. وعلى وجه الخصوص، ادعى أن هذا النهج يحل مفارقة الكاذب . وقد استعان بنظرية المجموعات غير المؤسسة لبيتر أكسل في فهم " الحلقات المفرغة " في الاستدلال.

كان باروايز، إلى جانب زميله السابق في جامعة ستانفورد جون إتشيمندي ، مؤلف كتاب المنطق الشهير " اللغة، البرهان، والمنطق" . يتميز الكتاب باحتوائه على مسائل واجبات منزلية مُحوسبة، بعضها يُقدم تمثيلات بصرية للمسائل المنطقية. خلال فترة عمله في ستانفورد، كان أيضًا أول مدير لبرنامج الأنظمة الرمزية ، وهو برنامج دراسي مشترك بين الأقسام يركز على العلاقات بين الإدراك واللغة والمنطق والحوسبة. تُمنح جائزة ك. جون باروايز للمساهمات المتميزة في برنامج الأنظمة الرمزية بشكل دوري منذ عام 2001. ^{[ 4 ]}

• باروايز، كيه جيه (1975) المجموعات والهياكل المقبولة: مدخل إلى نظرية التعريف ISBN 0-387-07451-1
• باروايز، كيه جيه وبيري، جون (1983) . المواقف والاتجاهات . كامبريدج: مطبعة معهد ماساتشوستس للتكنولوجيا. ISBN 1-57586-193-3^{[ 5 ]}
• باروايز، كيه جيه وإيتشمندي، جيه. (1987) الكاذب: مقال في الحقيقة والدائرية ISBN 0-19-505944-1^{[ 6 ]}
• باروايز، كيه جيه (1988) الوضع في المنطق ISBN 0-937073-32-6
• باروايز، كيه جيه وموس، إل. (1996) الحلقات المفرغة: في رياضيات الظواهر غير المؤسسة على أسس متينة. ISBN 1-57586-008-2^{[ 7 ]}
• باروايز، ك. ج. وسيليغمان، ج. (1997) تدفق المعلومات: منطق الأنظمة الموزعة ISBN 0-521-58386-1
• باروايز، كيه جيه وإيتشمندي، جيه. (2002) اللغة، البرهان والمنطق ISBN 1-57586-374-X
• بارويز، كيه جيه (محرر) (1977) دليل المنطق الرياضي . 1165 صفحة + 11 صفحة تمهيدية . رقم ISBN 0-7204-2285-X
• باروايز، ج. وفيفيرمان، س. (محرران) (1985) منطق نظرية النموذج . 893 صفحة + x صفحة تمهيدية . رقم ISBN 0-387-90936-2

• جائزة باروايز
• نظرية باروايز للتراص
• حجة المقلاع

• في رثاء : كينيث جون باروايز بقلم سولومون فيفرمان، نشرة المنطق الرمزي، المجلد 6 (4)، ديسمبر 2000، الصفحات 505-508 ( PostScript )
• ك. جون (كينيث) باروايز في مشروع علم الأنساب الرياضي