Judgment

TL;DR

This paper explores a new logical concept of judgment as a means of introducing information into deductive systems, offering a novel implication model that resolves the raven paradox.

Contribution

It introduces a new mathematical representation of implication based on judgment, distinct from material implication, and addresses the raven paradox.

Findings

Proposes a logical framework for judgment as information introduction

Develops a new implication model different from material implication

Resolves the raven paradox using the new logical approach

Abstract

The concept of a judgment as a logical action which introduces new information into a deductive system is examined. This leads to a way of mathematically representing implication which is distinct from the familiar material implication, according to which "If A then B" is considered to be equivalent to "B or not-A". This leads, in turn, to a resolution of the paradox of the raven.