В Приложениях даны некоторые более трудные и специальные темы философии науки и медицины.
Приложение 1
ГИПОТЕТИКО-ДЕДУКТИВНАЯ МОДЕЛЬ НАУЧНОЙ ТЕОРИИ
При построении гипотетико-дедуктивной модели используют некоторый формальный язык, например язык первого порядка. Как это было описано выше, строят алфавит и выражения языка, определяют его логику. Ниже будут кратко описаны эти три этапа для некоторого языка первого порядка L.
Алфавит языка первого порядка L
Алфавит представляет множество символов следующих видов:
• x, y, z,... - символы переменных (они могут использоваться также вместе с различными индексами, например х1, х2, y5, z* и др.);
• с1, с2,... - константы;
• f, g, h, ... - функциональные символы (могут использоваться с различными индексами);
• P, Q, R, ... - предикатные символы (также могут использоваться с различными индексами);
• ˥, ˅ - символы логических связок;
• (,) - скобки.
В алфавите обязательно должны присутствовать символы вида (1), (4), (5) и (6). Остальные символы могут отсутствовать. Для каждого из функциональных или предикатных символов должна быть задана местность, то есть то число аргументов, для которых этот символ определен.
Например, функциональный символ f местности 2 служит именем для некоторой двухместной функции, например сложения + . Предикатный символ Р местности 1 служит именем для некоторого свойства (одноместного предиката), определенного в той или иной структуре,
и т.д. Часто предполагают также, что среди предикатных должен присутствовать двухместный символ, обозначающий отношение равенства на элементах структуры.
Алфавит языка первого порядка строят так, чтобы его элементы могли служить именами для различных составляющих математической структуры. Константы призваны обозначать какие-то отдельные элементы структуры, функциональные символы - функции, предикатные - предикаты. Нужно различать сам объект и его имя. Например, функциональный символ f в языке - еще не функция, это только этикетка, символ для обозначения какой-то функции. Именно поэтому, описывая алфавит, нужно помнить, что имеют дело с чистыми знаками, которые еще не обозначают каких-то конкретных объектов. В этом проявляется формальность языка первого порядка. Он похож на некоторое собрание символов, которые еще не наполнены содержанием, еще только могут что-то обозначить, но пока выступают пустыми формальными оболочками возможных будущих смыслов.