Формальная логика



страница6/15
Дата27.01.2013
Размер0.71 Mb.
ТипДокументы
1   2   3   4   5   6   7   8   9   ...   15

ПОСРЕДСТВЕНННОЕ СВОЙСТВО ФОРМЫ ЛОГИКИ

Математическая логика


Соответственно, и множество становится моментом логики. Отображая общее свойство, множества представляют собой отображение всех свойств бытия. И тогда в логике единство бытия представляет собой отношение множеств друг к другу, как отображение отношения свойств бытия в единстве бытия.

Множества, обладая свойством числа, также могут быть просто обозначены каким-либо знаком, символом, которому назначается выражение соответствующего свойства бытия. Поэтому точно так же как и в математике, в посредственности логики бытия, в отображении логики, свойство множеств обозначаются каким-либо назначенным символом свойства. Обозначение формы символом должно быть понятно всем, а потому символ наделяется смыслом формы, обозначает смысл формы, и понимание символа становится одинаковым для всех, кто обращается к символам форм в поиске знаний логики. То есть, символу просто назначается какое-то принятое гласно или негласно оговоренное или договорное значение.

Но свойства множеств отличаются от свойства числа, поэтому с множествами нельзя производить математические действия. Различные свойства не могут складываться, вычитаться, делиться или перемножаться. Из свойства твердости нельзя вычесть свойство температуры. Однако, в непосредственности, в каждом непосредственном явлении бытия, его различные свойства представлены в единстве непосредственного явления бытия. Стол обладает как свойством твердости, так и свойством температуры. Поэтому в посредственности логики, в отображении логики бытия, различные свойства могут быть сведены в единство простым механическим отнесением одного символа к другому. И это механическое отнесение одного символа к другому, можно назвать общим термином, подходящим для обозначения любого и произвольного отнесения, и самый подходящий по смыслу термин мы знаем как операция.

Таким образом, само логическое суждение, в котором определяется что-либо, может быть представлено в виде формальной записи операции с символами, которую мы уже знаем как формула. Символизация формы и взаимосвязи, замена суждений операциями с символами, неотвратимо приводит к формальной записи вместо суждений. Суждение теперь выражается не своим смыслом, не словом и предложением, а формулой.

Символизация и механическое оперирование, превращают логику из процесса развития, коим является процесс познания, в простой механический процесс формального оперирования символами. И это оперирование символами мы знаем как математическую логику.


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

Таким образом, формальный метод логики, уведя нас в оторванную от реальности машинную логику, не позволит найти нам логику действительности. Поэтому мы должны вернуться в то место, где наше исследование ушло в тупик формального метода, в явление формы.

***

ДИАЛЕКТИЧЕСКАЯ ЛОГИКА

СОСТОЯНИЕ ДИАЛЕКТИЧЕСКОЙ ЛОГИКИ

Отрицание формы


Но так как непосредственная форма нами уже рассматривалась и привела к формальной логике, то мы должны просто отринуть форму из рассмотрения. Мы здесь отрицаем форму непосредственности явлений действительности, то есть, совокупность их конкретных свойств, из которых построена наша форма явления, и в которых мы определили явление в рамках формальной логики. Таким образом, первым пунктом логики действительности, или диалектической логики, является отрицание формы, определённой формальным методом.

И здесь не имеет значения – субъективна эта форма или нет, правильно определяет явление или неправильно. При этом само понятие формы даже в формальной логике не определена должным образом, а по большому счету, и не может быть определена. Так даже форма самой формальной логики пестрит разнообразием. Мы можем встретить такую форму: «Логика – это наука о правильном мышлении.» Можем встретить и такую: «Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения.» И такую: «Формальная логика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий.» Можно найти целое множество форм логики, но все они будут субъективны, поскольку базовые, начальные положения вводятся а форме аксиом, а не логически доказательных положений.

Состояние нечто


После отрицания формы, у нас остается то, что мы уже определи в формальной логике — бытие и логика бытия, как состояние нечто.
1   2   3   4   5   6   7   8   9   ...   15

Похожие:

Формальная логика iconБ. М. Лепешко Формальная логика и детективный жанр: единство эвристической достоверности
Более того, детективный жанр и формальная логика как наука имеют некое “общее поле” исследования, связанное с такими классическими...
Формальная логика iconВопросы А. И. Мигунова к зачету или экзамену по курсу «Логика [Часть Формальная логика]»

Формальная логика icon2. Логика и язык
Логическая форма мысли. Понятие формально-логического закона. Правильные и неправильные умозаключения. Установление неправильности...
Формальная логика iconПреподаватель: Уакиев Валериан Савирович рекомендуемая литература
В обыденной жизни часто встречаемся с понятием «логика», например логика женская, мужская, математическая, кибернетическая, формальная,...
Формальная логика iconФормальная логика и творческий интеллект
По мнению Д. Гильберта и В. Аккермана, такая логика “делает возможным успешный охват проблем, перед которыми принципиально бессильно...
Формальная логика iconВопросы к экзамену Формальная логика как наука. Значение логики для профессиональной деятельности юриста
Формальная логика как наука. Значение логики для профессиональной деятельности юриста
Формальная логика iconОсновы логического программирования Исчисление высказываний пропозициональная логика
Исчисление высказываний (пропозициональная логика) — это формальная теория, основным объектом которой служит понятие логического...
Формальная логика iconРассуждение о логике
Формальная логика только кажется надёжной и незыблемой. Однако сила её вовсе не так велика, как мы привыкли думать. Эта наука основана...
Формальная логика iconТеория юридической аргументации. Опыт критического осмысления
Формальная логика позволяет анализировать судебные решения, но юридическая аргументация обладает рядом специфических черт, сильно...
Формальная логика iconЛекция В. Б. Борщев и B. H. Partee. Казань, кгу, Апрель 2003 стр
Лекция Формальная семантика (продолжение). Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org