خارج فقه بر مبنای عروه. جلسه 2

بسم الله الرحمن الرحیم

تعریف اجتهاد: ملکه یا فعلیت؟

آخوند: تحصیل الحجة علی الحکم الشرعی

خارج فقه بر مبنای عروه. جلسه 1

بسم الله الرحمن الرحیم

اجتهاد و تقلید

مسأله 1

المسألةُ الاولی: یجب على کل مکلف فی عباداته ومعامَلاته أن یکون مجتهدا، أو مقلدا، أو محتاطا.

یجب: چه وجوبی؟ عقلی یا شرعی؟

چرا مکلف؟ عبادات صبی هم می‏ تواند مشروعیت داشته باشد.

عبادات و معاملات: بالمعنی الاعم. شرط بودن قصد قربت در صحت عمل.

اجتهاد به چه معنا است؟ تعریف اجتهاد؟ معنای لغوی: صرف توان- اصطلاحی خواستگاه آن اهل سنت. یکی از منابع استنباط در صورت یافت نشدن دلیلی در کتاب و سنت نوبت به اجتهاد به رأی می‏ رسد.

بعدا در اهل سنت: تحصیل الظن علی الحکم الشرعی

در شیعه: مختصر ابن حاجب تحصیل الظن علی الحکم الشرعی

بعداً علامه حلی

مسأله 2

الأقوى جواز العمل بالاحتیاط مجتهدا کان أو لا، لکن یجب أن یکون عارفا بکیفیة الاحتیاط بالاجتهاد أو بالتقلید.

مسأله 3

قد یکون الاحتیاط فی الفعل کما إذا احتمل کون الفعل واجبا وکان قاطعا بعدم حرمته، وقد یکون فی الترک کما إذا احتمل حرمة فعل وکان قاطعا بعدم وجوبه، وقد یکون فی الجمع بین أمرین مع التکرار کما إذا لم یعلم أن وظیفته القصر أو التمام.

مسأله 4

الأقوى جواز الاحتیاط، ولو کان مستلزما للتکرار، وأمکن الاجتهاد أو التقلید.

link

منجزیت علم اجمالی در تدریجیات

به نظر استاد ما حفظه الله تعالی در علم اجمالی در تدریجیات هیچ مشکلی در مسیر منجزیت وجود ندارد و ارکان قاعده منجزیت تمام است. ولی یک ذهنیتی تحت تاثیر بحث شیخ انصاری(ره) در فرائد شکل گرفته است که گمان می کنند که تنجیز در علم اجمالی تنها مربوط به فعلیات است.

التعارض بین الأدلّة المحرزة

1- تعارض بین ادله محرزه

دلیل محرز چنانکه گذشت شامل دلیل شرعی لفظی و عقلی است که دلیل شرعی به نوبه خود به دلیل شرعی لفظی و غیر لفظی تقسیم می شود. دلیل عقلی تنها در صورتی که قطعی باشد حجت است، ولی هر دو قسم دلیل شرعی یعنی لفظی و غیر لفظی اگر قطعی باشد حجت است و بعضی از ادله شرعی نیز با وجود قطعی نبودن به دلیل اینکه دلیل قطعی بر حجیت آن ها داریم، حجت هستند.

پس هنگامی که دلیل عقلی با دلیل دیگری از هر نوع که باشد تعارض کند، اگر دلیل عقلی قطعی باشد در هر حال بر معارضش مقدم می شود، 

فإذا تعارض الدلیل العقلیّ مع دلیل ما فإن کان الدلیل العقلیّ قطعیّا قدّم على معارضه على أیّ حال، لأنّه یقتضی القطع بخطإ المعارض، و کلّ دلیل یقطع بخطئه یسقط عن الحجّیّة، و إن کان الدلیل العقلیّ غیر قطعیّ فهو لیس حجّة فی نفسه لکی یعارض ما هو حجّة من الأدلّة الاخرى.

و إذا تعارض دلیلان شرعیّان فتارة یکونان لفظیّین معا، و اخرى یکون أحدهما لفظیّا دون الآخر، و ثالثة یکونان معا من الأدلّة الشرعیّة غیر اللفظیّة، و المهم فی المقام الحالة الاولى لأنّها الحالة التی یدخل ضمنها جلّ موارد التعارض التی یواجهها الفقیه فی الفقه، و سنقصر حدیثنا علیها. فنقول: إنّ التعارض بین دلیلین شرعیّین لفظیّین عبارة عن التنافی‌

مفاهیم اصلی بازی وارسازی

امیتاز

نشان، مدال

بازی وارسازی

بازی وار سازی به ویژه در زمینه هایی مانند امور تجاری تبدیل به روند جاری چند سال اخیر شده است. با هدف افزایش انگیزه و درگیری کاربر، سامانه های اطلاعاتی موجود یا جدید با عناصر طراحی بازی غنی می شوند. پیش از پیاده سازی فنی، مفهوم بازی وار سازی ایجاد می شود. البته این ایجاد مفهوم یک فرایند غیر رسمی است به این معنا که با زبان طبیعی و در صفحه گسترده ها انجام می شود. بنابراین تعریف بازی فعالیتی مستعد خطا می باشد. این موضوع به ویژه در صورتی که مفاهیم بازی وارسازی وارد مرحله پیاده سازی شود و متخصصین فناوری اطلاعات لازم باشد این مفاهیم غیر رسمی را به مفاهیم رسمی تبدیل کنند مهم است. بنابراین ما یک زبان مربوط به حوزه خاص و نوین و توصیفی برای تعریف مفاهیم بازی وار سازی پیشنهاد می دهیم. این زبان هم برای خواندن و نوشتن قابل استفاده است و هم می تواند مستقیما به سامانه های بازی وار سازی مانندBunchball, Badgeville, SAP Gamification Platform ترجمه شود.

