Book Description This book is based on a number of papers that I (co-)wrote after finishing Reasoning with rules. Those papers were published in heterogeneous journals, conference proceedings, or not at all yet. In my own experience they are united by a common theme, namely the role of logic in the law. In the first chapter I distinguish two ways of looking at logic. One way, which has been the dominant view during the 20th century, is to interpret logic ontologically, namely as the theory of what must be true, given the truth of a number of sentences. The relation between logic and ontology becomes clear if we pay attention to the fact that logic aims at finding general characteristics of arguments that make them good ones. Traditionally an argument is said to be good (in the sense of ‘valid’), if its conclusion must be true given the truth of the premises. Logical research is devoted to the discovery of argument forms in which the premises necessitate the truth of the conclusion. A major, if not the only, source of such necessary inference steps is provided by necessary relations between states of affairs. If either P or Q is the case, and P is not the case, then it must be so that Q is the case. This is a necessary relation between states of affairs which is reflected in the truth values of sentences, and this relation justifies the derivation of Q from P ∨ Q and ~P. شرح الكتاب : يعتمد هذا الكتاب على عدد من الأوراق التي (شاركت) في كتابتها بعد الانتهاء الاستدلال مع القواعد. تم نشر هذه الأوراق في غير متجانسة المجلات أو وقائع المؤتمرات أو لم يحدث ذلك على الإطلاق. في تجربتي الخاصة إنهم متحدون من خلال موضوع مشترك ، وهو دور المنطق في القانون. في الفصل الأول ، أميز طريقتين للنظر إلى المنطق. طريقة واحدة، الذي كان الرأي السائد خلال القرن العشرين ، هو التفسير المنطق وجوديًا ، أي كنظرية لما يجب أن يكون صحيحًا ، بالنظر إلى حقيقة عدد من الجمل. العلاقة بين المنطق والأنطولوجيا يصبح واضحًا إذا انتبهنا إلى حقيقة أن المنطق يهدف إلى البحث الخصائص العامة للحجج التي تجعلها جيدة. تقليديا يقال أن الحجة جيدة (بمعنى "صالحة") ، إذا كان لا بد من استنتاجها تكون صحيحة بالنظر إلى حقيقة المبنى. البحث المنطقي مكرس ل اكتشاف أشكال الحجج التي تتطلب فيها المقدمات حقيقة الإستنتاج. مصدر رئيسي ، إن لم يكن الوحيد ، لمثل هذا الاستدلال الضروري يتم توفير الخطوات من خلال العلاقات الضرورية بين الدول. إذا كان أي من P. أو Q هي الحالة ، و P ليست هي الحالة ، فيجب أن تكون كذلك بحيث Q هي الحالة. هذه علاقة ضرورية بين الحالات التي تنعكس في قيم الحقيقة للجمل ، وهذه العلاقة تبرر اشتقاق Q من P ∨ Q و ~ P.