Мова логіки.
Фундаментальним поняттям формальної логіки є логічна форма. її можна визначити як форму взаємозв'язку частини мислимого змісту. Певний спосіб зв'язку може бути одним і тим самим для необмеженої кількості тверджень.
Загальна структура логічної форми складається з:
Існують три види знаків за характером їх відношення до об'єктів, які позначаються як:
іконічні знаки (знаки-копії), значення яких повністю визначається тим предметом, якому вони відповідають (фотографії, картини, відбитки пальців тощо) знаки-символи, які фізично ніяк не пов'язані з об'єктами, які вони позначають (слова природної мови, дорожні знаки тощо);
знаки-індекси, значення яких повністю визначаються тим контекстом, у якому вони виявляються.
Речення простої логічної форми або структури можуть вступати між собою у логічний зв'язок, утворюючи речення більш складної логічної форми або форми, загальної для багатьох подібних суджень різного конкретного змісту. З поняттям логічної форми тісно пов'язане поняття формально - логічного закону. Довільний формально-логічний закон є не що інше, як відношення між логічними формами думки, і характеризується фактором необхідності. Це означає, що формально-логічні закони не залежать від волі людей, вони не можуть бути порушені без завдання шкоди пізнанню істини.
4.