Уолтер Карниелли

Уолтер Карниелли в Беркли в 1984 году.

Уолтер Александр Карниелли (родился 11 января 1952 года в Кампинасе , Бразилия ) — бразильский математик , логик и философ , профессор логики в Государственном университете Кампинаса . После получения степени бакалавра и магистра наук. степени по математике в Государственном университете Кампинаса, он также получил степень доктора философии. в 1984 году — под руководством Ньютона да Кошты ; впоследствии он работал постдоком в Калифорнийском университете в Беркли по приглашению Леона Хенкина .

Области интересов

Многозначная логика и паранепротиворечивая логика

Карниелли внес вклад в теорию доказательств и семантику многозначных логик и паранепротиворечивых . Его табличный метод многозначной логики обобщил все предыдущие трактовки предмета. Его предложение семантики возможных переводов (новая семантическая интерпретация паранепротиворечивой логики) способствовало возрождению философской интерпретации паранепротиворечивой логики.

Логика формальной несогласованности, которая систематизирует большой класс паранепротиворечивых логик, открыла путь к применению паранепротиворечивости в информатике и к новым философским исследованиям паранепротиворечивости.

Комбинаторика, модулированная логика и комбинации логик

Он также опубликовал работы по конечной и бесконечной комбинаторике и разработал (совместно со своими сотрудниками А. М. Сетте и П. А. Велозо) модулированную логику, новый вид логики, который позволяет формализовать качественные рассуждения с помощью специальных обобщенных кванторов. Его исследования также включают теорию моделей , неклассическую логику , основы квантовых вычислений и комбинации логик.

Должности и награды

Карниелли три срока занимал должность директора Центра логики, эпистемологии и истории науки в UNICAMP, а также был президентом Бразильского общества логики . Он был награжден стипендией Александра фон Гумбольдта за долгосрочное исследовательское пребывание в Германии и работал редактором и/или членом редакционных коллегий крупных журналов, таких как Studia Logica , Logic and Logical Philosophy , Journal of Applied Logic , Электронная печать CLE , отчеты по математической логике и журнал прикладной неклассической логики . В 2012 году он получил золотую медаль Телезио-Галилея в области философии и математики.

Избранные публикации

Статьи

