Вальтер Карниелли - Walter Carnielli

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

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

Области, представляющие интерес

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

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

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

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

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

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

Карниелли был директором Центра логики, эпистемологии и истории науки в UNICAMP в течение трех сроков, а также был президентом Бразильского общества логики. Он отличался Александр фон Гумбольдт Грант для долгосрочного исследовательского пребывания в Германии и работал редактором и / или членом редакционных советов крупных журналов, таких как Studia Logica, Логика и логическая философия, Журнал прикладной логики,Электронная печать CLE, Отчеты по математической логике и Журнал прикладной неклассической логики. Он является лауреатом Золотой медали Телезио-Галилея 2012 года в области философии и математики.

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

Статьи

В. А. Карниелли. О задачах раскраски и покрытия ладейных областей Дискретная математика 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.
В. А. Карниелли (совместно с П. А. С. Велозу). Логика ультрафильтра и общие рассуждения. In Computational Logic and Proof Theory (Vienna, 1997), pp. 34–53, Lecture Notes in Computer. Science 1289, Springer, Berlin, 1997.
В. А. Карниелли. Семантика возможных переводов для паранепротиворечивых логик. В: Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, pp. 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 Том 18, Выпуск 1, 2008 г., стр.123-151.

В. А. Карниелли (совместно с Дж. Расга и К. Сернадасом). Интерполяция через переводы. Математическая логика

Ежеквартальный Том 55, выпуск 5, 2009 г., страницы 515-534.

В. А. Карниелли (совместно с Дж. К. Агудело). Параконсистентные машины и их отношение к квантовым вычислениям. Журнал логики и вычислений Том 20, выпуск 2, 2010 г., страницы 573-595.

Книги

Р. Л. Эпштейн и В. А. Карниелли. Вычислимость: вычислимые функции, логика и основы математики, с временной шкалой Вычислимость и неразрешимость. Второе издание. Wadsworth / Thomson Learning, Белмонт, Калифорния, 2000.
В. А. Карниелли и К. Пицци. Modalità e multimodalità. Франко Анджели, Милан, 2001 г.
В. А. Карнелли, Р. Л. Эпштейн Computabilidade: Funções Computáveis, Lógica e os Fundamentos da Matemática Победитель 2007 года Премия Джабути, престижная литературная премия Бразилии.
В. А. Карниелли и К. Пицци. Модальности и мультимодальности. Springer-Verlag), 2008.
В. А. Карниелли, М. Э. Конильо, Д. Габбай, П. Гувейя и К. Сернадас. Анализ и синтез логики. Как вырезать и вставлять системы рассуждений. Серия прикладной логики, Springer, 2008.