/ (от лат. falsus — ложный, facio - делаю)  -процедура, устанавливающая ложность теории или гипотезы в ре­зультате эмпирической проверки. Понятие Ф. является фун­даментальным в методологической концепции К. Поппера, который обосновал важность этой процедуры для развития науки. С логической точки зрения процесс Ф. описывается схемой модус толленс. Из проверяемой теории Т дедуцируется некоторое эмпири­ческое предложение a, т. e. согласно правилам классической матема­тической логики имеет место Т ->> A. Посредством эмпирических методов познания (наблюдения, измерения или эксперимента) пред­ложение А сопоставляется с реальным положением дел. Выясняется, что A ложно и истинно предложение ~А (не-А). Из Т -> A и ~А следует ~ Т, т. е. ложность теории Т. Когда речь идет об изолированном предложении или гипотезе невысокого уровня общности и абстрактности, фальсифицирую­щий вывод часто оказывается полезным и помогает отсечь ложные предложения. Однако если мы рассматриваем сложную, иерархичес­ки упорядоченную систему предложений — теорию, то дело обстоит вовсе не так просто. Процедура Ф. обнаруживает только столкнове­ние теории с фактом, но не говорит нам, какой член противоречия ложен - теория или факт. Почему мы обязаны считать, что ложной является именно теория? Быть может, ложным является факт, кото­рый установлен в результате «грязного» эксперимента, неправильно истолкован и т. п.? К этому добавляется еще одно соображение. Из одной теории обычно нельзя вывести эмпирического предложения. Для этого к теории нужно присоединить специальные правила, дающие эмпири­ческую интерпретацию терминам теории, и предложения, описываю­щие конкретные условия эмпирической проверки. Т. о., эмпиричес­кое предложение А следует не из одной теории Т, а из Т плюс правила эмпирической интерпретации плюс предложения, описыва­ющие конкретные условия. Если учесть это обстоятельство, то сразу же становится ясным, что из ложности предложения А мы не имеем права делать вывод о ложности теории Т. Ложная посылка может входить в добавляемые правила или предложения. Вот поэтому в   реальной науке, обнаружив столкновение теории с некоторым фак­том, ученые вовсе не спешат объявлять теорию ложной. Они еще и еще раз проверяют чистоту экспериментов, предпосылок, на которые опираются истолкование экспериментальных результатов, звенья фальсифицирующего вывода и т. д. Только тогда, когда таких фак­тов накопится достаточно много и появится гипотеза, успешно их объясняющая, ученые начинают склоняться к мысли о том, что их теория, возможно, ложна. Несмотря на все трудности применения, процедура Ф. использу­ется в качестве одного из критериев научности гипотез и теорий. Всякая гипотеза или теория должна допускать возможность своего опровержения — только в этом случае она заслуживает серьезного рассмотрения. Если некоторая гипотеза в принципе неопровержима, то это означает, что она ничего не говорит о мире и не может прийти в столкновение с фактами. Следовательно, она ненаучна. Поэтому при выдвижении новых гипотез и теорий следует указы­вать, при каких условиях можно будет считать, что они опроверг­нуты. Если такие условия сформулировать нельзя, нет смысла рассматривать предложенную гипотезу или ставить эксперимент для ее опровержения. / преследовать корысть в предмете математики значит преследовать в достижении математики саму математику а не своё в ней что то от неё отличное ибо будет следствие причины а не то что представлялось вот так и в боге корысть ваша бог а не ваши в нём чего то там в нём им ли примерь в чём разошлись религии в боге ли не в своих ли его творчествах о которых бог велел бодрствуйте вы их дабы они вас не слепили ещё раз необоснованно желать обосновано обжечься