• В. А. Карниелли. О задачах раскраски и покрытия ладейных областей, Discrete Mathematics 57 (1985), стр. 9–16.
• В. А. Карниелли. Систематизация конечных многозначных логик методом таблиц. Журнал символической логики 52 (2), 1987, стр. 73–493.
• В.А. Карниелли (совместно с Ньютоном К.А. да Коста). Паранепротиворечивая деонтическая логика. Философия – Филос. Ежеквартальный журнал Израиля , том 16, номера 3 и 4 (1988), стр. 293–305.
• В. А. Карниелли. Неравенства в области гиперладей. Исследования по прикладной математике (Массачусетский технологический институт) 82, \ n.1 (1990), стр. 59–69.
• В.А. Карниелли (совместно с К.А. Ди Приско). Некоторые результаты о поляризованных соотношениях распределения более высокой размерности. Mathematical Logic Quarterly 39 (1993), стр. 461–474.
• В.А. Карниелли (совместно с PAS Veloso). Ультрафильтрационная логика и общие рассуждения. В книге «Вычислительная логика и теория доказательств» (Вена, 1997), стр. 34–53, Конспекты лекций по компьютеру. Science 1289, Springer, Берлин, 1997.
• В. А. Карниелли. Семантика возможных переводов для паранепротиворечивой логики. В: Границы паранепротиворечивой логики: материалы I Всемирного конгресса по паранепротиворечивости, Гент, 1998, стр. 159–72, под редакцией Д. Батенса и др., Kings College Publications, 2000.
• В. А. Карниелли (совместно с Э. Л. Монте Кармело). K2,2-K1,n и K2,n-K2,n двудольные числа Рамсея. Дискретная математика , Vol. 223 (1–3), 2000, стр. 83–92.
• В.А. Карниелли (совместно с К. Сернадасом и Дж. Расгой). Модулированное расслоение и проблема коллапса. Журнал символической логики 67 (4) 2002, стр. 1541–1569.
• В.А. Карниелли (совместно с Дж. Маркосом). Таксономия C-систем. В: Паранепротиворечивость - логический путь к противоречивому, Конспекты лекций по чистой и прикладной математике, Vol. 228, стр. 01–94, 2002 г.
• В.А. Карниелли (совместно с К. Калейро, М. Е. Конильо и Х. Маркосом). Компания двоих: обман многих логических ценностей. В: Logica Universalis (редактор Ж.-Ю. Безио). Базель: Биркхойзер, 2005, с. 169-189.
• В.А. Карниелли (с ПРО Бруннер). Антиинтуиционизм и паранепротиворечивость . Журнал прикладной логики , том 3, выпуск 1, март 2005 г., страницы 161–184.
• В.А. Карниелли (совместно с М.Э. Конильо). Разделение логики. В кн.: Мы им покажем: Очерки в честь Дова Габая. (Редакторы С. Артемов , Х. Барринджер, А. С. Авила Гарсез , Л. Лэмб и Дж. Вудс). Лондон: Публикации Королевского колледжа, 2005, т. 1, с. 389-414.
• В.А. Карниелли (совместно с М.Э. Конильо и Дж. Маркосом). Логика формального противоречия. В: Справочник по философской логике, вып. 14, стр. 15–107. Ред.: Д. Габбай; Ф. Гентнер. Спрингер, 2007.
• В.А. Карниелли (совместно с М.Э. Конильо. Объединение логики. Стэнфордская энциклопедия философии , 2007.
• В.А. Карниелли (совместно с Дж. Расгой и К. Сернадасом ). Сохранение особенностей интерполяции путем расслоения. Mathematical Logic Quarterly Volume 18, выпуск 1, 2008 г., страницы

123-151.

• В.А. Карниелли (совместно с Дж. Расгой и К. Сернадасом ). Интерполяция через переводы. Mathematical Logic Quarterly Volume 55, выпуск 5, 2009 г., страницы 515–534.
• В. А. Карниелли (совместно с Дж. К. Агудело). Паранепротиворечивые машины и их связь с квантовыми вычислениями. Журнал логики и вычислений , том 20, выпуск 2, 2010 г., страницы 573–595.

Книги

• Р.Л. Эпштейн и В.А. Карниелли. Вычислимость: вычислимые функции, логика и основы математики, с временной шкалой «Вычислимость и неразрешимость» . Второе издание. Уодсворт/Thomson Learning, Бельмонт, Калифорния, 2000 г.
• В.А. Карниелли и К. Пицци. Модальность и мультимодальность . Франко Анджели, Милан, 2001 год.
• В.А. Карниелли и Р.Л. Эпштейн. Вычислимость: вычислимые функции, логика и основы математики. 2007 года Лауреат премии Джабути , престижной литературной премии в Бразилии.
• В.А. Карниелли и К. Пицци. Модальности и мультимодальности . Спрингер-Верлаг), 2008.
• В.А. Карниелли, М.Е. Конильо, Д. Габбай, П. Гувейя и К. Сернадас . Анализ и синтез логики. Как вырезать и вставлять системы рассуждений . Серия «Прикладная логика», Springer, 2008.

Ссылки

Источники

• «Вальтер Александр Карниелли» . Институт философии и гуманитарных наук – аспирантура по философии . Проверено 3 мая 2024 г.
• «Члены — Вальтер Александр Карниелли» . ИТ-Институт Телекоммуникаций . Проверено 3 мая 2024 г.
• «Профессор доктор Вальтер Карниелли» . CLE-Юникамп . Проверено 3 мая 2024 г.