زبان مدلسازی بازی وارسازی سه مساله کلیدی زیر را مورد توجه قرار می دهد:

دقت و رسمیت

عدم وابستگی به زبان پلتفرم بازی وارسازی و قیود آن

سادگی پیاده سازی مفاهیم پیچیده در بازی وارسازی

برای فهم کد لازم است با مفاهیم بازی وارسازی آشنا شویم:

point

6.

تعارض الأدلّة

چنانکه پیشتر گفته شده است، ادله شامل ادله محرزه و اصول عملیه می باشد، لذا بحث تعارض ادله در سه فصل تعارض بین دو دلیل محرز، یک دلیل محرز و یک اصل عملی و دو اصل عملی منعقد می شود.

CREATE

CREATE TABLE (Transact-SQL) IDENTITY (Property)

Creates a user-defined aggregate function whose implementation is defined in a class of an assembly in the .NET Framework. 

CREATE AGGREGATE (Transact-SQL)

CREATE APPLICATION ROLE (Transact-SQL)

CREATE ASSEMBLY (Transact-SQL)

CREATE ASYMMETRIC KEY (Transact-SQL)

CREATE AVAILABILITY GROUP (Transact-SQL)

CREATE BROKER PRIORITY (Transact-SQL)

CREATE CERTIFICATE (Transact-SQL)

CREATE COLUMNSTORE INDEX (Transact-SQL)

CREATE COLUMN ENCRYPTION KEY (Transact-SQL)

CREATE COLUMN MASTER KEY (Transact-SQL)

CREATE CONTRACT (Transact-SQL)

CREATE CREDENTIAL (Transact-SQL)

CREATE CRYPTOGRAPHIC PROVIDER (Transact-SQL)

CREATE DATABASE (SQL Server Transact-SQL)

CREATE DATABASE (Azure SQL Database)

CREATE DATABASE (Azure SQL Data Warehouse)

CREATE DATABASE (Parallel Data Warehouse)

CREATE DATABASE AUDIT SPECIFICATION (Transact-SQL)

CREATE DATABASE ENCRYPTION KEY (Transact-SQL)

CREATE DATABASE SCOPED CREDENTIAL (Transact-SQL)

CREATE DEFAULT (Transact-SQL)

CREATE ENDPOINT (Transact-SQL)

CREATE EVENT NOTIFICATION (Transact-SQL)

CREATE EVENT SESSION (Transact-SQL)

CREATE EXTERNAL DATA SOURCE (Transact-SQL)

CREATE EXTERNAL FILE FORMAT (Transact-SQL)

CREATE EXTERNAL RESOURCE POOL (Transact-SQL)

CREATE EXTERNAL TABLE (Transact-SQL)

CREATE EXTERNAL TABLE AS SELECT (Transact-SQL)

CREATE FULLTEXT CATALOG (Transact-SQL)

CREATE FULLTEXT INDEX (Transact-SQL)

CREATE FULLTEXT STOPLIST (Transact-SQL)

CREATE FUNCTION (Transact-SQL)

CREATE FUNCTION (SQL Data Warehouse)

CREATE INDEX (Transact-SQL)

CREATE LOGIN (Transact-SQL)

CREATE MASTER KEY (Transact-SQL)

CREATE MESSAGE TYPE (Transact-SQL)

CREATE PARTITION FUNCTION (Transact-SQL)

CREATE PARTITION SCHEME (Transact-SQL)

CREATE PROCEDURE (Transact-SQL)

CREATE QUEUE (Transact-SQL)

CREATE REMOTE SERVICE BINDING (Transact-SQL)

CREATE REMOTE TABLE AS SELECT (Parallel Data Warehouse)

CREATE RESOURCE POOL (Transact-SQL)

CREATE ROLE (Transact-SQL)

CREATE ROUTE (Transact-SQL)

CREATE RULE (Transact-SQL)

CREATE SCHEMA (Transact-SQL)

CREATE SEARCH PROPERTY LIST (Transact-SQL)

CREATE SECURITY POLICY (Transact-SQL)

CREATE SELECTIVE XML INDEX (Transact-SQL)

CREATE SEQUENCE (Transact-SQL)

CREATE SERVER AUDIT (Transact-SQL)

CREATE SERVER AUDIT SPECIFICATION (Transact-SQL)

CREATE SERVER ROLE (Transact-SQL)

CREATE SERVICE (Transact-SQL)

CREATE SPATIAL INDEX (Transact-SQL)

CREATE STATISTICS (Transact-SQL)

CREATE SYMMETRIC KEY (Transact-SQL)

CREATE SYNONYM (Transact-SQL)

CREATE TABLE (Transact-SQL)

CREATE TABLE (Azure SQL Data Warehouse)

CREATE TABLE AS SELECT (Azure SQL Data Warehouse)

CREATE TRIGGER (Transact-SQL)

CREATE TYPE (Transact-SQL)

CREATE USER (Transact-SQL)

CREATE VIEW (Transact-SQL)

CREATE WORKLOAD GROUP (Transact-SQL)

CREATE XML INDEX (Transact-SQL)

CREATE XML INDEX (Selective XML Indexes)

CREATE XML SCHEMA COLLECTION (Transact-SQL)

کل حزب بما لدیهم فرحون

Each party rejoicing in that which is with itself! Room 32