/ см.: Силлогизм. / видишь ли на том ином образе можно выстроить то иное в ход для шаха в предвкушении мата к примеру на фигуре силлогизма можно рассказать о четырёх случаях 1)(пророки говорят бога)+(я пророк)=(я говорю бога) как на примере математики (математики говорят математику)+(человек математик)=(он говорит математику) 2)(пророки говорят знание)+(лжепророки не говорят знание)=(лжепророки не пророки) как на примере (математики говорят математику как знание)+(её незнающие не говорят её волю)=(незнающие не являются математиками) 3)(все пророки люди с головами и руками)+(все пророки пророки не во всём)=(пророки не во всём люди с головами и руками) как на примере математики (он в математике силён)+(в остальном же как сказать)=(компетентный в своём деле скажет дело а не то что не оно) видишь как спецы и не в своём делом вообще и не заняты ибо что ни дело не своё то и делалось сойдёт примерь бабки делать научился ну и бога заодно примеряет на себя мол что там бог когда вот бабки разводить в политике народ не плодиться множиться людьми вот и этим как ты скажешь о себе 1.1.1.27 когда 28 примеряют на себя научился делать дело мол имеет руки с плеч ну и к богу с рукавами до пола мол чело ему тут и не надо итэдэ 4)(все пророки мудрецы)+(ни один из мудрецов в боге не ошибся)=(кто ошибся тот и лжёт а не пророк 2.27.1616) как на примере (математики как математика)+(математики не как ошибка)=(ошибки в математике не от математиков) ещё раз берёте сами справочник по логике и к богу с челобитной прости мол дураков растящих головы не с мест тобою предназначенных заметь как бог велел не где попало с кем попало богу кланяться а только там где верно его имя

/ см.: Онтологическая модальность. / ((разумно то что истинно) да и (истинно то что разумно))+((истинно то что вечно) да и (вечно то что истинно))+((господне то что присуще) да и (суще то что божье))+((судно то что разумно) да и (разумно то что судно))+((превосходно то что просвещённо) да и (просвещённо то что превосходно))+((реально то что мыслимо) да и (мыслимо то что реально))+((вечно то что божье) да и (божье то что вечно))+((сопоставимо то что сопоставляемо) да и (сопоставляемо то что сопоставимо))+((мыслимо то что рассудительно) да и (рассудительно то что мыслимо))+((мудро то что лучше) да и (лучше то что мудро))=((добро то что дар) да и (дар то что добро))х((щедр кто хорош) да и (хорош кто щедр)) ещё раз (истина/разум)+(вечность/истина)+(обладатель/господь)+(разум/судья)+(сознание/превосходство)+(мысль/творец)+(творец/вечность)+(господь/обладатель)+(судья мысль)+(превосходство/сознание)=(добро/добро)х(податель/податель)

/ - название, используемое иногда для обозначения разнообразных приложений идей и аппарата совре­менной формальной логики для анализа понятий и проблем фило­софии. Хотя формальная логика еще в прошлом веке отделилась («отпочковалась») от философии и перестала быть «философской дисциплиной», традиционная связь между этими науками не обо­рвалась. Обращение к философии является необходимым условием прояснения оснований логики. С другой стороны, применение в философии понятий и методов логики позволяет глубже осмыслить некоторые философские проблемы. «Философская логика» не явля­ется собственно логикой. Это — философия, точнее отдельные ее фрагменты, но трактуемые с применением не только естественного языка, дополненного определенной философской терминологией, но и с помощью искусственных (формализованных) языков логики. Последние позволяют придать ряду философских проблем недоста­ющую им точность, провести более ясные границы между философ­скими принципами, выявить логические их связи и т. п. Далеко не все философские проблемы допускают «логическую обработку», сама возможность последней не означает, что проблема, являющаяся по сути своей философской, превращается в проблему логики. Из числа философских проблем, при обсуждении которых целесо­образно использовать логику, можно упомянуть проблемы научного закона, необходимости, причинности, детерминизма, объяснения и понимания, изменения и становления, искусственного интеллекта, ценностей и моральных принципов и др. Рассмотрение всех этих тем с привлечением логики не означает подмены ею философии. Логика только предоставляет средства, позволяющие философии с большей строгостью и убедительностью решать свои проблемы. В свою оче­редь, логика, используемая в философском анализе, сама получает мощные импульсы в результате обратного воздействия своих прило­жений. Имеет место именно взаимодействие логики и философии в исследовании определенных проблем, а не простое применение гото­вого аппарата логики к / философия это не столько любить мудрость сколько любовь мудрых ибо любят то и дураки оттого и глупа мудрость в интерпретации немудрых ещё раз кто бога с мудростью не вяжет тот вяжет бога далеко не с ней вот так казалось мудры сами да оказалось фило без софи таких же я

/ (от лат. forma — вид, образ)  — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соот­ветствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов. Ф. уточняет содер­жание путем выявления его формы и может осуществляться с раз­ной степенью полноты. Выражение мышления в естественном языке можно считать пер­вым шагом Ф. Дальнейшее ее углубление достигается введением в обычный язык разного рода специальных знаков и созданием час­тично искусственных и искусственных языков. Логическая Ф. направлена на выявление и фиксацию логической формы выводов и доказательств. Полная Ф. теории имеет место тог­да, когда совершенно отвлекаются от содержательного смысла ее исходных понятий и положений и перечисляют все правила логи­ческого вывода, используемые в доказательствах. Такая Ф. включает в себя три момента: 1) обозначение всех исходных, неопределяе­мых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил преобразования данных фор­мул для получения из них новых формул (теорем). В формализованной теории доказательство не требует обращения к содержанию используемых понятий, их смыслу. Доказательство является здесь последовательностью формул, каждая из которых либо есть аксиома, либо получается из аксиом по правилам вывода. Про­верка такого доказательства (но не его отыскание) превращается в чисто механическую процедуру, которая может быть передана вычислительной машине. Ф. играет существенную роль в уточнении научных понятий. Мно­гие проблемы не могут быть не только решены, но даже сформулированы, пока не будут формализованы связанные с ними рассуж­дения. Так обстоит дело, в частности, с широко используемым по­нятием алгоритма и вопросом о том, существуют ли алгоритмически неразрешимые проблемы. Только с Ф. арифметики появилась возможность поставить воп­рос, охватывает ли формализованная арифметика всю содержатель­ную арифметику. Как показал К. Гёдель, достаточно богатая содер­жанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями после­дняя, в теории всегда останется невыявленный, неформализованный остаток (см.: Гёделя теорема). / 1.11.18.21 ещё раз если бог мудрость то какие в нём могут быть глупости если заняты глупостями то какой ими может быть бог 1.6.7 так что определитесь наконец то если бог вам господь то и последуйте за мудростью а если глупости вам бог то всё то ваши веры в нём а не его воля мёд с гавном соединять и вас насиловать двумя мол ложка бочку не испортит да ну примерь и в чём же мудрость христа смотреть по дню календаря или прислушиваться к тем кто поправляет в боге богом и в чём же богу служим как не в результатах или с вас достаточно процесса 1.1.4.3 ну и прочее в сём роде мёртвым петь чтоб не ещё уже совсем отпетым

/ или: Л о г и к а,  — наука, занимающая­ся анализом структуры высказываний и доказательств, обраща­ющая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма). Определение «формальная» было введе­но И. Кантом (1724—1804) с намерением подчеркнуть ведущую особенность Ф. л. в подходе к изучаемым объектам и отграничить ее тем самым от других возможных логик. / верить в бога без веры богу то же что верить в математику в нарушение её математики ещё раз верят по традиции отцов тут традиции на смену бог приводит бога ну и чем закончится с ним ваша встреча евангелием очередным мол сей грех на вас и ваших детях да ради бога бог сказал и дал себя на умерщвление ебитесь мол авось и за не за горами заметь никакой конкретики а как конкретно     

/ см.: Суппозиция. / номинаты денотаты десигнаты отцы дети духи атрибуты модусы тэдэ видишь как одно и то же может быть не одним тем же ещё раз на примере математики не той которая как словесное обозначение её предмета а то которая как математическое обозначение ею решаемого заметь как в боге так как в математике вот так вот мантра кришны не то что на устах а то что на уме примерь без смысла повторять без толку время проводить а смысл искать у бога толку научиться 

/ — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, ма­нипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включает­ся в теорию. Поэтому более точно Ф. т. можно определить как упорядоченную тройку (L, A, C), где L представляет формализо­ванный язык, A — множество аксиом и С — множество правил вывода. Ф. т. обычно строится следующим образом. Вначале задается алфа­вит языка — набор исходных символов, включающий в себя симво­лы для индивидных констант и переменных, для предикатов и функ­ций, для логических связок и кванторов. Затем определяется понятие правильно построенной формулы. Это определение дол­жно быть эффективным, т. е. должна существовать эффективная про­цедура, позволяющая для произвольной последовательности симво­лов решить, является ли она правильно построенной формулой. Из множества формул выбирается некоторое подмножество аксиом. Оп­ределение аксиомы также должно быть эффективным. Наконец фор­мулируются правила вывода, позволяющие получать из одних фор­мул другие. Добавляя к алфавиту языка новые математические, физические и др. символы и присоединяя к аксиомам дополнительные математические или конкретно-научные принципы, получают формальную конкретно-научную теорию. Примерами Ф. т. являются: пропозицио­нальное исчисление, исчисление предикатов, теория порядка, тео­рия групп, теория решеток, теория множеств и т. п. / вот так писания и создавались вначале видели что говорить затем искали как сказать а после говорили найденным увиденное ещё раз ну и скажите зачем вам знать когда и так всё знаете ну и на засыпку а если знаете зачем вы знанию когда мертвы и сами и оно чрез вас живущих якобы сим благом  

/ или: Формы мышления,  — в традици­онной логике основными формами мысли считаются понятие, суж­дение и умозаключение. Каждая из этих основных форм имеет многочисленные разновидности. / по мне так приём мышления оператор мышления и аспект мышления определяют совокупность мышления примерь понятие как оператор мы им оперируем в ходе мысленного процесса суждение как приём мы в нём бессознательно или сознательно применяем подходы мыслительного решения умозаключение как аспект мы именно со своей позиции находим обоюдно приемлемую ещё раз когда ты видишь то видишь и другими когда же слеп то и в своём преткнёшься а у других подавно

/ — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак «+» можно рассматривать как Ф., преобразующий два числа в некоторое третье число. В зависимости от числа объектов, к которым применяется Ф., последние разделяются на нуль-местные, одноместные, двухместные и т. д. К числу нуль-местных Ф. в математической логике относят константы — индивидные и пропозициональные. Одноместными Ф. будут знаки отрицания, необходимости, возможности и т. п., двух­местными Ф. — бинарные логические связки: конъюнкция, дизъюнк­ция, импликация и т. п. Иногда Ф. подразделяются на экстенсиональные и ин­тенсиональные. Примером первых являются связки классической математической логики, для которых важны лишь истинност­ные значения тех простых высказываний, к которым они применя­ются. Если Ф. учитывает еще и смысловые, содержательные связи между теми элементами, к которым он применяется, он считается интенсиональным. К числу интенсиональных Ф. относят знаки возможности и необходимости, сильную, строгую, релевантную импли­кацию и т. п. (см.: Функция). / посредством каких преобразующих сил человек становится математиком или не становится им да и как теория математики воплощается в следственные результаты как в ожидаемые так и в непредвиденные ну и о возникновении предмета математики видишь функтор между достижением математики и стартом в достижении вот так и в боге нольместность одноместность двухместность итэдэ ещё раз соблюдение необходимого условия подобно присутствию константы преобразующей в себя множество да и прохождение соблюдаемого условия подобно вычитанию из уже существующих благодаря чему остаются ещё не соблюдённые ну и если результат достигнут то в начале что то было ибо при отсутствии начала и в конце конца невидно примерь на 3) как грех снимается в предмете астрономии сожгли коперника и сгладился благоволеньем астрономии не так ли схема и с христом на 2) как есть занятье производящее предмет а так и есть одним занятием без производства не так ли с богом обстоят дела на 1) как творчество авторитета достойно веры в их тождественность как творчества творцу а как у вас смотри и сами ставите неравенство и тут же верите достойно бога наше творчество его